Тема 4. Суждение

Суждение как форма мышления. Значения истинности суждения. Суждение и предложение. Логическая структура суждения. Виды суждений. Суждения простые и сложные. Типы простых суждений: суждение существования, суждение свойства, суждение с отношениями.

Состав простого суждения. Категорическое суждение. Классификация категорических суждений по количеству и качеству.

Распределенность терминов в суждениях. Представление категорических суждений круговыми схемами Эйлера.

Отношения между суждениями по значениям истинности. Отношения сравнимости и совместимости категорических суждений. «Логический квадрат». Эквивалентность, логическое подчинение, частичное совпадение (подпротивоположность), противоположность и противоречие.

Операции с суждениями: обращение, превращение, противопоставлении предикату.

Сложное суждение. Характеристика основных видов сложных суждений. Логические союзы: конъюнкция, дизъюнкция (исключающая и неисключающая), импликация, эквиваленция, отрицание. Таблицы истинности.

Суждение и вопрос. Вопрос как логическая форма. Логические требования к правильной постановке вопросов. Ответ как логическая форма

Элементарное введение в логику высказываний. Логические переменные, логические постоянные и технические знаки (скобки). Понятие правильно построенной формулы (ППФ).

Таблицы истинности для логических союзов. Тождественно истинные и тождественно ложные формулы. Элементарные законы логики высказываний (двойного отрицания, де Моргана и др.).

Модальные суждения. Типы модальностей: алетическая, эпистемическая, деонтическая, аксиологическая, временная. Модальные операторы.

Тема 5. Умозаключение

Умозаключение как форма мышления. Структура умозаключения. Логически необходимый и вероятный характер выводов. Типы умозаключений: дедуктивные, индуктивные, по аналогии.

Дедуктивные умозаключения. Роль дедуктивных умозаключений в познании. Категорический силлогизм, его состав, фигуры и модусы. Общие правила силлогизма и особые правила фигур. Энтимема, полисиллогизм, сорит, эпихейрема. Чисто условное и условно-категорическое умозаключение. Чисто разделительное и разделительно-категорическое умозаключение. Условно-разделительное умозаключение. Конструктивные и деструктивные дилеммы.

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

Умозаключение по аналогии и его структура. Виды аналогии. Аналогия свойств и аналогия отношений. Условия состоятельности выводов по аналогии. Аналогия и метод моделирования в науке и технике. Эвристический характер умозаключений по аналогии.

Тема 6. Доказательство

Доказательство и опровержение – основные виды аргументации.

Логическое доказательство, его связь с процессами получения выводного знания. Логическая структура доказательства: тезис, аргументы, демонстрация. Виды доказательства (прямые и косвенные). Правила доказательного рассуждения.

Правила по отношению к тезису. Логические ошибки: «подмена тезиса», «переход в другой род», «довод к человеку».

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

Правила демонстрации. Ошибки: мнимое следование, «от сказанного с условием к сказанному безусловно», «поспешное обобщение» и др.

Софизмы и паралогизмы в рассуждениях. Логические парадоксы, их роль в развитии науки

Сущность опровержения. Связь опровержения и доказательства. Опровержение тезиса, аргументов и демонстрации. Логические правила и основные ошибки опровержения. Роль доказательства и опровержения в познавательном процессе.