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

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

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