Пор-Рояля логика, логическое учение, изложенное в книге последователей Р. Декарта — аббатов монастыря Пор-Руаяль А. Арно и П. Николя «Логика, или Искусство мыслить» (1662). Состоит из 4 основных частей: учение о понятии, учение о суждении, учение об умозаключении, учение о методе. В Пор-Рояля логика впервые различаются содержание понятия (т. е. характеризующая его совокупность признаков) и его объём (класс объектов, обладающих этими признаками). Авторы Пор-Рояля логика выдвигают идею построения специального логического языка (см. Формализованный язык), использование которого в научных исследованиях и при изложении результатов позволило бы избежать распространённых логических ошибок, поскольку такой язык был бы свободен от полисемии и омонимии: Каждый его термин должен иметь в точности один смысл, вводимый соответствующим определением. Вообще в Пор-Рояля логика значительное место занимает теория определений (идущая главным образом от Б. Паскаля), строго различающая определения номинальные (вводящие имена — термины, до определения вообще не наделённые никаким смыслом или значением) и реальные (поясняющие значения имён некоторых «реальных» объектов с помощью терминов, связанных с др. реальными объектами); принятие какого-либо определения 1-го рода есть лишь вопрос терминологического соглашения, в то время как определение 2-го рода есть предложение, нуждающееся, вообще говоря, в обосновании. Центральная роль в Пор-Рояля логика играет проблематика, с современной точки зрения вообще не относящаяся к логике, например развивающее идеи Декарта т. н. учение о методе, согласно которому научные истины должны открываться посредством анализа некоторых данных, а передаваться и упорядочиваться — с помощью их синтеза. Пор-Рояля логика разработала систему методологических рекомендаций, относящихся к формированию определений, аксиом, умозаключений, доказательств и научных методов как таковых. В собственно логическом (в современном смысле слова) отношении Пор-Рояля логика можно рассматривать как рационалистическую критику схоластической логики и реконструкцию логики в духе идей Аристотеля (также с критическим их переосмыслением, например в связи с аристотелевским учением о категориях). Наряду с Пор-Рояля грамматикой Пор-Рояля логика предвосхитила некоторые важные принципы современной формальной (символической или математической) логики, например в вопросе о структуре сложных суждений (высказываний).

 

  Лит.: Котарбиньский Т., Избр. произв., пер. с польск., М., 1963.