Тема 2. Основы теории аргументации. Основные формально-логические законы

Тема 3. Элементы логики высказываний: алгоритм формализации сложных суждений, формулы логики высказываний

Сложное суждение и его структура.

Алгоритм формализации суждений и таблица истинности. Отрицание, конъюнкция, слабая дизъюнкция, импликация, эквивалентность, строгая дизъюнкция, штрих Шеффера и стрелка Пирса. Виды сложных суждений
по типу логической связки.

Применимость логической формализации при анализе юридического текста.

Определение формулы логики высказываний. Тождественно-истинные, тождественно-ложные, логически нейтральные и выполнимые формулы.

Равносильность формул логики высказываний. Основные логические равносильности. Основные законы логики высказываний (идемпотентности, коммунитативности, ассоциативности, дистрибутивности).

Тема 4. Элементы логики высказываний: нормальные формы
в доказательстве, проблема разрешимости суждений

Понятие нормальной формы сложных суждений. Алгоритм приведения суждений к нормальной форме. Нормальные формы: конъюктивно-нормальная (КНФ), дизъюктивно-нормальная (ДНФ).

Разрешение суждений и его основные процедуры:

а) построение таблицы истинности суждения;

б) с помощью метода «от противного»;

в) приведение к нормальной форме и подстановки;

г) построение конъюктивно-нормальных и дизъюктивно-нормальных форм.

Особенности логической импликации. Сокращённый способ разрешения суждений и его основной смысл.

Процедуры разрешения суждений в юридической теории и практике.

Тема 5. Элементы логики высказываний: обзор причин и следствий

Логически нейтральные формулы суждения и смысл их выполнимости. Понятие сокращённой конъюктивно-нормальной формы и алгоритм её построения. Понятие совершенной конъюктивно-нормальной формы
и алгоритм её построения. Понятие возможных и простых следствий
из формализованной ситуации.

Логический поиск причин (гипотез). Понятие сокращённой дизъюнктивно-нормальной формы и алгоритм её построения. Понятие сокращённой дизъюнктивно-нормальной формы и алгоритм её построения. Понятие сильных и слабых причин формализованной ситуации. Совершенная дизъюнктивно-нормальная форма и алгоритм её построения.

Поиск причин и следствий в юридической деятельности.

Тема 6. Силлогистика: виды и структура простых суждений

Атрибутивные суждения и суждения с отношениями. Деление суждений по модальности.

Простые категорические суждения.

Основная структура суждения: субъект, предикат, квантор и логическая связка. Типы логических связок. Понятие распределённости терминов суждения.

Тема 7. Силлогистика: непосредственное умозаключение

Смысл логического квадрата и основных выводов по его свойствам.

Превращение. Обращение. Противопоставление субъекту. Противопоставление предикату. Применимость результатов операций
в юридической теории и практике.

Тема 8. Силлогистика: силлогизма и его виды

Понятие силлогизма. Аристотель и его роль в дальнейших логических изысканиях. Аксиома силлогизма и её смысл.

Простой категорический силлогизм (ПКС): определение и основная структура. Правила терминов и посылок силлогизма.

Основные фигуры силлогизма и его модусы. Специальные правила фигур. Правильные модусы.

Алгоритм решения силлогизмов и их проверок.

Энтимема. Восстановление силлогизма из энтимемы.

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

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