та. Многие из подобных суждений, например «Добрые люди, когда умирают, попадают в рай» — обладают сильным воздействием на чувства и поступки. Их тип отношения к факту, когда они истинны, тот же, что и в случае верифицируемых суждений существования или общих суждений. Я прихожу к выводу, что нет никакого смысла в анализе значимости, чтобы отвергнуть их, и что эмпиризм дает аргументы только против (4), которые направлены в равной степени против (2) и (3). Поэтому я принимаю закон исключенного третьего без уточнений.
Подведем итог этой долгой дискуссии: то, что мы назвали эпистемологической теорией истины, если ее рассматривать серьезно, ограничивает «истину» применимостью к суждениям, утверждающим то, что я сейчас воспринимаю или же вспоминаю. Поскольку нет желающих принять столь ограниченную теорию истины, нас привлекает логическая теория истины, допускающая возможность событий, с которыми никто не сталкивается в опыте, а также суждения, которые являются истинными, хотя не может быть никаких свидетельств в их пользу. Факт шире, чем опыт (по крайней мере это возможно). «Верифицируемым» суждением является такое, которое определенным образом соответствует опыту; «истинным» суждением является то, которое обладает в точности тем же видом соответствия факту, за. исключением простейшего вида соответствия, того, которое имеет место в отношении суждений восприятия. Оно невозможно в отношении других суждений, поскольку в них используются переменные. Поскольку опыт является фактом, верифицируемые суждения являются истинными; но нет причин предполагать, что все истинные суждения верифицируемы. Если, однако, мы с уверенностью утверждаем, что существуют неверифицируемые истинные суждения, мы отходим от чистого эмпиризма. Наконец, чистого эмпиризма не придерживается никто, и если мы намерены сохранить веру в то, что мы все делаем правильно, мы должны допустить правила рассуждения, которые не являются ни наглядными, ни выводимыми из опыта.