Logica

ANTECEDENTES DE LA LOGICA EN LA EDAD MODERNA
La lógica moderna ha encontrado el modo de simbolizar también las partes constantes de tales esquemas, como conjunciones, negaciones, partículascondicionales, etc. Para ello ha diseñado nuevos signos, similares a los que se utilizan en matemáticas.
La lógica moderna tiene precedentes en las obras de autores como llull y Leibniz, pero su nacimientosuele situarse en las obras de George Boole y de gottlob ferge. La lógica moderna se caracteriza por una mayor simbolización de sus expresiones, de tal modo que, sin dejar de ser una ciencia formal,se ha convertido además en una ciencia formalizada. Esto significa que sus distintas ramas se expresan en formas de sistemas formales, es decir, sistemas de signos y de reglas exactamente definidos quepermiten realizar ciertas operaciones de un modo riguroso.
Reconocemos a la lógica en este contexto con la lógica de port-royal, Publicada en 1662, fue la más influyente obra sobre lógica enInglaterra hasta el Sistema Lógico de Mill de 1825. 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 marcoque se deriva ampliamente de la lógica de términos aristotélica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado enInglaterra hasta finales del siglo XIX.
El tratamiento que realiza Locke de la proposición en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, son los signosde nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. Así, pues, la proposición consiste en juntar o separar esos signos, de acuerdo con las cosas con las que están deacuerdo o en desacuerdo."
Los trabajos más conocidos dentro de esta tradición son los de Isaac Watts, Logick: Or, the Right Use of Reason, Richard Whately, Logic, y John Stuart Mill, A System of...