Тема 4. Суждение. Суждение как форма мышления

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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