Наконец, огромное внимание уделял этой проблематике Г. В. Лейбниц (1646–1716). Он вынашивал идею такого формального метода, который всякое рассуждение сводил бы к счету, исчислению. Если бы к последнему можно было добавить универсальный язык понятий, так чтобы операции исчисления производились над элементами этого языка, то значительная часть научного труда могла бы осуществляться на основе чисто механических процедур. К сожалению, Лейбниц практически не публиковал при жизни соображений на эту тему – они стали известны лишь к концу XIX в. И с тех пор практически по сей день развитие логики происходит под знаком идей Лейбница.
Усилия гениев XVII в. не привели ни к отмене аристотелевской логики, ни к торжеству какого-либо одного из методов. Но постепенно это привело к тому, что учебники логики на долгое время стали включать два раздела – теорию доказательства (чистую логику, или учение о формах мышления) и теорию открытия (прикладную логику, или логику исследования, или учение о методе).
В завершение характеристики этого «промежуточного» в истории логики периода отметим еще два события, оказавшие решающее влияние на понимание природы логики и структуры логического знания.
Первое. В 1662 г. была опубликована «Логика, или искусство мыслить» А. Арно и П. Николя, известная также под названием «Логика Пор-Рояля». Эта книга состояла из четырех глав: «Об идеях», «О суждениях», «Об умозаключении» и «О методе». Первые три главы содержали сильно упрощенный, можно сказать адаптированный, материал средневековой логики, а четвертая – результат новаторства. Такая структура на несколько столетий легла в основу курсов логики, часто она встречается и в наши дни. Кроме того, во многом благодаря этой книге, начал закрепляться взгляд на логику как на науку о мышлении, совершенно нетипичный для предшествующих эпох.
Второе. И. Кант (1724–1804), выдающийся немецкий философ, хотя и не имеет никаких заслуг перед логикой, окончательно и надолго определил взгляд на эту науку. Во-первых, это он впервые назвал ее формальной, во-вторых, после него окончательно закрепилось понимание логики как науки о мышлении; таким образом, «формальная логика» в кантианском понимании означает науку о формах мышления. Формальность означает здесь не только сосредоточенность на структуре, схемах мышления, но и то, что здесь не принимаются во внимание проблемы, связанные с содержанием мышления, с предметами мысли. Наконец, общим следствием из «Пор-Рояля» и Канта стало то, что логика стала рассматриваться как дисциплина, теснейшим образом связанная с теорией познания, очень часто даже как часть этой теории. Поэтому логику, излагаемую по схеме Арно и Николя и понимаемую как наука о формах мышления, правильней было бы называть не аристотелевской, но пор-роялевско-кантианской.
III.