вынуждены приписать себе, как говорящим, обладание понятием истины, которое в применении к этим предложениям является трансцендентальным, т.е. выходит за пределы любого знания, которое мы могли бы проявить в реальном использовании языка, поскольку условия истинности таких предложений в общем таковы, что мы не способны установить, когда они выполнены. Если мы отказываемся от предположения о двузначности, то для этих предложений мы можем построить семантику, не прибегающую к истинностным значениям. Вполне возможно, хотя и не безусловно, что в результате мы откажемся от классической логики в отношении этих предложений. В той мере, в которой наша обычная неосознанная практика считает все классические формы вывода справедливыми для таких предложений, это будет означать, что наша теория значения больше не является простым описанием реальной практики использования языка, а, напротив, вынуждает нас пересмотреть эту практику, в частности отвергнуть некоторые классически значимые формы рассуждения. Однако это не может служить основанием для того, чтобы с порога отбросить предлагаемую теорию значения. Очевидно, что из двух жизнеспособных теорий значения всегда предпочтительнее та, которая оправдывает нашу реальную лингвистическую практику и не требует ее пересмотра. Однако у нас нет оснований заранее предполагать, что наш язык во всех отношениях совершенен. Фреге считал, что многие особенности естественного языка — наличие в нем неясных выражений, предикатов, неопределенных для некоторых аргументов, и возможность образования сингулярных терминов, лишенных референции, — делают невозможным создание для него стройной и непротиворечивой семантики. Точно так же и Тарский утверждал, что семантическая замкнутость естественного языка делает его противоречивым. Такие воззрения могут оказаться неверными, однако их нельзя отбросить как абсурдные. Возможность того, что язык нуждается в корректировке, что, в частности, конвенционально признанные принципы вывода могут требовать переоценки, неявно содержится уже в той мысли, что язык должен поддаваться систематизации с помощью теории значения, которая определяет использование каждого предложения, исходя из его внутренней структуры, т.е. с помощью атомарной или молекулярной теории значения. Не может быть никаких гарантий, что сложный комплекс лингвистических действий, который сформировался в ходе исторической эволюции в ответ на запросы практической коммуникации, будет соответствовать какой-либо систематической теории.
В самом деле, это особенно очевидно, когда в качестве ядра теории значения принимают определение условий истинности предложений. Если такая теория считается адекватной для языка, содержащего условные контрфактические предложения, то условия истинности, приписываемые этим контрфактическим предложениям, должны позволить нам установить содержание утверждения любого контрфактического предложения. В языковой практике нам дано содержание контрфактического утверждения, т.е. тот вид оснований, который имеется у говорящего для такого утверждения, и понимание слушателем того, что побуждает говорящего высказывать такое утверждение. Какая бы процедура ни была избрана для задания условий истинности условного контрфактического предложения, она должна согласоваться с этой практикой. Теория действия — дополнительная часть теории значения, которая, исходя из условий истинности некоторого предложения, определяет содержание произнесения этого предложения, наделенное утвердительным или каким-то иным действием, — должна дать нам возможность из условий истинности контрфактического предложения, сформулированных теорией истины, выводить содержание утверждения этого предложения. Предположим теперь, что говорящие на естественном языке признают в качестве верного принцип чередования противоположных контрфактических предложений (выше мы уже говорили, что его следует отбросить): все, что следует из некоторого условного контрфактического предложения и из противоположного ему контрфактического предложения, признается истинным. Весьма возможно, что условия истинности, установленные для условных контрфактических предложений, не будут оправдывать этот принцип, т.е. не будут приводить к тому результату, что для любой пары противоположных контрфактических предложений одно из них должно быть истинно. Это возможно, если содержание контрфактических утверждений в этом языке совпадает с их содержанием в нашем языке. Возможно далее, что существует некоторый способ исправить это и оправдать признание говорящими на данном языке принципа альтернативности противоположных контрфактических предложений.
Иначе говоря, возможно, что существует способ расширить условия истинности контрфактических предложений таким образом, чтобы они стали истинными в тех случаях, в которых при первоначальной формулировке они не были истинными, и в конечном счете обеспечить истинность одного из двух противоположных контрфактических предложений, не ослабляя то содержание контрфактических утверждений, которым они обладали в реальной практике употребления языка. Но более вероятно то, что такого способа нет: мы должны прийти к выводу о том, что говорящие на данном языке являются жертвами ошибки, состоящей в допущении рассуждения, которое зависит от предположения о том, что одно из каждой пары двух контрфактических предложений должно быть истинно и что им следует отказаться от таких форм аргументации. Мысль Витгенштейна о том, что принятие любого принципа вывода влияет на определение значений соответствующих слов и что поэтому общепринятые формы вывода неуязвимы для философской критики, поскольку говорящие могут придавать словам какое угодно значение, оказывается правомерной только в рамках холистического взгляда на язык. Если язык должен допускать систематизацию посредством атомистической или молекулярной теории значения, то мы можем выбирать не любую логику, а только ту, для которой возможно построить семантику, которая согласуется также и с другими видами использования, которым подвергаются предложения нашего языка; принимая или отвергая любую конкретную форму вывода, мы должны учитывать значения логических констант, рассматривая эти константы как заданные некоторым единообразным способом (например, с помощью двузначных или многозначных таблиц истинности).
Таким образом, мы оказываемся в таком положении, что должны отказаться, по отношению к данным классам утверждений, от принципа двузначности или же любого аналогичного принципа многозначности. Мы не можем поэтому использовать в качестве репрезентации нашего понимания значения предложения знание об условиях, при которых предложение обладает независимо от нашего знания каким-то одним из двух или любого большего числа истинностных значений. Вместо этого нам придется построить такую семантику, которая вообще не имеет в качестве своего основного понятия понятие объективно определенного истинностного значения.
Один хорошо известный прототип такой семантики уже существует: интуиционистское описание значений математических утверждений. Такое описание наиболее легко понять прежде всего в применении к утверждениям элементарной арифметики. В этом случае нет никакой проблемы относительно значений атомарных утверждений, а именно относительно числовых уравнений, поскольку они разрешимы: понимание их значений можно считать состоящим в знании процедуры вычисления, которая позволяет установить их истинность или ложность. Все различие между классической, или платонистской, и интуиционистской интерпретацией арифметических утверждений сводится, следовательно, к способу, которым мы задаем значения логических констант — пропозициональных операторов и кванторов.
Теперь необходимо дать некоторые разъяснения о том, как я обращался со словосочетанием ”истинно благодаря”. Как было отмечено выше, истинное утверждение просто истинно только в том случае, если нет такого множества истинных утверждений, что ни одно из этих утверждений не является тривиальным вариантом первоначального утверждения, и истинность каждого из них определяет исходное утверждение в качестве истинного. Всякий раз, когда предложение просто истинно, соответствующее ему в теории истины
