Логическая теория имен
Основные характеристики имени. Значение и смысл имени. Содержание имени (основное и производное) и его объем. Закон обратного отношения между содержанием и объемом имени.
Виды имен: единичные, общие (в том числе универсальные) и нулевые (пустые). Имена простые, сложные и описательные. Имена собирательные и несобирательные. Конкретные и абстрактные. Безотносительные и соотносительные. Регистрирующие и нерегистрирующие. Четкие и нечеткие.
Отношение между объемами имен. Обобщение и ограничение. Роль операции обобщения в формировании знаний. Роль операции ограничений в конкретизации знаний.
Определение (дефиниция). Сущности цель и структура определения. Правила определений. Ошибки, возможные в определениях. Значение определений в научном познании и практическом рассуждении,
Деление. Сущность, цель и структура деления. Классификация и ее виды; типология. Значение деления, классификации и периодизации в научном познании и практической деятельности.
РАЗДЕЛ III. Логическая теория высказываний
Логическая теория высказываний
Общая характеристика высказывания. Логическое значение высказывания. Простое и сложное высказывания. Понятие о модальном высказывание.
Язык логики высказываний. Формализованный язык. Язык-объект и метаязык.
Простое высказывание и его структура. Виды простых высказываний/ Категорические высказывания, их деление по качеству и количеству. Распределенность терминов в категорических высказываниях.
Сложные (молекулярные) высказывания. Образование сложных высказываний из простых с помощью логических союзов. Понятие логического союза. Виды логических союзов. Установление логического значения сложного высказывания табличным способом.
Понятие закона логики высказываний. Элементарные законы логики высказываний: тождества, противоречия, исключенного третьего, двойного отрицания. Сложные законы логики высказываний: modus ponens, modus tollens, контрапозиции, условного силлогизма и др. Проблема разрешимости и способы ее решения (табличный и сокращенный).
Логические отношения между схемами высказываний: совместимость (следование, полная совместимость, частичная совместимость), несовместимость (противоречие, противность).
РАЗДЕЛ IV. Классическая дедуктивная логика
Классическая дедуктивная логика
Понятие дедуктивного вывода. Типы дедуктивных выводов: выводы, основанные на логических связях между высказываниями (выводы логики высказываний); выводы, зависящие от субъективно-предикатной структуры высказываний.
Выводы из категорических высказываний. Выводы посредством преобразования высказываний: превращение, обращение, противопоставление предикату, выводы по "логическому квадрату".
Простой категорический силлогизм и его состав. Фигуры и модусы силлогизма. Общие правила силлогизма. Специальные правила фигур. Сокращенный силлогизм (энтимема). Понятие о сложных и сложносокращенных силлогизмах.
Выводы логики высказываний. Некоторые традиционные формы умозаключений и соответствующие им правила выводов логики высказываний. Чисто условное умозаключение: выводы по транзитивности импликации. Условно-категорические умозаключение: утверждающий модус (modus ponens), отрицающий модус (modus tollens). Эквивалентно-категорическое умозаключение. Разделительно-категорическое умозаключение: утверждающе-отрицающий и отрицающе-утверждающий модусы.
РАЗДЕЛ V. Логика правдоподобных рассуждений
Недедуктивные выводы
Недедуктивные выводы. Понятие редуктивного вывода. Индуктивные выводы и их виды. Полная и неполная индукция. Научная индукция. Выводы по аналогии. Аналогия свойств и аналогия отношений. Условия, повышающие степень вероятности выводов по аналогии. Аналогия - логическая основа метода моделирования в науке и технике. Аналогия и метафора.
