Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»
1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Модальный взгляд: теодицея и проблема божественного детерминизма» на исследовательском семинаре «From the Logical Point of View».
Аннотация:
На докладе будет представлена разработанная в 2007 году Эдвардом Незнански, а затем дополненная в 2019 Гезиел Силва и Фабио Бертато, система логики первого порядка, формализующая проблему существования зла. Рассмотрим теорию, где высказываниям о существовании, всеблагости и всемогуществе Бога не противоречит высказывание о существовании зла.