Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
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.