вот очень хорошая статья очень хорошего специалиста о том, что Бог Ансельма должен не быть параконсистентным. а для этого надо убрать остатки параконсистентности, которые не смогли убрать сами схоласты, т.к. схоласты не знали парадокс Рассела. отсюда предложение заменить OmniGod на MaxiGod. ср. мою полемику с американским коллегой в статье про логику Ареопагита: ее можно перевести на этот язык именно так, что мой оппонент видит у Ареопагита MaxiБога вместо OmniБога.
главный (на мой взгляд) и модельный аргумент против схоластических вариантов ансельмова Бога -- аргумент Грима (Бог не может быть ВСЕзнающим, т.к. множество всех истин неконсистентно). модельные на него ответы "неосхоластов" (Плантинга и др.) -- все истины не обязательно должны образовывать множество (т.е. вносят такое же необоснованное ограничение, как ZF и другие, даже Кантор, при отходе от "наивной" теории множеств).
