Если, однако, мы ближе присмотримся к логическому основанию умозаключения во всех этих трёх формах вывода, то окажется, что отличающая их друг от друга противоположность между ходом мысли от общего к частному и от частного к общему отнюдь не раскрывает ещё сущности того хода мысли, который во всех этих формах приводит к заключению.
§ 4. Начнём с третьей фигуры. Предикат в заключении выводов, сделанных по третьей фигуре, действительно относится не ко всем, но лишь к части предметов класса, к которому принадлежит субъект заключения. В этом смысле мы вправе сказать, как уже было сказано выше, что выводы по третьей фигуре отвечают интересу познания, направленного на частное.
Однако дело этим не ограничивается. Свой полный смысл заключения по третьей фигуре приобретают лишь при условии, если мы уясним смысл вопроса, для решения которого эти выводы применяются. Как известно, выводы эти часто применяются для опровержения ложных суждений относительно целого рода или класса. Допустим, что ученик утверждает, будто все членистоногие — насекомые. Чтобы опровергнуть это утверждение, достаточно доказать истинность противоречащего ему утверждения. Таким противоречащим утверждением будет частноотрицательное суждение «некоторые членистоногие — не насекомые». Доказать его истинность можно по третьей фигуре силлогизма (модус Felapton):
Ни один паук — не насекомое. |
Все пауки — членистоногие. |
———————————————— |
Некоторые членистоногие — не насекомые. |
Конечно, заключение получилось частное. Но весь смысл этого заключения, как было уже показано выше, вовсе не в том только, что оно ограничивает субъект суждения некоторыми экземплярами. Полный смысл этого суждения — в том, что оно характеризует весь класс членистоногих как такой класс, относительно которого неверно утверждать, будто все его представители — насекомые. Иными словами, посредством частного по количеству заключения вывод по третьей фигуре высказывает суждение не о части группы, а о целой группе предметов.
Отсюда видно, что противоположность третьей фигуры как дедуктивного умозаключения индуктивным выводам есть противоположность только кажущаяся. То, что представляется здесь противоположным, — ход мысли в случае третьей фигуры от общего к частному и ход мысли в случае полной и неполной индукции от частного к общему — есть противоположность, не затрагивающая логической основы вывода в том и в другом случае. Основой этой является не отношение количества посылок к количеству заключения, а возможность перехода от суждения о некоторых предметах группы к суждению о целой группе предметов. Возможность эта бесспорно существует в выводах полной и неполной индукции, отличающихся между собой только полнотой учёта случаев, на которых основывается заключение, а потому и степенью вероятности самого заключения. Но возможность эта существует и в выводах по третьей фигуре. В силлогизме:
Все утконосы — млекопитающие. |
Все утконосы — яйцекладущие. |
————————————————— |
Некоторые яйцекладущие — млекопитающие. |
заключение есть высказывание или суждение о целом роде млекопитающих как о таком, относительно которого неверно думать, будто в его объёме не имеется яйцекладущих. Здесь по существу тот же переход мысли от видов к классу или роду, что и в выводах полной и неполной индукции. Утконосы — только один из видов яйцекладущих. Но так как весь объём вида утконосов входит как часть в объём рода млекопитающих, то мы имеем право перенести предикат (принадлежность утконосов к яйцекладущим) и на род млекопитающих (отметив, разумеется, что эта способность характеризует только часть рода). Но даже будучи неполным, ограниченным частью представителей рода, определение остаётся всё же определением рода, а не вида. Иными словами, ход умозаключения здесь — в переносе предиката с некоторых видов или даже с одного вида на род.