La historia de la logica

Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincadossistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamientosustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, esprobable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico,cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIIIinfluyó también en la lógica moderna.
La lógica de Port-Royal
La expresión "lógica tradicional" hace referencia, habitualmente, a la tradición de manuales que comienza con La logique ou l'art depenser de Antoine Arnauld y Pierre Nicole, más conocido como Lógica de Port-Royal. Publicada en 1662, fue la más influyente obra sobre lógica en Inglaterra hasta el Sistema Lógico de Mill de 1825 [N4].El libro presenta una muy libre doctrina cartesiana (que la proposición es una combinación de ideas antes que de términos, por ejemplo) dentro de un marco que se deriva ampliamente de la lógica detérminos aristotélica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX.
Eltratamiento que realiza Locke de la proposición en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o...