Девид Дойч - Структура реальности

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

Это говорит о том, что нам снова следует воспользоваться критерием доктора Джонсона. Если мы хотим знать, действительно ли существует данная абстракция, мы должны спросить, «дает ли она ответную реакцию» сложным, автономным образом. Например, математики характеризуют «натуральные числа» 1, 2, 3,... – прежде всего – точным определением:

1 – это натуральное число.

За каждым натуральным числом следует только одно число, которое также является натуральным.

1 не следует ни за каким натуральным числом.

Подобные определения – это попытки абстрактного выражения интуитивного физического понятия последовательных значений дискретной величины. (Точнее, как я объяснил в предыдущей главе, в действительности это понятие является квантово-механическим). Арифметические действия, например, умножение и сложение, а также последующие понятия, подобные понятию простого числа, в этом случае определяют, ссылаясь на «натуральные числа». Но создав абстрактные «натуральные числа» через это определение и поняв их через эту интуицию, мы обнаруживаем, что осталось гораздо больше того, что мы все еще не понимаем о них. Определение простого числа раз и навсегда устанавливает, какие числа являются простыми, а какие не являются. Но понимание того, какие числа являются простыми, – например, продолжается ли последовательность простых чисел бесконечно, как они сгруппированы, насколько и почему они «случайны», – влечет за собой новое понимание и изобилие новых объяснений. В действительности оказывается, что сама теория чисел – это целый мир (этот термин используют часто). Для более полного понимания чисел мы должны определить множество новых классов абстрактных категорий и постулировать много новых структур и связей между этими структурами. Мы обнаруживаем, что некоторые подобные структуры связаны с интуицией другого рода, которой мы уже обладаем, но которая вопреки этому не имеет ничего общего с числами – например, симметрия, вра щение, континуум, множества, бесконечность и многое другое. Таким образом, абстрактные математические категории, с которыми, как нам кажется, мы знакомы, тем не менее, могут удивить или разочаровать нас. Они могут неожиданно возникнуть в новых нарядах или масках. Они могут быть необъяснимы, а впоследствии подойти под новое объяснение. Таким образом, они являются сложными и автономными, и, следовательно, по критерию доктора Джонсона, мы должны сделать вывод об их реальности. Поскольку мы не можем понять их ни как часть себя, ни как часть чего-либо еще, что мы уже понимаем, но можем понять их как независимые категории, следует сделать вывод, что они являются реальными, независимыми категориями.

Тем не менее, абстрактные категории неосязаемы. Они не дают ответной физической реакции так, как это делает камень, поэтому эксперимент и наблюдение не могут играть в математике такую же роль, какую они играют в науке. В математике такую роль играет доказа тельство. Камень доктора Джонсона оказал ответное воздействие тем, что в его ноге появилась отдача. Простые числа оказывают ответное воздействие, когда мы доказываем что-то неожиданное относительно них, особенно, если мы можем пойти дальше и объяснить это. С традиционной точки зрения ключевое различие между доказательством и экспериментом состоит в том, что доказательство не ссылается на физический мир. Мы можем осуществить доказательство в своем собственном разуме или внутри генератора виртуальной реальности, который передает среду с неправильной физикой. Единственное условие заключается в том, что мы следуем правилам математического вывода, а потому должны получить тот же самый ответ, что и кто-либо еще. II вновь широко распространено мнение, что, не считая возможности появления грубых ошибок, когда мы доказали что-либо, мы абсолютно определенно знаем, что это истина.

Математики весьма гордятся этой абсолютной определенностью, а ученые склонны немного этому завидовать. Дело в том; что в науке невозможно быть определенным относительно какого-либо высказывания. Неважно, насколько хорошо чьи-либо теории объясняют существующие наблюдения, в любой момент кто-то может предоставить новое, необъяснимое наблюдение, которое поставит под сомнение всю существующую объяснительную структуру. Хуже того, кто-то может достичь лучшего понимания, которое объясняет не только все существующие наблюдения, но и то, почему предыдущие объяснения казались подходящими, но, несмотря на это, были весьма ошибочными. Галилео, например, обнаружил новое объяснение векового наблюдения, что земля под нашими ногами находится в состоянии покоя, объяснение, которое влекло за собой идею о том, что в действительности земля движется. Виртуальная реальность – которая может сделать так, что одна среда будет казаться другой – подчеркивает тот факт, что когда наблюдение выступает как высший судья теорий, никогда не может возникнуть хоть какая-то определенность, что существующее объяснение, каким бы очевидным оно ни было, хотя бы отдаленно является истиной. Но когда в качестве судьи выступает доказательство, определенность считается возможной.

Говорят, что правила логики впервые сформулировали, надеясь, что они обеспечат объективный и обоснованный метод разрешения всех споров. Эту надежду невозможно оправдать. Изучение самой логики открыло, что область действия логической дедукции как средства раскрытия истины жестко ограничена. При наличии существующих допущений о мире можно сделать выводы дедуктивно; но эти выводы ничуть не более обоснованны, чем допущения. Единственные высказывания, которые может доказать логика, не прибегая к допущениям, – это тавтологии – такие утверждения, как «все планеты – это планеты», которые ничего не утверждают. В частности, все реальные научные вопросы находятся за пределами той области, где можно уладить споры с помощью одной логики. Однако считается, что математика находится в пределах этой области. Таким образом, математики ищут абсолютную, но абстрактную истину, в то время как ученые утешают себя мыслью, что они могут обрести реальное и полезное знание физического мира. Но они должны принять, что это знание не имеет гарантий. Оно вечно экспериментально и вечно подвержено ошибкам. Идея о том, что науку характеризует «индукция», метод доказательства, который считается аналогом дедукции, но чуть более подверженным ошибкам, – это попытка извлечь все возможное из этого постижимого второсортного статуса научного знания. Вместо дедуктивно доказанных определенностей, возможно, мы удовольствуемся индуктивно доказанными «почти-определенностями».