Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
Puedo presuponer sin contradicción que mi presencia en Varsovia en un instante dado del año que viene, pongamos por caso el mediodía del próximo 21 de diciembre, no es positiva ni negativamente determinable en este instante. Por lo tanto, es posible pero no necesario que me halle presente en Varsovia a esa hora y en esa fecha. Sobre la base de dicho presupuesto, el enunciado «Me hallaré presente en Varsovia el mediodía del 21 de diciembre del año que viene» no es ni verdadero ni falso en este instante. Pues si fuese verdadero en este instante, mi futura presencia en Varsovia tendría que ser necesaria, lo que contradice mi presuposición inicial; y si fuere falso en este instante, mi futura presencia en Varsovia tendría que ser imposible, lo que de nuevo contradice mi presuposición inicial. El enunciado considerado no será, por lo tanto, verdadero ni falso en este instante y le habría de corresponder un tercer valor diferente de =, o lo falso, y de 1, o lo verdadero. Podemos indicarlo como «½», esto es, «lo posible», que vendrá a constituir un tercer valor junto con «lo falso» y «lo verdadero». Este es el curso de la argumentación que hubo de conducir a la propuesta de un sistema trivalente para la lógica proposicional.
| Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls [Anotaciones filosóficas a los sistemas polivalentes del cálculo de enunciados], en «Comptes réndus des séances de la Société des sciences et des lettres de Varsovie, Classe III», 23 (1930) 51-55; citado por W. Y M. Kneale, El desarrollo de la lógica, Tecnos, Madrid 1972, p. 529-530. |