Дедуктивные умозаключения и их виды. Умозаключения, игнорирующие структуру простого суждения, и основанные на ней. Деление умозаключений по числу посылок.

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

Цель силлогизма состоит в получении из посылок нового суждения, или вывода. Примерсиллогизма. Все жидкости упруги. Вода – жидкость. Вода упруга.

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

Силлогизмы могут иметь различные посылки, и потому выводы в них могут стоять в зависимости от различных правил. Логика устанавливает все эти правила и изучает все разновидности силлогизмов.

Первая группа силлогизмов – простые категорические силлогизмы. К ним относятся заключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.

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

В каждом силлогизме должно быть три термина: меньший, больший и средний.

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

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

Выделяют следующие правила категорического силлогизма:

1) в каждом силлогизме должно быть только три термина;

2) средний термин должен быть распределен по крайней мере в одной из посылок;

3) термин распределен в заключении, если он распределен в посылке;

4) из двух отрицательных посылок нельзя сделать никакого заключения;

5) если одна из посылок отрицательна, то и заключение должно быть отрицательным;

6) из двух частных посылок нельзя сделать заключение;

7) если одна из посылок частная, то заключение должно быть частным;

8) если большая посылка – частная, а меньшая – отрицательная, то вывод невозможен.

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

В обычных рассуждениях нередки силлогизмы, в которых не выражается явно одна из посылок или заключение. Такие силлогизмы называются энтимемами. Например: «Щедрость заслуживает похвалы, как и всякая добродетель».

Сложным силлогизмом (полисиллогизмом) являются два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Различают прогрессивные и регрессивные полисиллогизмы.

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

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

Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме – в виде соритов.

Выделяют такой вид силлогизма, в котором обе посылки представляют собой сокращенные простые категорические силлогизмы. Данный вид силлогизма называется эпихейремой.

По числу посылок различают непосредственные и опосредованные умозаключения.

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

S — Р - посылка

S — Р - заключение

К ним относятся умозаключения обращения. превращения, противопоставления, все заключения по логическому квадрату. Например, непосредственными будут следующие выводы:

Нн один треугольник не является окружностью Значит, ни одна окружность не является треугольником- умозаключение обращения обшеотрицательного суждения

Все лебеди - птицы______________

Но лишь некоторые птицы – лебеди- умозаключение обращения общеутвердительного суждения

Некоторые лекарства являются мазями

Некоторые мази – лекарства - умозаключение обращения частноутвердительного суждения

Опосредованные умозаключения состоят из двух и более посылок и заключения. Их общую структуру можно записать следующим образом:

S - Р - посылка

S -Р - посылка

S - Р - заключение

Например:

Весь городской транспорт ходит по маршрутам

Все трамваи являются городским транспортом_______________

Поэтому, у всех трамваев есть маршрут, по которому они ходят