Таким образом, очевидно, что существует абстрактное знание, которое может быть проверено другими людьми, но это должно быть только простое формализованное знание, не допускающее двусмысленности. Если, например, сказать, что в 18 веке среднегодовой рацион крестьян на Британских островах был богаче, чем в 17 веке, то здесь предметом обсуждения будет очень сложное явление, которое, вдобавок, не до конца изучено. Проверить здесь будет возможно только некоторые отдельные аспекты, но нельзя одним лишь грамотным рассуждением или экспериментом однозначно подтвердить верность изначального высказывания. В то же время, когда мы мыслим о сложных предметах, но сравниваем их отдельные, элементарные, доступные для однозначного понимания свойства, мы можем безошибочно определять их отношения, и это может быть проверено. Например, если сравнить площади Португалии и Франции в каком-нибудь из прошлых веков, то, скорее всего, у нас при всём желании не найдётся исчерпывающих сведений о точных границах этих государств, и, следовательно, будут неизвестны точные площади их обоих, но при этом сравнение тех их территорий, которые точно известны историкам, даст очевидный результат, что площадь одного из государств — скорее всего, Франции — была больше. Это элементарное математическое отношение, и проверить его легко, несмотря на сложность самих сравниваемых предметов. Сказанное в равной степени применимо и к упомянутому ранее Пиноккио: бесполезно судить о мелких и сложных подробностях его облика, потому что часть из них описана недостаточно ясно, а другая часть осталась только в воображении давно ушедшего из жизни автора, но простые абстракции из описания его внешности легко воспроизводимы и могут быть однозначно представлены, поэтому всегда легко определить, верно ли, например, высказывание о принципиальном наличии у него рук, ног или глаз.
Итак, выходит, что истина необязательно должна сообщать что-либо только о реальном мире; к ней также относятся высказывания о свойствах и связях в некоторых видах абстрактной информации. Можно было бы попытаться превратить эту мысль в готовое определение, но специалисты, изучающие языки, справедливо возразили бы здесь, что слово «высказывание» плохо годится для этого. Дело в том, что высказывания, даже если рассматривать среди них только осмысленные, бывают разных видов, а именно повествовательные, вопросительные и побудительные. Все они в той или иной мере передают информацию собеседнику, но не все они подходят, чтобы быть истиной. Побудительное высказывание только сообщает, какие действия ожидаются от получателя информации, являясь, таким образом, разновидностью оценочных суждений: фактически передаваемый смысл побудительного высказывания — «я оценю положительно, если ты совершишь такие-то действия». Верность таких высказываний не может быть надёжно установлена, потому что оценка выражает внутреннее субъективное отношение индивида, которое невозможно напрямую зарегистрировать извне.
Ситуация с вопросительными высказываниями несколько сложнее. Обычно вопрос состоит из двух частей — утвердительной и вопросительной. К примеру, в предложении «Где в Нью-Йорке находится планетарий Хейдена?» подразумевается как данность, что на территории города Нью-Йорк есть планетарий с определённым названием. Слова, которые доносят до нас эту информацию, являются утвердительной частью вопроса, и лишь слово «где» — вопросительной, указывающей, какое знание хочет получить вопрошающий. Разумеется, бывают и короткие вопросы, состоящие из одного слова, но все они являются сокращениями от их классической формы, которая в каждом случае подразумевается и легко может быть восстановлена из контекста ситуации. Выходит, что вопросы могут передавать собеседнику сведения, которые поддаются проверке и могут быть верными. Но всё же эти сведения являют собой лишь часть вопросительного высказывания, а целиком оно служит совсем другой цели, при этом утвердительная часть всегда предполагает озвучить только такое знание, которое уже есть у собеседника, а не дать ему новое. Поэтому включать вопросы в понятие истины было бы неудобно, а вместо этого уместно говорить об истинности их утвердительной части. Следовательно, чтобы справедливо считаться истиной, высказывание должно иметь повествовательную форму. И вот мы подошли к заключению, что истина — это верное повествовательное высказывание о реальном мире или о некотором специфическом абстрактном знании.
