#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
6 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.

Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.

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

Анонс: https://llfp.hse.ru/announcements/1053296706.html

➰ ВК