Из трех основных теорий истины самой старшей является теория соответствия, согласно которой истинность есть соответствие фактам или, точнее говоря, высказывание истинно, если и только если оно соответствует фактам, или адекватно описывает факты. Это теория, которую, как мне представляется, реабилитировал Тарский. Вторая теория — так называемая теория внутренней согласованности, или когерентности: высказывание считается истинным, если и только если оно согласуется с остальной частью нашего знания. Третья теория состоит в том, что истинность есть прагматическая пригодность или прагматическая полезность.

Теория согласованности существует в различных вариантах, из которых я упомяну здесь только два. Согласно первому, истинность есть согласованность с нашими мнениями. Точнее, данное высказывание истинно, если оно согласуется с прочими нашими мнениями. Это мне не совсем нравится, потому что мне не хочется допускать в логику мнения — по хорошо известным причинам. Если Петр полагает, что р, и если р и q взаимовыводимы, то мы можем сказать, что Петр логически обязан полагать, что q. Но он может не знать, что р и q взаимовыводимы, и вполне может не считать, что q.

В соответствии со вторым вариантом теории согласованности некоторое данное высказывание, о котором мы не знаем, истинно оно или ложно, должно считаться истинным, если и только если оно согласуется с высказываниями, которые мы приняли ранее. Этот вариант делает наше знание предельно консервативным: "окопавшееся" знание вряд ли можно низвергнуть.

Для теории прагматической полезности особое значение имеет проблема теорий в естественных науках, таких как физика. Теория прагматической полезности говорит, что мы должны принимать физическую теорию за истинную, если при проверках и других приложениях она оказывается прагматически полезной, или успешной.