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

Модусы эти: Barbara, Celarent первой фигуры, Cesare, Camestres — второй и Camenes — четвёртой фигуры.

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

§ 7.В тесной связи с этой чертой стоит другая черта индуктивных умозаключений, отличающая эти умозаключения от силлогизмов. В силлогизмах достоверные посылки всегда приводят к столь же достоверным выводам. Силлогистические выводы лишены достоверности только при условии, если недостоверны посылки силлогизма.

Например, я имею посылки:

Из этих посылок может быть получен не достоверный, но всего лишь вероятный вывод:

Михайлов, повидимому , — распространитель гриппозной инфекции.

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

Поэтому, как только вместо этой посылки мы возьмём другую — достоверную, — заключение силлогизма тотчас же из проблематического станет вполне достоверным:

И так обстоит дело во всех простых категорических силлогизмах.

В каждом простом категорическом силлогизме при условии, если только его посылки истинны и если заключение соответствует действительным отношениям между понятиями посылок, заключение всегда будет достоверной истиной. Если истинно, что «все утконосы — яйцекладущие» и что «все утконосы — млекопитающие», то заключение «некоторые млекопитающие — яйцекладущие» будет вполне достоверно. Здесь исключена всякая возможность заключать иначе, т. е. заключать, например, что, хотя все утконосы — яйцекладущие и хотя все они — млекопитающие, тем не менее млекопитающие никогда не бывают яйцекладущими. Кто допустил бы подобную возможность, т. е. стал бы отрицать достоверность вывода, тот немедленно оказался бы в противоречии с признанными им самим посылками. Но и в условных силлогизмах, как было уже показано, условной является отнюдь не логическая связь между посылками и заключением, но лишь допущение, от которого зависит следствие условной посылки. Даже в чисто условных силлогизмах, где и обе посылки и заключение — суждения условные, логическая связь между посылками и заключением — совершенно необходимая и достоверная. Допустим, что из посылок — «Если А есть В, то С есть D» и «Если С есть D, то Е есть F» — мы заключаем: «Если А есть В, то Е есть F». В этом силлогизме, несмотря на то, что обе посылки и заключение — суждения условные, логическая связь между посылками и заключением есть связь совершенно необходимая. В этом смысле вывод здесь вполне достоверный. Вывод не утверждает, что А есть В. Возможно, что А не есть В. Но вывод имеет в виду не это. Вывод говорит, что при условии, если А есть В, Е необходимо должно быть F . Иначе говоря, если условия, указанные в посылках, выполнены, то Е не может не быть F . Поэтому всякая попытка, согласившись с посылками этого силлогизма, не соглашаться с его заключением невозможна.

§ 8.Напротив, в индуктивных умозаключениях даже из достоверных посылок далеко не всегда могут быть получены достоверные выводы .

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

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