Это заставило бы нас слишком далеко от нашей основной темы, если бы мы пошли на вопрос, что на самом деле происходит, когда мы принимаем это решение. Достаточно было сказано, что связь между убеждением и его целью в этом случае сложнее, чем в окне слева от двери, и это все, что нужно было доказать.
Несмотря на эти осложнения, общий характер формальной переписки, которая делает правду, ясна из наших случаев. В случае более простого рода предложений, а именно тех, которые я называю «атомарными» предложениями, где есть только одно выражение, выражающее отношение, цель, которая проверяет наше предложение, предполагая, что слово «нет» отсутствует, получается заменяя каждое слово на то, что это означает, слово означает, что отношение заменяется этим отношением между значениями других слов. Например, если утверждение «Сократ предшествует Платону», то цель, которая его проверяет, связана с заменой слова Сократом словом Сократ, словом Платона, а слово «предшествует» отношением предыдущего Сократа и Платон. Если результат этого процесса является фактом, предложение истинно; если нет, то это неверно. Когда наше предложение «Сократ не предшествует Платону», условия истины и ложности точно меняются. Более сложные предложения могут быть рассмотрены в одних и тех же направлениях. Фактически, чисто формальный вопрос, который оккупировал нас в этом последнем разделе, не вызывает особых трудностей.