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

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

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

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

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

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

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

1. иметь истинные посылки (суждения);

2. соблюдать правила терминов, посылок и фигур;

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

Рассмотрим правила терминов:

1. В каждом силлогизме должно быть только три термина (S, P, M). Нарушение этого правила ведет к ошибке «учетверение терминов», при которой вывода сделать нельзя.

2. Средний термин должен быть распределен хотя бы в одной из посылок. Если он не распределен в обеих посылках, то вывода сделать нельзя.

3. Термины должны быть одинаково распределены в посылке и в выводе (речь идет о субъекте и предикате силлогизма), иначе вывода сделать нельзя.

Правила посылок:

Из двух отрицательных посылок нельзя сделать никакого вывода:

Из двух частных посылок нельзя сделать никакого вывода:

Если одна из посылок частная, то и вывод должен быть частным:

Если одна из посылок отрицательная, то и вывод должен быть отрицательным:

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

М_________ Р Р________М М________Р Р________ М

S__________М S________ М М________S М________ S

Правила фигур:

1. Большая посылка должна быть обшей.

Меньшая посылка должна быть утвердительной.

2. Большая посылка должна быть общей . Одна из посылок и вывод должны быть отрицательные.

3. Меньшая посылка должна быть утвердительной. Заключение – частное.

4. Если большая посылка утвердительная, то меньшая посылка должна быть общей.

Если одна из посылок отрицательная, то большая просылка должна быть общей.

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

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

1. Превращение («Обверсио»);

2. Обращение («Конверсио»);

3. Противопоставление предикату;

4. Противопоставление субъекту.

Превращение

умозаключения, при котором изменяется качество посылки без изменения ее количества. Рассматривается отношение S к не—P.

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