Port-Royal Logic , 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 . movimiento, centrado en Port-Royal . Blaise Pascal probablemente contribuyó con porciones considerables del texto. Su obra lingüística complementaria es la Gramática de Port-Royal (1660) de Arnauld y Lancelot.
Escrito en francés, se hizo bastante 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 se publicaron, con respuestas , en Meditaciones sobre la filosofía primera de Descartes ). La Lógica de Port-Royal se cita a veces como un ejemplo paradigmático del término lógica tradicional .
El filósofo Louis Marin la estudió particularmente en el siglo XX ( La Critique du discours , Éditions de Minuit, 1975), mientras que Michel Foucault la consideró, en El orden de las cosas , una de las bases de la epistémè clásica .
Entre los aportes de la Lógica de Port-Royal se encuentra 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 matemática de la red en el análisis de conceptos formales , y Yu lo formalizó de forma independiente y similar . El grupo de Schreider en Moscú , [4] Jon Barwise & Jerry Seligman en Information Flow , [5] y otros.