condición
de verdad
Definición: Las condiciones de verdad de una oración son la lista de aquellas condiciones que la hacer verdadera o cierta. Segun Alfred Tarski y su escuela, conocer el significado de una oración se concreta en conocer sus condiciones de verdad. En programación se establece como "verdaderos" a aquellos datos de entrada que han pasado con buen éxito un listado de diversas condiciones de verdad o contenidos de verdad. Por ejemplo "P y Q es verdad" se debe ajustar a un listado que señala que tanto P debe ser verdad como Q debe ser verdad, y eso se debe decidir con otros listados para ambos. Si el dato es una alucinación, ella no satisface alguna de las condiciones de verdad y no tiene sustento. Si el dato es una creencia ella adquiere la propiedad de ser verdadera solamente si pasa los ensayos de una lista de condiciones de verdad. Ejemplo: Marta cree que el freno del auto es el pedal de la derecha. Su condición de verdad se probará en el primer semáforo en rojo.
Las palabras no tienen condición de verdad, en cambio las oraciones sí. El significado de una oración es determinado por las condiciones que la hacen cierta. (Teorías del significado basadas en condiciones de verdad, como la de Alfred Tarski). La noción de verdad de una afirmación es una noción más clara que la noción de significado de una afirmación.
30.ene.1999
Pulsar tecla de vuelta
Glosario de Carlos von der Becke.