Diferència entre revisions de la pàgina «Veritat, teoria de la coherència»
De Wikisofia
m (Text de reemplaçament - "completud" a "completesa") |
m (bot: -Veure termes relacionats +Vegeu termes relacionats) |
||
| Línia 3: | Línia 3: | ||
| − | === | + | === Vegeu termes relacionats. === |
<div class='mw-collapsible'> | <div class='mw-collapsible'> | ||
[[certesa|certesa]] | [[certesa|certesa]] | ||
Revisió del 09:33, 16 set 2017
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.
Vegeu termes relacionats.