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