Дмитрий Гусев - Удивительная логика

Индуктивныеумозаключения (индукция) (от лат. inductio – «наведение») – это умозаключения, в которых из нескольких частных случаев выводится общее правило. Например:

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера – это планеты.

=> Все планеты движутся.

Первые три посылки представляют собой частные случаи, четвертая посылка подводит их под один класс объектов, объединяет их, а в выводе говорится обо всех объектах этого класса, т. е. формулируется некое общее правило (вытекающее из трех частных случаев).

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

Умозаключения по аналогии(аналогия) (от греч. analogia – «соответствие») – это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:

Планета Земля расположена в Солнечной системе, на ней есть атмосфера, вода и жизнь.

Планета Марс расположена в Солнечной системе, на ней есть атмосфера и вода.

=> Вероятно, на Марсе есть жизнь.

Как видим, сопоставляются два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в Солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.

Все дедуктивные умозаключения называются силлогизмами(от греч. sillogismos – «подсчитывание, подытоживание, выведение следствия»). Существует несколько видов силлогизмов. Первый из них называется простым, или категорическим, потому что все входящие в него суждения (две посылки и вывод) являются простыми, или категорическими. Это уже известные нам суждения видов А, I, Е, О.

Рассмотрим пример простого силлогизма:

Все цветы ( М ) – это растения ( Р ).

Все розы ( S ) – это цветы ( М ).

=> Все розы ( S ) – это растения ( Р ).

Обе посылки и вывод являются в данном силлогизме простыми суждениями, причем и посылки, и вывод – это суждения вида А (общеутвердительные). Обратим внимание на вывод, представленный суждением Все розы – это растения. В этом выводе субъектом выступает термин розы, а предикатом – термин растения. Субъект вывода присутствует во второй посылке силлогизма, а предикат вывода – в первой. Так же в обеих посылках повторяется термин цветы, который, как нетрудно увидеть, является связующим: именно благодаря ему не связанные, разобщенные в посылках термины растения и розы можно связать в выводе. Таким образом, структура силлогизма включает в себя две посылки и один вывод, которые состоят из трех (различным образом расположенных) терминов.

Субъект вывода располагается во второй посылке силлогизма и называется меньшим термином силлогизма(вторая посылка также называется меньшей).

Предикат вывода располагается в первой посылке силлогизма и называется б́ольшим термином силлогизма(первая посылка также называется большей). Предикат вывода, как правило, является по объему большим понятием, чем субъект вывода (в приведенном примере понятия розы и растения находятся в отношении родовидового подчинения), в силу чего предикат вывода называется б́ольшим термином, а субъект вывода – меньшим.