B ØA

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

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

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

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

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

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

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

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