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