psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2008-11-23 12:22 pm
Entry tags:

Уловка Ансельма

Жил да был когда-то Ансельм Кентерберрийский, который пытался логически доказать существование Бога. Было много разных попыток доказать существование Бога логически. Но онтологический аргумент Ансельма стоит особняком среди подобных "доказательств". Найти ошибку в нем не так просто, а в процессе поиска обнаруживается много интересного.

Я попытался разобраться в деталях. Полный текст статьи [на сайте], а здесь я бы хотел представить "выжимку" для обсуждения. У меня сохраняется ощущение, что я мог где-то что-то упустить или недокопать, так что welcome.

Один из вариантов Уловки Ансельма:

"В нашем уме есть понятие, рассуждает Ансельм, о существе всесовершенном. Даже атеист способен представить такое абсолютно совершенное существо, хотя и будет отрицать его присутствие в реальном мире. Но, продолжает автор, если существо не присутствует в реальном мире, то по этой самой причине оно не абсолютно совершенно. Возникает противоречие, из чего можно сделать вывод, что бог существует!"

После ряда упрощений и уточнений она может быть представлена в таком виде:

"Самый совершенный объект - это объект наблюдаемый и совершенный в остальном. Допустим, самый совершенный объект - ненаблюдаемый. Но ненаблюдаемый объект - не самый совершенный. Возникает противоречие, из чего можно сделать вывод, что самый совершенный объект наблюдаемый".

Возможные места логического жульничества.

1. Специфическое применение приема "сведения к абсурду" по принципу: из абсурда получается абсурд, следовательно, исходный абсурд ложен. Но в данном случае исходный абсурд представляет собой высказывание в форме X и не X (не существует и существует). Но, зная, что X and not X = false, мы ничего не можем сказать насчет X: оно может быть true или false. То есть, из противоречия нельзя сделать вывода, что бог существует.

2. Хитрое смешение таких понятий, как реальный, воображаемый и воображаемый реальным. Сравните: "реальная летающая корова", "воображаемая летающая корова" и "я воображаю, что летающая корова реальна". Присутствие бога в реальности само может быть реальным или воображаемым. Совершенство может быть реальным или воображаемым. Воображаемое присутствие свяано с воображаемым совершенством, а реальное присутствие с реальным совершенством. И противоречия не возникает. Это может показаться запутанным, но... на самом делле не очень сложно. :)

[identity profile] mr.midas.myopenid.com (from livejournal.com) 2008-11-24 02:06 pm (UTC)(link)
"По квитанции корова рыжая одна. Брали мы ее одну по квитанции. Сдавать будем одну, чтоб не нарушать отчетности."(кот Матроскин)
Так и тут. Заявлена была только "летающая корова". Так что на всем пространстве значений "корова" и "летать" реально существует пересечение с вообразимой "летающей коровой". А вот добавив "сама", которое изначально осталось отчего-то за кадром ... опять же не сильно разрешит картину, т.к. придется еще и уточнять, что значит сама. Так что замечание про голую комбинаторику остается в силе. "Преследуя вожака стаи, не стоит забывать об остальных. Вожак хоть и важен, но только пока жив." :)

[identity profile] psilogic.livejournal.com 2008-11-24 02:24 pm (UTC)(link)
Все оговорки сделать невозможно