Истина и верификация

тинны) из соответствия другого типа, чем то, которое имеет место в случае суждений, неиспользующих переменных. Высказывание «в Лос-Анджелесе есть люди» верифицируется любым количеством фактов, например, что А находится там и является человеком, что В находится там, и т. д. Ни один из этих фактов не обладает специальным предназначением быть единственным верификатором высказывания. Следовательно, из чисто логических соображений мы не вправе ожидать в случае невоспринимаемых событий того же типа соответствия или истины того же «типа», что и в случае событий, которые воспринимаются.

Давайте возьмем высказывание «Вам жарко», которое мы рассматривали в главах XV и XVI. Мы пришли к выводу, что с целью интерпретировать данное высказывание нам следует научиться характеризовать некоторое событие х, которое является частью вашей, но не чьей-либо еще сегодняшней биографии, и затем добавить: «ощущение жара сосуществует с х». Чтобы исключить для χ принадлежность к другой биографии, мы должны использовать некоторое качество того вида, который применяется при определении пространственно-временного положения. Мы предлагаем для этой цели ваше восприятие вашего тела, но так же хорошо использовать ваше восприятие моего тела. С помощью законов перспективы и местонахождения моего восприятия вашего тела среди других объектов восприятия я могу приблизительно установить характер вашего зрительного восприятия вашего тела. Если R — отношение перспективы, которое я использую в моем умозаключении, в то время как а — мое зрительное восприятие вашего тела, а С— отношение сосуществования, «вам жарко» означает «существует х такой, который находится в отношении R с а и в отношении С с ощущением жара. Здесь все константы, т. е. все термины, кроме х, выведены из опыта. Соответствие факту (предполагая, что суждение истинно) относится к единственному виду, возможному для суждений существования. Из «мне жарко» я могу вывести, что «некоторому жарко»; это суждение соответствует факту таким же образом, как «вам жарко» в вышеприведенной интерпретации. Различие проявляется не в виде соответствия, а в том обстоятельстве,

r