Port-Royal Logic , или Logique de Port-Royal , является общим названием La logique, ou l'art de penser , важного учебника по логике, впервые опубликованного анонимно в 1662 году Антуаном Арно и Пьером Николем , двумя видными членами движения янсенистов , центром которого был Пор-Рояль . Блез Паскаль, вероятно, внес значительный вклад в текст. Его лингвистическим дополнением является Port-Royal Grammar (1660) Арно и Ланселота.
Написанный на французском языке, он стал довольно популярным и использовался вплоть до двадцатого века, знакомя читателя с логикой и демонстрируя сильные картезианские элементы в своей метафизике и эпистемологии (Арно был одним из главных философов, чьи возражения были опубликованы с ответами в « Размышлениях о первой философии» Декарта ) . Логику Пор-Рояля иногда приводят в качестве парадигматического примера традиционной терминологической логики .
Философ Луи Марен подробно изучал его в XX веке ( «Критика дискурса» , Éditions de Minuit, 1975), а Мишель Фуко в «Порядке вещей » считал его одной из основ классической эпистемы .
Среди вкладов Логики Пор-Рояля — популяризация различия между пониманием и расширением , которое позже станет более утонченным различием между интенсионалом и расширением . [1] Грубо говоря: определение с большим количеством квалификаций или признаков (интенсион) обозначает класс с меньшим количеством членов (расширение), и наоборот. Основная идея восходит к схоластическим философам к идеям Аристотеля о роде и виде , [ 2] и является фундаментальной в философии Лейбница . [3] Совсем недавно она была связана с математической теорией решеток в формальном концептуальном анализе и независимо формализована аналогично группой Ю. Шрейдера в Москве , [4] Джоном Барвайзом и Джерри Селигманом в Information Flow , [5] и другими.