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

логич. учение, основанное на принципах философии Декарта и Паскаля. Систематически изложено в книге Арно и Николя "Логика или искусство мыслить" ("La logique ou l´art de penser", P., 1662). Согласно П.-Р. л., главная цель логики – формулировка суждений наиболее строгим образом (с тем, чтобы способствовать различению и с т и н ы и л ж и). Т. к. на это должны быть направлены осн. усилия в любых науч. исследованиях, то все др. науки следует оценивать с т. зр. логики. В ответ на критику, вероятно имевшую место еще при распространении рукописного варианта П.-Р. л., в частности на упреки в том, что в логич. сочинении неоправданно много места уделяется риторике, физике, геометрии и др. наукам, во введении к своей книге (втором) авторы особо подчеркивают прикладное и методологич. значение логики, возражая тем, кто "замыкает логику в логике" вместо того, чтобы использовать ее как рабочий инструмент др. наук и практики. Касаясь вопроса о преемственности или о связи П.-Р. л. с уже известными учебниками по логике, авторы отмечают, что они изложили все полезное, что имеется в этих книгах (напр., правила фигур силлогизма, учение о терминах и понятиях, частично о предложениях и др.), а также, уступая традиции, и нек-рые бесполезные, на их взгляд, учения, напр. учение о категориях, к-рые приносят больше вреда, чем пользы, по крайней мере, по двум причинам: в о - п е р в ы х, в силу укоренившегося представления о категориях как о чем-то абсолютном и безусловно-истинном (такое представление о категориях таит в себе, по их мнению, опасность мистификаций; в связи с этим любая система категорий рассматривается в П.-Р. л. как произвольно установленная система осн. понятий, к-рая, в зависимости от филос. позиции мыслителя, с одинаковым правом может быть заменена к.-л. др. системой понятий); в о - в т о р ы х, учение о категориях опасно потому, что оно приучает людей прятаться за слова и воображать, что они знают, о чем говорят, когда произносят общие фразы, лишенные ясного и отчетливо воспринимаемого смысла. Тем не менее авторы П.-Р. л. отмечают, что их критика нек-рых положений логики и философии Аристотеля не имеет целью принизить значение философа, к-рому принадлежит приоритет в открытии почти всех известных правил логики и у к-рого они больше всего заимствовали при написании своей работы. Определ. шагом вперед в разработке логич. теории явилось введенное в П.-Р. л. употребление терминов "содержание" и "объем" по отношению к общим понятиям (именам), причем под содержанием понятия понималась совокупность существенных признаков рассматриваемого понятия (напр., в содержание понятия "треугольник" включались признаки: фигура на плоскости, три стороны, равенство трех углов двум прямым и др.), а под объемом понятия понимались предметы, соответствующие этому понятию (т.е. такие предметы, к-рые в качестве субъектов суждений, предикатом к-рых является рассматриваемое понятие, сохраняют их истинность; в совр. терминологии – образующие класс истинности рассматриваемого понятия). Придавая большое значение борьбе с логическими ошибками, возникающими из-за неоднозначного (нечеткого) употребления слов обычного языка, авторы П.-Р. л. указывают, что лучшим средством избавления от таких ошибок является построение нового языка, слова к-рого будут иметь только тот смысл, к-рый хотят им приписать. Таким языком может служить, по их мнению, и обычный разговорный язык при условии, что его слова рассматриваются как не имеющие первоначально никаких значений, – в дальнейшем их значения устанавливаются по о п р е д е л е н и ю. Эта концепция языка авторов П.-Р. л., по-видимому, тесно связана с их (заимствованной у Паскаля) теорией определений, согласно к-рой следует строго различать номинальные о п р е д е л е н и я (определения имени, лат. definitio nominis) и реальные определения (определения вещи, лат. definitio rei). В реальном определении мы сохраняем за определяемым термином его обычный (общепринятый) смысл, но только раскрываем (разъясняем) его посредством определяющих терминов (аналогично пояснительным определениям в математической логике – см. А. Черч, Введение в математич. логику, М., 1960, с. 388). В номинальном определении определяемый термин первоначально не имеет никакого смысла и получает его посредством определения, причем получает только тот смысл, к-рый ему приписывается определяющими терминами; др. словами, смысл определяющего переносится на определяемое. Авторы П.-Р. л. указывают также на чисто синтаксическую роль номинальных определений как полезных сокращений (аналогично о п р е д е л е н и я м -с о к р а щ е н и я м в матем. логике – см. там же, с. 71, 388). Отсюда делается вывод: 1) что определение имени, в отличие от определения вещи, совершенно произвольно и потому ни истинно, ни ложно; 2) что в силу своего произвольного характера оно, в отличие от определения вещи, не может быть оспорено; 3) что в силу (2) любое номинальное определение можно принять в качестве исходного принципа (аксиомы), чего нельзя сказать о реальном определении, являющемся, по существу, предложением, к-рое нуждается в доказательстве; 4) что принятие номинальных определений в качестве исходных принципов вовсе не означает при этом постулирования утверждений о к.-л. р е а л ь н о с т и, ибо в этих определениях не содержится никакого указания на с у щ е с т в о в а н и е в качестве реальной вещи того, что с их помощью определяется (напр., мы можем определить "химеру" как то, из чего вытекает логич. противоречие, не считая, однако, химеру объективно существующей вещью). Развиваемая в П.-Р. л. к о н в е н ц и о н а л ь н а я концепция языка кратко подытоживается следующими словами: "... для выражения своих мыслей каждый может пользоваться таким языком, который ему нравится, лишь бы он известил об этом... каждый имеет право создавать для себя собственный с л о в а р ь, но никто не имеет права ни навязывать свой словарь другим, ни истолковывать значений слов чужого словаря на основе тех частных значений, которые он для себя выбрал" ("La Logique...", P., 1775, p. 71). Особое место в П.-Р. л. занимает учение о м е т о д е, к-рое, по мнению ее авторов, является самой полезной и самой важной частью логики: "... существуют два вида методов; один, который мы называем анализом, или методом р е ш е н и я, и который можно также назвать методом изобретения, служит для открытия истины; другой, который мы называем синтезо м, или методом композици и, и который можно также назвать теоретическим методом, служит для передачи другим уже открытых нами истин" (там же, р. 353). Резюмируя содержание раздела об аналитич. методе, авторы указывают, что, по существу, этот метод "...скорее заключается в проницательности и способности ума правильно оценивать вещи, чем в особых правилах" (там же, р. 361). Тем не менее они приводят четыре правила (о методе) Декарта, к-рые, по их мнению, помогают избежать ошибок в поисках истины, хотя, вообще говоря, являются общими для обоих методов, а не только для анализа. Наиболее важным является синтетич. метод, поскольку именно этим методом пользуются при теоретич. изложении любой науки. Он состоит в переходе от самого общего и самого простого к менее общему и более сложному. В качестве примера хорошего метода приводится тот, к-рым пользуются геометры, но с добавлением нек-рых правил. Этот обобщенный метод наз. науч. методом. Он сводится к следующим правилам – для о п р е д е л е н и й: 1)не оставлять никаких неясных или двусмысленных терминов без определения; 2) использовать в определениях лишь хорошо известные или уже объясненные термины; для а к с и о м: 1) принимать в качестве аксиом только вполне очевидные положения; 2) принимать как очевидное только то, что требует лишь небольшого внимания для признания его истинным; для доказательств: 1) доказывать все сколько-нибудь неочевидные предложения, используя при этом только прежде введенные определения и принятые аксиомы или уже доказанные предложения; 2) никогда не злоупотреблять многосмысленностью терминов, прибегая в случае затруднений к определениям, к-рые ограничивают и одновременно объясняют их значения; для метода: 1) насколько возможно излагать вещи в их естеств. порядке, начиная с более общего и более простого; прежде чем переходить к видовым особенностям, объяснить все, принадлежащее природе рода; 2) подразделять, насколько это возможно, каждый род на все его виды, каждое целое на все его части, каждую задачу на все ее случаи (см. тамже, р. 398–99). Нек-рые из этих правил отмечены чрезмерным доверием к интуиции, к здравому смыслу. Это привело, в частности, к требованию со стороны авторов П.-Р. л. ограничить класс доказываемых положений (геометрии) лишь неочевидными утверждениями и к упрекам в адрес геометров, что они зря доказывают то, что нет необходимости доказывать. Это же, по-видимому, послужило основой для поиска ряда содержат. критериев правильности силлогистич. вывода взамен формальных. Спец. место в П.-Р. л. уделяется вопросам об образовании (составлении) сложных предложений из простых и о разложении сложных предложений на простые. Систематизации и критич. рассмотрению подвергаются схоластич. учение о проведении диспутов (т.н. "разделы об аргументации", лат. loci argumentorum, или методы отыскания аргументов, к-рые авторами П.-Р. л. подразделяются на грамматические , логические и метафизические) и др. традиц. вопросы. В целом же П.-Р. л. отнюдь не представляет собой продолжения традиционной (схоластической) логики; в б?льшей мере она является критикой этой логики, критикой, к-рая зачастую оставляет в стороне мн. интересные и важные (как выяснилось в связи с появлением математической логики) ее проблемы, но которую, однако, именно с т. зр. последующего развития математики и логики следует считать в основном полезной и плодотворной. Лит.: Владиславлев М. И., Логика, СПБ, 1872; Попов П. С., История логики нового времени, М., 1960, с. 32–5; Котарбиньский Т., Избр. произв., пер. с польск., М., 1963, с. 429–42; Кnеаlе W. and Кnеаlе M., The development of logic, Oxf., 1962. См. также лит. при ст. Арно и Николь. М. Новоселов. Москва.