Однако все это никак не помогает нам разрешить то затруднение теории значения, опирающейся на понятие истины, которое обусловлено тем фактом, что наших возможностей недостаточно для установления истинности многих предложений языка. В этом отношении поучителен случай предложений с будущим временем. Условия истинности, которые мы вынуждены связывать с этими предложениями для описания их поведения в сложных предложениях, таковы, что говорящий не может с достоверностью обосновать истинность такого предложения в момент его произнесения, и именно это заставляет нас проводить самое резкое различие между условиями истинности некоторого предложения и условиями, дающими говорящему право высказать утверждение. Но до тех пор, пока мы рассматриваем предложения с будущим временем, которые при выражении в настоящем времени остаются разрешимыми, мы продолжаем заниматься условиями истинности, знание которых может быть проявлено говорящим непосредственно, ибо в следующий после высказывания период времени он может обнаружить осознание того факта, выполнены или не выполнены условия истинности произнесенного предложения. Мы по-прежнему нисколько не приблизились к объяснению содержания приписывания говорящему знания условий истинности предложения в тех случаях, когда эти условия не таковы, что их можно непосредственно распознать в любых обстоятельствах.
Для того чтобы обрести ясность в вопросе о том, что же содержится в признании истинным некоторого утверждения, нужно попытаться начать с самого начала и рассмотреть следующий принцип: если утверждение истинно, должно существовать нечто такое, благодаря чему оно истинно. Этот принцип лежит в основе попыток философски объяснить истину как соответствие между утверждением и некоторым фрагментом реальности. Я буду называть его принципом С. Принцип С несомненно включен в наше понятие истины, однако он не может быть применен непосредственно. Данный принцип носит, скорее, регулятивный характер, т.е. он не говорит о том, что сначала мы определяем, что именно существует в мире, а затем решаем, что нужно для того, чтобы сделать истинным каждое данное утверждение. Лучше сказать, что сначала мы устанавливаем подходящее понятие истины для утверждений различных типов, а затем из этого делаем вывод о строении реальности.
В силу своей регулятивности принцип С на первый взгляд может показаться бессодержательным. Его силу мы начинаем ощущать лишь в тех случаях, когда сталкиваемся с нарушениями этого принципа. Наиболее очевидный пример такого нарушения дает условное контрфактическое предложение, которое считается истинным, хотя не существует ничего такого, что мы могли принять в качестве основы его истинности. Сюда относятся, в частности, контрфактические предложения, которые одна из школ теологов считает объектами Scientia media Бога, относящимися к поведению существ, которые обладали бы свободой воли, если бы они были созданы, и которых на основании этого Бог решил не создавать. Большинство людей испытывают сильный протест против такой концепции на том основании, что в подобных случаях нет ничего, что могло бы сделать контрфактическое предложение истинным. Это возражение опирается на тезис, что контрфактическое предложение не может быть, как я буду говорить, просто истинным, т.е. что контрфактическое предложение не может быть истинным, если не существует некоторого утверждения, не включающего в себя условного предложения в сослагательном наклонении, истинность которого делает истинным контрфактическое предложение. Иными словами, для любого истинного контрфактического предложения должен существовать нетривиальный ответ на вопрос: ”Что делает его истинным?”