- •Аналитическая философия
- •Введение. Эволюция и основные характеристики аналитической философии
- •1. Истоки формирования аналитической философии
- •1.1 Брентано
- •1.2 Логико-семантические идеи г.Фреге
- •1.2.1. Значение и смысл имен собственных
- •1.2.2 Значение и смысл предложений
- •1.3 "Опровержение идеализма" Дж.Э.Мура
- •2. Программа логического атомизма
- •2.1 Логический атомизм: язык как средство остановки регресса
- •2.1.1 Расселов анализ связей фактов
- •2.1.2 Логические конструкции вместо теоретико-познавательных заключений о внешнем мире
- •2.1.3 Универсалии как логические атомы
- •2.2 Онтология, эпистемология и философия языка Рассела
- •2.2.1. Онтологика отношений
- •2.2.2 Логика и ‘чувство реальности’
- •2.2.3 Теория типов
- •2.2.4 Коррекция определения числа и аксиома бесконечности
- •2.2.5 Логические фикции и аксиома сводимости
- •2.2.6 Примитивные значения и теория дескрипций
- •2.2.7 Эпистемологическая функция суждения
- •2.2.8 Логические объекты
- •2.3 Философия языка "Трактата": логика языка versus логика мышления
- •2.4 Логический атомизм "Трактата": от синтаксиса к онтологии
- •2.4.1 Синтаксис элементарного предложения
- •2.4.2 Изобразительная теория предложений
- •2.4.3 Онтологические следствия изобразительной теории
- •2.4.4 ‘Сказанное’ и ‘показанное’
- •2.4.5 Операциональный принцип контекстности
- •3. Программа логического позитивизма (логического эмпиризма)
- •3.1 Критерий верификации
- •3.2 Основные положения феноменализма в Венском кружке
- •3.2.1 Феноменалистический анализ Морица Шлика
- •3.2.2 Первоначальный феноменалистический анализ Рудольфа Карнапа
- •3.3 Основные положения физикализма в Венском кружке
- •3.3.1 Физикалистский анализ Рудольфа Карнапа
- •3.3.1.1 Обращение к семиотике
- •3.3.1.2 Материальный и формальный модусы языка
- •3.3.1.3 Структура познания
- •3.3.1.3.1 Предложения наблюдения
- •3.3.1.3.2 Способ подтверждения косвенных высказываний
- •3.3.1.4 Вероятность и истинность
- •3.3.2 Ганс Рейхенбах
- •3.3.3 Карл Гемпель
- •3.4 Дискуссия о языке наблюдения
- •3.5 Формирование представлений о конвенционализме в философии науки Венского кружка
- •3.6 Критика логико-позитивистского анализа
- •3.6.1 Философия как логика науки
- •3.6.2 Логика как система тавтологий
- •3.6.3 Переводимость осмысленных высказываний на физикалистский язык
- •4. Львовско-Варшавская логическая школа и ее влияние на аф
- •4.1 Философия языка и теория истины к.Твардовского
- •4.1.1 Семиотика в трудах к.Твардовского
- •4.1.2 Твардовский об истине
- •4.2 Радикальный конвенционализм к.Айдукевича
- •4.2.1 Метод парафразы
- •4.2.2 Истоки теории радикального конвенционализма
- •4.2.3 Языковое значение и принцип конвенциональности
- •4.3 Номинализм Ст.Лесьневского
- •4.3.1 Номинализм как эпистемология
- •4.3.2 Интенциональное отношение «единичного предложения существования»
- •4.3.3 Интуитивный формализм и конструктивный номинализм
- •4.4 Обоснование и критика реизма т.Котарбинским
- •4.4.1 Онтология Котарбинского
- •4.4.2. Обоснование и критика реизма
- •4.4.3 Реизм и материализм
- •4.4.4 Дискуссия по вопросам истины и познания в связи с реизмом Котарбинского
- •4.5 Многозначные логики я. Лукасевича
- •4.5.1 Возникновение и формализация модальных логик
- •4.5.2 Модальные логики
- •4.6 Теория истинности а.Тарского
- •5. Философия лингвистического анализа
- •5.1 "Лингвистический поворот" в философии хх века
- •5.2 Концепция "значение как употребление" и ее приложения
- •5.3 Анализ обыденного языка
- •5.3.1. Общая характеристика направления
- •5.3.2 Джон Уиздом
- •5.3.3 Гилберт Райл
- •5.4 Теория речевых актов Дж.Остина
- •5.5 Интенционалистские теории языка (п.Грайс, Дж.Серль)
- •5.5.1 Интенционализм Пола Грайса
- •5.5.1.1 Первая часть замысла: Анализ-толкование понятия подразумевания
- •5.5.1.2 Вторая часть замысла: Анализ-толкование понятия значения языкового выражения в терминах подразумевания
- •5.5.2 Грайсов "миф о происхождении языка"
- •5.5.2.0 Нулевая стадия
- •5.5.2.1 Первая стадия
- •5.5.2.2 Вторая стадия
- •5.5.2.3 Третья стадия
- •5.5.2.4 Четвертая стадия
- •5.5.2.5 Пятая стадия
- •5.5.2.6 Шестая стадия
- •5.5.2.7 Седьмая стадия
- •5.5.3 Отношения между ключевыми понятиями Грайсовой доктрины
- •5.5.4 Интенционализм Серля: теория речевых актов
- •5.5.4.1 Пролегомены Серлевой теории речевых актов
- •5.5.4.1.1 Понятия подразумевания (meaning) и значения (meaning) языковых выражений в составе Серлевой теории речевых актов
- •5.5.4.2 О содержании и функции речевых актов
- •5.5.4.2.1 Таксономия иллокутивных актов
- •5.5.4.2.2 Основания этой пятичленной классификации
- •5.5.4.3 Речевые акты и лингвистическая теория
- •5.5.4.4 Cоотношение между интенционализмом и репрезентационизмом в Серлевой теории речевых актов
- •6. Реабилитация метафизической проблематики
- •6.1 Номинализм в аналитической философии
- •6.2 Дескриптивная метафизика п.Ф.Стросона
- •6.3 "Усовершенствованный реализм" а.Айера
- •6.4 Физикалистская метафизика д.М.Армстронга
- •6.5 "Реализм с человеческим лицом" х.Патнэма
- •7. Неопрагматистская критика эмпиризма и холистический тезис
- •7.1 Прагматический анализ
- •7.1.1 Неопрагматизм у.Куайна
- •7.1.2 Неопрагматизм н.Гудмена
- •7.2 Концепция онтологической относительности и холистический тезис Куайна
- •7.3 Холистичность теории интерпретации д.Дэвидсона
- •7.4 Молекуляризм м.Даммита
- •8. Связь истины и значения
- •8.1 Стандартная семантика д.Дэвидсона
- •8.2 Инструменталистская семантика (м.Даммит, г.Кастаньеда)
- •8.3 Трансляционная и теоретико-модельная семантика
- •8.4 Теоретико-игровая семантика я.Хинтикки
- •9. Аналитическая эпистемология
- •9.1 Бертран Рассел: знание вещей и знание истин
- •9.2 Знание и мнение. Проблема обоснованности знаний
- •9.2.1 Проблема Гетье
- •9.3 Эпистемическая логика
- •9.4 Реализм и антиреализм: теоретико-познавательный аспект
- •9.5 Парадокс познаваемости и кризис антиреализма
- •9.6 Динамика знаний и убеждений
- •10. Понятие истины и его применение в аналитической философии
- •10.1 Аналитическое понятие истины
- •10.2 Корреспондентная теория истины
- •10.3 Дефляционная теория истины
- •10.4 Прагматическая теория истины
- •10.5 Ревизионная теория истины
- •10.6 Релятивистский подход к теории истины
- •10.7 Когерентная теория истины
- •10.8 Различение между истинностью и обоснованностью знания
- •10.9 Аргументы когерентной теории обоснования и перцептуальные утверждения
- •11. Конструктивистская парадигма и расширенные теории референции
- •11.1 Эпистемологический и онтологический плюрализм н.Гудмена
- •11.2 Гипотеза лингвистической относительности Сепира — Уорфа
- •10.2.1 Эпистемологические основания концепции лингвистической относительности
- •От чего зависит тип деления?
- •Почему мы классифицируем мир именно таким, а не иным способом?
- •11.2.2 Конвенциональность грамматики
- •11.2.3 Конвенциональность лексики
- •11.3 Конвенциональность истины и значения
- •11.3.1 Согласование концептуальных схем
- •11.3.2 Онтологический статус концептуальных схем
- •11.4. Каузальные теории референции
- •11.4.1 Идентифицирующие дескрипции
- •Каким образом идентификационные особенности предмета должна быть связана с использованием имени "n", чтобы имя указывало на предмет?
- •Как осуществляется и как возможно дескриптивное расширение наличной реальности, означающее по существу увеличение знания о мире?
- •Каковы онтологические основания для того, чтобы "так говорить"?
- •10.4.2 Жесткие десигнаторы
- •11.4.3 Индексикалы
- •11.4.4 Внутренняя реконструкция и внешнее сравнение языковых явлений
- •Какими критериями мы должны руководствоваться для того, чтобы иметь возможность судить о том, правильно или неправильно употреблен термин?
- •12. Проблема понимания
- •12.1 Концепция понимания языка м.Даммита
- •12.2 Аналитические модели объяснения
- •Как возможно и как осуществляется расширение дескриптивности, означающее, по существу, увеличение знания о мире?
- •Как возможно и как осуществляется расширение дескриптивности, означающее по существу увеличение знания о мире?
- •Увеличение знания состоит в построении когерентности: установлении наибольшего числа семантических связей исходной дескрипции с наибольшим числом семантических примитивов системы описания.
- •12.3 Проблема языка в современных исследованиях по искусственному интеллекту
- •12.3.1 Источник компьютерных аналогий
- •12.3.2 Критика «машинного функционализма»
- •12.3.3 «Машинное» решение проблемы языка мысли
- •12.4 Аналитическая философия и герменевтика (к.-о.Апель)
- •12.4.1 Исходные концепты при постановке проблемы
- •12.4.2 Трансцендентальная прагматика
- •13. Аналитическая философия сознания
- •13.1 Проблема психологического объяснения
- •13.1.1 Понятие сознания
- •13.1.2 Психофизический дуализм и скептические следствия
- •13.2. Бихевиористская редукция сознания
- •13.2.1. Аналитическая критика картезианской парадигмы
- •13.2.1.1. Картезианская модель сознания как результат категориальной ошибки
- •13.2.1.2. Устранение категориальной ошибки
- •13.3. Критика психологии «первого лица»
- •13.3.1 Бихевиоризм
- •13.3.1.1 Идея бихевиористской психологии
- •13.3.1.2. Логический бихевиоризм
- •13.3.2 Критика бихевиоризма
- •13.4 Физикализм
- •13.4.1 Материалистическая редукция сознания
- •13.4.1.1. Редукционизм и автономия психологического объяснения
- •13.4.1.2. Существенные свойства и априорная необходимость психофизического тождества
- •13.4.1.3. Апостериорная необходимость психофизического тождества
- •13.4.2. Физикализм без редукционизма
- •13.4.2.1. Тождество типов или тождество токенов
- •13.4.2.2. Материализм и множественная физическая реализация
- •13.5 Функциональный анализ ментального
- •13.5.1 Функционализм и когнитивизм
- •13.5.1.1 Элементы функционализма в изучении сознания
- •13.5.1.2 Когнитивистская психология
- •13.5.1.3 Функционализм и психофизическое тождество
- •13.5.2 Вариации функционализма
- •13.5.2.1 Функционализм в защиту материального сознания
- •13.5.2.2 Функционализм против физикализма
- •13.5.3 Трудности функционализма
- •13.5.3.1 Проблема отсутствующих качеств
- •13.5.3.2 Общие трудности функционализма
- •13.5.3.3 «Либерализм» и «шовинизм» в отношении сознания
- •13.6 Репрезентативное сознание
- •13.6.1 Язык мысли
- •13.6.1.1 Парадокс владения языком
- •13.6.2 Репрезентативность и концептуальная структура сознания
- •13.6.2.1 Репрезентативность перцепции
- •13.6.2.2 Концептуальные условия репрезентативности восприятия
- •13.6.3 Интенциональное сознание
- •13.6.3.1 Концепция интенциональности
- •13.6.3.2 Внешние и внутренние условия репрезентации
- •14. Аналитическая философия и феноменология
- •14.1 Возможен ли диалог аналитической философии и феноменологии?
- •14.2 Тематическое единство традиций
- •14.3 Методологический плюрализм традиций
- •14.4 Перспективы компаративных исследований: возможности аналитической философии
- •14.5 Перспективы компаративных исследований: возможности феноменологии
- •Глоссарий
7.1.1 Неопрагматизм у.Куайна
Хотя Уиллард ван Орман Куайн (1908-2000), профессор Гарвардского университета, на протяжении своей философской деятельности много занимался проблемами аппарата формальной логики, он всегда был внимателен также и к эпистемологическим и онтологическим аспектам логических исследований. Именно это и привело его к проблеме языкового значения и к переносу акцента с формальных языков на естественные. Что касается его работ по логике как таковой, основными целями Куайна является строгость в логических доказательствах и проверках, унификация и упрощение логических обозначений и устранение ненужных понятий и допущений. Куайн неустанно искал алгоритмические разрешающие процедуры для тех областей логики, которые допускают такие процедуры. Он озабочен отсутствием алгоритмических проверяющих процедур для всех разделов теории квантификации и еще более невозможностью даже полуалгоритмических процедур доказательства для элементарной теории чисел, доказанной Геделем. Однако это до некоторой степени компенсируется тем фактом, что отдельные области математики допускают разрешающие процедуры и что существуют методы, устанавливающие возможность или невозможность доказательств. Поиски Куайном единообразия в логической символике проявились в утверждении, что квантор существования всегда следует интерпретировать одинаково, в его попытках найти разумные способы переформулировки в квантифицируемых терминах модальных высказываний и высказываний, выражающих позицию говорящего, например стремление или уверенность; и еще более существенно в попытке преодолеть сложность символики теории типов Рассела, которую он впервые предпринял в своих «Новых основаниях математической логики», а затем уточнил в «Математической логике». Куайн предложил способы замены свойств, используемых даже в «Рrincipia mathematica» и в работах Карнапа, концептуальными классами. В действительности он предпочел бы пойти еще дальше и построить логику на номиналистской основе, если бы это можно было сделать в достаточно удобной форме. Однако он признает, что чисто номиналистская логика, если она возможна, была бы крайне неудобна и что в важных областях математики нельзя совсем обойтись без понятия класса.
Куайн вполне уверен в способности современных логических методов пролить свет на философские проблемы, причем не только на семантические и логические, но и на традиционные онтологические. Обычный язык, конечно, остается фундаментальным средством окончательного разъяснения, но для целей «творческого аспекта» философского анализа обычному языку недостает той точности и свободы от вводящих в заблуждение предположений, которой можно достигнуть на пути современных методов квантификации. Среди этих философских проблем, которые Куайн рассматривает со своей логической точки зрения, проблемы аналитичности, онтологии и истины.
Проблема аналитичности. Хотя различие между аналитическими и синтетическими высказываниями до недавних пор (а отчасти и по сей день) многими философами-эмпиристами было принято как эпистемологически основное, а на момент его критики Куайном фактически считалось аксиомой, при ближайшем рассмотрении оно оказывается, по мнению Куайна, очень мало обоснованным. Верно, конечно, что такие примеры подстановок в логические законы, как «ни один неженатый человек не женат», можно принять, не обращаясь к конкретным фактам, однако то, что содержится в этом высказывании — скорее логическая истина, чем аналитичность. Главный вопрос связан с теми считающимися аналитическими высказываниями, которые хотя и не являются логическими истинами, но могут быть превращены в них путем замены одних синонимов другими — например, замены "холостяк" на "неженатый человек" в утверждении «Ни один холостяк не женат». Основная трудность заключается в понятии синонимии, которое нуждается в разъяснении не меньше, чем само понятие аналитичности. Для выяснения понятий синонимии и аналитичности бесполезно обращаться к процедуре определения, так как определение само зависит от синонимии. От взаимозаменяемости salva veritate также мало пользы, так как в высказывании «"Холостяк" содержит меньше десяти букв», конечно, нельзя заменить «холостяк» словами «неженатый человек», не изменяя истинностного значения. Возможно, требуемые подстановки можно сделать в случае высказывания «все холостяки и только они необходимо являются неженатыми людьми», но здесь предполагаются понятия познавательной синонимии и аналитичности. Во всяком случае, в экстенсиональном языке, в котором любые два предиката, истинные для одних и тех же объектов, взаимозаменяемы salva veritate, такая взаимозаменяемость не является гарантией познавательной синонимии. Нет также никакой гарантии того, что экстенсиональное совпадение терминов «холостяк» и «неженатый человек» основано на значении этих выражений, а не на случайном факте, как это имеет место для экстенсионального совпадения понятий «существо, имеющее сердце» и «существо, имеющее почки». Иногда делаются попытки спасти синонимию и аналитичность, обращаясь к семантическим правилам искусственных языков, но такое обращение рассматривает эти понятия как нередуцируемые и имеет мало ценности с точки зрения действительного языкового поведения.
Часто делались попытки определить аналитическое высказывание в терминах верификационной теории значения как высказывание, которое «подтверждается чем угодно». И эта точка зрения выглядит правдоподобно, поскольку истинность высказываний зависит, по-видимому, от различимых языковых и неязыковых компонентов. Но известно, что полное подтверждение любого индивидуального высказывания невозможно, и «бессмысленно и является корнем многих бессмыслиц говорить о языковом и фактическом компонентах истинности какого-либо индивидуального высказывания».
Проблема онтологии. По мнению Куайна, предварительным условием плодотворного обсуждения вопроса о том, что существует, или даже о том, как установить, что существует, является выяснение того, каким образом люди приходят к утверждению существования чего-либо. Философы часто предполагают, что употребление единичных терминов уже равносильно утверждению о существовании того, что названо этими терминами. Так, например, когда кто-то говорит о Джоне или льве, или же о Пегасе, считается, что он предполагает существование того, о чем говорит. Таким образом, можно утверждать, что в высказываниях типа «Пегас не существует» скрыта по меньшей мере идея Пегаса как имеющего если не реальное существование (ехistenсе), то хотя бы идеальное существование (essenсе). Но дело в том, что речь идет не о существовании, а о принятии идеальных сущностей (essenсе), которое ведет к различного рода затруднительным вопросам об их размерах, положении, сходстве и т. д. Можно, конечно, все же утверждать, что Пегас существует по меньшей мере в значении, но, хотя и приходится иногда говорить о значимости (осмысленности) или о сходстве значений, из этого ничего не следует относительно «промежуточных сущностей, именуемых значениями». Путаницы, возникающей при употреблении единичных терминов, для которых нельзя обнаружить соответствующей реальности, можно по большей части избежать с помощью Расселовой теории дескрипций, которая сначала переводит предложения, содержащие собственные имена, в предложения, содержащие определенные дескрипции, а уже эти предложения, в свою очередь, в квантифицированные предложения, не содержащие ни имен, ни определенных дескрипций. А путем расширения этой процедуры (которую, к сожалению, сам Рассел не склонен допускать) можно избавиться от всех единичных терминов и, таким образом, доказать, что употребление таких терминов вовсе не связано с какими-либо онтологическими допущениями. Если путаница, содержащаяся в единичных терминах, устранена, то употребление квантифицированных переменных недвусмысленно и вполне беспристрастно свидетельствует о принятой онтологии. А именно, как постоянно утверждает Куайн, любая теория по существу признает те и только те объекты, к которым должны иметь возможность относиться связанные переменные, чтобы утверждения теории были истинными. (Фактически это ход, изоморфный назначению пропозициям истинностного значения).
Некоторые философы, в том числе Карнап, считают, что квантификация не связана ни с какими онтологическими допущениями. Но даже если действительно можно разом, волюнтаристски отделаться от онтологических допущений, содержащихся в употреблении имен, путем простой перефразировки согласно требованиям теории дескрипций, то все равно нет никакого метода сравнения, позволяющего избежать выбора онтологии, который поневоле происходит, когда что-либо берется в качестве значения связанной переменной в истинном высказывании, и едва ли можно избежать ответственности за допущение существования «некоторых видов», если говорить, например, что «некоторые зоологические виды скрещиваются».
Гораздо более важным, чем вопрос о том, как происходит выбор онтологии, является, конечно, совершенно другой вопрос о том, как его обосновать. По этому поводу Карнап и другие логические эмпиристы утверждают, что здесь имеются две различные группы вопросов. Одна состоит из внешних вопросов, или вопросов, касающихся концептуальной схемы вторая состоит из внутренних вопросов, или вопросов о том, каковы факты в этой концептуальной схеме. Ответ на первую группу вопросов прагматический, в терминах языковых решений; ответ на вторую группу научный, в терминах исследования наблюдений. В действительности, однако, ввиду трудности установления сколько-нибудь удовлетворительного различия между аналитическим и синтетическим никакой дихотомии внешних и внутренних вопросов провести нельзя. Карнаповский проект проведения этой дихотомии путем использования различных видов символов — это не более чем техническая процедура, не имеющая адекватного логического или фактического обоснования; а так называемые внешние вопросы относятся к тому же «континууму», в который входят внутренние вопросы. Если бы марсиане должны были беседовать с нами на языке науки, предназначенном выразить все факты науки, но не использующем метафизические термины, содержащиеся в нашей науке, мы были бы вправе требовать, чтобы такой язык включал в себя высказывания о всех истинах, сформулированных в нашем научном языке, но не имели бы права требовать, чтобы их язык определял границы между концептуальной схемой и фактом или между аналитическим и синтетическим, как это делает наш язык.
Как же тогда должны обосновываться онтологические и все остальные высказывания? Ответ Куайна включает в себя три основных утверждения:
-
во-первых, что все виды высказываний следует обосновывать в основном одним и тем же образом;
-
во-вторых, что в действительности следует обосновывать не отдельные высказывания, а целые системы высказываний;
-
в-третьих, что обоснование в своей основе всегда является прагматическим.
Что касается первого из этих утверждений, то идеи, на которых оно основано, уже были достаточно охарактеризованы. Нельзя провести четкого различия между аналитическими и синтетическими, внешними и внутренними или языковыми и неязыковыми высказываниями; и нельзя провести никакого принципиального различия между критериями, которым следует подвергать различные высказывания.
Что же касается второго утверждения, то говорить вообще об «эмпирическом содержании отдельного высказывания» — это в лучшем случае заблуждение, поскольку наши высказывания о внешнем мире предстают перед судом чувственного опыта не в отдельности, а как единое целое. В самом деле, совокупность наших утверждений является хотя и не самой прямой, но удобной системой для связывания данных опыта между собой. Эта система содержит много пробелов и сталкивается с опытом лишь на периферии. В случае возникновения противоречий у нас остается широкая возможность выбрать, какие высказывания системы сохранить, а какие пересмотреть. Естественно, мы предпочитаем пересматривать то, что меньше всего нарушает систему, и поэтому стремимся отдать предпочтение, с одной стороны, тем высказываниям, которые наиболее близки к опыту, а с другой стороны тем общим логическим и математическим принципам, которые в этой системе наиболее фундаментальны.
Критерий, в терминах которого должна обосновываться сама система, является прагматическим. Некоторые философы, в том числе Льюис в «Разуме и мировом порядке» и Карнап в «Эмпиризме, семантике и онтологии», применяют прагматические критерии к концептуальной схеме, а не к ее содержанию; но в действительности все наши понятия основаны на прагматических соображениях. Физические объекты концептуально вносятся в ситуацию как удобные промежуточные понятия, сравнимые эпистемологически с вымышленными объектами — например, литературными героями; с точки зрения эпистемологической обоснованности физические объекты и боги или литературные персонажи отличаются только по степени, а не по существу. Аналогична ситуация для атомных и субатомных объектов или материи и энергии; и математические классы, и классы классов также эпистемологически могут быть расценены как мифы на равном основании с физическими объектами, богами, литературными персонажами и т.п. Куайн не указывает, каков должен быть в деталях предлагаемый прагматический критерий, но, по-видимому, он имеет в виду осуществление целей науки, то есть успешное продвижение исследования в каждом случае от одной совокупности опытных данных к другой.
Проблема истины. Если обоснование по существу прагматично, то какие виды сущностей в действительности обосновываются? Если начать с негативной стороны, Куайн питает антипатию к так называемым значениям. Верно, что выражения значимы (осмысленны) и что они означают нечто, но идти дальше и говорить, что, следовательно, выражения имеют значения, представляет собой попросту введение лишних сущностей без необходимости. Ощущаемая нами потребность в обозначаемых сущностях в значительной степени вызвана неумением провести различие между значением и референцией, выражающееся, например, в том, что хотя «вечерняя звезда» и «утренняя звезда» вовсе не сходны по значению, они указывают на одну и ту же звезду. Действительно, большая часть того, что существенно отличает значение от отнесения, связана с контекстом «сходны по значению», а большая часть остального содержится в таких терминах, как «значимый» и «осмысленный». Таким образом, нет необходимости в подставных «промежуточных сущностях», называемых «значениями», и предполагаемая объяснительная сила таких сущностей совершенно иллюзорна. Значения как идеи, с точки зрения Куайна, бесполезны для науки о языке, и говорить, что значения имеют идеальное, а не реальное существование, значит вносить чрезвычайную сложность и путаницу в логические обозначения и онтологические рассуждения.
Если говорить о позитивной стороне, то прагматически обоснованными оказываются такие сущности, как обычные физические объекты, которые, хотя отчасти и похожи на литературных персонажей, обладают гораздо большей объяснительной силой. Сюда же следует отнести объекты науки на атомном и субатомном уровнях, которые вводятся для того, чтобы сделать законы макроскопических объектов и в конечном счете законы опыта более простыми и удобными в обращении. В том же духе можно вводить математические объекты, стремясь при этом сводить к минимуму допускаемые абстрактные сущности. Физические объекты не обязательно непрерывны во времени или в пространстве, но состоят из совокупностей движений частиц. Сам опыт — это то, с чем должна согласовываться концептуальная схема в целом, а язык — необходимое орудие опыта.
В том, что было сказано по поводу взглядов Куайна на аналитичность и онтологию, подразумевается интерпретация истины, которая, признавая наличие в истине весьма значительного условного элемента, отвергает попытки Карнапа и других сделать очень большой класс истин чисто условным, конвенциональным.
В широком смысле истина должна определяться в соответствии со здравым смыслом как некоторого рода соответствие действительности или отражение мира, такое, что высказывание «Джеймс курит» следует считать истинным в точности при тех обстоятельствах, при которых Джеймса следует считать курящим. К сожалению, однако, высказывания о физических объектах нельзя подтвердить или опровергнуть путем прямого сравнения с опытом, а высказывания, которым мы приписываем истинность или ложность, очень часто сложным образом переплетены с детально разработанными концептуальными схемами, вместе с которыми они обосновываются или отвергаются. Для того чтобы некоторые решающие части концептуальной схемы хотя бы временно считать бесспорными и облегчить переход от одной части системы к другой, часто бывает удобно формализовать эти решающие части в виде постулатов и определений, и такая формализация действительно часто облегчала прогресс науки. При этом большинство математических истин можно рассматривать как введенные по определению сокращения логических истин, а те, которые не поддаются такой трактовке, легко ввести в систему с помощью нескольких дополнительных постулатов. Значительную часть физики можно аналогично рассматривать как формальную систему, и современная философия все больше стремится делать упор на условный элемент за счет интерпретационного в самых различных науках2.
Однако существуют пределы полезности формализации. Любая концептуальная схема, чтобы быть пригодной для использования, должна ориентироваться на наблюдения. Во всяком случае, физические соглашения должны выбиваться в соответствии с опытом наблюдений и подлежат изменению, если оказывается, что этого требует опыт. Даже элементарную логику едва ли можно свести к чистому соглашению, так как если логика даже косвенным образом происходит из конвенций, то для ее вывода из этих конвенций уже нужна логика. По мнению Куайна, в принципе невозможно получить даже наиболее элементарную часть логики исключительно с помощью явных применений заранее установленных конвенций; так как логические истины, число которых бесконечно, должны быть заданы общими конвенциями, а не по отдельности, и логика нужна хотя бы для того, чтобы применить общие конвенции к отдельным случаям. Из того, что результаты законодательного постулирования являются — пусть даже всегда являются — результатами произвольного постулирования, еще не следует, что они тем самым истинны произвольно, и если постулаты однажды были заданы, пусть даже произвольно, дальнейшее использование их происходит в терминах дискурсивного постулирования, которое фиксирует не истину, но лишь некоторое упорядочение истин. Ни одна из истин, известных нам, не является чистым соглашением или чистым фактом. Вместе они образуют, по знаменитой, достойной Шекспира, метафоре Куайна, бледно-серую ткань, в которой черное идет от факта, а белое от конвенции, но не видно ни одной полностью белой или черной нити.