Martnez 1

Juan Manuel Martnez Brambila

Prof. Andrs Hernndez Villarreal
Lgica Clsica
20 Enero 2016
Los sistemas simblicos y su evolucin
Autores

Obras

Fechas

Aportaciones

Leibniz

Dissertatio de Arto
Combinatoria

1666

Lenguaje cientfico
universal
Clculo del
razonamiento

Sir William
Hamilton

Lectures on Logic

1860

Cuantificacin del
predicado

Augustus De
Morgan

Formal Logic; or, the

Calculus of

1847

Inference, Necessary
and Probable
On the Syllogism

1846-1863

Tabla de 32 formas
diferentes en que las
proposiciones pueden surgir,
con reglas de transformacin y
equivalencia.
La validez lgica no no
est confinada a los modos y
principios tradicionales.
Lgica de las
relaciones y trminos relativos

George Boole

The Mathematical
Analysis of Logic

1854

Logra un clculo lgico

completo y operable.
Smbolos electivos
Leyes del pensamiento
como reglas de operacin de
los smbolos electivos.
Dichas reglas son las
mismas que se seguiran en un
lgebra de los nmeros 0 y 1.

W. S. Jevons

Pure Logic, or the

Logic of Quality
Apart from Quantity

1864

Formulacin de
procedimiento para resolver
problemas lgicos
manipulando el alfabeto
lgico.
Interpretacin de a + b

Martnez 2
como a, o b o ambos.
C. S. Peirce

On an Improvement
1867
in Booles Calculus of
Logic

Desuso de operaciones
de sustraccin y divisin
lgica.
Uso de relacin de
inclusin (a b)