Формальная философия–39

9 октября состоялось 39-е заседание научно-теоретического семинара «Формальная философия». Тюдор Протопопеску (НИУ ВШЭ) выступил с докладом «Деонтическая аргументация с точки зрения гиперинтенсиональной логики».

---

В докладе был представлен базирующийся на логике свидетельств (justification logic) подход  для анализа гиперинтенсиональных контекстов, то есть, таких контекстов, в которых не всегда возможна замена утверждения на необходимо эквивалентное. При помощи такого подхода удается избежать знаменитого парадокса  Росса («Если нужно отправить письмо, то нужно отправить письмо или сжечь его»), а также ряда других деонтических парадоксов.  Такой эффект возможен благодаря тому, что в justification logic любой модальный оператор сопряжен с некоторым параметром, который в деонтической интерпретации понимается как основание для действия: поэтому из наличия некоторого основания для атомарного действия (отправка письма) не следует, что то же самое основание может служить и для сложного дизъюнктивного действия (отправить письмо или сжечь его).

Аннотация: .pdf