РАЗДЕЛ II. Логическая теория имен

Логическая теория имен

Основные характеристики имени. Значение и смысл имени. Содержание имени (основное и производное) и его объем. Закон обратного отношения между содержанием и объемом имени.

Виды имен: единичные, общие (в том числе универсальные) и нулевые (пустые). Имена простые, сложные и описательные. Имена собирательные и несобирательные. Конкретные и абстрактные. Безотносительные и соотносительные. Регистрирующие и нерегистрирующие. Четкие и нечеткие.

Отношение между объемами имен. Обобщение и ограничение. Роль операции обобщения в формировании знаний. Роль операции ограничений в конкретизации знаний.

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

Деление. Сущность, цель и структура деления. Классификация и ее виды; типология. Значение деления, классификации и периодизации в научном познании и практической деятельности.

РАЗДЕЛ III . Логическая теория высказываний

Логическая теория высказываний

Общая характеристика высказывания. Логическое значение высказывания. Простое и сложное высказывания. Понятие о модальном высказывание.

Язык логики высказываний. Формализованный язык. Язык-объект и метаязык.

Простое высказывание и его структура. Виды простых высказываний/ Категорические высказывания, их деление по качеству и количеству. Распределенность терминов в категорических высказываниях.

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

Понятие закона логики высказываний. Элементарные законы логики высказываний: тождества, противоречия, исключенного третьего, двойного отрицания. Сложные законы логики высказываний: modus ponens, modus tollens, контрапозиции, условного силлогизма и др. Проблема разрешимости и способы ее решения (табличный и сокращенный).

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

РАЗДЕЛ IV. Классическая дедуктивная логика

Классическая дедуктивная логика

Понятие дедуктивного вывода. Типы дедуктивных выводов: выводы, основанные на логических связях между высказываниями (выводы логики высказываний); выводы, зависящие от субъективно-предикатной структуры высказываний.

Выводы из категорических высказываний. Выводы посредством преобразования высказываний: превращение, обращение, противопоставление предикату, выводы по "логическому квадрату".

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

Выводы логики высказываний. Некоторые традиционные формы умозаключений и соответствующие им правила выводов логики высказываний. Чисто условное умозаключение: выводы по транзитивности импликации. Условно-категорические умозаключение: утверждающий модус (modus ponens), отрицающий модус (modus tollens). Эквивалентно-категорическое умозаключение. Разделительно-категорическое умозаключение: утверждающе-отрицающий и отрицающе-утверждающий модусы.

РАЗДЕЛ V. Логика правдоподобных рассуждений

Недедуктивные выводы

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