(только одну) прямую, параллельную данной, то получаем внутренне непротиворечивую геометрию Евклида. А если принять, что через такую точку можно провести несколько прямых, не пересекающих данную, то возникнет геометрия Лобачевского, такая же внутренне непротиворечивая, как и «нормальная», евклидова.

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

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

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

Раз уж зашла речь о научном мышлении, то следует рассказать о взглядах К. Поппера, одного из крупнейших философов XX века, математика по базовому образованию. Он одним из первых задался вопросом «когда теорию можно считать научной?».

«Меня интересовал не вопрос о том, «когда теория истинна?» […] Я поставил перед собой другую проблему, – уточняет Поппер. – Я хотел провести различие между наукой и псевдонаукой, прекрасно зная, что наука часто ошибается, а псевдонаука может случайно натолкнуться на истину». Издавна существует стандартный ответ: наука отличается от псевдонауки (или от «метафизики») своим эмпирическим методом, т. е. исходит из наблюдений и экспериментов. Однако такой ответ вряд ли можно счесть исчерпывающим: например, астрология (которая наукой в строгом смысле не является) оперирует громадной массой эмпирического материала, опирающегося на наблюдения, – гороскопами и биографиями.

Поппер вспоминает, что в 1919 году, когда он начинал учиться в Венском университете, все были увлечены новыми, поистине революционными, концепциями: теорией относительности Эйнштейна, а также историческим материализмом Маркса и новейшими психологическими теориями – психоанализом Фрейда и так называемой индивидуальной психологией Адлера. Быстро ощутив (сперва на каком-то подсознательном уровне) некое принципиальное различие между двумя этими группами теорий, Поппер попытался сформулировать для себя: чем марксизм, психоанализ и индивидуальная психология так отличаются от физических теорий, например от теории относительности? Ясно, что дело тут было не в математическом аппарате (или отсутствии такового), а в чем-то ином, более серьезном.