Онтологическое доказательство Гёделя. Перевод.

[swpanurg]

Онтологический аргумент, обосновывающий бытие Бога, впервые видимо прозвучал в XII веке у Ансельма Кентрберийского, который сказал по существу следующее: «Бог - это то, больше чего помыслить нельзя. Бог существует в понимании. Тогда можно вообразить его больше, а именно существующим и в реальности. Значит, он должен существовать и в реальности.»

Comments

[mihaild]

Мне кажется, или доказательство имеет вид "существующий единорог существует"?

[swpanurg]

Не вполне, но ваше сомнение близко к Кантовскому "Существование - не предикат".

[mihaild]

Я намекал на рассуждение, которое прочитал у Смаллиана (не помню, на кого он ссылался). Мы доказали "всякий бог существует", но не доказали "существует (хотя бы один) бог.

[swpanurg]

Не думаю, что это тот случай. Уже в исходном (Ансельма) аргументе - о "всяком" боге речь идти не может, он единственен. То же и у Геделя.

По-моему, Вам ни разу не кажется

[crystal_rod]

Я воспринимаю это "доказательство" как довольно опасный бред, со всеми его "необходимо существует