-
427 BCE
PLATÓN
Filósofo Griego
- La lógica puede ser formal y material puede proceder con o sin materia significativa. -
384 BCE
ARISTÓTELES
Filósofo, polímata y científico
- Sistematizó a la lógica como ciencia. -
354 BCE
EUCLIDES
Matemático y Geómetra griego
- Saco el libro Elementos y existe un desarrollo lógico de la geometría. -
347 BCE
PLATÓN
Filosofo Griego
- La física y la creatividad juntas esto es gracias a dos mundos. -
322 BCE
ARISTÓTELES
Filósofo, polímata y científico
- “Organón” tratado de lógica básica. -
275 BCE
EUCLIDES
Matemático y Geómetra griego
- Principios de la naturaleza lógica
- Teoría de las proporciones -
1571
FRANÇOIS VIÈTE
Abogado y Matemático francés
- Inicia el simbolismo por el “logístico speciosa” al igual que comienza el Álgebra.
- Canon Mathematicus: Fórmulas y tablas trigonométricas elaboradas desde las de los matemáticos árabes en el siglo X. -
FRANÇOIS VIÈTE
Abogado y Matemático francés
- Isagoge en Artem Analyticam: Uso sistemático en ecuaciones. -
RENÉ DESCARTES
Filósofo, Matemático y Físico francés
- Critica de razonamiento lógico
- Utilizó en silogismo como argumento lógico -
RENÉ DESCARTES
Filósofo, Matemático y Físico francés
- La creación de la geometría analítica.
- Con un conjunto de soluciones. -
ISAAC NEWTON
Físico, Teólogo, Matemático inglés.
- Calculo integral, diferencial.
- Lógica productiva abierta a grandes descubrimientos. -
GOTTFRIED LEIBINIZ
Filósofo
- Complejidad del razonamiento humano
- Utilizo un lenguaje simbólico lo que se conoce como Lógica Simbólica o Matemática.
- Forma lógica con un orden.
- Desarrollo de la lógica de tipo epistémico y modal. -
AUGUSTUS DE MORGAN
Matemático y Lógico británico
- Leyes de Morgan.
- Matemática simbólica moderna o lógica matemática formal.
- Reformador de la lógica. -
FRIEDRICH G. FREGE
Matemático y lógico
- Llevo a cabo la teoría de la cuantificación
- Renovó la lógica clásica -
GEORGE BOOLE
Matemático y Lógico británico
- Aplico matemáticas en la lógica algebra
- Método general inferencia deductiva -
GIUSEPPE PEANO
Matemático, Lógico y Filósofo Italiano
- Formulaire de Mathématiques: Disciplinas matemáticas con la utilización de Lógica Matemática. -
BERTRAND RUSSELL
Lógico matemático, escritor.
- Creador de la logística
- Fundamento la matemática a partir de conceptos lógicos -
KURT GODEL
Lógico, matemático y Filósofo austríaco.
- Lógica sistemática formal
- Tuvo la hipótesis cantoriana del continuo, teorema
- Sintaxis lógica