tg-me.com/msu_mathlog/242
Last Update:
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
6 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.
Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1053296706.html
➰ ВК
BY Кафедра математической логики и теории алгоритмов мехмата МГУ
Share with your friend now:
tg-me.com/msu_mathlog/242