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

Рассмотрим прежде всего какой-либо пример, хотя бы приводимый Apelt’ом.

Большая посылка:

Солнечная система состоит из Солнца и планет Меркурий, Венера, Земля, Марс и т. д.

Меньшая посылка:

Меркурий движется вокруг Солнца с запада на восток. Венера движется вокруг Солнца с запада на восток и т. д.

Заключение:

Все планеты движутся вокруг Солнца с запада на восток.

Здесь большая посылка указывает объем понятия «планета», заключение утверждает относительно всех планет предикат, который, соответственно меньшим посылкам, принадлежит всем отдельным планетам.

Но что мы приобрели этим? Не безусловно общее суждение, которое с необходимостью указывало бы понятию «планета» прямое движение, а лишь эмпирически общее суждение, которое объединяет в заключении под одним именем отдельные субъекты меньших посылок, после того как большая посылка устанавливает, что названные – естественно, для нашего теперешнего знания – все суть планеты. Слово «планета» не функционирует в качестве знака определенного понятия, а лишь в качестве общего имени определенного числа единичных вещей; поэтому имеется налицо вывод, который мог бы обосновывать одно суждение другими, только относительно права на замену собственных имен каким-либо общим обозначением и относительно замены суммы единичных вещей выражением «все»¹³⁴. Но что всему, что есть «планета», необходимо должно принадлежать прямое движение – это ни в каком случае не доказано. Ибо имеют прямое движение все известные планеты в силу тех свойств, ради которых они подпадают под понятие планеты, или в силу какого-либо другого, случайного по отношению к этому основания – этого не в состоянии сказать просто эмпирически объединяющее суждение. В противном случае из того, что все короли Пруссии называются Фридрихами и Вильгельмами, должно было бы следовать, что все прусские короли необходимо должны так называться.

3. Совершенно то же самое бывает тогда, когда вместо индивидуумов называются эмпирически известные species какого-либо genus. В то время, когда были известны только древние металлы, имел силу вывод

Металлы суть золото, серебро, железо и т. д.

Золото, серебро, железо и т. д. тяжелее, нежели вода,

следовательно, все металлы тяжелее воды.

Под «всеми металлами» понимались известные и, благодаря общим свойствам, названные таким образом. Но отсюда не следует, что эти общие свойства делают необходимым специфический вес, который был бы больше, нежели вес воды; открытие калия опровергло это положение.

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

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

Параллелограммы суть отчасти квадраты, отчасти прямоугольники, отчасти ромбы, отчасти ромбоиды.

Квадраты, прямоугольники, ромбы, ромбоиды имеют диагонали, которые взаимно делятся пополам,

следовательно, все параллелограммы имеют диагонали, которые взаимно делятся пополам.

Это было бы таким выводом, который обнаруживает излишний окольный путь. Ибо предикат может быть выведен уже из тех определений, какие конституируют общее понятие параллелограмма.