Вернёмся теперь к положительным фактам и убеждениям в образных пропозициях. В случае пространственных отношений мы обнаружили, что для отношений конституентных образов возможно быть одинаковыми с отношениями конституент объективного коррелята. В моей визуализации того, что А находится слева от В, мой образ А находится слева от моего образа В. Встречается ли тождество отношения, такое как между образной пропозицией и его объективным коррелятом, где-то кроме случая пространственных отношений?

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

Соответствие пропозиции и факта неизмеримо усложняется, когда мы переходим к более сложным типам пропозиций: пропозициям о существовании, общим пропозициям, дизъюнктивным и гипотетическим пропозициям и т.д. Эта тема важна и способна, я уверен, пролить много нового света на логику; но я не буду продолжать её здесь.

Общую природу формального соответствия, создающего истинность или ложность, можно видеть из простейшего случая: случая двухместного отношения, которое одинаково в факте и в образной пропозиции. У вас есть образ А, находящийся слева от вашего образа В; последнее обстоятельство является образной пропозицией. Если А находится слева от В, пропозиция является истинной, если А не находится слева от В, она является ложной. Фраза 'А находится слева от В' обозначает образную пропозицию и является истинной, когда последняя истинна, и ложной, когда последняя ложна; с другой стороны, фраза 'А не находится слева от В' является истинной, когда образная пропозиция является ложной, и ложной, когда последняя истинна. Таким образом, для простейшего случая мы получили формальное определение истинности и ложности как для образных пропозиций, так и для словесных пропозиций. Легко видеть, что тот же самый вид определения может быть распространён на более сложные случаи.

Заметим, что истинность и ложность в их формальном смысле первично являются свойствами пропозиций, а не убеждений. Производно мы называем убеждение истинным, когда оно представляет собой убеждение в истинной пропозиции, а неверие называем истинным, когда оно относится к ложной пропозиции; но первично формальные значения 'истинности' и 'ложности' приложимы к пропозициям.

Но когда мы переходим к тому, что придаёт важное значение истинности и ложности в противоположность тому, что конституирует их формальное определение, важны убеждения, а не пропозиции. Убеждения влияют на действия и, я говорю, влияние истинных убеждений приятны более, чем влияния ложных убеждений. Попытка определить истину таким способом кажется мне ошибочной. Но поскольку мы ограничиваемся формальным определением истины, затруднительно видеть, почему этим способом интересуются. Поэтому важно помнить о связи убеждения с действием. Но я не думаю, что приятные влияния убеждения сами по себе являются удовлетворительной его верификацией, или что эта верификация может быть использована для определения истины. Существуют, например, истинные пропозиции о прошлых состояниях дел, которые не могут быть верифицированы. Формальное определение истины посредством соответствия пропозиции и её объективного коррелята, по-видимому, единственно теоретически адекватно. Дальнейшее исследование, независимо от того, если наше определение корректно, есть ли что-нибудь такое, что может стать известным, я не могу теперь предпринимать; но если результат такого исследования будет неблагоприятным, я не рассматривал бы его как предоставляющий какое-либо теоретическое возражение на предложенное определение.