Интернет-журнал "Домашняя лаборатория", 2007 №10 - Журнал «Домашняя лаборатория»
Одним из фундаментальных принципов рационального мышления является "Бритва Оккама" (по имени английского философа XIII века); сам Оккам формулировал его как "Не умножай сущностей сверх необходимого". Применительно к правилам научного исследования это означает следующее: выбирая одну из нескольких гипотез, объясняющих некое явление, надо начинать с самой простой из них, и только убедившись в том, что она "не работает", переходить к более сложной, повторяя эту процедуру до тех пор, пока не будет найдено простейшее удовлетворительное объяснение.
Приведем такой пример. На тихоокеанском острове Пасхи имеются циклопические статуи, которые, казалось бы, не могли быть воздвигнуты примитивным племенем, населяющим остров в наши дни. Можем ли мы высказать гипотезу, что статуи эти поставлены пришельцами с другой планеты? Конечно, можем. Однако, находясь в рамках рационального подхода, мы вправе принять подобное объяснение лишь после того, как будут исчерпаны все более простые — "земные" — гипотезы. Тур Хейердал, сделавший успешную попытку установить пасхианскую статую с помощью лишь тех средств, что есть в наши дни в распоряжении тамошних аборигенов, действовал строго в рамках "Бритвы Оккама" — хотя наверняка не Задумывался над этим. Последнее весьма существенно: дело в том, что принцип "Бритвы Оккама" (и впоследствии развившийся из нее принцип парсимонии) для любого ученого, по крайней мере, в сфере естественных наук, настолько фундаментальны, что обычно его просто не замечают — как мы не замечаем воздуха, которым дышим.
Возвращаясь к методам реконструкции картин далекого прошлого, отметим, что с этой точки зрения актуализм — стремление в исторических реконструкциях отталкиваться от современных аналогов — совершенно корректен. Существование же в прошлом принципиально иных, чем ныне действующие, законов природы будет той самой "избыточной сущностью", которую и отсекает "Бритва Оккама". Собственно говоря, прошлое вообще познаваемо ровно настолько, насколько точные аналогии былым ситуациям существуют в современности. Однако в следующих главах мы регулярно будем сталкиваться и с такими совокупностями фактов, для объяснения которых нам придется предполагать, что в природе существовали и ситуации, ныне совершенно немыслимые, как-то: экосистемы, не имеющие в своем составе хищников; ландшафты, которые не являются ни сушей, ни морем, а чем-то средним; атмосферная циркуляция, при которой число конвективных ячеек отлично от нынешнего. Являются ли такие реконструкции отступлением от принципа актуализма? Нет, не являются, и вот почему.
Дело в том, что принцип актуализма не является аксиоматическим утверждением. Аксиома — это принимаемое без доказательств положение, на основе которого строится внутренне непротиворечивая система взглядов. Если мы принимаем аксиому "Через точку, лежащую вне прямой, можно провести одну и только одну прямую, параллельную данной", то получаем внутренне непротиворечивую геометрию Евклида. А если принять, что через такую точку можно провести несколько прямых не пересекающих данную, то возникнет геометрия Лобачевского, столь же внутренне непротиворечивая, что и "нормальная", евклидова.
Выше мы уже сталкивались с одним аксиоматическим утверждением — законом напластования ("если один слой горных пород лежит на другом, то верхний слой образовался позднее, чем нижний"), на котором основана такая внутренне непротиворечивая система взглядов, как стратиграфия. Поэтому если бы вдруг удалось доказать (напрягите воображение!) что вышележащий слой может образоваться прежде нижележащего — это означало бы полное разрушение картины Мира, что создана стратиграфией.
Принцип же актуализма принадлежит к совершенно иному типу утверждений — презумпциям. Всем известна используемая в юриспруденции презумпция невиновности. Она может быть сформулирована так: поскольку большинство людей не являются преступниками, то каждый отдельно взятый человек должен считаться невиновным до тех пор, пока не доказано обратное. Последнее — чрезвычайно важно: в презумпции изначально заложена возможность опровержения; она лишь устанавливает очередность, в которой следует рассматривать соответствующие гипотезы (применительно к презумции невиновности это означает, что обвиняемый не обязан ничего доказывать — это дело обвинителя).
Палеонтолог А.П.Расницын показал, что этот тип утверждений используется в естественных науках чрезвычайно широко, хотя практически всегда — в неявном виде. Например, постоянно практикуемое биологами определение степени родства организмов по степени их сходства — не что иное, как презумпция, которую можно сформулировать так: "Более сходные между собой организмы должны считаться более близко родственными между собой до тех пор, пока не доказано обратное (т. е. конвергентное возникновение этого сходства)". В дальнейшем мы будем часто сталкиваться с этим типом логических конструкций. Одной из презумпций и является принцип актуализма, который может быть переформулирован таким образом: в процессе исторического исследования мы должны исходить из того, что любые системы в прошлом функционировали так же, как их современные аналоги, до тех пор, пока не доказано обратное.
Раз уж зашла речь о научном мышлении, то следует рассказать о взглядах одного из крупнейших философов XX века, математика по базовому образованию — К.Поппера. Он одним из первых задался вопросом: когда теорию можно считать научной? Поппер сразу уточняет: "Меня интересовал не вопрос о том, "когда теория истинна?" […] Я поставил перед собой другую проблему. Я хотел провести различие между наукой и псевдонаукой, прекрасно зная, что наука часто ошибается, а псевдонаука может случайно натолкнуться на истину". Издавна существует стандартный ответ: наука отличается от псевдонауки (или от "метафизики") своим эмпирическим методом, т. е. исходит из наблюдений и экспериментов. Однако такой ответ вряд ли можно счесть исчерпывающим: например, астрология (которая, очевидным образом, наукой в строгом смысле не является) оперирует громадной массой эмпирического материала, опирающегося на наблюдения — гороскопами и биографиями.
Поппер вспоминает, что в 1919 году, когда он начинал учиться в Венском университете, все были увлечены новыми, поистине революционными, концепциями: теорией относительности Эйнштейна, а также историческим материализмом Маркса и новейшими психологическими теориями — психоанализом Фрейда и так называемой "индивидуальной психологией" Адлера. Быстро ощутив — сперва на каком-то подсознательном уровне — некое принципиальное различие между двумя этими группами теорий, Поппер попытался сформулировать для себя: чем марксизм, психоанализ и индивидуальная психология так отличаются от физических теорий — например, от теории относительности? Ясно, что дело тут было не в математическом аппарате (или отсутствии такового), а в чем-то ином, более серьезном.
"Я обнаружил, что те из моих друзей, которые были поклонниками Маркса, Фрейда и Адлера, находились под впечатлением некоторых моментов, общих для этих теорий, в частности под впечатлением их явной объяснительной силы. Казалось, эти теории способны объяснить буквально все, что происходило в той области, которую