Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
6 июня в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Юлия Копчева
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом
«Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
Аннотация
В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.