Умозаключение – форма мышления, в которой из одного или нескольких суждений, называемых посылками (основаниями), выводится новое суждение, называемое заключением или следствием, выводом.
Пример: | "Все люди смертны. | ||
Сократ – человек. | |||
Сократ смертен". | |||
Структура любого умозаключения включает посылки (два первые суждения в примере), заключение (третье суждение) и логическую связь между посылками и заключением (обозначается чертой следования). Логическая связь – это степень необходимости признания истинности заключения при согласии с истинными посылками. В правильном выводе заключение следует из посылок.
Все умозаключения по силе следования делятся на дедуктивные (необходимые выводы из истинных посылок) и индуктивные (вероятные выводы из истинных посылок).
Дедуктивные умозаключения
Дедуктивные умозаключения – вид умозаключений, в котором из посылок, выражающих знания большей степени общности, необходимо следует заключение, выражающее знание меньшей степени общности. Дедукцияв переводе с латинского означает "выведение".
Все дедуктивные умозаключения делятся на непосредственные умозаключения (логические преобразования суждений, одним из видов которых являются выводы по логическому квадрату) и силлогизмы – умозаключения, в которых из двух суждений выводится третье. Силлогизмы, в свою очередь, делятся по форме составляющих их суждений на категорический, условный, разделительный и их комбинации: условно-категорический, разделительно-категорический и условно-разделительный силлогизмы. По составу и полноте речевого выражения выделяют простые, сложные, сокращённые и сложносокращённые силлогизмы.