Язык, онтология и реализм - Лолита Макеева

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

Переход Даммита ко второму решению был обусловлен тем, что понятие истины, как он признает, играет ключевую роль не только при определении значения предложений. Без него нельзя объяснить дедуктивные выводы, которые мы признаем правильными только тогда, когда они сохраняют истинность, т. е. гарантируют переход от истинных посылок к истинному заключению. Да и в теории значения зависимость значения (смысла) предложений от их структуры нельзя исчерпывающим образом объяснить, не опираясь на представление о связи, существующей между истинностным значением сложного предложения и истинностными значениями составляющих его простых предложений. Кроме того, если бы мы отказались от понятия истины, «наша семантическая теория лишилась бы всего своего метафизического резонанса, ибо…именно благодаря соответствию между фактами и истинными суждениями семантическая теория приобретает такой резонанс. Если наша теория утратит этот резонанс, она не будет приписывать говорящим на определенном языке какого-либо представления о реальности, о которой они говорят. Однако подобное представление является неотъемлемой частью понимания языка каждым человеком, ибо метафизика — это не то, что имеет ограниченный интерес для метафизиков, а то, что входит в ментальное снаряжение каждого говорящего, в каком бы запутанном и смутном виде оно ни было там представлено. Если говорить в общем, то мы постепенно выстраиваем в своем уме картину мира, в котором живем, и эта картина направляет наши действия. Когда мы принимаем высказывание как истинное, мы…дополняем или модифицируем нашу картину мира… Мы не можем, следовательно, просто выбросить за борт понятие истины; скорее, мы должны адаптировать его в свете нашего представления о том, что составляет понимание языка» [Dummett, 2006, p. 64]. Вряд ли можно не согласиться с Даммитом в том, что понятие истины играет ключевую роль и выполняет множество функций, среди которых перечисленные, видимо, являются наиболее важными. Сомнение вызывает неявно принимаемое им допущение о том, что истина будет выполнять эти функции и после ее существенного пересмотра или адаптации к предлагаемому представлению о понимании языка. На наш взгляд, истина способна выполнять первые две из указанных функций только тогда, когда она берется в ее классическом, т. е. трансцендентном, истолковании. Однако, как мы увидим далее, поиск более адекватной теории значения для нашего языка, по мнению Даммита, неизбежно будет включать и выбор иной — не классической — системы логики, а это означает, что можно будет определить дедуктивный вывод и истинностно-функциональные зависимости без помощи классического понятия истины.

Как бы ни различались между собой предложенные Даммитом решения, из них вытекает необходимость создания альтернативной — по отношению к истинностно-условной семантике — теории значения. Идея такой альтернативной теории значения была подсказана ему математическим интуиционизмом, в частности интуиционистской семантической теорией для математических высказываний, предложенной голландским математиком и логиком А. Гейтингом. В этом нет ничего удивительного, поскольку с самого начала своей философской карьеры Даммит проявлял живой интерес к интуиционистской логике и философии математики, опубликовав в 1977 г. книгу «Элементы интуиционизма» («Elements of Intuitionism»). По сути, позиция интуиционистов оказалась для него привлекательной в силу их отказа от закона исключенного третьего[113], который, по его словам, является «отражением в рамках логики семантического принципа двузначности» [Dummett, 2006, p. 62].

В интуиционистской логике истина отождествляется с доказуемостью, т. е. математическое высказывание признается истинным, только если существует математическое построение, образующее доказательство этого высказывания. Такая трактовка истины требует переопределения логических связок и кванторов[114], среди которых наибольшие изменения затрагивают связку отрицания. Так, ~p является доказуемым, если и только если доказуемо, что не может быть доказуемым p. Поэтому в интуиционистской логике, помимо закона исключенного третьего, не выполняются и многие законы классической логики для отрицания, в частности закон снятия двойного отрицания (~~p≡p). Соответственно правильные дедуктивные выводы трактуются как сохраняющие доказуемость, т. е. в них доказуемость посылок гарантирует доказуемость заключения. Таким образом, полагает Даммит, в семантике для интуиционистской логики понимание математического высказывания связывается не со знанием того, что должно иметь место, чтобы это высказывание было истинным, а с наличием у нас способности распознать, доказуемо ли это высказывание, т. е. образует ли какое-либо математическое построение его доказательство. Понимание же отдельных математических выражений, из которых состоят математические предложения, состоит в знании того, какой вклад они вносят в определение того, что считается доказательством для любого математического предложения, в котором они встречаются. В результате, заключает Даммит, понимание математических выражений и предложений полностью проявляется в употреблении математического языка. Стало быть, именно такая семантика должна стать прототипом для искомой им теории значения естественного языка, поскольку ее нетрудно обобщить для нематематических случаев в силу того, что доказуемость является разновидностью оправданной утверждаемости. Поэтому нужно лишь заменить понятие доказательства, которое служит единственным средством установления истины в математике, на более широкое понятие, каковым, по мнению Даммита, является понятие верификации, охватывающее довольно широкий спектр процедур по установлению истинности разного рода высказываний. Поскольку понимание высказывания в этом случае трактуется как способность распознать все то, что является его верификацией, не возникает «трудности в формулировании того, в чем состоит неявное знание такого условия — оно непосредственно проявляется в нашей языковой практике» [Даммит, 1987, с. 179]. В результате предлагаемый Даммитом пересмотр понятия истины заключается в том, что истина, как отмечает Дж. Макдауэлл, становится лишь «продуктом верификации, а не чем-то таким, что может иметь место независимо от верификации» [McDowell, 1998, p. 9].

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

Вначале Даммит назвал предложенную им теорию значения верификационистской, но в последующем он решил, что это название рождает вводящие в заблуждение ассоциации, и стал определять ее как «джастификационистскую» (от англ. justification — оправдание, обоснование). В соответствии со своей идеей о том, что «теория значения лежит в основе метафизики», он попытался вывести метафизические следствия из своей теории и, главное, связал истинностно-условную и джастификационистскую теории значения с двумя противоборствующими метафизическими позициями — реализмом и антиреализмом[115] соответственно. Как Даммит обосновал эту связь и какое истолкование тем самым дал реализму, мы подробно рассмотрим в следующей главе. Здесь же, подводя итог нашему рассмотрению его семантических идей, хотелось бы отметить следующее.