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] ritovita.livejournal.com 2008-11-23 09:28 pm (UTC)(link)
А зачем Вы ввели во второе "опровержение" слово летающая. Представление о летающей корове есть результат простой комбинаторики, идея всесовершенства относится к разряду интуитивных (врождённых) представлений.

[identity profile] psilogic.livejournal.com 2008-11-23 09:54 pm (UTC)(link)
захотел и ввел...

[identity profile] ritovita.livejournal.com 2008-11-23 11:19 pm (UTC)(link)
Это сильный аргумент, но не имеющий отношения к логике. Вычеркните это слово и обнаружите логическую ошибку.

[identity profile] psilogic.livejournal.com 2008-11-24 09:40 am (UTC)(link)
Если вычеркнуть, корова станет существующей :)

(Anonymous) 2008-11-24 12:40 pm (UTC)(link)
А корова в самолете не летит, не существует или невообразима?

[identity profile] psilogic.livejournal.com 2008-11-24 12:51 pm (UTC)(link)
корова не летит сама, не существует, но вообразима