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