Historia y Orígenes
¿Quién es Aristóteles?
Filósofo griego que en el siglo IV aC fue el primero en analizar enunciados sobre posibilidad y necesidad en su obra De Interpretatione.
¿Qué es el operador de necesidad?
Símbolo □ en lógica modal. Representa que una proposición es verdadera en todos los mundos posibles accesibles.
¿Qué es una verdad necesaria (o lógicamente necesaria)?
Problema central que motivó el surgimiento de la lógica modal: la lógica clásica no puede distinguir entre una verdad contingente y una verdad de este tipo.
¿Qué es el operador de posibilidad?
Símbolo ◇ en lógica modal. Representa que una proposición es verdadera en al menos uno de los mundos posibles accesibles.
¿Quién es CI Lewis?
Lógico estadounidense que en 1912 criticó el material condicional de Russell y propuso la implicación estricta, semilla de la lógica modal moderna.
¿Qué es la lógica simbólica?
Obra de 1932 en la que Lewis y Langford formalizaron los primeros sistemas modales S1 a S5.
¿Quién es Saul Kripke?
Filósofo que en 1959-1963 revolucionó la lógica modal al proponer la semántica de mundos posibles y la relación de accesibilidad.