CUADRO DE INTERRELACIONES ENTRE LOS CONCEPTOS MODALES

Diodoro Crono

si y sólo si
p en t es posible (∼p) en t es no necesario

• Lo POSIBLE es lo que es o será verdadero. • Lo NO NECESARIO es lo que es o será falso.

┌ ┐ ┌ ┐ ┌
p es posible en t por (p en t') ∨ (∃t)(t' < t • p en t) p es no necesario en t┐ por ┌∼(p en t') ∨ (∃t)(t' < t • ∼(p en t))┐

Contradictorias Contradictorias

• Lo IMPOSIBLE es lo que, siendo falso, no será verdadero. • Lo NECESARIO es lo que, siendo verdadero, no será falso.
┌
p es imposible en t┐ por ┌∼(p en t') • (t)(t' < t ⊃ ∼(p en t))┐ ┌
p es necesario en t┐ por ┌(p en t') • (t)(t' < t ⊃ p en t)┐

p en t es imposible (∼p) en t es necesario

si y sólo si

Nota: ┌∼(p en t)┐ es equivalente a ┌∼(p) en t┐