16 сентября в 18:10 состоится 125-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Тонкая красная линия: оккамистский ответ на проблему эпистемического фатализма

Докладчик: Михаил Сафронов (магистратура ШФиК, НИУ ВШЭ).

Аннотация: Проблема эпистемического фатализма возникает из напряжения между двумя, на первый взгляд, несовместимыми интуициями: будущее открыто, нам кажется, что у нас некоторая степень контроля над нашими действиями; однако любое событие в любой момент времени либо происходит, либо не происходит. Сказать, что что-то завтра либо будет, либо не будет, значит просто констатировать очевидное положение дел. Но если уже сейчас необходимо, что что-то либо будет, либо не будет, то мы вынужденны признать, что один из этих исходов уже сейчас необходим. В рамках классического теизма к этой проблеме добавляется требование божественного всеведения: Бог должен знать все истины, включая истины о будущих событиях, и даже, на первый взгляд о возможных будущих событиях, которые никогда не случатся.

В докладе оккамистская стратегия рассматривается как попытка разорвать этот круг, сохранив одновременно определённые истины о будущем и возможность человеческой свободы. Центральная идея состоит в том, что «φ будет» не означает ни того, что «φ возможно», ни того, что «φ необходимо»: то, что будущее событие произойдёт, не означает, что оно произойдёт с необходимостью. Эта идея связывается с различением жёстких и мягких фактов у Плантинги и получает формальное выражение в семантике ветвящегося времени.

Основное внимание уделяется Supervaluational Thin Red Line семантике разработаной Алексом Мальпассом и Яцеком Вевером, которая, как будет показано, наиболее близка к изначальным взглядам Оккама и вызывает наименьшее напряжение с тезисами классического теизма. Вместе с тем проект не может считаться полностью завершённым: остаются открытыми вопросы о метафизическом основании актуальной линии истории, о контрфактуальных сценариях свободы и о совместимости содержания божественного знания с божественной самобытностью. Отдельно будет показано, что в рамках существующих оккамистских семантик невозможно полностью выразить акцидентальную необходимость - тот факт, что нкоторое событие ранее было контингентно, но сейчас уже необходимо. STRL предстаёт не как окончательное устранение всех трудностей, а как развивающийся и во многом переходный проект к достаточно выразительной темпоральной логике, приемлемой в рамках классического теизма.

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1200276070.html