Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

consistència EPIST.

Junt amb la completud una de les propietats de major importància de l'estructura lògica de les teories. Una teoria, T, entesa com a sistema axiomàtic, és consistent si i només si no conté alhora una afirmació (p) i la seva negació (¬p); en cas contrari és inconsistent.

LÒG. Propietat de dos o més enunciats que poden ser verdaders al mateix temps. Un conjunt de fórmules és sintàcticament consistent si i només si d'elles no pot deduir-se una contradicció, que pot expressar-se com (p ˄ ¬p)

Un conjunt de fórmules és semànticament consistent si i només si hi ha almenys una interpretació de les seves variables que fa vertader a tot el conjunt. Si tals fórmules representen a una teoria, existeix llavors un model d'aquesta teoria.

Veure inconsistència.

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.