La lógica de Port-Royal , o Logique de Port-Royal , es el nombre común de La logique, ou l'art de penser , un importante libro de texto sobre lógica publicado por primera vez de forma anónima en 1662 por Antoine Arnauld y Pierre Nicole , dos miembros destacados del movimiento jansenista , centrado en Port-Royal . Blaise Pascal probablemente contribuyó con porciones considerables del texto. Su pieza lingüística complementaria es la Gramática de Port-Royal (1660) de Arnauld y Lancelot.
Escrita en francés, se volvió muy popular y estuvo en uso hasta el siglo XX, introduciendo al lector a la lógica y exhibiendo fuertes elementos cartesianos en su metafísica y epistemología (Arnauld fue uno de los principales filósofos cuyas objeciones fueron publicadas, con respuestas, en las Meditaciones sobre la primera filosofía de Descartes ). La Lógica de Port-Royal a veces se cita como un ejemplo paradigmático de la lógica de términos tradicional .
El filósofo Louis Marin lo estudió particularmente en el siglo XX ( La Critique du discours , Éditions de Minuit, 1975), mientras que Michel Foucault lo consideró, en Las palabras y las cosas , una de las bases de la epistemè clásica .
Entre las contribuciones de la lógica de Port-Royal está la popularización de la distinción entre comprensión y extensión , que luego se convertiría en una distinción más refinada entre intensión y extensión . [1] En términos generales: una definición con más calificaciones o características (la intensión) denota una clase con menos miembros (la extensión), y viceversa. La idea principal se remonta a través de los filósofos escolásticos a las ideas de Aristóteles sobre género y especie , [2] y es fundamental en la filosofía de Leibniz . [3] Más recientemente, se ha relacionado con la teoría reticular matemática en el análisis de conceptos formales , y se ha formalizado de forma independiente de manera similar por el grupo de Yu. Schreider en Moscú , [4] Jon Barwise y Jerry Seligman en Information Flow , [5] y otros.