Veritat, teoria de la coherència
De Wikisofia
La revisió el 19:30, 21 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "completud" a "completesa")
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 completesa (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.