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