Тема 5 Умозаключение как форма мышления. Категория рассуждения в современной логике

Умозаключение как форма мышления: функции, структура. Понятие логического следования. Типология умозаключений: дедуктивные, индуктивные, по аналогии (традуктивные).

Типы дедуктивных выводов: непосредственные и опосредованные, зависящие от субъективно-предикативной структуры суждений и основанные на логической связи между суждениями.

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

Простой категорический силлогизм: состав, аксиома, общие правила (правила терминов и посылок). Фигуры и модусы простого категорического силлогизма. Сокращенный силлогизм (энтимема), сложный силлогизм (полисиллогизм), сложносокращенный силлогизм (сорит и эпихейрема).

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

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

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