Лекция № 5. Умозаключение как форма мышления

План:

7. Общая характеристика и структура умозаключений

8. Дедуктивные умозаключения

I. Общая характеристика и структура умозаключений

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

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

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

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

Структура всякого умозаключения включает:

• посылки – исходные суждения, из которых выводится новое суждение;

• заключение – новое суждение, полученное логическим путем из посылок;

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

II. Дедуктивные умозаключения

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

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

2. В современной математической логике дедукцией называется умозаключение, дающее достоверное (истинное) суждение. Четкая фиксация существенного различия классического и современного понимания дедукции особенно важна для решения методологических вопросов. Для различения двух смыслов дедукции можно классическое понимание обозначить термином «дедукция₁» (сокращенно Д₁), а современное – «дедукция₂» (Д₂). Правильно построенному дедуктивному умозаключению присущ необходимый характер логического следования заключения из данных посылок.

Типы дедуктивных умозаключений: