Diferència entre revisions de la pàgina «Veritat, teoria de la coherència»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Teoria de la veritat, principalment mantinguda en les ciències formals i en els sistema axiomàtic|sistemes axio...».) |
m (Text de reemplaçament - "aléticas" a "alètiques") |
||
| Línia 9: | Línia 9: | ||
[[veritat, criteri de|criteri de veritat]] | [[veritat, criteri de|criteri de veritat]] | ||
| − | [[modalitats | + | [[modalitats alètiques|modalitats alètiques]] |
[[Autor:Tarski, Alfred|Tarski, A.]] | [[Autor:Tarski, Alfred|Tarski, A.]] | ||
Revisió del 16:00, 26 feb 2015
Teoria de la veritat, principalment mantinguda en les ciències formals i en els sistemes axiomàtics, segons la qual una proposició o enunciat és veritable quan és compatible amb un conjunt coherent de proposicions o enunciats, o deduïble dels axiomes. Així, per exemple, la veritat del teorema de Pitàgores resideix en primer terme, no en la seva aplicabilitat a la realitat, sinó en el fet de ser una conseqüència deductiva dels axiomes i postulats d'Euclides; referit a un altre conjunt d'axiomes podria ser fals o buit de significat. Es tracta d'un cas concret d'aplicació de les propietats de consistència (el conjunt d'axiomes no porta lògicament a una contradicció) i completud (tota proposició o teorema del sistema és deduïble dels seus axiomes), que exhibeixen paradigmàticament els sistemes axiomàtics. Quan aquest criteri de veritat s'aplica a altres àmbits, no merament formals, el conjunt d'enunciats al·ludit és el conjunt dels enunciats que es consideren veritables.
Veure termes relacionats.