Решение проблемы Кантом хорошо известно. Он предположил, я думаю, правильно, что известный нам мир есть наша интерпретация наблюдаемых фактов в свете изобретаемых нами теорий. Как говорит Кант: «Наш разум не извлекает законов из природы… но налагает их на природу». Считая эту формулировку Канта по существу правильной, я чувствую все-таки, что она излишне категорична, и предпочел бы несколько смягчить ее: «Наш разум не выводит законы из природы, а пытается-с разной степенью успешности – налагать на природу законы, которые он свободно изобретает». Разница заключается в том, что согласно формулировке Канта, разум не только налагает законы на природу, но неизменно достигает успеха в этом. Кант был убежден, что законы Ньютона были успешно наложены нами на природу, и мы обязаны интерпретировать природу, опираясь на эти законы. Отсюда он заключил, что они должны быть истинны a priori. Вот эти вещи видел Кант, и точно так же их видел Пуанкаре.
Однако теперь, после Эйнштейна, мы знаем, что возможны также иные теории и иные интерпретации, быть может, даже превосходящие теорию Ньютона. Разум способен изобрести более чем одну интерпретацию, и он не может наложить одну интерпретацию на природу раз и навсегда. Разум действует посредством проб и ошибок. Мы изобретаем наши мифы, наши теории и пытаемся применять их – пытаемся понять, как много они нам дают. И если есть возможность, мы улучшаем наши теории. Лучшей теорией является та, которая обладает большей объяснительной силой: больше объясняет, с большей точностью, позволяет нам делать лучшие предсказания.
Поскольку Кант считал, что мы должны объяснить единственность и истинность теории Ньютона, постольку он пришел к убеждению, что эта теория с логической необходимостью вытекает из законов нашего познания. Учитывая эйнштейновскую революцию, я предлагаю такую модификацию решения Канта, которая освобождает нас от этой необходимости. Теперь теории рассматриваются как свободные создания нашего собственного мышления, как результат чуть ли не поэтического вдохновения, попытки интуитивного понимания законов природы. Но мы больше не пытаемся навязывать наши творения природе. Напротив, мы задаем природе вопросы, как учил Кант, и пытаемся чему-то научиться из ее отрицательных ответов по поводу истинности наших теорий. Мы не стремимся доказывать или верифицировать наши теории, мы проверяем их с целью фальсификации или опровержения.
Свобода и смелость наших теоретических построений проверяется и контролируется самокритикой и строжайшими проверками. Как раз через посредство критических методов проверки в эмпирическую науку входят научная строгость и логика.
