Институт философии СПбГУ
Кафедра логики
Образовательная программа СВ.5026.2012. Философия 030100, бакалавриат, очная форма,
4 курс, 8 семестр
2015-2016 уч. г.
(10 ч. лекц., 12 ч. сем., занят., форма отчетности: зачет)
Логические парадоксы
Д. ф. н., проф.
Темы курса
Основные категории логической семантики. Проблема языка в философии и логике. Логическая и лингвистическая семантики. Теория истины Тарского. Язык и метаязык. Семантические антиномии и парадокс анализа. Проблема контекста и исследование иллокутивности. Существование объекта и свободные логики. Проблема значения собственных имён. Статус интенсиональных объектов: свойства, отношения, пропозиции.
Логические и семантические парадоксы: обзор. Логические и семантические парадоксы: парадокс Рассела, парадокс Бурали-Форти, гетероллогический парадокс, «Лжец», «Эпименид», парадокс Тарского.
Парадоксы наивной теории множеств и средства их избегания. Причины появления парадоксов в наивной теории множеств. Альтернативные варианты построения теории множеств. Простая и разветвлённая теории типов и их возможности. Синтаксические и семантические категории у Айдукевича, Чёрча и Бар-Хиллела и их применения в формализации и в семантике.
Самоприменимость и композициональность в анализе семантических парадоксов. Принцип композициональности. Прагматика самоприменимости и композициональность. Некомпозициональность как источник парадоксов.
Некомпозициональность и её прагматика. Избыточность некомпозициональности в коммуникации. «Техническая» прагматика некомпозиционального.
Процедурное понимание значение и моделирование парадоксов. Процедурная интерпретация денотата и смысла. l-абстракция в теоретико-типовом языке. Бесконечная иерархия интенсиональных сущностей. “Альтернативы” в логике Чёрча. Аксиоматические построения. Синонимический изоморфизм.
Эпистемические установки в анализе парадоксов. Гиперинтенсиональная логика. Общая интенсиональная логика с эпистемическими установками. Блокирование парадоксов в контексте эпистемических установок. Принципы гиперинтенсиональной логики.
Семантика неподвижной точки и теория истины. Трёхзначная логика Клини. Теория истины как неподвижной точки Крипке и её применения.
Моделирование парадоксов в общей интенсиональной логике. Теория пропозиций и фрегевских структур у Экшела и в общей интенсиональной логике. Свойства смысла как процедуры.
