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