Необходимо учесть, что вопрос и ответ понимались мною строго коррелятивно. Некоторое предложение не могло быть ответом на вопрос или, во всяком случае, правильным ответом, до тех пор пока на него можно было ответить и по-другому. Чрезвычайно детализованное и конкретное предложение могло быть ответом только на детализованный и конкретный вопрос, а не на вопрос неопределенный и общий. Например, если мой автомобиль остановился, я могу потратить целый час, чтобы отыскать причины аварии. Если в течение этого часа я выну свечу номер один, положу ее на мотор, включу стартер и увижу искру, то мое наблюдение: «Свеча номер один в полном порядке», — будет ответом не на вопрос: «Почему моя машина остановилась?», — а на вопрос: «Не потому ли моя машина остановилась, что в неисправности свеча номер один?» Любой другой эксперимент, который я сделаю в течение этого часа, точно так же будет попыткой найти ответ на столь же детализованный и конкретный вопрос. Вопрос: «Почему остановилась моя машина?» — представляет собой всего лишь некоторое резюме всех этих конкретных вопросов, взятых в их совокупности. Это не отдельный вопрос, задаваемый мною в какие-то определенные моменты времени, и не длящийся вопрос, который я непрерывно задаю себе в течение всего этого часа. Следовательно, когда я говорю: «Свеча номер один в полном порядке», — то это мое наблюдение не является регистрацией еще одной неудачной попытки ответить на вопрос, который я задаю себе в течение целого часа: «Почему остановилась моя машина?» Наоборот, это свидетельство удачного ответа на вопрос, который я задавал себе в течение трех минут: «Не потому ли моя машина остановилась, что в неисправности свеча номер один?»
Мимоходом я бы заметил — к этому мы еще вернемся, — что принцип коррелятивности между вопросом и ответом избавляет нас от очень многих громких фраз. О дикаре, например, говорят как о человеке, «сталкивающемся с вечной проблемой добывания пищи». На самом же деле он сталкивается с проблемой не вечной, а преходящей, как и все человеческие дела: каким образом поймать эту рыбу, выкопать этот корень, найти чернику в этом лесу.
Следующим этапом в развитии моей мысли было применение упомянутого принципа к идее противоречия. Распространенная в наше время логика утверждает, что два предложения, просто как таковые, могут противоречить друг другу и что, изучая их только в качестве предложений, вы можете установить, противоречат они друг другу или нет. Я это отверг. Если вы не можете сказать, что означает данное предложение, не зная вопроса, на который оно должно служить ответом, то вы неправильно поймете его смысл, сделав ошибочное предположение относительно характера связанного с ним вопроса. Одним из показателей ошибочного понимания смысла предложения является мнение, что оно противоречит другому предложению. Как таковые, они не противоречат друг другу. Я понял, что ни одно предложение не может противоречить другому, если оно не является ответом на тот же самый вопрос. Поэтому совершенно невозможно сказать о каком-нибудь человеке: «Я не знаю вопроса, на который он пытается ответить, но я вижу, что он противоречит самому себе».
Этот же самый принцип приложил я к понятию истины. Если значение предложения соотносится с вопросом, на который оно отвечает, то и его истинность должна быть соотнесена с ним же. Значение, совместимость и противоречие, истинность и ложность — все это не относится к предложению как таковому, предложению самому по себе; все это относится к предложениям как к ответам на вопросы, ибо каждое предложение отвечает на вопрос, строго коррелятивный ему самому.
Здесь я расстался с тем, что я назвал пропозициональной логикой, и ее порождением — общепринятыми теориями истины. В соответствии с положениями пропозициональной логики (в это понятие я включаю так называемую «традиционную» логику, «идеалистическую» логику восемнадцатого и девятнадцатого веков и «символическую» логику девятнадцатого и двадцатого столетий) истинность или ложность — этот главный предмет логики — принадлежит предложениям как таковым. Эта доктрина часто выражалась определением предложения в качестве «единицы мысли», причем это означало следующее: ни одна из составных частей предложения — субъект, связка, предикат, взятая сама по себе, — не является законченной мыслью, т. е. не способна быть ни истинной, ни ложной.