Редуктивные выводы

Разновидности редукции – абдукция и индукция. Простейшими примерами абдукции являются те из выводов, которые строятся по схемам логики высказываний:

A→B A→B

B ┐A

------ -------

A ┐B

В первой из них ход мысли направлен от утверждения консеквента (следствия) к утверждению антецедента (основания). Во второй – от отрицания антецедента (основания) к отрицанию консеквента (следствия). И в том, и в другом случае он не соответствует логическому закону, из посылок не следует заключение, и потому вывод не является дедуктивным.

Если в приведенных схемах вторые посылки и заключения поменять местами, то в результате получатся дедуктивные схемы:

A ® B A ® B

A ØB

--------- ---------

B ØA

Это уже знакомые нам правила выводов логики высказываний – правило удаления импликации (УИ) и modus tollens. Стало быть, первоначально мы имели дело со схемами, соответствующими определению редукции.

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

Все местные жители знают дорогу к реке.

Этот житель знает дорогу к реке.

-----------------------------------------------------------

Этот житель - местный житель.

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

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

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