● Lo POSIBLE es lo que es o será verdadero.

Teorías sobre la definición de ●Lo IMPOSIBLE es lo que, siendo falso, no será

necesidad y la posibilidad verdadero.
Diodoro Crono
●Lo NECESARIO es lo que, siendo verdadero, no
Expresiones como 'Es de día' son verdaderas en será falso.
ciertas ocasiones y falsas en otras.
↓ ● Lo NO NECESARIO es lo que es o será falso.
Las proposiciones contienen variables de tiempo
(en consecuencia, las proposiciones son en
realidad funciones proposicionales de tiempo). Pasado ◄ _________▼__________ ► futuro.
t'
Ejemplos presente
●
La nieve es blanca en t
● La hierba es verde en t

● Es de día en t

1)┌ p es posible en t┐ por ┌(p en t) ∨ (∃t ) (t' < t • p en t)┐

t' = el momento presente.
2)┌ p es imposible en t┐ por ┌~(p en t) • (t ) (t' < t ⊃ ~(p en t))┐
t1 < t2 = t1 precede temporalmente a t2.
3)┌ p es necesario en t┐ por ┌(p en t) • (t ) (t' < t ⊃ p en t)┐
t' < t1
Pasado ◄ _________▼______↓____ ► futuro. 4)┌ p esno necesario en t┐ por ┌~(p en t) ∨ (∃t ) (t' < t • ~(p en t)┐
t'
presente
Nota: ┌~(p en t)┐ es equivalente a ┌(~p) en t┐.

Trilema 'el Soberano'

(∃t) (t' < t • Es de noche en t)
ǁ 1) Toda proposición verdadera sobre el pasado
'Es de noche' será verdadera. es necesaria.
2) Una proposición imposible no puede seguirse
y
de una proposición posible.
~(∃t) (t' < t • Es de noche en t) 3) Hay una proposición que es posible, pero que
ǁ no es verdadera ni será falsa.
'Es de noche' no volverá nunca a ser verdadera.
Diodoro rechaza 3; Cleantes, 1, y Crisipo, 2.