Origen y Evolución

Lógica temporal
APORTACIÓN
ETAPA PREHISTORIA
Es el primero en formalizar

ARISTÓTELES
expresiones para analizar inferencias
entre enunciados, construye el primer
sistema de lógica de términos,
introduce el concepto de
cuantificación de enunciados y define
el silogismo lógico.

DIODORO El “problema de las contingencias

CRONOS futuras” relacionada a qué cosas

son posibles.,

la lógica modal se relaciona a la

LEIBNIZ
interpretación del lenguaje
modal definido por la semántica
del mundo racional o posible,

ETAPA SINTAXIS
CLARENCE
Lewis introduce un nuevo tipo de
condicional denominado

LEWIS
“implicación estricta”, agregando
a la implicación clásica la noción
de necesidad".

ETAPA SEMÁNTICA
La semántica Kripke asigna un
SAUL valor de verdad relativo a cada
punto de un modelo, donde cada
KRIPKE punto representa un mundo
posible.

Fundó la lógica epistémica como

JAAKKO subcampo de la lógica modal. El
objetivo de la lógica epistémica es
HINTIKKA. razonar sobre el conocimiento, de
necesidad".

ETAPA METALÓGICA

Encontrarón caracterizaciones del

PRIOR Y poder de verificación de programas

de diferentes métodos de verificación

BURSTALL de programas reconocidos, en

términos de lógica clásica de primer
orden.