Тема 6. Дедуктивные умозаключения; доказательство и опровержение

Дедуктивные умозаключения и их виды: условные умозаключения, разделительные умозаключения, условно-разделительные умозаключения, конструктивная и деструктивная дилеммы, трилеммы.

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

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

Виды и схемы дилемм.

Современные формы дедуктивных умозаключений. Исчисление высказываний. Логическое следование. Правило равносильной замены. Правила вывода. Полные системы логических знаков. Закон двойственности. Тождественно-истинные, тождественно-ложные и выполнимые формулы. Нормальные формы формул алгебры высказываний. Проблема разрешения. Законы логики и тождественно-истинные формулы. Логическое следование и логические следствия.

Понятие аргументации. Доказательство и убеждение – понятия эпистемологии. Виды аргументации: доказательная и недоказательная, прямая и косвенная. Структура доказательства: тезис, аргумент, демонстрация. Прямое и косвенное доказательство.

Тема 7. Эмпирическое познание – методы индукции и аналогии

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

Методы установления причинных связей. Метод сходства. Метод различия. Объединённый метод сходства и различия. Метод сопутствующих изменений. Метод остатков. Статистические обобщения. Понятие о популяции и частоте признака. Индуктивная природа статистических обобщений.

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

Тема 8. Неклассическая логика.

Понятие модальности. Виды модальностей: логическая и фактическая, алетические, эпистемические, деонтические, аксиологические.

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

Логика оценок. Системы модальной логики Льюиса и Лукасевича.

Проблема истины в модальной логике. Формы законов запрещения противоречия и исключённого третьего в модальных логиках.

Тема 9. Формы развития знания: теория, проблема, гипотеза

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

Факт и гипотеза. Проблема условности гипотез. Допущение и гипотеза. Версия и гипотеза. Виды гипотез: общие, частные единичные. Понятие рабочей гипотезы. Конкурирующие гипотезы. Проверка гипотез путём дедуктивного выведения следствий и сопоставления с фактами. Опровержение гипотез обнаружением фактов, противоречащих следствиям. Подтверждение гипотез.

Спор и его разновидности: полемика, дискуссия. Некорректные приёмы ведения спора. Диалог и дискуссия.

Вечные проблемы логики: антиномии, парадоксы, софизмы, паралогизмы.