В приведенном мною месте проф. Тэт, говоря о физических "аксиомах", замечает, что надлежащее знакомство с физическими явлениями дает возможность видеть "с первого взгляда их необходимую истинность". Эти последние слова, выражающие его взгляд на аксиомы, содержат вместе с тем в себе и общее понятие об аксиомах. Аксиома определяется тут как "очевидная истина" или истина, очевидная с первого взгляда-, другое определение ее гласит - что аксиома есть "истина, настолько с первого взгляда очевидная, что никакой процесс, ни мыслительный, ни демонстративный, не может сделать ее более ясной". Я утверждаю, что проф. Тэт, приходя таким образом к определению физических аксиом, тождественному с тем, которое дается математическим аксиомам, молчаливо признает, что они имеют один и тот же априорный характер; далее я утверждаю, что та природа, которую он приписывает физическим аксиомам, ни в каком случае не может быть приобретена путем опыта или наблюдения в течение жизни одного индивидуума. Если аксиомы суть такие истины, несомненность которых очевидна с первого взгляда, то тем самым они являются такими истинами, отрицание которых немыслимо, и естественный контраст между ними и истинами, установленными индивидуальным опытом, заключается в том, что последние никогда не становятся такими истинами, чтобы отрицание их стало немыслимым, как бы ни были многочисленны сами индивидуальные опыты. Тысячи раз слышал охотник звук, следующий за выстрелом из ружья, и тем не менее он может себе представить этот выстрел беззвучным, а бесчисленные ежедневные опыты над горением угля дают ему возможность представить себе уголь невоспламеняющимся. Таким образом, "убеждения, выведенные из наблюдения и опыта" в течение индивидуальной жизни, никогда не могут приобрести того характера, который проф. Тэт признает за физическими аксиомами; - другими словами, физические аксиомы не могут быть результатами личного наблюдения и опыта. Итак, применяя здесь слова критика к нему же самому, я "сомневаюсь, чтобы мы встретили у него ту цитату", на которую он обращает мое внимание, если бы он лучше изучил предмет; и он "заслуживает нашей признательности за то открытие" выражения, служащего для уяснения несостоятельности доктрины, которую он излагает так догматически.

Обращаюсь теперь к тому, что мой критик высказывает по поводу специальных аргументов, которыми я пользовался для доказательства того, что первый закон движения не может быть доказан экспериментальным путем. После простого изложения моих положений он говорит:

"Мы не считаем нужным останавливаться на в высшей степени неверном характере этих положений, мы намерены только обратить внимание. Наших читателей на получающийся отсюда вывод. Есть ли это действительно опровержение невозможности индуктивного доказательства? Мы полагаем, что каждый сколько-нибудь образованный человек поймет, что доказательство какого-нибудь научного закона заключается в показании того, что, приняв этот закон за истину, мы можем объяснить наблюдаемые явления". Критик, вероятно, предполагает, что читатель сделает из этого такое заключение, что он легко мог бы, если бы захотел, привести эти положения. Но людьми науки подобное развязное обращение с чужими аргументами будет, может быть, приписано совершенно другой причине. И я скажу ему, какие я имею основания так думать. Эти аргументы просмотрены одним из наиболее выдающихся физиков и одним особенно уважаемым математиком и вызывали полное их одобрение; после того другой математик, занимающий одно из первых мест в своей науке, высказал по этому поводу косвенное согласие, так как сказал, что первый закон движения не может быть доказан земными наблюдениями (это в значительной степени представляет то же самое, что я старался показать в тех параграфах, на которые мой критик взглянул так презрительно). Но наибольшего внимания заслуживает его последнее замечание относительно того, что, по его мнению, понятно "всякому сколько-нибудь образованному человеку". В нем он употребляет слово закон - слово, которое по своему условно широкому значению необыкновенно удобно для его целей. Но мы говорим здесь о физических аксиомах, и вопрос заключается в том, насколько подтверждение физической аксиомы заключается в показании того, что, признав ее за истину, мы можем объяснить наблюдаемые явления. Если это верно, то тогда исчезает всякое различие между гипотезой и аксиомой. Математические аксиомы, для которых не существует никакого другого определения, кроме того, которое проф. Тэт дает физическим аксиомам, должны быть отнесены к той же категории. Вследствие сего мы обязаны признать, что наше право утверждать, что "величины, равные порознь одной и той же третьей, равны между собою", заключается в наблюдениях наших над истинностью геометрических и других предложений, которые могут быть выведены как из этой, так и из связанных с нею аксиом, заметим - в наблюдениях над истинностью, ибо вся совокупность дедукций не дает ни одного из искомых удостоверений раньше, чем эти дедукции сами не будут проверены измерением. Когда мы построим на трех сторонах прямоугольного треугольника квадраты, вырежем их из бумаги и сравним их между собою, то найдем, что квадрат гипотенузы равен квадратам обоих катетов; и тогда мы будем иметь факт, который в соединении с другими подобным же образом установленными фактами даст нам право утверждать, что две величины, равные одной и той же третьей, равны между собой! Даже и в таком виде этот вывод вряд ли, как я думаю, будет охотно принят, но его несостоятельность, как мы увидим, станет еще более очевидной, если довести анализ до конца.

Продолжая свою аргументацию в пользу того, что законы движения не имеют априорной основы, критик говорит:

"М-р Спенсер утверждает, что Ньютон не привел доказательства законов движения. Между тем все его сочинение Principia, представляет из себя такое доказательство и тот факт, что законы эти, будучи рассматриваемы в виде системы, объясняют лунные и планетные движения, составляет ту основу, на которой они главным образом покоятся поныне". Отмечу прежде всего, что здесь, как и выше, критик преувеличивает, выдвигая новый вопрос. Я вовсе не спрашивал, что он думает о Principia и о доказательстве законов движения посредством этого труда; не спрашивал я также и того, признается ли в настоящее время, что верность этих законов основывается главным образом на доказательстве, представляемом Солнечной системой. Я спрашивал лишь, что именно думал Ньютон. Мнение, что второй закон движения познаваем априорным путем, критик представил как слишком нелепое для того, чтобы даже я мог открыто его высказать. Я возразил на это, что если Ньютон открыто высказывает его как аксиому и не приводит в подтверждение его никаких доказательств, то, следовательно, он ясно выражает тут то, что косвенно вытекает из моих рассуждений и за что критик порицает меня. Ввиду этого я предложил ему высказаться, что он думает о Ньютоне. Вместо того чтобы ответить на этот вопрос, он сообщает мне свое мнение, что достоверность законов движения доказывается истинностью выведенных из них Principia. Но об этом после; теперь же я намерен показать, что Ньютон этого вовсе и не говорит, а, напротив, дает всяческие указания на возможность противоположного вывода. Он не называет законов движения "гипотезами", он называет их "аксиомами". Он не говорит, что предполагает их временно достоверными и что признание их действительной достоверности будет зависеть от астрономически доказанной истинности дедукций. Он излагает их именно так, как излагаются математические аксиомы, - устанавливает их как истины, которые должны быть приняты априорно и из которых вытекают неоспоримые выводы. И хотя рецензент считает это положение не выдерживающим критики, я очень охотно присоединяюсь к Ньютону в признании его незыблемым (если только могу так выразиться), не умаляя значения суждения моего критика. Показав, что он уклонился от поставленного мною вопроса, как неудобного для него, я перехожу к тому вопросу, которым он его заменил. Я воспользуюсь для этого сначала методом чистой логики и затем уже перейду к тому методу, который может быть назван почерпнутым из трансцендентальной логики. Для того чтобы установить истинность допущенного положения путем доказательства достоверности выведенных из него дедукций, нужно, чтобы истинность дедукций была доказана каким-нибудь путем, не предполагающим прямо или косвенно истинности допущенного предложения. Если, исходя из Евклидовых аксиом, мы выведем истины, что "вписанный угол, опирающийся на диаметр, есть прямой угол" и что "сумма" противоположных углов всякого четырехугольника, вписанного в круг, равняется "двум прямым углам" и т. д., и если в силу того, что эти предложения верны, мы признаем, что и аксиомы верны, то будем виновны в petitio principii. Я не только думаю, что если эти различные предложения будут признаны достоверными в силу приведенных доказательств, то рассуждение это будет вращаться в круге, по той причине, что доказательства его уже предполагают эти аксиомы; я иду в этом отношении гораздо дальше; - я думаю, что всякое предполагаемое опытное доказательство этих предложений посредством изменения уже само по себе предполагает, что аксиомы должны подтвердиться. Ибо даже тогда, когда опытное доказательство заключается в показании того, что две линии, признаваемые разумом за равные, равны при исследовании их в познании, уже тогда предполагается существование аксиомы, что две величины, равные порознь одной и той же, третьей, равны между собою. Равенство двух линий может быть установлено только путем перенесения с одной на другую какой-нибудь меры (подвижной линейки с делениями или раздвинутых известным образом ножек циркуля) при одновременном предположении, что эти две линии равны потому, что каждая из них порознь равна этой мере. Следовательно, конечные математические истины не могут быть установлены путем какого-нибудь опытного доказательства достоверности выведенных из них дедукций, если только это предполагаемое опытное доказательство имеет своей исходной точкой их достоверность. То же самое относится и к конечным физическим истинам, ибо доказательства этих истин, подтверждающие их a posteriori, имеют недостаток, совершенно тождественный с только что указанным мною. Всякое представляемое астрономией доказательство достоверности аксиомы, называемой "законами движения", сводится к оправдавшемуся предвидению, что известное небесное тело (или тела) будет видимо на небе в определенное время и в определенном месте (или местах). Между тем день, час и минута этого поверочного наблюдения могут быть определены только в том предположении, что движение Земли по ее орбите и ее движение вокруг своей оси продолжает быть неизменным. Отметим в этом случае параллелизм. Человек, который вздумал бы отрицать, что две величины, равные порознь одной и той же третьей, равны между собою, никогда не мог бы убедиться в этом из доказательств истинности выведенных отсюда положений, если только процесс проверки в каждом отдельном случае предполагает именно то, что он отрицает. Точно так же и тот, кто отказался бы признать, что движение, не встречающее препятствий, продолжается по той же прямой линии и с той же скоростью, не убедился бы в этом посредством исполнения какого-нибудь астрономического предсказания, потому что мог бы сказать, что как положение наблюдателя в пространстве, так и место события во времени подтверждаются только в том случае, если перемещение и вращение земного шара остаются неизменными, а это-то как раз он и подвергает сомнению. Понятно, что такой скептик мог бы возразить, что видимое исполнение предсказания, например прохождения Венеры, может быть вызвано различными комбинациями изменяющихся положений Венеры, Земли и наблюдателя на Земле. Появление этой планеты может быть признано предусмотренным и в том случае, когда она в действительности находится в каком-нибудь другом месте, а вовсе не в заранее определенном; для этого нужно только, чтобы и Земля была в каком-нибудь другом месте, и положение наблюдателя на Земле было иное. И если первый закон движения не предполагается, то должно быть признано, что Земля и наблюдатель могут в предсказанное время занимать другие места, предполагая, что при отсутствии первого закона это предсказанное время может быть установлено, что, однако, невозможно. Таким образом процесс проверки неизбежно разрешает вопрос бездоказательно. Бесспорно, что полное соответствие всех астрономических наблюдений со всеми дедукциями "законов движения" придает последовательность всей этой группе интуиции и представлений и придает, таким образом, всему их агрегату такую достоверность, которой он бы не имел, если бы некоторые из них находились в противоречии с остальными. Но из этого еще не следует, что астрономические наблюдения могут служить проверкой для каждого отдельного предположения из всей одновременно возникающей массы их. Я не стану останавливаться на том факте, что процесс проверки предполагает состоятельность тех предположений, из которых вытекают рассуждения, ибо это могло бы вызвать возражение, что состоятельность их должна быть доказана помимо астрономии. Не стану я также настаивать и на том, что предположения, лежащие в основе математических выводов, геометрических и числовых, подразумеваются, коль скоро о них можно сказать, что они подтверждаются, каждое в отдельности, нашим земным опытом. Но, оставляя без внимания все остальное, как уже признанное, достаточно будет отметить, что при всех астрономических предсказаниях и три закона движения, и закон тяготения - все уже предполагаются; и признавать, что первый закон доказывается исполнением предсказания, возможно только при условии признания достоверности двух других законов движения и закона тяготения; а затем неисполнение предсказания не могло бы служить опровержением первого закона, так как ошибка могла бы заключаться в одном из трех остальных предположений. То же самое можно сказать и о втором законе: астрономическое доказательство его зависит от истинности соединенных с ним предположений. Таким образом, соответственные гарантии предположений А, В, С и D таковы, что признания А, В и С достоверными доказывает верность D; в свою очередь, D, будучи признан таким образом верным, удостоверяет, вместе с С и В, верность А и т. д. В результате получается, что все верно, если каждое из них в отдельности верно, но если одно из них ложно, то оно может подорвать значение остальных трех, хотя бы они в действительности и были верны. Следовательно, ясно, что астрономические предсказания и наблюдения никогда не могут служить сами по себе проверкой ни для одной из первоначальных посылок. Они могут подтвердить лишь весь в совокупности агрегат этих посылок, математических и физических, в соединении со всем агрегатом мыслительных процессов, приводящих от посылок к заключениям.