Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
Port Royal des Champs
Con el título de Lógica de Port-Royal "o bien el arte de pensar", Antoine Arnauld y Pierre Nicole, dos importantes exponentes del jansenismo, publicaron un tratado de lógica que se caracterizaba por integrar, además de los capítulos habituales que tratan sobre los actos del entendimiento, un cuarto capítulo dedicado al método, según el pensamiento de Descartes. La lógica de Port-Royal se caracteriza por una orientación mentalista: de hecho el tema principal no son los términos o signos sino los modos con los que la mente realiza las relaciones entre los nombres. En este sentido ha de entenderse la expresión "arte de pensar". La lógica no se entiende desde el punto de vista formal, como construcción pura de razonamientos deductivos, sino como un método para conducir a la mente al conocimiento de ideas claras y distintas, por tanto, al descubrimiento y a la invención.