(всякое, некоторое, одно C) есть B,
следовательно, C (всякое, некоторое, одно C) есть A – не есть X.
Меньшая посылка и заключение 2 фигуры:
C (всякое, некоторое, одно C) не есть A – есть X,
следовательно, C (всякое, некоторое, одно C) не есть B127.
7. Частные суждения третьей фигуры имеют существенно иное значение, нежели частные суждения обеих первых фигур. У этих последних взятый в качестве частного термин уже первоначально стоит в качестве субъекта и частный характер есть нечто побочное, быть может, просто словесное выражение; одни и те же субъекты являются как в меньшей посылке, так и в заключении. Но там частное выражение появляется в качестве субъекта лишь в заключении, и благодаря этому ему свойственна вся неопределенность частного; оно эквивалентно лишь суждению возможности; о необходимом следствии в обыкновенном смысле в третьей фигуре совсем не может быть речи. Что два предиката принадлежат одному и тому же субъекту – это в первом, третьем и четвертом модусах является одинаково существенным; ибо в обоих последних только часть всех M, тождественная с некоторыми M, несет на себе бремя вывода. Но отсюда следует просто, что оба предиката соединимы, т. е. не исключают друг друга. Что предикат P недостает субъекту, относительно которого имеет силу другое S, – это равным образом является общим для 2, 5 и 6 модусов; и отсюда следует, что они не необходимо сопринадлежны. Следовательно, строго говоря, правило, по которому делается вывод и которое обосновывает выведение заключения из посылок, вовсе не выражается в самих этих последних. Невысказанная большая посылка к утвердительным модусам есть «если два предиката принадлежат тому же самому субъекту, то они соединимы, они необходимо не исключают друг друга»; обе посылки образуют совместно меньшую посылку к невысказанной большей посылке. Точно так же большей посылкой к модусам с отрицательным заключением является «если из двух предикатов один недостает субъекту, которому принадлежит другой, то они не являются необходимо сопринадлежными». Обе посылки снова образуют совместно меньшую посылку к этой большей посылке.
То, что выводится, следовательно, – это есть определенное отрицание необходимости, с одной стороны, необходимого исключения, с другой – необходимой сопринадлежности. И слабость третьей фигуры состоит именно в том, что она не может обосновать никакой необходимости, а может лишь отрицать таковую, что выражается в частном характере заключения.
С этой точки зрения, как выводит Лотце, две отрицательный посылки также могут дать подобный вывод к отрицанию необходимости. Именно если «M не есть P» и «M не есть S», то отсюда следует, что из отрицания P не необходимо должен делаться вывод в утверждение S, и из отрицания S не необходимо должен делаться вывод к утверждению P. То, что не есть P, не необходимо является поэтому S, и наоборот; то, что отрицается, – это есть, следовательно, та связь, какую высказывало бы разделительное суждение «M есть или P, или S». Ибо обе посылки могут быть соединены в суждении «M не есть ни S, ни P» и это последнее отрицается разделением «M есть или S, или P». Почему Аристотель исключил эти случаи – это становится ясным из того, что их результат не может быть высказан ни в одном из тех видов суждения, на которые он обращает свое внимание. Ибо согласно обычной схеме заключение следовало бы формулировать так: «некоторое не-S не есть P». Чем совершенно ничего не высказывается об отношении понятий S и P – ни то, полностью или отчасти они исключают друг друга, ни то, полностью или отчасти они связаны друг с другом. Так что правило «Ex mere negativis nihil sequitur» в своем первоначальном смысле остается неоспоримым, хотя тот, кто думает, все должно быть или X, или У, может быть опровергнут примером, в котором Z не есть ни X, ни У128.
§ 55. Ценность силлогизма
Если категорические силлогизмы в качестве больших посылок предполагают аналитические суждения о понятиях, то они не могут выполнять задачи обосновывать всегда вновь возникающее мышление, а ограничиваются тем, чтобы при всяком применении содержать в наличности неизменные отношения между понятиями. Более важное значение получают категорические силлогизмы лишь в том случае, когда они, как у Аристотеля, или служат для образования понятий, или если их большие посылки суть не простые суждения о понятиях, а синтетические суждения в кантовском смысле.
1. Ценность силлогистического приема вообще становится сомнительной, если вместе с традиционной логикой рассматривать его как обоснованный на готовой и всесторонне замкнутой системе понятий и покоящихся на этом аналитических суждений, а не как средство, позволяющее достигать образования понятий путем сократовской έπαγωγή.
Именно если в нормальном силлогизме три понятия – S, M, P – находятся друг к другу просто в отношении высших понятий к низшим, то заключение «S есть P» содержится в предположенных отношениях между понятиями столь же непосредственно, как меньшая посылка «S есть M» или большая посылка «M есть P»; P есть часть содержания понятия S как вообще всякий признак и всякая комбинация его признаков. Но если S представляет собой единичную вещь, то чтобы быть уверенными относительно его подчинения под M, мы должны пробежать весь ряд его признаков (§ 47, 1); следовательно, также и те, которые конституируют P. Напротив, лишь тогда мы можем сказать, что «S есть M», если мы уже знаем, что оно есть P. Положение «квадрат есть четырехугольник», несомненно, указывает не более отдаленный предикат, нежели положение «квадрат есть параллелограмм», и отнюдь не требуется вывода: «квадрат есть параллелограмм; следовательно, четырехугольник». Положение «эта фигура есть параллелограмм» включает вместе с тем в качестве предпосылки положение «эта фигура есть четырехугольник»: определенную фигуру можно не раньше познать как параллелограмм, если мы уже знаем, что она есть четырехугольник. Вывод: «она есть параллелограмм, следовательно, четырехугольник» – является, таким образом, не только излишним, как раньше, но и ложным. Если спросить, далее, что мы выигрываем путем такого восхождения к все более и более высоким понятиям, то, в противоположность собственным целям познавания через суждение, мы движемся здесь вспять. Предикаты становятся все беднее, менее содержательными, наши знания о субъектах становятся все меньшими, мы теряем на этом пути, вместо того чтобы выигрывать. Если я знаю, что квадрат есть параллелограмм, то я знаю гораздо больше, нежели когда я построил бы себе лестницу из выводов, которые, в конце концов, научают меня, что это есть нечто пространственное или делимое или, наконец, нечто каким-либо образом сущее. К последнему предикату должны были бы последовательным образом приходить все выводы, которые постепенно взбираются по пирамиде понятий.
2. Характер силлогистики, как она понимается и изображается в традиционном учении, нагляднее всего уясняется из того, что с успехом могли провести теорию, что в силлогистическом процессе вывода дело идет-де собственно только о субституции одного термина на место другого. В каком-либо данном суждении, говорит Бенеке129, мы ставим на место одной из его составных частей какую-либо другую, и притом побуждаемые вторым суждением, которое указывает известное отношение между прежней и новой составной частью. Субституция может наступить, если новая составная часть никаким образом не выходит за пределы старой. Это бывает тогда, если субституирующее есть то же самое, лишь в другом выражении, или если оно есть какая-либо часть того, что им субституируется. В выводе «некоторые четырехугольники не суть параллелограммы, все ромбы суть параллелограммы; следовательно, некоторые четырехугольники не суть ромбы» я субституировал на место параллелограммов ромбы, т. е. часть. В выводе «некоторые параллелограммы косоугольны, все параллелограммы суть четырехугольники; следовательно, некоторые четырехугольники косоугольны» на место того же самого субъекта («некоторые параллелограммы») я субституировал другое выражение («некоторые четырехугольники»). В первом случае новая составная часть («ромбы») есть часть объема прежней составной части («параллелограммы») во втором случае субституирующее («четырехугольник») есть часть содержания прежней составной части («параллелограмм») и позволяет, следовательно, обозначить для мышления то же самое в каком-либо другом выражении.
Сделав из этой теории различные возможные выводы, Бенеке приходит затем к тому результату, что при помощи всех полученных таким образом выводов наше мышление нисколько не расширяется или не обогащается. Часть должна ведь содержаться в целом; и если на место последнего я ставлю первую, то я не приобретаю ничего из материала представлений, а скорее теряю.
Но в выводах с отрицательным результатом постольку имеет место выход (за пределы данного), поскольку в понятии не сомыслится все то возможное, что оно не есть; благодаря силлогизмам, следовательно, получается дальнейший ряд различений. Но так как всякое понятие как таковое мы имеем, лишь поскольку оно является членом известной системы и разделено от соподчиненных с ним, то ближайшие и важнейшие отрицания, разумеется, уже сомыслятся в самом понятии, и является совершенно бесцельным – привлекать все дальнейшие и более далекие отрицания. Если я знаю, что человек есть животное существо, то тем самым он отделен от остальных существ, которые ближе всего стоят к нему; что он не металл, не геометрическая фигура – этого не нужно заверять никаким силлогизмом.