.✦ ───── ✩ ───── ✦.

что вы думаете на счет аргумента в пользу существования Бога Курта Геделя? Формулировка: «Существо богоподобно, если оно обладает всеми положительными свойствами (суть положительных свойств трактуется интуитивно, при этом правила вывода и оперирования интуитивными свойствами заданы строго формально. как пример положительных свойств: всеблагость, всеведение и т.д.). Аксиомы: 1) положительное свойство непротиворечиво 2) положительное свойство не является отрицанием другого положительного свойства 3) свойство «быть богоподобным» положительно 4) положительность свойства не зависит от мира 5) необходимость существования (т.е. существование во всех возможных мирах) - положительное свойство. 6) если ф положительно и влечет ψ во всех возможных мирах, то ψ положительно. из этих аксиом следует, что если Бог возможен, то Он существует необходимо (формальный вывод на языке логики первого порядка можно легко нагуглить, просто не могу символы нужные на клаве набрать. Верность вывода доказана формально, в том числе через автодоказательство, так что вопрос лишь в истинности аксиом).»

-` #тейк@debatecf ´-
══════════════════
⋆.˚✮ @debatetakesbot ✮˚.⋆