Что такое теория значения?

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

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

Таким образом, мы оказываемся в таком положении, что должны отказаться, по отношению к данным классам утверждений, от принципа двузначности или же любого аналогичного принципа многозначности. Мы не можем поэтому использовать в качестве репрезентации нашего понимания значения предложения знание об условиях, при которых предложение обладает независимо от нашего знания каким-то одним из двух или любого большего числа истинностных значений. Вместо этого нам придется построить такую семантику, которая вообще не имеет в качестве своего основного понятия понятие объективно определенного истинностного значения.