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

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

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

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

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

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

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

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

Тема 4. Основные законы мышления

Понятие закона мышления как связи мыслей. Логический закон как правило мыслительной деятельности. Многообразие логических правил. Место основных законов в системе правил.

Закон тождества. Закон непротиворечия. Закон исключенного третьего. Закон достаточного основания.

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

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

Дедуктивное умозаключение

Понятие дедуктивного умозаключения. Виды дедукции.

Непосредственное умозаключение (превращение, обращение, противопоставление предикату, по «логическому квадрату»).

Категорический силлогизм, его состав, фигуры и модусы. Общие правила силлогизма и особые правила фигур. Энтимема, полисиллогизм, сорит, эпихейрема.

Дедуктивные выводы логики высказываний.

Чисто условное и условно-категорическое умозаключение.

Чисто разделительное и разделительно-категорическое умозаключение.

Условно-разделительное умозаключение. Конструктивные и деструктивные дилеммы.

Индуктивное умозаключение

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

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

Роль индукции в науке. Индуктивные умозаключения как один из основных путей формулирования научных гипотез.

Умозаключение по аналогии

Понятие умозаключения по аналогии. Аналогия свойств и аналогия отношений. Виды аналогии: строгая, нестрогая и ложная аналогии. Методы повышения надежности умозаключений по аналогии.

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