Lukasiewicz, Jan: els futurs contingents/es

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.