Эта теория сформулирована в «Исследовании значения и истины». Большая часть книги посвящена вопросу о значении слов, а после этого в ней обсуждается проблема смысла предложений. В движении к простейшему имеется несколько различных ступеней. Имеется, прежде всего, предложение; затем то, что является общим для предложений, в которых говорится об одном и том же на разных языках. Это «что-то» я называю «суждением». Так, «Цезарь мертв» и «Cesar est mort» утверждают одно и то же суждение, хотя предложения и различны. За суждением стоит верование. Люди, умеющие говорить, склонны выражать свои верования в предложениях, хотя предложения используются и для других целей. Их можно использовать, преследуя коварные цели и формируя у кого-нибудь убеждения, которые мы сами не разделяем; а также для выражения приказания, желания или вопроса. Но с точки зрения теории познания и определения «истины» важны предложения, выражающие верования. Истина и ложь принадлежат прежде всего верованиям и только производным образом — суждениям и предложениям. Верования, если они достаточно просты, могут существовать без слов, и есть все основания полагать, что они присущи высшим животным. Верование «истинно», когда имеется соответствующее отношение к одному или более фактам, и ложно, когда такого отношения нет. Проблема определения «истины» поэтому состоит из двух частей: во-первых, анализ того, что имеется в виду под «верованием», и затем исследование отношения между верованием и фактом, делающего верование истинным (С. 135-136).
Подытожим: свойством истинности или ложности могут обладать прежде всего верования и только затем — предложения. Верование есть некий факт, который вступает, или может вступать, в определенное отношение к другому факту. Я могу верить, что сегодня четверг, как в четверг, так и в другие дни. Если я верю в это в четверг, то имеется факт, — а именно, что сегодня четверг, — к которому мое верование имеет некоторое особенное отношение. Если я верю в то же самое в другой день недели, то такого факта нет. Когда верование истинно, я называю факт, благодаря которому оно истинно, его «верификатором». Чтобы завершить определение, мы должны быть способны, при данном веровании, описать факт или факты, которые, если они существуют, делают верование истинным. Это дело долгое, потому что характер отношения, которое может иметь место между верованием и его верификатором, изменяется в соответствии с характером верования. Простейшим случаем, с этой точки зрения, является сохраняемый памятью сложный образ. Допустим, я мысленно представляю себе комнату, и в моем зрительном образе имеется стол и четыре стула; и предположим, что, входя в комнату, я вижу стол и четыре стула; то, что я вижу, есть верификатор того, что я себе представлял; образ памяти с верованием имел близкое и очевидное соответствие с восприятием, которое его верифицировало. Сформулируем суть дела в схематически простейших терминах: у меня есть, скажем, зрительная, не-вербальная память об А, находящемся слева от Б; и фактически А находится слева от Б. Соответствие в этом случае совершенно прямое и простое. Образ А похож на А, образ Б — на Б, и отношение «слева от» одинаково и в образе, и в верификаторе. Но как только мы начинаем употреблять слова, этот простейший тип соответствия становится невозможным, потому что слово для отношения не есть само отношение. Если я говорю «А предшествует Б», мое предложение есть отношение между тремя словами, в то время как то, что я хочу утверждать, есть отношение между двумя вещами. Сложность соответствия возрастает с введением логических слов, таких как «или», «не», «все», «некоторые». Но хотя сложность возрастает, принцип остается тем же самым. В «Человеческом познании» я завершил обсуждение истины и лжи следующим определением: «Каждое верование, не являющееся просто импульсом к действию, по природе своей картина, соединенная с да-чувством или нет-чувством; в случае да-чувства оно «истинно», если есть факт, подобный картине в том же смысле, в каком прототип подобен образу; в случае нет-чувства оно «истинно», если такого факта нет. Верование, которое не является истинным, называется «ложным».