Тема 6. Сложное суждение и его виды. Законы логики

Сложное суждение и его виды: соединительные, разделительные, условные, эквивалентные и отрицательные суждения. Понятие логической связки, соотношение логических связок с союзами естественного языка.

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

Понятия языка-объекта и метаязыка.

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

Недопустимость логических противоречий.

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

Раздел 4. УМОЗАКЛЮЧЕНИЕ

Тема 7. Дедуктивные умозаключения: выводы из простых суждений

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

Значение отношения логического следования для теории дедукции. Достоинства и ограниченность дедукции как метода познания. Роль дедукции в содержательных, формализованных и формальных теориях.

Типы классификаций умозаключений: 1) в зависимости от строгости правил вывода: демонстративные (необходимые) и недемонстративные (правдоподобные); 2) по направленности вывода: дедуктивные, индуктивные, по аналогии; 3) в зависимости от количества посылок: непосредственные и опосредованные.

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

Тема 8. Дедуктивные умозаключения: выводы из сложных суждений

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

- чисто условные (все посылки – условные суждения);

-условно-категорические (одна посылка – условное суждение, вторая – простое категорическое);

- разделительно-категорические (одна посылка разделительное суждение, вторая – простое категорическое);

- условно-разделительное (с несколькими условными и одной разделительной посылкой).

Правильные формы (модусы) данных умозаключений. Восстановление энтимем на основе условных и разделительных суждений. Роль такого рода умозаключений в аргументации.

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