2. Объём дисциплины и виды учебной работы

Вид учебной работы	Количество часов по очной форме обучения
Общая трудоёмкость	72 / 2
Аудиторное занятие	57
Лекция	19
Семинарское и практическое занятие	38
Самостоятельная работа и НИРС	15
Форма итогового контроля	Зачёт

3. Программа дисциплины Раздел 1. Введение в логику

Тема 1. Предмет и значение логики для юристов

Мышление как объект изучения логики. Чувственное познание и абстрактное мышление. Индуктивные, дедуктивные методы абстрактно-логического мышления.

Логика как наука о формах и законах правильного мышления. Объект и предмет логики.

Понятие логической формы. Основные и неосновные формы мышления. Понятие правильного мышления. Правильные (корректные) и неправильные (некорректные) формы мышления.

Понятие логического закона. Законы мышления и законы логики.

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

Понятие логической культуры правового мышления. Логика как пропедевтика правовых и гуманитарных дисциплин. Логосфера правового мышления. Формально-логическая структура правовых норм: гипотеза, диспозиция, санкция («если – то – иначе»).

Деонтическая логика (логика права) – логическое учение о структуре и логической связи нормативно-правовых высказываний (Э. Малли, А. Хаас, К. Адомайт, К.И. Льюис, Р. Тейлор, А. Айер, А. Ивин). Модальные операторы деонтической логики: обязывание (О), запрещение (F), разрешение (P), безразлично (I). Деонтическая логика как теория нормативных высказываний.

Логика учебно-педагогической деятельности и самообразования.

Тема 2. История логики: от формальной к современной логике

Социально-экономические и культурно-исторические предпосылки появления логики в культуре древних цивилизаций. Смысл и значение термина «логос» в контексте философской, политической, правовой культуры древних цивилизаций.

Основные исторические этапы развития логики: от формальной (аристотелевской) к современной (модальной).

Логика в Древнем Китае. Школа фа цзя. Гуань Чжун и реформатор Шан Ян. Дэн Син и его философско-правовое учение. Разработка Дэн Сином диалектического метода.

Школа мо цзя (Мо ди). Философы школы мо цзя о предмете и методах мышления. Определение логического мышления или «разумного знания» (шо чжи). Учение о методе (фа) и правилах получения истинного знания. Диалектика и элементы модальной логики.

Школа мин цзя (школа имен) – китайские софисты Древнего Китая: Гунсунь Лун, Хуэй Ши. Философы школы мин цзя о предмете и методах логики. Софистика и риторика. Учение об универсальных понятиях-категориях. Теория истинного и парадоксального знания в трактате Гунсунь Луна «Рассуждения о белой лошади». Диалектика и элементы математической логики. Учение о соотношении имён и реалий.

Кун фу цзы (Конфуций), его этико-философское учение. Концепция «исправления имен». Роль и значение Конфуция (конфуцианства) в дискуссии китайских номиналистов (школа мин цзя) и реалистов (школа мо цзя).

Логика Древней и средневековой Индии. Специфика и особенности логики ньяиков. Логика как риторическое искусство (софистика) о видах и формах рассуждений. Особенности индийского силлогизма. Дигнага и его сочинение «Об источниках познания». Дхармакарти и его сочинения «Краткий учебник логики», «Капля логики». Навья-ньяя – новая методология умозаключений. Буддизм и логика.

Logica antiqva (лат. – античная логика) – логика и риторика в культуре античной цивилизации. Социально-политические источники рождения logica antiva (философия, математика, политика, правосудие, государственное управление).

Софисты – учителя мудрости и красноречия (Протагор, Горгий, Гиппий и др.). Софистика и логомахия. Софисты и Сократ, их роль и значение в становлении европейской логики.

Эристика и диалектика мегариков (Евбулид, Диодор Крон, Стильпон). Эристика как «духовное фехтование» (Шопенгауэр). Логические парадоксы Евбулида «Лжец», «Лысый», «Куча» и др. Софизмы и парадоксы.

Платон и его философско-логические диалоги («Менон», «Кратил», «Софист» и др.).

Аристотель (384 – 322 гг. до н.э.) и его формальная логика – учение о силлогизмах (аналитика). Сущность и структура аристотелевской логики. Истина и её классическое понимание. Основные законы (правила формальной логики).

Сочинения Аристотеля: «Аналитика» – теория и правила силлогистических умозаключений; «О софистических опровержениях» – природа и сущность логических ошибок; «Топика» – правила определения; «Метафизика» – определение формально-логических законов.

Логика Аристотеля и аристотелевская логика с точки зрения современной логики.

Перипатетики (Теофраст, Эвдем, Стратон, Андроник) – систематизация и комментирование сочинений Аристотеля.

Древняя Стоя (Зенон, Хрисипп). Логика высказываний или суждений. Логика стоиков и классическая логика XX века.

Схоластическая логика (С. Боэций, П. Абеляр, У. Оккам, Р. Луллий, Ф. Аквинский). Теологика. Логика как учебная дисциплина в средневековых университетах. Логический квадрат С. Боэция и М. Псёлла. Ars magna (лат. – логическая машина) Р. Луллия. «Логика Авиасафа». Патристика и схоластика. Дискуссия об общих понятиях-универсалиях (реализм – номинализм).

Средневековая арабская логика (аль-Кинди, аль-Фараби, Авиценна, Аверроэс): комментирование и приспособление логики к теологическим диспутам.

Дедуктивная (Р. Декарт) и индуктивная (Ф. Бэкон) логика Нового времени. Логическая концепция «логики Пор-Рояля» (А. Арно и П. Николь): логика как методология всех наук. Математика и логика. Логический закон Г. Лейбница о достаточном основании и идея об универсальном языке логики.

Диалектическая логика И. Канта и Г. Гегеля как наука о формах мышления с точки зрения их исторического развития.

Математическая логика (Дж. Буль, Г. Фреге, А. де Морган, Дж. Венн, П.С. Порецкий, Н.А. Васильев, А.А. Марков). «Principia mathematica» – первый капитальный труд по математической логике. «Очерки по истории математики» Н. Бурбаки.

Математическая логика – логико-математическая теория мышления. Язык символической логики. Логика и математика. Логика формальная и математическая. Математическая логика как теория формализации методов и приёмов мыслительной деятельности.

Современная (модальная) логика (Я. Лукасевич, Э. Малли, В.А. Светлов, А.А. Ивин и др.). Модальность и истинность.

Структура современной логики: формальная логика; классическая логика, или математическая (логика высказываний и логика предикатов) и неклассическая логика (многозначные логики, конструктивная, интуиционистская); модальная логика (эпистемическая, паранепротиворечивая, деонтическая); диалектическая логика.