Ув. livelogic критикует мои тезисы

[mns2012]

Во-первых, приятно видеть записи livelogic, особенно после большого перерыва. Once a livejournal author, always a livejournal author. Welcome back.

Мои предыдущие тезисы:
- Разница между "отрицать" и "верить в отсутствие" лишь кажущаяся
- Дихотомия "вера vs. знание" достаточно условна
- С доказательством отсутствия всегда проблемы (если строго следовать логике, разумеется).

Комментарийlivelogic.

Прокомментирую его комментарий. Начну с третьего тезиса. С критикой его согласен в том смысле, что мне следовало более корректно сформулировать свою мысль. Контекст у меня был такой.

Я говорил о том, что не только с нравственной, но и с формальной точки зрения, сказать "я не знаю, если ли Бог", гораздо лучше, чем сказать: "Бога нет". И я привёл на этот счёт вот такую аналогию из области комбинаторного поиска.

Есть абстрактная задача, заданная:

- вектором X переменных, принимающих целочисленные значения из области значений D,
- набором ограничений С на значения переменных из Х.

Требуется найти такие значения переменных, которые удовлетворяют ограничениям С.

Кто-то приходит и говорит: "Бог есть". То есть имеется некое предложенное кем-то решение X* нашей задачи. Проверка того, является ли X* действительно решением задачи, не составляет труда. Для этого нужно лишь посмотреть, не нарушаются ли ограничения на X при условии X=X*. Окей?

Но вот с утверждением "Бога нет" есть проблемы. Гарантировать отсутствие решений задачи можно только систематическим поиском при очевидном условии, что бюджета времени T для систематического просмотра всего пространства решений достаточно. Локальным поиском такой гарантии в общем случае получить нельзя: локальный поиск имеет свойство застревать в окрестностях локальных оптимумов. Поэтому из того, что за то же время T локальным поиском не найдено решений задачи, ещё не следует, что решений не существует.

Доказательство отсутствия решений и доказательство присутствия решений взаимосвязаны, конечно. За критику спасибо.

То есть я хочу сказать, что для того, чтобы утверждать, что Бога нет, нужно систематически просмотреть всё пространство возможных решений. При органиченности времени на это дело даже в масштабах жизни человечества это представляется мне весьма проблематичным. Поэтому максимум, что можно задействовать, -- это локальный поиск (субъективный опыт всех отрицателей, вместе взятых), но он, как мы видели, гарантий отсутствия решений не даёт. Поэтому утверждать: "я не знаю, есть ли Бог", не только скромнее, чем говорить: "Бога нет", но и корректнее.

Что касается остальных тезисов, то я, к сожалению, не увидел их опровержения. Кроме констатации их ложности livelogic ничего не привёл в обоснование своего мнения.

Ещё раз кратко поясню по этим тезисам.

Наше так наз. знание основано на вере. Это видно даже из простого житейского опыта. И дело не в том, "работает оно" или нет в прагматическом смысле, как указывал мне в комментариях кто-то ещё. Дело в том, что вся наша жизнедеятельность буквально зиждется на вере. Я вот, к примеру, сижу на стуле и верю, что он подо мной не провалится. Даже не задумываясь об этом, я вынужден просто постоянно полагаться на что-то: на то, что автобус придёт вовремя, что тесто взойдёт, что мне хватит бензина доехать до места. Да даже этот комментарий я пишу, полагая, что кто-то его прочтёт и даже, может быть, получит хоть какую-то пользу. Верою ходим, а не видением (2 Кор.5:7).

Давайте ещё рассмотрим самый простой пример школьного знания: 2 x 2 = 4. Мы говорим, что мы это знаем. Хорошо, но за этим "знаем" скрывается много чего: например, что отношение равенства и операция сложения предполагают корректность сравнения неких реальных объектов, которое включает корректность абстрагирования от их различий для того, чтобы зачислить их в один класс и затем сложить. Можно или нельзя складывать бананы с апельсинами, зависит от контекста задачи. Всё это основается на допущениях, которые мы вводим, полагая, что для нашей конкретной практической задачи они оправданы.

Знание — bona fide — откроется только в будущем веке. Теперь мы видим как бы сквозь тусклое стекло, гадательно, тогда же лицом к лицу; теперь знаю я отчасти, а тогда познаю, подобно как я познан (1 Кор. 13:12). Поэтому, как мне кажется, разделять и противопоставлять одно другому следует лишь в известных пределах.

То же самое относится к "отрицать" и "верить в отстутствие", а равно и "утверждать" и "верить в наличие". Когда я формулирую некоторое утверждение, я подспудно верю в то, что оно справедливо до тех пор, пока не случится что-то, выходящее из ряда вон. Взойдёт ли завтра Солнце? Да, если условия для того, чтобы это произошло, не изменятся кардинально, если, например, не прилетит какой-нибудь астероид и не ударит в Землю или если не случится какая-нибудь гигантская флуктуация чего-нибудь.

Все наши утверждения неявно сопровождаются вот таким вот дисклеймером, написанным где-то на последней странице мелким шрифтом. И "оно работает", конечно, потому что вероятность такой флуктуации, в результате которой Солнце вдруг возьмёт и куда-нибудь схлопнется, мала и в большинстве практических задач ею можно пренебречь. Однако этот "мелкий шрифт" имеется, и о нём забывать не следует.

Knowledge is a warranted credible belief.

Comments

[livelogic.livejournal.com]

Итак, найдено много мест, где Бога нет. Ergo: Бог не вездесущий.

[mns2012]

Персональный опыт не есть какое-либо место.

Атрибуты Божества — очень интересная вещь. Бог не может точно быть описан вообще никакими категориями.

Свт Григорий Фесаллоникийский (Триады):

Сам себя превосходит не только ангельский, а и человеческий ум, когда становится подобен ангелам бесстрастием; значит, он тоже может прикоснуться к Божьему свету и удостоиться сверхприродного богоявления, сущности Божией, конечно, не видя, но Бога в Его божественном проявлении, соразмерном человеческой способности видеть, - видя.

И не отрицательно [апофатически], потому что ведь видит же, а сверх отрицания, потому что Бог выше не только знания, но и непознаваемости[1], как и Его проявление поистине тоже сокровенно.

Божественные проявления, даже если они символические, недостижимо непознаваемы: они открываются каким-то иным порядком, другим и по отношению к божественной, и по отношению к человеческой природе, - если можно так сказать, в нас выше нас, - так что имени, способного их точно выразить, нет. Это показывают слова ангела, на вопрос Маноя "Как тебе имя?" ответившего: "И оно чудно" (Суд. 13:13-18); то есть как бы и его виденье тоже чудно, будучи не только непостижимым, но и безымянным.

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

[mns2012]

Да, и насчёт вездесущия, всемогущества, неописуемости. В нравственном отношении Бог для не желающих Его знать, становится как бы не существующим, самоустраняется, а человек для Него становится тем камнем, который Он как бы не может поднять.

В Боговоплощении Своём Он становится описуем по Своей человеческой природе.

[mns2012]

Да и не найдено, если посмотреть повнимательнее. Плохо искали...

[livelogic.livejournal.com]

> Да и не найдено, если посмотреть повнимательнее. Плохо искали...

Собственно, проблема применения подходов из области Constraint Satisfaction Problem заключается в отсутствии однозначного способа определения множеств переменных, их значений и ограничений.

Иными словами, отсутствует "датчик Бога".

В качестве такого "датчика" часто используется религиозный опыт, но он слишком разношёрстный, если брать в масштабах планеты.

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

[mns2012]

Это всего лишь аналогия.

Ага

[sergecpp.livejournal.com]

Да. Вот как, к примеру, глайдер из игры Жизнь, "найдёт человека"?..

А если есть "доказательство Бога" (которое примут все), то люди станут роботами (ибо явно будет, чего не следует делать; а тому, что следует, станет "грош цена", т.к. сделано потому, что "так надо".). Поэтому и нет такой возможности абсолютно. Худиев некогда писал об этом, отвечая Докинзу (вроде бы), что, мол, почему Бог не явит себя неопровержимо. Вот поэтому.

Всё это миллионы, верно, раз говорилось. К чему всё это постоянно повторять. Кому надо, почитает литературу (за 2000 лет -- много). Кому не надо... Тем более, как всегда, формулировки и риторические приёмы приходится высматривать.

[mns2012]

А в смысле силлогизмов, как Вам такой силлогизм:

- Образ не существует без первообраза.
- Человек существует.
- Человек есть образ Бога.
- Следовательно, Бог существует.

Для этого, конечно, необходимо определить понятия существования и образа.

[sergecpp.livejournal.com]

Ваше право, конечно. Но ведь логика (силлогизм) и риторика (все эти "приёмы", часть из которых я вам показал рядом) -- всё это человеческая придумка. Всего лишь. К чему улавливаться всем этим... Вспоминаю, как Илья Рухленко (знаете его) рассказывал (где-то на Палеофоруме), как он стал из _рьяного_ атеиста -- верующим. Просто всего лишь однажды как-то по особенному ему _взглянулось_ в окно. В обычное окно. Куда тут "силлогизмам"...

[mns2012]

Сто процентов! Да я и не улавливаюсь (особо :)), просто мне показалось это красивым. Конечно, к таким конструкциям надо относиться философски. Доказательств в строгом математическом смысле вообще не существует (на мой взгляд, это так по особенному смотрению Божию).