Валентин Асмус - ЛОГИКА

На первый взгляд могло бы показаться, что между третьей фигурой, с одной стороны, и индуктивными выводами полной и неполной индукции — с другой, существует всё то различие, какое имеется между дедуктивным выводом, идущим от общего к частному, и индуктивным, идущим от частного к общему.

В самом деле, по третьей фигуре заключения получаются, как известно, только частные. В особенности разительно это свойство третьей фигуры в модусах Darapti и Felapton, где частные выводы получаются из обеих общих посылок . Но и в остальных модусах третьей фигуры частные выводы получаются из посылок, одна из которых непременно общая. Напротив, в выводах полной индукции единичные или частные посылки обосновывают общий вывод. То же справедливо относительно выводов неполной индукции: устанавливаемое в них в качестве вероятного заключение есть заключение общее: оно относится не только к рассмотренным и подтверждающим заключение случаям, но и ко всем ещё не рассмотренным случаям того же рода.

Если, однако, мы ближе присмотримся к логическому основанию умозаключения во всех этих трёх формах вывода, то окажется, что отличающая их друг от друга противоположность между ходом мысли от общего к частному и от частного к общему отнюдь не раскрывает ещё сущности того хода мысли, который во всех этих формах приводит к заключению.

§ 4.Начнём с третьей фигуры. Предикат в заключении выводов, сделанных по третьей фигуре, действительно относится не ко всем, но лишь к части предметов класса, к которому принадлежит субъект заключения. В этом смысле мы вправе сказать, как уже было сказано выше, что выводы по третьей фигуре отвечают интересу познания, направленного на частное.

Однако дело этим не ограничивается. Свой полный смысл заключения по третьей фигуре приобретают лишь при условии, если мы уясним смысл вопроса, для решения которого эти выводы применяются. Как известно, выводы эти часто применяются для опровержения ложных суждений относительно целого рода или класса. Допустим, что ученик утверждает, будто все членистоногие — насекомые. Чтобы опровергнуть это утверждение, достаточно доказать истинность противоречащего ему утверждения. Таким противоречащим утверждением будет частноотрицательное суждение «некоторые членистоногие — не насекомые». Доказать его истинность можно по третьей фигуре силлогизма (модус Felapton):

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

Отсюда видно, что противоположность третьей фигуры как дедуктивного умозаключения индуктивным выводам есть противоположность только кажущаяся. То, что представляется здесь противоположным, — ход мысли в случае третьей фигуры от общего к частному и ход мысли в случае полной и неполной индукции от частного к общему — есть противоположность, не затрагивающая логической основы вывода в том и в другом случае. Основой этой является не отношение количества посылок к количеству заключения, а возможность перехода от суждения о некоторых предметах группы к суждению о целой группе предметов. Возможность эта бесспорно существует в выводах полной и неполной индукции, отличающихся между собой только полнотой учёта случаев, на которых основывается заключение, а потому и степенью вероятности самого заключения. Но возможность эта существует и в выводах по третьей фигуре. В силлогизме:

заключение есть высказывание или суждение о целом роде млекопитающих как о таком, относительно которого неверно думать, будто в его объёме не имеется яйцекладущих. Здесь по существу тот же переход мысли от видов к классу или роду, что и в выводах полной и неполной индукции. Утконосы — только один из видов яйцекладущих. Но так как весь объём вида утконосов входит как часть в объём рода млекопитающих, то мы имеем право перенести предикат (принадлежность утконосов к яйцекладущим) и на род млекопитающих (отметив, разумеется, что эта способность характеризует только часть рода). Но даже будучи неполным, ограниченным частью представителей рода, определение остаётся всё же определением рода , а не вида. Иными словами, ход умозаключения здесь — в переносе предиката с некоторых видов или даже с одного вида на род.