нцепцию знания на сенсорных причинах полаганий: в рамках его холистического подхода полагания могут находить очевидную поддержку только в других полаганиях. Точно так же использование Дэвидсоном понятия корреспонденции может быть лучше понято не как прямое разъяснение природы истины, а скорее как следствие экстерналистского требования, чтобы содержание полагания зависело от находящихся в мире причин полаганий.
Возникающий здесь вопрос таков: может ли понятие обоснования быть использовано в теории значения более прямо? Если такому более прямому рассмотрению связи значения и обоснования препятствуют требования холизма – которые, в свою очередь, обусловливают перенос центра внимания при анализе значения с истины на обоснование, – то, следовательно, мы можем попытаться подвергнуть холистические требования дальнейшему анализу.
Итак, мы видели, что согласно концепции значения как условий истинности мы знаем некоторое значение только в том случае, если мы знаем условия истинности обладающего этим значением предложения, а для этого мы должны иметь истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из центральных вопросов эпистемологии – что обращает просто истинное полагание в полноценное знание? Ответ состоит в том, что наши истинные полагания должны базироваться на достаточно серьезных основаниях, чтобы быть удостоверяемы как знание. Фундаменталисты считают, что структура причин такова, что наши причины в конечном счете покоятся на основных причинах, которые не имеют никаких дальнейших причин, поддерживающих их. Когерентисты считают, что нет никаких основополагающих причин – скорее наши полагания поддерживают друг друга.
Мы можем придерживаться когерентного подхода к обоснованию, однако постольку, поскольку мы используем его для анализа языковых значений, мы не можем игнорировать то соображение, что некоторые утверждения, такие как перцептуальные, могут быть непосредственно обоснованы чувственно воспринимающим их субъектом, знающим их «по знакомству». Это утверждения о реальной действительности, которые представляются нам заслуживающими доверия независимо от каких-либо аргументов в их пользу – те, которые Айер и Рассел называют «базисными суждениями». Поэтому валидная когерентная теория обоснования может и должна дать теорию обоснования перцептуальных утверждений, отвергающую обвинение в произвольности и нередуцируемую к фундаментализму. Представляется, что такая теория может иметь форму ограничений, накладываемых на холистический подход к когерентному обоснованию, и это соображение может играть важную роль при рассмотрении связи значения и обоснования.
7.4 Молекуляризм М.Даммита
Возможные аргументы против холистической семантики будут направлены прежде всего на само понимание природы связи между истиной и значением. Возможна позиция, состоящая в том, что метафизическое понятие истины, будь оно реалистским или антиреалистским, не может играть никакой роли в теории того, как мы понимаем языковые выражения. В пользу этого представления свидетельствует то, что никакой действительный психологический механизм не способен выполнять требуемую задачу сравнения высказываний с неконцептуализованной действительностью. В основанной на усорвиях истинности семантике предлагается сохранить вербальную формулу, согласно которой для того, чтобы знать значение, скажем, выражения «Снег бел», надо знать, при каких условиях это предложение является истинным. Можно сказать, что независимо от того, чтό именно требуется для того, чтобы понять предложение, это должно быть названо неявным знанием условий, при которых предложение является истинным. Но если мы принимаем этот способ, то будет тавтологией считать, что «Если X понимает предложение „Снег бел“, то X знает (неявно) условия истинности предложения „Снег бел“». Если это тавтология, то нельзя утверждать, что это – серьезная и общезначимая теория понимания, обладающая реальной объяснительной силой. Но если представление о том, что истина есть соответствие с действительностью, не может нам ничем помочь, то как мы должны объяснить понятие истины? Формальная семантика понятия «истинный» (особенно дефляционный принцип эквивалентности: сказать о предложении, что оно является истинным, эквивалентно утверждению этого предложения) позволяет нам определить столько предложений формы "S истинно", сколько имеется предложений S, которые мы хотим утверждать или отрицать. Но как мы можем объяснить то, что мы делаем, когда мы утверждаем и отрицаем? Мы можем сказать, что когда мы делаем утверждения, мы надеемся, что они будут истинны, и стремимся к тому, чтобы это было так. Однако это практически пустое заявление, поскольку нет и не может быть независимых проверок ни истины, ни обоснованной утверждаемости.
Рассмотрим подробнее, как может выглядеть такая позиция, на примере аргументов Майкла Даммита, поскольку они чрезвычайно важны для понимания сути холистической критики эмпиризма.
Даммит характеризует смысл (sense) как тот аспект значения (meaning), «который определяет условие, при котором предложение является истинным»387. Семантическое значение (semantic value) атомарного предложения Даммит характеризует как
тот признак, обладание которым является [для атомарного предложения] необходимым и достаточным, если каждое сложное предложение должно быть определено как истинное или иначе в соответствии с его составом из атомарных предложений... Семантическое значение атомарного предложения (и, следовательно, любого предложения) является именно его истинностным значением – истинно оно или нет... Сначала мы устанавливаем, что семантическое значение сингулярного термина – это тот конкретный объект, к которому он имеет референцию: тогда из этого следует, что семантическое значение одноместного предиката дается, устанавливая, для каких объектов он является истинным, двухместного предиката – для какой пары объектов он является истинным, и т.д.388.
Это предполагает, что для каждого объекта язык содержит сингулярный термин, указывающий на него. Смысл выражения – это компонент его значения, который является релевантным для определения истинности того предложения, в которое оно входит; именно этот компонент его значения определяет семантическое значение выражения. Даммит разъясняет понятие семантического значения, когда заявляет, что семантические значения слов, составляющих предложение, в совокупности определяют его как истинное или ложное: когда мы говорим, что смысл слова определяет его семантическое значение, то это подразумевает, что во внимание принимается вклад внеязыковой действительности. Возможность такого объяснения понятия семантического значения зависит от предположения, воплощенного в фундаментальном принципе классической семантики, согласно которому условие истины каждого предложения либо выполнено, либо невыполнено. Это может быть расценено как метафизическое допущение (о том, что имеется внеязыковая действительность, независимая от нашего знания о ней), а также как теория значения (мы успешно приписываем нашим предложениям смысл, который делает их детерминированно истинными или ложным). С такой точки зрения, фрегеанское понятие референции выражения и есть понятие семантического значения – по крайней мере, в контексте классической семантики.
Даммит описывает различие между смыслом и референцией, заявляя, что смысл есть компонент значения, и поэтому дать теорию смысла выражения значит дать (частично) некоторую теорию того, что знает говорящий, когда он понимает это выражение. Рассматривая смысл как определение референции, мы тем самым предполагаем, что таким образом принят во внимание вклад внеязыковой действительности. Так, Фреге расценивал различие между смыслом и референцией как одно из своих фундаментальных открытий – смысл выражения не может состоять только в его наличии у него референции, какой бы она ни была. С такой точки зрения, смысл определяет референциальное/семантическое значение. Последнее представляет собой признак, который является необходимым и достаточным для определения истинности предложения: для того, чтобы предложение имело семантическое значение, оно должно быть способно быть истинным или ложным, и оно должно в самом деле быть или истинным, или ложным. Смысл выражения определяет его семантическое значение и, поскольку семантическое значение является или истинным, или ложным, определяет его как истинное или ложное. Референция есть семантическое значение, поэтому смысл выражения определяет его референцию и, поскольку референция указывает только на истинность или ложность, определяет его как истинное или ложное. Эта теория смысла определяет референцию слов (это – основополагающий тип теории, построенный на сингулярных терминах и остенсивном определении) при условии, что внеязыковая действительность принята во внимание и отношение языковых выражений к ней служит предметом этой теории.
Такое различение между смыслом и референцией очевидно может быть рассмотрено как направленное против стандартной семантики Дэвидсона. Здесь два отправных пункта.
Тарский стремился произвести преобразование неформальной классической семантики в формальное определение истины для формализованного языка. В результате мы имеем предметом два формализованных языка – объектный язык и метаязык, в котором мы определяем истину для объектного языка.
Референция выражения (в духе Фреге) – это внеязыковая сущность. Например, в неформальной семантике интерпретация связывает с каждой языковой индивидуальной константой, предикатом и т.д. нелингвистическую сущность соответствующего типа. Когда мы пытаемся построить определение истины для объектного языка, то наше внимание переходит с вещей в мире, связанных с выражениями объектного языка, на средства, доступные нам в метаязыке для определения связей между объектным языком и вещами в мире. Так, когда мы строим определение истины, мы должны показать, что метаязык способен к определению ассоциаций между элементами объектного языка (например, сингулярными терминами, предикатами и т.д.) и теми вещами в мире, на которые эти элементы предназначены указать. Суть определения истины тогда состоит в том, чтобы удостовериться, что нелингвистическая сущность, референция, дает правильную ассоциацию между элементом объектного языка и вещью в мире, на которую этот элемент предназначен указать. Это означает, что Фреге и Тарского интересует истина