Текст книги "Дилогия атеизма"

Автор книги: Анатолий Вассерман

сообщить о нарушении

Текущая страница: 3 (всего у книги 4 страниц)

Выбирать надо

Религия не всегда и не во всем дает ложные указания. Если бы нечто подобное и впрямь происходило, нам было бы куда проще жить. Пророку Мухаммеду приписывается совет: мужчина, выслушай совет женщины – и сделай наоборот. Замени в этой фразе женщину на веру – и пользуйся религией, как компасом, где в привычный синий цвет окрашен конец стрелки, нацеленный на юг, а не на север.

На деле все куда сложнее. Среди христианских есть церкви, ориентирующиеся на точную астрономию, а есть и те, что пользуются астрономией существенно устаревшей. То есть даже ориентация на религиозный канон не освобождает по меньшей мере от одного выбора: какой канон?

Вот тут нас подстерегает неожиданная сложность в сфере, вроде бы очень отдаленной от веры, – в математике.

Теоремы Гёделя

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

Идея опоры на недоказанные предположения впервые отчетливо сформулирована древними греками. Поэтому их до сих пор во всем мире называют греческим словом «аксиома» – ценная, достойная. А следствия, логически выводимые из них, зовутся опять же греческим словом «теорема» – сказанная богом.

Выбор системы аксиом непрост. Если какие-то теоремы, выведенные из них, явно противоречат опыту, то приходится решать: то ли аксиомы неверны, то ли опыт интерпретирован неточно. Правда, можно развивать аксиоматику без проверки опытом – в надежде на то, что в какой-то новой сфере знаний для нее найдется приложение: так обычно действует чистая математика. Но опыт зачастую указывает нетривиальные направления работы – так развивается прикладная математика – и поэтому желательно сверяться с ним почаще.

Вдобавок какие-то аксиомы взаимозаменяемы: если выбрать одну из них, то другую можно доказать на ее основе. И надо решать, какой набор аксиом удобнее для доказывания. Евклид, в чьих трудах идея аксиоматики впервые проведена достаточно строго, одну из своих аксиом – постулат о параллельных прямых – сформулировал подчеркнуто неуклюже: похоже, он подозревал, что ее на самом деле можно доказать, и такой формулировкой нацелил на нее позднейших исследований. Правда, дело оказалось еще интереснее: как выяснилось уже в XIX веке, это действительно аксиома, и отказ от нее порождает другие геометрии, причем в рамках евклидовой аксиоматики можно построить модели этих геометрий – а значит, все они равно надежны.

Вопрос о надежности аксиоматики возникает и вне связи с опытом. Если в ней можно одновременно вывести и какое-то утверждение, и его отрицание, то такая противоречивая система явно бесполезна: уже доказанное можно сразу же опровергнуть. Если в системе можно построить утверждение, в ее же рамках недоказуемое, но и неопровержимое, то такая – неполная – система лишь ограниченно пригодна: для выяснения судьбы такого утверждения придется вводить в систему новые аксиомы.

Естественно, в числе целей математиков долгое время была проверка непротиворечивости системы аксиом, которой они пользовались. Желательна и полнота системы: не хочется каждый раз натыкаться, подобно Евклиду, на утверждения, с которыми заведомо невозможно справиться.

Доказательство непротиворечивости и полноты математической аксиоматики искали долго, упорно и весьма изобретательно. Но в 1931-м немецкий математик Курт Гёдель доказал две теоремы, радикально отличные от всех предшествовавших представлений об основаниях математики как логической структуры.

По первой теореме, любая теория, достаточно обширная, чтобы включать арифметику, либо неполна, либо противоречива. По второй теореме, если теория, включающая арифметику, непротиворечива, то ее средствами это недоказуемо.

Арифметика здесь весьма важна. И не только по техническим причинам: Гёдель построил конкретные примеры недоказуемых и неопровержимых утверждений, пользуясь именно арифметическими инструментами. Куда важнее содержательная сторона дела – связь с реальностью. Так, формальная логика не подчиняется теоремам Гёделя. Любое утверждение, сформулированное в ее рамках, можно ее же средствами однозначно доказать или столь же однозначно опровергнуть. В частности, утверждение об ее непротиворечивости строго доказано самой же логикой. Зато и средства логики столь бедны, что даже арифметические действия этими средствами невозможно определить – а значит, для описания реального мира формальная логика недостаточна.

Неполная наука

Наука, занимающаяся реальным миром, в целом неизмеримо богаче не только формальной логики, но и арифметики, и математики вообще. Значит, по Гёделю, она заведомо неполна. Впрочем, наука на полноту и не претендует.

К концу XIX века известный физик Филипп Жолли сказал одному из своих учеников, что занятия физикой бесперспективны: все основные законы уже постигнуты, так что будущим поколениям осталась лишь техническая возня с их приложением к конкретным обстоятельствам. Учеником – по иронии судьбы – был Макс Планк, вскоре доказавший квантовую природу излучения, с чего началась новая, продолжающаяся и по сей день физическая революция.

Такой опыт давно убедил ученых: эйфория по поводу новых всеобъемлющих теорий – преходящая. Рано или поздно наука выходит за пределы познанного, и приходится вводить новые представления – новые аксиомы.

Одним из первых это сформулировал еще древнегреческий философ и математик Эратосфен: чем больше сфера наших познаний, тем больше поверхность ее соприкосновения с неизвестным. Правда, употребленный Эратосфеном образ имеет и оптимистическую составляющую. Соотношение объема и поверхности сферы пропорционально ее радиусу. То есть по мере роста познаний нам все легче оставаться среди уже открытого и все реже приходится сталкиваться с непонятным. Наука способствует избавлению от повседневной неизвестности.

Конечно, наука не исчерпывается аксиомами. Можно сверять теоретические предположения с опытом и такой сверкой заменять теоретические доказательства. Именно таким путем установлено, например, что поверхность Земли описывается с помощью не евклидовой, а римановой геометрии – то есть она не плоская, а примерно сферическая. Сейчас астрономические наблюдения уточняют аксиоматику геометрии всей нашей Вселенной.

Но все же возможности эксперимента небезграничны. Да и его трактовки неоднозначны. Эйнштейн указывал: только теория определяет, что именно мы увидели в эксперименте и что из него поняли. Так что научное познание – не только эксперимент, но и создание на его основе новых аксиом и даже аксиоматических систем – скорее всего будет продолжаться бесконечно. Мир так же невозможно исчерпывающе постичь научными методами, как и религиозными.

Неполнота науки позволяет, по Гёделю, надеяться: наука в целом непротиворечива. Даже если ее конкретные ветви содержат противоречия, то противоречия эти диалектические, снимаемые дальнейшим ходом развития.

Дунс Скот против противоречий

Развитие некоторых отраслей науки уже вполне завершено. Например, вышеупомянутой формальной логики. Одно из ее достижений нам пригодится. Английский францисканский монах, богослов Иоанн Дунс Скот (1265–1308) сказал: из любого ложного утверждения можно строго логически вывести любое утверждение – как ложное, так и истинное. При этом совершенно не важно, связаны ли эти утверждения содержательно: по классическому примеру, если дважды два – пять, то существуют ведьмы. В рамках формальной логики закон Дунса Скота неоспорим.

Из первой теоремы Гёделя ясно: если какая-то система полна, она противоречива. Из закона Дунса Скота видно: если в системе выводима хотя бы одна пара противоречивых утверждений, то можно вывести и любое утверждение, сколь угодно бессмысленное. Таким образом, с практической точки зрения, противоречивая аксиоматика вполне равноценна заведомо ложному утверждению.

Первопричина

Теперь от математики вернемся к религии. Конечно, религия не сводится к аксиомам. Неоднократные богословские попытки полностью формализовать ее неизменно проваливались. Но все же некоторую – и порою довольно отчетливо сформулированную – аксиоматику религия в себя включает.

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

В религиях политеистических обстановка сложнее: разные стороны жизни контролируются специализированными богами. В некоторых верованиях боги, создавшие мир, давно отстранены от дел или даже умерли и повседневностью занимаются не «основатели фирмы», а их наследники или даже наемные служащие. А уж в субъективном идеализме – например, в буддизме – первопричина мира и текущее управление им вовсе не связаны со святым духом.

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

Гипотеза существования такой силы, в частности, объясняет все, чему не удается найти иного объяснения.

Конечно, наука многое почерпнула в богословии. И глобальная ее цель – изучение устройства мира – изначально была вполне религиозна: постижение замысла творца. Но именно поэтому наука вынуждена отказываться от использования аксиомы бога. Слишком велик соблазн, дойдя до предела своих познаний, объявить все лежащее за этим пределом непосредственными результатами неисповедимого промысла божия. Но ссылки на бога не объясняют, как именно бог в каждом конкретном случае поступил, как устроено его творение, в чем состоял его замысел и промысел. Не зря говорят: любой серьезный ученый независимо от своего вероисповедания в свободное от работы время на работе вынужден быть атеистом. Иначе попросту скучно работать.

Но даже если аксиома бога не применяется в науке, интеллектуальная деятельность человечества заметно шире науки. И в этой деятельности аксиома бога – всемогущего и всеобъясняющего – занимает важное место.

Полная + арифметичная = противоречивая

Итак, религия опирается на аксиому, гарантирующую объяснение всего. Существование бога (или богов) отменяет нужду в дальнейших объяснениях – то есть в пополнении аксиоматики. Аксиоматика религии заведомо полна. Значит – по первой теореме Гёделя – противоречива.

Кстати, замечу: атеизм часто называют одной из разновидностей религии. Но он вовсе не претендует на полное объяснение мира, исходя из некоторого наперед заданного набора основных положений[7]7
  Даже Лаплас – певец всеобъемлющего детерминизма – указал: постичь одновременные положения и скорости всех частиц во Вселенной – и тем самым предречь все дальнейшие события – могло бы только сверхъестественное существо.


[Закрыть]. Качественное отличие атеизма от любой религии в частности, в том, что его система аксиом неполна. И это дает право надеяться на ее непротиворечивость.

Теоремам Гёделя нужна арифметика. До недавнего времени считалось: религия с арифметикой несовместима, ибо нарушает, например, закон тождества. Так, в христианстве бог един и в то же время существует в трех лицах.

Нарушение закона тождества само по себе достаточно для признания религии логически противоречивой. Но как раз Троица тут ни при чем. Создатель систем управления ракетами и космическими аппаратами, исследователь религии (в зрелом возрасте глубоко уверовавший) академик Борис Викторович Раушенбах показал: внутренняя структура Троицы соответствует общеизвестному математическому объекту – вектору в трехмерной системе координат. В зависимости от выбранной системы может показаться больше одна из проекций вектора: кто поклоняется Отцу, кто общается с Сыном, на кого нисходит Дух Святой. Но во всех проявлениях присутствуют все три координаты/ипостаси. Нет никаких противоречий между математикой и догматом Троицы.

Кстати, тот же Раушенбах нашел и другие проявления математики в религии. Так, странная на взгляд современного человека обратная перспектива древних икон не только соответствует некоторым психофизиологическим особенностям восприятия пространства на малых расстояниях, но еще и намекает на то, что картина пишется с точки зрения бога.

Другие видимые противоречия религии с математикой (и физикой) исследованы не столь глубоко. Поэтому я не могу однозначно утверждать, что они также не мешают применять выкладки Гёделя к религии. Но в самих святых писаниях достаточно примеров их согласия с арифметикой. Что и не удивительно.

Религия претендует на описание реального мира, а он сплошь арифметичен.

Так, в главе 24 Второй книги Царств Давид организует перепись подвластного населения. Согласно инструкциям Давида его посланцы последовательно переходят из города в город, подсчитывают тамошних жителей и в конце концов представляют царю суммарный результат (по тому времени довольно внушительный). Очевидно, последовательный подсчет жителей по городам – действие вполне арифметическое.

Сам Давид, получив итог, счел свое деяние грешным. Бог согласился с ним, предложил три кары на выбор и по согласованию с Давидом устроил трехдневную эпидемию на семьдесят тысяч жертв. Уж не потому ли, что всемогущий и всеведущий бог предвидел: применение арифметики позволит в дальнейшем доказать противоречивость самой веры в него?

Не чужд арифметики и Новый Завет. В «Откровении» апостола Иоанна сказано: «Кто имеет ум, сочти число зверя». Несомненная арифметика с неизбежными аксиомами.

В первоначальных версиях «Апокалипсиса» были два значения числа: 616 и 666. Дело в том, что имя «Нерон» допускает и написание «Неро». В первом случае сумма числовых значений соответствующих греческих букв дает 666, во втором 616. Иоанн считал именно императора Нерона – рьяного гонителя христиан – Антихристом.

Осознанная необходимость

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

Тем не менее свобода воли человека вовсе не противоречит детерминизму (полной определенности) мира. Всеведение якобы позволяет богу предвидеть все наши действия, а свобода человека заключается лишь в его способности постигать причины этих действий. Не зря Маркс называл свободу осознанной необходимостью.

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

Каждый человек покупает вещи (при прочих равных условиях), руководствуясь собственными произвольными желаниями. Но экономическая наука неплохо описывает (на достаточно больших промежутках времени) поведение всего мирового хозяйства. И уж по меньшей мере божьему замыслу все это не противоречит.

Бог недоказуем

Неопровержимые доказательства бытия божия люди искали с давних пор.

Но поняли тщетность поисков довольно рано. Господствующей в среде богословов стала позиция, при которой принципиальное отсутствие таких доказательств связано со свободой воли, дарованной богом человеку. Мол, каждый вправе самостоятельно – без прямых божьих указаний – решать, идти ли ему к богу или остаться во тьме.

Философы упорнее богословов. Например, Иммануил Кант раскритиковал и опроверг пять наиболее убедительных и стройных доказательств бытия божия, выдвинутых до него. Но это не помешало ему в свою очередь создать шестое доказательство – увы, в скором времени также опровергнутое.

Математика позволяет взглянуть на дело несколько иначе. Непротиворечивость аксиоматики означает: в ее рамках невозможно вывести пару утверждений, противоречащих друг другу. Гипотеза бога делает любую аксиоматику полной. По первой теореме Гёделя полнота гарантирует противоречивость. Следовательно, гипотезу бога нельзя вывести ни из какой непротиворечивой системы аксиом. Она сама – аксиома и может быть только принята на веру.

Видный деятель раннего христианства Тертуллиан вошел в историю словами credo quia absurdum est – верую, ибо это нелепо. Богословский смысл заявления «Сын божий был распят – не стыдимся этого, ибо это постыдно. Сын божий умер – вполне верим этому, ибо это нелепо. Погребенный воскрес – это верно, ибо это невозможно» – мне не вполне понятен (да и богословов смущает: не зря Тертуллиан, хотя и за иные рассуждения, признан еретиком). Но в житейском смысле я с ним согласен: представления о боге заведомо приводят если не к явным нелепостям, то к неустранимым противоречиям. А потому их нельзя доказать – в них можно только верить.

Аксиоматика и культура

Многие (в том числе и я) воспринимают религию не как логическую и тем более не как аксиоматическую структуру. Религия – не столько система, основанная на формальной технологии описания, сколько явление культуры. Вроде… модернизма, Высокого Возрождения или чайной церемонии.

Но религия качественно отличается от прочих феноменов культуры по меньшей мере в одном отношении – она стремится обязывать.

Возрождение не пытается предписывать человеку ничего за своими пределами: «человек эпохи Возрождения» – просто (как показано в одноименном американском фильме) всесторонне развит, стремится охватить все достижения человечества. Чайная церемония учит скромности и восприятию красоты, но вовсе не требует, чтобы и за пределами чайной комнаты гордый самурай был столь же скромен и восприимчив к красоте, как в ее стенах.

Религия же, ссылаясь на божественный авторитет, претендует на контроль всех сторон деятельности человека и человечества. И в этом смысле выходит за пределы чисто культурного феномена.

Почти всякая религия в момент зарождения напоминает то, что ныне принято именовать тоталитарными сектами. И только по мере развития и притирки к реальному миру обучается компромиссам.

Самые ходовые формы религии сегодня не претендуют на тотальный контроль всех сфер жизни. Но взгляд на их историю убеждает: это не столько внутренне присущее им свойство, сколько результат векового опыта выявления противоречий, порождаемых подобными претензиями.

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

– Если не секрет, что именно вы делаете?

– Крокодилов отгоняю.

– Но на Невском же нет крокодилов!

– Вот потому и нет.

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

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

Теоремы Гёделя неприменимы к религии, только если она сама нереальна.

Аксиомой единой

Предположение о существовании бога – именно аксиома. Сделать его теоремой – вывести из каких-то наборов утверждений, описывающих наблюдаемый мир, – пока никому не удалось. И, похоже, не удастся. Ведь это предположение заведомо (по Гёделю) делает всю систему противоречивой. Реальный мир логических противоречий не содержит: всему рано или поздно находится объяснение.

При выборе аксиоматики немаловажно, насколько она красива, технически удобна и соответствует наблюдаемым данным. Об изяществе аксиомы бога не мне судить. Как опора для рассуждений она необычайно удобна: в противоречивой системе с равной легкостью выводится любое утверждение. Отсюда же – и несомненное соответствие любым фактам.

Итак, введя аксиому бога, можно уже совершенно не беспокоиться обо всех остальных опорах наших рассуждений: бог – залог тотального соответствия.