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

УМОЗАКЛЮЧЕНИЕ

Мышления

Основные законы (принципы) правильного

Суждение

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

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

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

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

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

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

Основные черты правильного мышления: определенность, последовательность, непротиворечивость и доказательность.

Законы логики и их материалистическое понимание. Значение основных законов (принципов) логики для правильного мышления. Закон тождества. Закон непротиворечия. Закон исключенного третьего. Закон достаточного основания. Соблюдение законов логики – необходимое условие достижения истины в познании и эффективности политического дискурса.

Критика идеалистических и метафизических взглядов на законы логики. Методологическая функция основных законов логики. Понятие о законах и принципах диалектической логики.

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

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

Выводы логики высказываний. Типичные в практике рассуждений формы умозаключений и соответствующие им правила выводов логики высказываний. Прямые и непрямые (косвенные) выводы.

Прямые выводы.

Чисто условные умозаключения: вывод по транзитивности импликаций; простая и сложная контрапозиция; вывод с конъюнктивным объединением условий (правило импортации); вывод с разъединением условий (правило экспортации).

Условно-категорические умозаключения: утверждающий модус (modus ponens), отрицающий модус (modus tollens).

Разделительно-категорические умозаключения: утверждающе-отрицающий и отрицающе-утверждающий модусы.

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

Непрямые (косвенные выводы). Рассуждения по правилу введения импликации. Сведение к «абсурду». Рассуждение «от противного» (противоречащего).

Правила преобразования суждений на основе отношения эквивалентности.Понятие о систематическом построении логики высказываний.

Выводы, основанные на субъектно-предикатной структуре суждений.

Типичные в практике рассуждений выводы: выводы из категорических суждений; выводы из суждений с отношениями.

Выводы из категорических суждений.

Выводы посредством преобразования суждений (непосредственные умозаключения): превращение, обращение; противопоставление предикату. Выводы по «логическому квадрату».

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

Сокращенный силлогизм (энтимема); восстановление силлогизма из энтимемы. Понятия о сложных (полисиллогизмы) и сложносокращенных (сориты и эпихейрема) силлогизмах.

2. Выводы из суждений с отношениями.

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

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

Правила образования противоположностей.

Логики двузначная и многозначная. Понятие о модальной логике.

Дата добавления: 2015-05-08