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