Логика. Том 1. Учение о суждении, понятии и выводе

127. Тем самым разрешаются также такие трудности, как та, что вопреки правилу Аристотеля, из двух отрицательных посылок все же может следовать вывод; именно так: Что не есть M, то есть P.

S не есть M, из чего следует

S не есть P.

Вывод, несомненно, правилен; но ложно, что он следует из двух отрицательных посылок в аристотелевском смысле. Ибо положение «что не есть M, то не есть P», только по выражению является отрицательным, в действительности же оно равнозначаще с «Все P суть M», или «Что есть P, то есть M» связь отрицаний покоится на положительном отношении предикатов. Только привычка к совершенно внешнему способу рассмотрения может усматривать в таких вещах что-либо странное.

128. Гораздо дальше расширяет Schuppe (Erkenntnisth. Logik, с. 128 и сл.) круг тех выводов, которые могут быть получены из отвергнутых Аристотелем комбинаций посылок.

Уже если обе посылки «a не b» и «b не c» высказывают простое различение, то они устанавливают, что a и c совпадают в одном пункте, в том, что они не суть b, – что при известных обстоятельствах является в высшей степени важным открытием, которое связывает-де в иных отношениях различные a и c. Но это открытие выражается ведь в положении «ни a, ни c, ни b», которое лишь повторяет в соединенном виде обе посылки. И. Шуппе признает ведь также и для этого случая положение «Ex mere negativis nihil seguitur».

Но при суждениях сопринадлежности это положение является-де, очевидно, ложным. Прежде всего для этого приводится разобранный выше, в пр. 127, пример вывода, большая посылка которого гласит: «Что не есть M, то не есть P».

Из «ни одно M не есть P» и «S не есть M» мы выводим, что P может быть отвергаемо у S, во всяком случае не ради M, «это при известных обстоятельствах весьма важный результат, когда мы оспариваем неясные представления, которые, не высказывая того, все же отвергают у S P ради сходства с M, и это может привести к признанию sp». Шуппе не иллюстрирует своих положений примерами. Дабы облегчить рассмотрение его положений, мы возьмем один пример, который подходит к указанным выше словам «ни одна рыба не имеет теплой крови» – «кит не есть рыба»; отсюда мы должны сделать вывод, что у кита теплокровность следует отвергать во всяком случае, не вследствие его сходства с рыбами. Но разве в действительности мы выводим это из обеих посылок? Кто находится в опасности из сходства кита с рыбой вывести наличность у него холодной крови, тот встречает себе в этом помеху прежде всего лишь со стороны меньшей посылки, а не со стороны обеих посылок вместе. Именно, если мы имеем

Что есть рыба, то не есть теплокровное.

Кит не есть рыба,

то именно только меньшая посылка служит помехой для возможности подведения. Но вывод запрещается вообще правилом, что из отсутствия гипотезы нельзя выводить отсутствие тезиса. Шуппе говорит, следовательно, только другими словами то же самое, что при такого рода посылках нельзя делать вывода. Ибо принадлежит ли теперь P M или нет, этого никак нельзя решить на основании этих посылок.

«Из ни одно P не есть M и S не есть M» (я изменяю знаки, которые Шуппе смешал здесь) «мы выводим одинаково, что отнюдь не ради M (неясным образом), мыслимого в S, S не имеет надобности быть P, что следовательно, с этой стороны должна быть сохранена возможность sp». Снова угрожающий ложный вывод встречает себе помеху только со стороны меньшей посылки «S не M; S есть M» конечно, дало бы, что «S не есть P»; но если S не M, то не следует также ничего определенного, ни того, что S есть P, ни того, что S не есть P.

M не есть P, но M также не S доказывает, что S и P могут совместно отсутствовать (упомянутый выше вывод Лотце).

Ex mere particularibus nihil sequitur точно так же является-де сомнительным. «Только некоторые, но, во всяком случае некоторые M суть P, и также только некоторые, но, во всяком случае некоторые S суть M, если еще неизвестно, какие M суть P и какие S суть M, непременно делает в отдельном случае надежной ту возможность, что некоторое S есть P» – но надежная возможность (в отличие от совершенно неопределенной, покоящейся лишь на полном неведении), по-видимому, может быть найдена лишь там, где познано, что S и P не исключают друг друга; но разве из «некоторые люди суть слепые» и «некоторые зрячие существа суть люди» следует в отдельном случае надежная возможность, что «зрячее существо является слепым»? – «и приводит совершенно общим образом к часто столь же ценному познанию, что: