Кроме умозаключений об отношении равенства умозаключения этого типа могут раскрывать также и отношения неравенства.
Например:
| Планета Юпитер больше планеты Сатурн. |
| Планета Сатурн больше планеты Уран. |
| ————————————————— |
| След., планета Юпитер больше планеты Уран. |
Или:
| Атомный вес серебра меньше атомного веса золота. |
| Атомный вес золота меньше атомного веса урана. |
| ————————————————————— |
| След., атомный вес серебра меньше атомного веса урана. |
§ 4. Итак, наряду с силлогистическими существуют несиллогистические умозаключения. Так как умозаключения эти чрезвычайно распространены в мышлении — в повседневном и в научном, — то логика исследует их так же, как она исследует силлогизмы. Логика, во-первых, устанавливает виды несиллогистических умозаключений, во-вторых, устанавливает правила, по которым из этих умозаключений получаются логически верные выводы, в-третьих, исследует, в каком отношении несиллогистические умозаключения стоят к силлогизмам.
Полное рассмотрение теории несиллогистических умозаключений, их видов и их отношений к силлогизмам не может быть предметом настоящего, первоначального, очерка логики. Из всех видов несиллогистических умозаключений настоящий очерк логики рассматривает только группы так называемых индуктивных умозаключений.
Несиллогистические индуктивные умозаключения
§ 5. В числе несиллогистических умозаключений чрезвычайно важное место принадлежит так называемым индуктивным выводам, или индуктивным умозаключениям. Выводы эти, все вместе взятые, называются также индукцией.
Индуктивными умозаключениями называются выводы общих положений из единичных или частных посылок. Рассмотрим, например, посылки:
В понедельник на прошлой неделе погода стояла пасмурная.
Во вторник тоже.
В среду тоже.
В четверг тоже.
В пятницу тоже.
В субботу тоже.
В воскресенье тоже.
Здесь все посылки — суждения единичные.
Основываясь на этих посылках и зная то, что кроме дней, перечисленных в посылках, неделя не имеет никаких других дней, мы, очевидно, вправе сделать заключение:
Все дни на прошлой неделе погода стояла пасмурная.
Умозаключение это — пример индуктивного умозаключения. В нём каждая из посылок — единичная, но заключение — суждение общее.
Другой пример индуктивного умозаключения.
Заметив, что некоторые кошки — домашняя кошка, лев, тигр и ягуар — имеют втяжные когти, и не встретив при знакомстве с семейством кошек ни одного случая, чтобы какая-нибудь кошка оказалась без втяжных когтей, мы делаем заключение: «все кошки имеют втяжные когти».
И это умозаключение — индуктивное. И в нём посылки достоверно устанавливают только частное суждение: «некоторые кошки имеют втяжные когти». Однако в заключении утверждается, что не только некоторые, но и все кошки обладают втяжными когтями.
Индуктивные умозаключения отличаются рядом особенностей от силлогизмов. Но наряду с этими отличиями между индуктивными умозаключениями и силлогизмами имеются также и общие черты. Как мы увидим, некоторые виды индуктивных умозаключений по своему логическому строению очень сходны с некоторыми видами силлогизма. Поэтому логика изучает в индуктивных умозаключениях как то, чем они отличаются от силлогизмов, так и то, в чём они оказываются сходными с силлогизмами.
§ 6. Первая и наиболее резко бросающаяся в глаза черта, отличающая индуктивные умозаключения от силлогизмов, состоит в том, что посредством индукции из частных посылок могут получаться общие выводы.
В силлогистических умозаключениях это невозможно. Ни в одном силлогизме — какова бы ни была его фигура и каков бы ни был её модус — никакое общее заключение никогда не может быть получено из частных посылок. Если обе посылки частные, то силлогистический вывод вовсе невозможен. Если одна из посылок силлогизма частная, а другая общая, то правильный силлогистический вывод может быть только частный. Но даже если обе посылки силлогизма общие, то вывод, или заключение, далеко не всегда будет суждением общим. Так, в простых категорических силлогизмах третьей фигуры по модусам Darapti и Felapton (а также в силлогизмах четвёртой фигуры по модусам Bramantip и Fesapo), несмотря на то, что обе посылки общие, заключение получается всего лишь частное. Из всех девятнадцати правильных модусов простого категорического силлогизма только в пяти модусах получается в заключении общий вывод при двух общих посылках.
Модусы эти: Barbara, Celarent первой фигуры, Cesare, Camestres — второй и Camenes — четвёртой фигуры.
Напротив, в индуктивных умозаключениях, как видно из приведённых примеров, частный характер посылок не только не препятствует получению общего вывода, но индуктивные умозаключения — именно те умозаключения, в которых частные посылки дают основание для общих выводов.
§ 7. В тесной связи с этой чертой стоит другая черта индуктивных умозаключений, отличающая эти умозаключения от силлогизмов. В силлогизмах достоверные посылки всегда приводят к столь же достоверным выводам. Силлогистические выводы лишены достоверности только при условии, если недостоверны посылки силлогизма.
Например, я имею посылки:
| Все больные гриппом — распространители гриппозной инфекции. |
| Михайлов, повидимому, болен гриппом. |
Из этих посылок может быть получен не достоверный, но всего лишь вероятный вывод:
Михайлов, повидимому, — распространитель гриппозной инфекции.
Однако вероятный характер заключения зависит здесь не от того, что это умозаключение — силлогизм, но лишь от того, что меньшая посылка этого силлогизма в данном случае оказалась по модальности не аподиктическим, но всего лишь проблематическим суждением.
Поэтому, как только вместо этой посылки мы возьмём другую — достоверную, — заключение силлогизма тотчас же из проблематического станет вполне достоверным:
| Все больные гриппом — распространители гриппозной инфекции. |
| Михайлов болен гриппом. |
| ————————————————— |
| След., Михайлов — распространитель гриппозной инфекции. |
И так обстоит дело во всех простых категорических силлогизмах.
В каждом простом категорическом силлогизме при условии, если только его посылки истинны и если заключение соответствует действительным отношениям между понятиями посылок, заключение всегда будет достоверной истиной. Если истинно, что «все утконосы — яйцекладущие» и что «все утконосы — млекопитающие», то заключение «некоторые млекопитающие — яйцекладущие» будет вполне достоверно. Здесь исключена всякая возможность заключать иначе, т. е. заключать, например, что, хотя все утконосы — яйцекладущие и хотя все они — млекопитающие, тем не менее млекопитающие никогда не бывают яйцекладущими. Кто допустил бы подобную возможность, т. е. стал бы отрицать достоверность вывода, тот немедленно оказался бы в противоречии с признанными им самим посылками. Но и в условных силлогизмах, как было уже показано, условной является отнюдь не логическая связь между посылками и заключением, но лишь допущение, от которого зависит следствие условной посылки. Даже в чисто условных силлогизмах, где и обе посылки и заключение — суждения условные, логическая связь между посылками и заключением — совершенно необходимая и достоверная. Допустим, что из посылок — «Если А есть В, то С есть D» и «Если С есть D, то Е есть F» — мы заключаем: «Если А есть В, то Е есть F». В этом силлогизме, несмотря на то, что обе посылки и заключение — суждения условные, логическая связь между посылками и заключением есть связь совершенно необходимая. В этом смысле вывод здесь вполне достоверный. Вывод не утверждает, что А есть В. Возможно, что А не есть В. Но вывод имеет в виду не это. Вывод говорит, что при условии, если А есть В, Е необходимо должно быть F. Иначе говоря, если условия, указанные в посылках, выполнены, то Е не может не быть F. Поэтому всякая попытка, согласившись с посылками этого силлогизма, не соглашаться с его заключением невозможна.
§ 8. Напротив, в индуктивных умозаключениях даже из достоверных посылок далеко не всегда могут быть получены достоверные выводы.
Правда, в нашем первом примере индуктивного умозаключения общий вывод («все дни на прошлой неделе погода стояла пасмурная») есть вывод вполне достоверный. Если о каждом из дней прошлой недели в отдельности я достоверно знаю, что в этот день погода была пасмурная, и если достоверно известно, что кроме семи перечисленных в посылках дней неделя не содержит никаких других дней, то общее заключение, которое мы делаем из этих посылок, будет вполне достоверно.
Однако индуктивное умозаключение этого типа, дающее достоверный вывод, есть лишь один и притом, как мы увидим, наименее ценный вид индуктивных умозаключений. Все остальные виды индуктивных умозаключений — а к ним принадлежат наиболее ценные для знания виды индукции — дают выводы совершенно другого характера.
Уже во втором нашем примере индуктивного умозаключения вывод получился не строго достоверный. Если мы знаем, что некоторые перечисленные в посылках виды кошек имеют втяжные когти, и если мы знаем, кроме того, что до сих пор нам нигде никогда не случалось видеть кошек без втяжных когтей, то, зная это, мы, конечно, имеем