Конспекты по формальной философии

Эти конспекты основаны на лекциях В.В. Долгорукова в ВШЭ. Сами лекции, на данный момент, не доступны (увы).

Материал конспектов будет пополнятся время от времени. Возможно, будет добавляться что-то вне материала оригинального курса под заголовками, начинающимеся с «Дополнение...»

Содержание

1. Введение
   1. Что такое формальная философия
   2. Парадокс Фитча
      1. Формулировка
      2. Как воспринимать синтаксические аргументы?
      3. Идеальные агенты
   3. Аргумент Диодора Крона
      1. Темпоральная логика
      2. Формализация
2. Модальная метафизика
   1. Необходимость тождества С. Крипке
      1. Два метафических различия
      2. Дополнение: Номологическая необходимость
   2. Невозможность нечётких объектов Г. Эванса
   3. Важное дополнение
      1. Модальные логики
      2. Форма Бэкуса—Наура
3. Эпистемическая логика
   1. Модель эпистемической логики
      1. Правильные формулы
      2. Модель Крипке
      3. Формы коллективного знания
   2. Логика публичных объявлений (PAL)
      1. APAL и парадокс Фитча
4. Формальная этика
   1. Деонтическая логика
      1. Парадокс А. Росса
      2. Парадокс «доброго самаритянина»
      3. Парадокс А. Прайора
      4. Парадокс Р. Чизхолма
      5. Парадокс Д. Форестера
   2. Философия действия
5. Онтологический аргумент
   1. Онтологический аргумент Курта Геделя
      1. Определения
      2. Аксиомы
      3. Доказательство
      4. Проблемы
   2. Онтологический аргумент Ансельма