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