En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies.En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie.

PropertyValue
dbpedia-owl:abstract
  • En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies.En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter.
  • In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general.
  • In logica matematica, la correttezza è una proprietà fondamentale delle regole logiche e dei calcoli logici.Una regola logica (o regola di inferenza o regola di derivazione) è corretta se la conclusione è conseguenza logica delle (ossia, segue necessariamente dalle) premesse: se sono vere tutte le premesse allora è necessariamente vera la conclusione (o equivalentemente, non è possibile che le premesse siano tutte vere e la conclusione falsa). Ciò significa che, lette dall'alto verso il basso (dalle premesse alla conclusione), le regole logiche corrette preservano la verità, o equivalentemente, lette dal basso verso l'alto (dalla conclusione alle premesse) le regole logiche corrette preservano la falsità (se la conclusione è falsa, allora è necessariamente falsa almeno una delle premesse).Un calcolo logico (ad esempio il calcolo dei sequenti o la deduzione naturale) è corretto in senso debole se ogni formula A derivabile in esso è valida, ossia se ogni formula A dimostrabile applicando un numero finito di volte le regole di derivazione del calcolo logico è vera per ogni modello. Un calcolo logico è corretto in senso forte se ogni formula A derivabile in esso a partire da un insieme di formule chiuse X (che fungono da assiomi di un teoria) è conseguenza logica di X. È evidente che la correttezza forte implica la correttezza debole: basta prendere per X un insieme vuoto di formule.La correttezza è (assieme alla completezza semantica) un requisito essenziale di ogni calcolo logico, pertanto ciascuno di questi presenta un teorema di correttezza (debole o forte) che esprime appunto il fatto che tale calcolo logico è corretto (in senso debole o forte). Il teorema di correttezza debole (risp. forte) è il viceversa del teorema di completezza semantica debole (risp. forte).Detto in modo intuitivo, un calcolo logico in quanto corretto è in grado di dimostrare solo le verità di una teoria, mentre in quanto completo (semanticamente) è in grado di dimostrare tutte le verità di una teoria.
  • Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema.
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas. Si un argumento es deductivamente válido, entonces si es sólido, su conclusión será necesariamente verdadera.Por ejemplo, considérese el siguiente argumento: Todos los hombres son mortales. Todos los griegos son hombres. Luego, todos los griegos son mortales.Este argumento es sólido, porque por un lado es válido, y por otro lado las premisas son todas verdaderas. Pero considérese el siguiente argumento: Todos los hombres son mortales. Todas las plantas son hombres Luego, todas las plantas son mortales.Este argumento no es sólido, porque aunque válido, una de las premisas es falsa. Por último, considérese el siguiente argumento: Todos los hombres son mortales. Todos los patos son animales. Luego, todos los animales son mortales.Este argumento tampoco es sólido, porque aunque las premisas son todas verdaderas, el argumento no es válido. En nada cambia que la conclusión sea también verdadera.
  • Een geldige redenering is in de logica en argumentatieleer een redenering die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk volgt uit de premissen. Een geldige redenering is dus geldig dan en slechts dan als men de conclusie niet kan ontkennen zonder in tegenspraak te komen met de premissen.Het is niet noodzakelijk voor een geldige redenering dat de premissen an sich waar zijn: als de vorm van de redenering zelf maar klopt. Een redenering die én geldig is én waarvan de premissen evident waar zijn noemt men correct.Voorbeeld:A. Lucretius is een filosoof.B. Alle filosofen zijn onbetrouwbaar.C. Dus: Lucretius is ook onbetrouwbaar.Deze redenering is geldig omdat, als je de premissen A en B voor waar aanneemt, de conclusie C noodzakelijk volgt. Zij is echter niet correct omdat de premisse B niet evident waar is.Voorbeeld:A. Een cirkel heeft geen hoeken.B. Een vierkant heeft vier hoeken.C. Dus: een vierkant kan geen cirkel zijn.Deze redenering is zowel geldig als correct.
  • 건전성 정리(soundness theorem, 健全性定理)는 일차 논리학에서 연역 계산이 건전성을 가진다는 내용의 정리이다. 여기서 건전성이란, '모든 참인 것으로 증명가능한 명제(즉 정리)가 의미론상으로도 참임'을 의미한다. 이 정리는 괴델의 완전성 정리의 역을 제공한다.
  • En lògica, la solidesa és la propietat que tenen els arguments quan són vàlids i les seves premisses són totes vertaderes. Si un argument és deductivament vàlid i és sòlid, la seva conclusió serà necessàriament veritable.Per exemple, considerem el següent argument: Tots els homes són mortals. Tots els grecs són homes. Per tant, tots els grecs són mortals.Aquest argument és sòlid, perquè d'una banda és vàlid, i per altra banda les premisses són totes vertaderes. Però considereu el següent argument: Tots els homes són mortals. Totes les plantes són homes Per tant, totes les plantes són mortals.Aquest argument no és sòlid, perquè encara vàlid, una de les premisses és falsa. Finalment, considerem el següent argument: Tots els homes són mortals. Tots els ànecs són animals. Per tant, tots els animals són mortals.Aquest argument tampoc és sòlid, perquè encara que les premisses són totes vertaderes, l'argument no és vàlid. En res canvia que la conclusió sigui també vertadera.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 6394503 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 12825 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 42 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 107445622 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:année
  • 2005 (xsd:integer)
prop-fr:auteur
  • Hinman, P.
prop-fr:fr
  • conséquence sémantique
prop-fr:isbn
  • 1 (xsd:integer)
prop-fr:lang
  • en
prop-fr:titre
  • Fundamentals of Mathematical Logic
prop-fr:trad
  • Semantic_consequence#Semantic_consequence
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • A K Peters
dcterms:subject
rdfs:comment
  • En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies.En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie.
  • In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general.
  • Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema.
  • 건전성 정리(soundness theorem, 健全性定理)는 일차 논리학에서 연역 계산이 건전성을 가진다는 내용의 정리이다. 여기서 건전성이란, '모든 참인 것으로 증명가능한 명제(즉 정리)가 의미론상으로도 참임'을 의미한다. 이 정리는 괴델의 완전성 정리의 역을 제공한다.
  • Een geldige redenering is in de logica en argumentatieleer een redenering die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk volgt uit de premissen. Een geldige redenering is dus geldig dan en slechts dan als men de conclusie niet kan ontkennen zonder in tegenspraak te komen met de premissen.Het is niet noodzakelijk voor een geldige redenering dat de premissen an sich waar zijn: als de vorm van de redenering zelf maar klopt.
  • In logica matematica, la correttezza è una proprietà fondamentale delle regole logiche e dei calcoli logici.Una regola logica (o regola di inferenza o regola di derivazione) è corretta se la conclusione è conseguenza logica delle (ossia, segue necessariamente dalle) premesse: se sono vere tutte le premesse allora è necessariamente vera la conclusione (o equivalentemente, non è possibile che le premesse siano tutte vere e la conclusione falsa).
  • En lògica, la solidesa és la propietat que tenen els arguments quan són vàlids i les seves premisses són totes vertaderes. Si un argument és deductivament vàlid i és sòlid, la seva conclusió serà necessàriament veritable.Per exemple, considerem el següent argument: Tots els homes són mortals. Tots els grecs són homes. Per tant, tots els grecs són mortals.Aquest argument és sòlid, perquè d'una banda és vàlid, i per altra banda les premisses són totes vertaderes.
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas. Si un argumento es deductivamente válido, entonces si es sólido, su conclusión será necesariamente verdadera.Por ejemplo, considérese el siguiente argumento: Todos los hombres son mortales. Todos los griegos son hombres.
rdfs:label
  • Correction (logique)
  • Correctheid (logica)
  • Correttezza (logica matematica)
  • Correção
  • Korrektheit (Logik)
  • Solidesa
  • Solidez
  • Soundness
  • 健全性
  • 건전성 정리
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of