III. Дальнейшее развитие логики
После Аристотеля учение об умозаключениях – этот главный отдел дедуктивной логики – стало развиваться дальше по двум направлениям, исходные точки которых, в сущности, были намечены уже у Аристотеля. Хотя Аристотель и был слишком связан словесным выражением понятий и положений и довольно часто смешивал словесное и логическое, но для изложения силлогистических соотношений он все-таки пользовался общим способом обозначения понятий: на место понятий он ставит буквы и соединяет их в ряды, соответствующие отдельным силлогистическим фигурам. Так что Аристотель, собственно, является творцом и алгоритмической, или математической, логики, логического исчисления. Но Лейбниц первый определенно и по принципиальным соображениям вступил на путь математического изложения и понимания логических отношений. Силлогистическая форма, говорит Лейбниц, считающий ее одним из самых прекрасных и замечательных изобретений человеческого ума, это особый вид наиболее общей математики, значение которого еще слишком мало известно. Лейбниц имеет при этом в виду исчисление на основе тождественных положений; суждения он сводит к уравнениям, и уже у него мы встречаемся с принципом «квантификации предиката», по которому в каждом утвердительном положении предикат должно принимать за частный. Но попытки Лейбница все-таки еще не выходят за пределы силлогистики. Г. Буль первый преступил эти пределы, и благодаря этому он стал творцом новой дисциплины – алгебраической логики, про которую нельзя с определенностью сказать, является ли она новой ветвью математического анализа или составляет реформу старой логики. Во всяком случае, от нее нельзя отделаться презрительной кличкой: «логический спорт». Тем, что новая дисциплина показала, каким образом любую сложную систему логических положений можно разложить по одному элементу системы, она сделала теорию умозаключения независимой от числа посылок. И нельзя в качестве возражения против нее выставлять то, что она не сумела представить в виде слагаемых или множителей все, даже качественное многообразие отношений признаков и понятий. Это есть нечто, лежащее за пределами не только математического, но и логического понимания. Предметом чисто логического исследования могут быть только аналитические отношения, отношения, выражающиеся в тожестве известных частей содержания или объема понятий. Если алгебраической логике все-таки суждено оставаться предметом специального интереса, то причина этого лежит в ее неспособности выразить такие существенные различия, как различие трех фигур умозаключения. Здесь сказывается превосходство словесного выражения над алгебраическим. Язык, правда, тоже есть только символ мыслей, но он их первый и самый близкий символ; искусственные знаки, напротив, являются символами символов. Поэтому нам постоянно приходится вновь прибегать к словесным предложениям, чтобы объяснить значение знаков и указать законы, которым они должны подчиняться по нашему установлению.