En semántica y pragmática , una condición de verdad es la condición bajo la cual una oración es verdadera. Por ejemplo, "Está nevando en Nebraska " es verdadera precisamente cuando está nevando en Nebraska. Las condiciones de verdad de una oración no necesariamente reflejan la realidad actual. Son simplemente las condiciones bajo las cuales el enunciado sería verdadero. [1]
Más formalmente, una condición de verdad determina la verdad de una oración en una definición inductiva de la verdad (para más detalles, véase la teoría semántica de la verdad ). Entendidas de esta manera, las condiciones de verdad son entidades teóricas. Para ilustrar con un ejemplo: supongamos que, en una teoría de la verdad particular [2] que es una teoría de la verdad donde la verdad se hace aceptable de alguna manera a pesar de los términos semánticos lo más cercanos posible, la palabra "Nixon" se refiere a Richard M. Nixon , y "está vivo" está asociado con el conjunto de cosas actualmente vivas. Entonces, una forma de representar la condición de verdad de "Nixon está vivo" es como el par ordenado <Nixon, {x: x está vivo}>. Y decimos que "Nixon está vivo" es verdadero si y solo si el referente (o referente de) "Nixon" pertenece al conjunto asociado con "está vivo", es decir, si y solo si Nixon está vivo.
En semántica, la condición de verdad de una oración se considera casi universalmente distinta de su significado . El significado de una oración se transmite si se entienden las condiciones de verdad de la oración. Además, hay muchas oraciones que se entienden aunque su condición de verdad sea incierta . Un argumento popular para esta visión es que algunas oraciones son necesariamente verdaderas , es decir, son verdaderas pase lo que pase. Todas esas oraciones tienen las mismas condiciones de verdad, pero podría decirse que no tienen por ello el mismo significado. Del mismo modo, los conjuntos {x: x está vivo} y {x: x está vivo y x no es una roca} son idénticos (tienen exactamente los mismos miembros), pero presumiblemente las oraciones "Nixon está vivo" y "Nixon está vivo y no es una roca" tienen significados diferentes.