Логика. Том 1. Учение о суждении, понятии и выводе
Шрифт:
меньшая посылка является . Cp. Prantl I, 376 и сл. мое Programm, с. 8 и H. Maier, Syllogistic des Aristoteles II, 1, с. 265.
119. Ср. рассуждения F. Н. Bradley в его выдающемся по своей оригинальности и поучительном по своей во многих отношениях превосходной критике труда The principles of Logik, London, 1883, с. 227.
120. Лишь о таком замещении одного выражения другим идет дело непосредственно в таких примерах:
Аристотель был философом из Стагиры.
Аристотель был воспитателем Александра, следовательно и т. д., которые
лишь благодаря каким-либо побочным мыслям могут получить значение,
поднимающее их над уровнем простой словесной игры.
121. Ср. Bradley, Principles of Logik, с. 235.
122. Schuppe, Erk. Logik, c. 260.
123. Что так называемое dictum de omni является следствием основоположения: «Nota notae est nota rei» –
124. Ср. Kant, Von der falschen Spitzfindigkeit der Syllogist. Figuren § 1.
125. Открыли, что среди возможных положений среднего понятия Аристотель просмотрел одно, именно то, в котором оно появляется предикатом большей посылки и субъектом меньшей посылки; и нашли, что при этой предпосылке возможны еще следующие 5 модусов:
Не требуется никакого доказательства, что нужно позабыть всю основную предпосылку аристотелевской теории, чтобы допустить возможным для понятий это противное их природе положение, и что только из рассмотрения исключительно внешней формы могла возникнуть потребность в дополнении аристотелевского учения.
126. К этому, конечно, уже Аристотель дал повод в первой Аналитике, так как, в особенности в различении фигур и модусов, он выдвигает на первый план отношения объемов в противоположность отношениям содержаний. Ср. H. Maier. Syll. Des Arist. ii, 1, 47 и сл. О четвертой фигуре там же, с. 94 и сл.
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
Что есть рыба, то не есть теплокровное.
Кит не есть рыба,
то именно только меньшая посылка служит помехой для возможности подведения. Но вывод запрещается вообще правилом, что из отсутствия гипотезы нельзя выводить отсутствие тезиса. Шуппе говорит, следовательно, только другими словами то же самое, что при такого рода посылках нельзя делать вывода. Ибо принадлежит ли теперь 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 не исключают друг друга; но разве из «некоторые люди суть слепые» и «некоторые зрячие существа суть люди» следует в отдельном случае надежная возможность, что «зрячее существо является слепым»? – «и приводит совершенно общим образом к часто столь же ценному познанию, что:
1. P принадлежит к специфическим или индивидуальным различиям M или зависит от них, но содержанием понятия М ни требуется, ни исключается.
2. Что М равным образом принадлежит к специфическим или индивидуальным различиям S, но содержанием понятия S ни требуется, ни исключается; и что 3. Если S обнаруживается вместе или без P, это не стоит ни в какой связи с присутствием или отсутствием в нем M».