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

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

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

Категорические суждения и их виды (деление по качеству, по количеству и по объединенной классификации). Выделяющие и исключающие суждения. Распределённость терминов в суждениях. Круговые схемы, выражающие отношения между терминами в суждениях.

Сложные суждения и их виды. Образование сложных суждений из простых с помощью логических связок: соединительные (конъюнкция), разделительные (дизъюнкция), условные (импликация), эквивалентные и отрицательные. Условия истинности сложных суждений (таблицы истинности). Строгая и нестрогая дизъюнкция (исключающе-разделительное и соединительно-разделительное суждение). Импликация и условное суждение. Понятие необходимых и достаточных условий.

Деление суждений по модальности. Логическая и фактическая (онтологическая) модальность. Вероятные и достоверные суждения. Виды достоверных суждений: суждения действительности и суждения необходимости.

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

Умозаключение как форма мышления. Структура умозаключения: посылки, заключение, обосновывающее знание (логическая связь между посылками и заключением). Понятие логического следования. Простые и сложные умозаключения. Виды умозаключения: непосредственные и опосредованные, демонстративные и недемонстративные, дедуктивные, индуктивные и умозаключение по аналогии.

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

Простой категорический силлогизм. Состав силлогизма. Фигуры и модусы силлогизма. Правильные модусы. Общие правила силлогизма. Специальные правила фигур. Отбор правильных модусов с помощью круговых схем. Сокращенный силлогизм (энтимема); восстановление энтимемы до полного силлогизма. Понятие о сложных (полисиллогизмы) и сложносокращенных (сорит и эпихейрема) силлогизмах.

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

Полная индукция. Структура умозаключения. Понятие о математической индукции.

Неполная индукция. Виды неполной индукции: популярная индукция (индукция через простое перечисление) и научная индукция.

Популярная индукция. Перечислительный (энумеративный) характер популярной индукции. Проблематичность индуктивных обобщений. Понятие вероятности. Вероятностная оценка степени обоснованности индуктивных сообщений.

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

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

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

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

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