ЛОГИКА ПОР-РОЯЛЯ

— книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием «Logique ou lart de penser» («Логика или искусство мыслить»). До нач. 19-го столетия была самым популярным учебником логики, выдержала более 50 французских изданий, несколько английских и латинских переводов. Лейбниц назвал эту книгу замечательной, несмотря на выраженную в ней адаптацию логической мысли к методологическим принципам картезианской философии.

Свое второе имя — «Логика Пор-Рояля» — книга получила по месту рождения — янсенистскому монастырю Port-Royal des Champs, где жили и работали ее авторы — французские ученые А. Арно и П. Николь. Создавая книгу, они решали задачу, намеченную Декартом: отделить «верные и хорошие» правила логики от «вредных и излишних». При этом они пошли по пути упрощения или отбрасывания всех («схоластических») тонкостей, выработанных логической мыслью предыдущих эпох. Так, они обходят тему логики высказываний (consequentiae), семантических парадоксов (insolubilia), зачатки временной логики (obligatoria) и учение о несобственных символах (syncategoremata). Однако, демонстрируя критицизм в отношении схоластики, авторы заняты одновременной реабилитацией силлогистической дедукции (в противовес индуктивизму эпохи Возрождения), правда, при явном снижении интереса к символическому аспекту этой дедукции: полуформальный аппарат аристотелевской теории по существу упразднен и заменен объяснениями на примерах, которые a propos используются для пропаганды картезианской философии и теологических истин. При этом и мысль Декарта, что точные рассуждения можно найти только в математике, и его идея mathesis universalis  в «Логике Пор-Рояля» отражения не нашли. Исключив всякий намек на математический анализ умозаключений, авторы трактуют логику не как науку, а как искусство, — но не как искусство «исчисления выводов» путем комбинирования формул, а как искусство здраво судить о вещах помимо всякого рода формул, руководствуясь только «естественным светом разума». Если доказательство очевидно, но противоречит правилам, нужно отбросить правила. Вот почему главным предметом анализа авторы считают не логический вывод, а его посылки: ошибаются обычно не оттого, что плохо умозаключают, а оттого, что исходят из ложных посылок. Соответственно их главное внимание — к прикладному и методологическому аспектам логики как основным условиям «прояснения смысла» суждений и развития «способности суждения» (важный раздел их логики — анализ суждений в «составных» силлогизмах).

Характеризуя методологический аспект «Логики Пор-Рояля», следует заметить, что ее авторы еще не делают различия между критериями истинности и правильности, часто апеллируя не к форме, а к интуитивной ясности рассуждения. С их точки зрении, «естественный способ изложения истины» — причинно-следственный, а не логический, поэтому надо стремиться к «естественной связи идей». Примером неестественных рассуждений служат косвенные доказательства (см. Доказательство косвенное). Согласно авторам «Логики Пор-Рояля», косвенно можно доказывать только отрицательные положения, но нельзя доказывать суждения существования (зачаток интуиционистской критики в теории доказательств). Нельзя также умозаключать от частного к общему. Только полная индукция  является верным средством познания. Не все математические суждения аналитические, а только аксиомы, которые познаются умозрительно. Очевидность (интуитивная ясность) есть признак аналитичности: реальное и неочевидное нельзя брать как аксиому, но номинально определенное можно. Теорию определений авторы заимствуют у Паскаля, а общее учение о методе  — у Декарта. Обе темы авторы относят к «самой полезной и самой важной» части общей логики. В разделе об определении они указывают на необходимость сообразоваться с обычным словоупотреблением и строго различать определение имени (definitio nominis) и определение вещи (definiti rei). A в разделе о методе они указывают два: 1) анализ (метод решения или изобретения), который служит для открытия истин, и 2) синтез (теоретический метод), который служит для изложения истин уже открытых. Первый «скорее заключается в проницательности и способности ума правильно оценивать вещи, чем в особых правилах» (см.: «La Logique...». P., 1775, р. 361), второй — по существу аксиоматический метод  геометрии с добавлением правил для определений, для аксиом, для доказательств и для самого метода, отражающих картезианский подход к основам науки.

Оценивая «Логику Пор-Рояля» в целом, можно предположить, что, хотя эта логика была шагом в сторону от собственно математического направления развития логики, именно созданный ею образ этой науки способствовал тому, что формальная логика  с тех пор не покидала кафедр высших учебных курсов, гимназий и университетов.

Соч.: AmauldA., Nicole P. La Logique ou lart de penser. R, 1965 (рус. пер. В. П. Гайдамака с послесловием А. Л. Субботина по изданию 1752 г.: Арно А., Николь П. Логика, или Искусство мыслить. М., 1991). Лит.: Попов П. С. История логики нового времени. М., 1960, с. 32— 35; Стяжкин H. И. Формирование математической логики. М., 1967, с. 204—206; Пор-Рояля логика (Новосёлов М. М.).— В кн.: Философская энциклопедия, т. 4. М., 1967; Kneale W., Kneale M. The development of logic. Oxf., 1962; Kotarbinski T. Lecon sur lhistoire de la logique. Warsz., 1965, Ch.VIII; Blanche R. Lhistoire de la logique. P., 1970, p. 179-187.

M. M. Новосёлов