Diferència entre revisions de la pàgina «Veritat, teoria de la coherència»
De Wikisofia
m (Text de reemplaçament - "aléticas" a "alètiques") |
m (Text de reemplaçament - "completud" a "completesa") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Teoria de la [[veritat|veritat]], principalment mantinguda en les [[ciències formals|ciències formals]] i en els [[sistema axiomàtic|sistemes axiomàtics]], segons la qual una [[proposició|proposició]] o [[enunciat|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'[[Autor:Euclides d'Alexandria|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|consistència]] (el conjunt d'[[axioma|axiomes]] no porta lògicament a una [[contradicció|contradicció]]) i [[ | + | Teoria de la [[veritat|veritat]], principalment mantinguda en les [[ciències formals|ciències formals]] i en els [[sistema axiomàtic|sistemes axiomàtics]], segons la qual una [[proposició|proposició]] o [[enunciat|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'[[Autor:Euclides d'Alexandria|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|consistència]] (el conjunt d'[[axioma|axiomes]] no porta lògicament a una [[contradicció|contradicció]]) i [[completesa|completesa]] (tota proposició o [[teorema|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. |
Revisió del 19:30, 21 març 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 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.