El documento discute las contribuciones filosóficas a la lógica de Aristóteles, Descartes, Leibniz y Kant. Aristóteles estableció la lógica tradicional, pero la lógica formal ha mostrado sus limitaciones. Descartes y Leibniz propusieron un lenguaje universal y preciso que podría usarse para descubrir la verdad mediante cálculo. Kant investigó los conceptos puros a priori del entendimiento o categorías trascendentales.

1. APORTES FILOSÒFICOS
SOBRE LA LÒGICA

2. ARISTOTELES
La formalización estricta ha mostrado las
limitaciones de la lógica tradicional, que hoy
se interpreta como una parte pequeña de la
lógica de clases.

3. DESCARTES, Y LEIBNIZ
El desarrollo de la lógica formal. Son de especial
importancia, la idea de Descartes de una Mathesis
universal y de Leibniz que, con su Característica
Universal supone la posibilidad de un lenguaje
universal, especificado con precisión matemática
sobre la base de que la sintaxis de las palabras
debería estar en correspondencia con las entidades
designadas como individuos o elementos
metafísicos, lo que haría posible un cálculo o
computación mediante algoritmo en el
descubrimiento de la verdad.

4. KANT
Lógica trascendental en el sentido de
investigar los conceptos puros a priori del
entendimiento o categorías trascendentales.