Примечания. «Язык, онтология и реализм» | Макеева Лолита Брониславовна

Хотя, как известно, термин «метафизика» был введен в I в. до н. э. для обозначения произведений Аристотеля, посвященных «первой философии», которые александрийский библиотекарь Андроник Родосский поместил «после физики», вопросы, находящиеся в ведении метафизики, волновали умы с момента появления философии как таковой.

Мы вовсе не хотим сказать, что аналитические философы открыто отождествляют метафизику с онтологией. Они, конечно, признают, что онтология — это лишь один из разделов метафизики и наряду с ним она содержит также разделы, занимающиеся проблемой бытия Бога, проблемой свободы воли, связью между сознанием и телом, природой пространства и времени и многими другими проблемами, однако, поскольку в структуре философского знания, принимаемой современными аналитическими философами, указанные проблемы оказались в ведении, скажем, философии религии, философии сознания, философии науки и т. п., собственно метафизика — в силу этого перераспределения проблематики — понимается ими как исключительно связанная с решением онтологических вопросов, и поэтому, когда они говорят о метафизике, они, как правило, имеют в виду онтологию.

Аналитические философы чаще всего употребляют термины «бытие» и «существование» как синонимы, но если иногда различие между ними все-таки проводится, то в этом случае существование трактуется как один из способов или «модусов» бытия.

Как отмечает отечественный исследователь античной философии А.В. Лебедев, соотношение этих двух вариантов определения предмета «первой философии» составляет «ключевую проблему интерпретации „Метафизики“ и предмет острых дискуссий» [Лебедев, 2000, с. 174].

По сути, Аристотель рассматривает следующие основные виды суждений: «Сократ есть человек», «Сократ есть бегущий», «Сократ есть мудрый», «Сократ есть пять футов и десять дюймов роста» и т. п. Из их анализа он делает вывод, что поскольку предикаты «обозначают, что есть субъект, другие его качество, иные — количество, иные — отношения, иные — действие или претерпевание, иные — „где“, иные „когда“, то сообразно с каждым из них те же значения имеет и бытие» (Metaphysics, 1017a 22–23). Соответственно он выделяет такие категории, как сущность, количество, качество, отношение, место, время, состояние, обладание, действие, страдание.

С точки зрения Даммита, прежде философы представляли язык как своего рода код: понятия кодируются в словах, а мысли, составленные из понятий, кодируются в предложениях. Идея языка как кода в принципе не исключает возможности проникновения в чистую суть мысли, освобожденную от лингвистического облачения, и, «с этой точки зрения нам нужен язык только потому, что мы лишены способности телепатии, т. е. способности непосредственной передачи мыслей» [Dummett, 1996, p. 97]. Первым, согласно Даммиту, сущностную связь между языком и мышлением усмотрел Г. Фреге. Он сумел понять, что способность быть переданной от одного человека к другому, причем переданной полностью, без остатка, составляет сущность мысли и этой способностью она обладает только благодаря языку, поэтому, когда «философ пытается освободить мысль от ее лингвистического облачения и проникнуть в ее обнаженную суть, он в результате лишь смешивает саму мысль с субъективными внутренними переживаниями, сопутствующими мышлению» [Dummett, 1978, p. 442]. Мы не будем здесь касаться вопроса о том, насколько прав Даммит в отношении первенства Фреге в этом вопросе, но аналитические философы действительно признают неразрывную связь между языком и мышлением.

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

См.: [Грязнов, 1983]. Правда, Грязнов в своей статье ограничивается рассмотрением концепций, сформулированных в рамках дискуссии, состоявшейся в 1960–1970-е годы в философии восприятия. В частности, в центре его внимания оказываются «усовершенствованный реализм» А. Айера, «научный реализм» Дж. Макки и «непосредственный реализм» П. Стросона.

Неслучайно поэтому свое логическое исчисление он называет «записью в понятиях» (Begriffsschrift).

Многие философы считают, что Фреге не удалось разрешить эту «проблему сцепления» мыслей и когнитивных актов, в которых мысль участвует в качестве «содержания». Даммит, напротив же, полагает, что немецкому философу удалось найти решение этой проблемы. Осознав, что единственный доступ, который мы имеем к мыслям, обеспечивает их вербальное выражение, Фреге, считает Даммит, переформулировал вопрос о схватывании мыслей как вопрос о том, как мы понимаем выражающие их предложения, а на этот последний вопрос у него есть вполне четкий ответ: понимать предложение значит знать условия, при которых оно является истинным.

Четкую формулировку этих свойств, обозначив их как «принципы отношения именования», дал Р. Карнап в своей работе «Значение и необходимость» (см.: [Карнап, 1959, с. 157–163]).

Это означает, что наряду с одноместными (или атрибутивными) предикатами, которые анализировались в аристотелевской логике, Фреге по сути ввел многоместные (или реляционные) предикаты. Более того, приписав предикатам роль функции, а сингулярным терминам (именам собственным) — роль аргумента в той или иной функции, он провел между ними четкое различие (теперь уже один и тот же термин не может использоваться и как предикат, и как субъект суждения) и уподобил их соединение в суждении соединению функции и аргумента.

Фреге следующим образом характеризует свойство понятий: «Если, к примеру, мы собираем под одним понятием все понятия, под которые подпадает только один предмет, то единичность является одной из характеристик этого нового понятия. Под него подпало бы, к примеру, понятие „спутник Земли“, а не действительное небесное тело, называемое этим именем. Таким образом, мы можем одно понятие подвести под другое более высокое понятие или, так сказать, понятие второй ступени» [Frege, 1950, p. 65].

Термины Фреге «Sinn» и «Bedeutung» правильно переводить как «смысл» и «значение», соответственно, однако, поскольку во многих языках эти слова используются почти как синонимы, во избежание путаницы «Bedeutung» стали передавать термином «референция». Так, например, в английском языке статью Фреге «Uber Sinn und Bedeutung» принято переводить как «Sense and Reference». Учитывая это обстоятельство, при изложении взглядов Фреге мы будем пользоваться терминами «смысл» и «значение», однако в остальной части книги мы будем говорить о референции, имея в виду то, что обозначается некоторым языковым выражением, термины «значение» и «смысл» будем использовать как взаимозаменяемые, уточняя при необходимости, что под ними понимает тот или иной философ.

По мнению ряда авторов, Фреге трактовал функциональные и понятийные выражения как имена функций и понятий и поэтому к ним также применимо различение смысла и значения, однако этот вопрос спорный и мы не будем его касаться.

По мнению Рассела, представление о том, что суждение может иметь лишь субъектно-предикатную структуру, приводит к «плохой метафизике», ибо оно вынуждает философов строить онтологии или схоластического типа, в которых имеются лишь субстанции и их атрибуты, или абсолютно-идеалистического типа, в которых все суждения, даже суждения об отношениях, истолковываются как замаскированные предикации к «реальности, взятой как целое».

Строго говоря, у Рассела словарь исходных символов включает помимо логических (пропозициональных связок, кванторов) и технических символов (1) термы, которые подразделяются на переменные и имена; (2) и-местные (где n ? 1) предикаты, в которые можно подставить n термов и (3) формулы, представляющие собой соединение и-местного предиката с n термами. Такие формулы Рассел называет атомарными, а более сложные формулы образуются из них с помощью пропозициональных связок и кванторов, которые связывают в них свободные переменные. Предложение он определяет как формулу, не содержащую свободных переменных. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции.

Согласно этому парадоксу, если мы рассмотрим множество всех множеств, которые не являются своими собственными элементами, и попытаемся ответить на вопрос, содержит ли это множество себя в качестве элемента, мы получим противоречие. Поскольку Рассел использовал теорию множеств для определения натуральных чисел и всех фундаментальных понятий арифметики, этот парадокс разрушал основания всей логицистской программы. В известном письме от 16 июня 1902 г. Рассел сообщил об этом парадоксе Фреге, для которого это означало крушение всех его грандиозных замыслов. Рассел же, сочтя источником этого и ряда других парадоксов «самоприменимость» некоторых понятий, предложил для их преодоления «теорию типов», в которой осуществляется иерархизация переменных по различным типам (выделяются, к примеру, переменные по индивидам, предикатам, множествам и т. п.) и устанавливаются ограничения на допустимые подстановки для переменных разных типов.

Это изменение во взглядах Рассела обозначают как переход от «метафизики суждений» к «метафизике фактов».

Сюда же относятся проблема пустых имен, проблема значения в неэкстенсиональных контекстах и др. Подробнее см.: [Смирнова, Таванец, 1967, с. 3–53].

В работе «Философия логического атомизма» Рассел предлагает и другое обоснование, почему определенные дескрипции не являются именами. Возьмем, к примеру, предложение тождества «Скотт есть автор „Веверлея“». Если «автор „Веверлея“» является еще одним именем для Скотта, то указанное предложение должно быть тавтологией, как и «Скотт есть Скотт». При подстановке вместо «автора „Веверлея“» какого-то другого имени, скажем «Китс», мы получим ложное предложение «Скотт есть Китс». Следовательно, при любой подстановке имени вместо «автор „Веверлея“», мы получаем либо тавтологичное предложение, либо ложное, а так как предложение «Скотт есть автор „Веверлея“» таковым не является, то «автор „Веверлея“» — не имя. Кроме того, указывает Рассел, поскольку имена произвольны, синонимичность «Скотта» и «автора „Веверлея“» является терминологическим решением, однако нельзя решить посредством терминологического выбора вопрос о том, является ли Скотт автором «Веверлея» или нет.

Начиная с 1940-х годов Рассел возвратился к своей первоначальной позиции, о чем свидетельствует его книга «Исследование значения и истины» (1940).

Однако позже в работе «Анализ сознания» (1921) Рассел перешел на позиции «нейтрального монизма», согласно которому реальность в своих предельных основаниях не является ни материальной, ни идеальной. Мир состоит из единого онтологически нейтрального «вещества», элементы которого могут стать психическими или физическими данными в зависимости от каузальных последовательностей, в которые они включаются. Сгруппированные по-разному, эти нейтральные элементы (вместо «чувственных данных» Рассел использует для их обозначения термин «перцепты»), с одной стороны, образуют внешний физический объект, а с другой стороны, служат ингредиентами индивидуального опыта, выступая, таким образом, предметом изучения как для физики, так и для психологии.

В неореализме четкое различие между ментальными актами и тем, на что эти акты направлены, служит обоснованием его центрального тезиса о том, что воспринимаемое и познаваемое сознанием существует независимо от актов восприятия и познания.

Подробнее см.: [Кюнг, 1999, с. 91–98].

Иногда, правда, Рассел высказывается в таком духе, что знание-знакомство означает знание о том, что объект имеет очевидные чувственные качества.

Имеется в виду то, что в математике чисто логическими средствами можно показать, что натуральные числа сводятся к классам или логически «конструируются» из них, а те, в свою очередь, редуцируемы к пропозициональным функциям. Эта идея редукции стимулировала Рассела к поискам более экономной метафизики и в других областях.

За этой теорией стоит довольно простая идея. Возьмем, к примеру, предложение «Средний ребенок в возрасте 6 лет имеет рост от 104 до 110 см». Хотя это предложение говорит о среднем ребенке, на самом деле оно имеет сложную логическую структуру и говорит об отдельных детях. В этом смысле средний ребенок является логической конструкцией из отдельных детей.

Рассел не сразу стал сторонником корреспондентной теории истины. После разрыва с абсолютным идеализмом в 1900 г. он, как и Дж. Мур, придерживался неореалистического представления о суждениях как нелингвистических нементальных комплексах. Согласно этому представлению, когда человек имеет некоторое верование-убеждение (belief), его сознание вступает в двустороннее отношение с этим комплексом. Истина и ложь при таком подходе трактуются как простые неанализируемые свойства суждений. В результате истинные и ложные суждения оказываются онтологически равноправными сущностями. К 1910 г. Рассела перестало удовлетворять такое понимание истины. В это время происходит его переход от «метафизики суждений» к «метафизике фактов». Тогда-то он и предложил новую трактовку верований-убеждений — так называемую теорию множественных отношений, которая включала истолкование истины как соответствия фактам. В этой теории верование-убеждение понималось как отношение между четырьмя разными вещами: субъектом (человеком, который имеет верование-убеждение), двумя объектами и связываемым их отношением. Так, например, верование-убеждение, о котором идет речь в предложении «Отелло верит, что Дездемона любит Кассио», есть отношение между Отелло (субъектом), Дездемоной и Кассио (объектами) и отношением любви. Это верование-убеждение истинно, если упомянутые объекты действительно связаны между собой отношением любви, т. е. если имеется структурный изоморфизм между этим верованием-убеждением и фактом (состоящим из Дездомоны, Кассио и отношения любви).

Ранее Рассел полагал, что термин «существование» используется в двух разных смыслах в «философии и повседневной жизни», с одной стороны, и в «символической логике» — с другой. В первом смысле существование может быть предицировано индивиду и этот смысл мы имеем в виду, когда «исследуем, существует ли Бог, когда утверждаем, что существовал Сократ, и отрицаем существование Гамлета. Сущности, с которыми имеет дело математика, не существуют в этом смысле: число 2, или принцип силлогизма, или умножение являются объектами, которые… не принадлежат к миру существующих вещей». Но в символической логике существование используется в другом — «определяемом и чисто техническом» — смысле: здесь существование А означает, что «А является классом, который имеет по крайней мере одного члена. Таким образом, все, что не является классом (например, Сократ), не существует в этом смысле», но равным образом все то, что существует в этом смысле, не существует в первом смысле, ибо «ни класс, ни его элементы… не находятся в какой-либо части пространства и времени, не имеют они и того вида сверхчувственного существования, которое приписывается Божеству» [Russell, 1905, p. 398–401]. В дальнейшем Рассел стал признавать только логический смысл существования, определяя его, правда, уже не в терминах классов, а в терминах пропозициональных функций.

Инстанциация (instantiation) свойства означает, что оно представлено, проявлено или экземплифицировано в каком-то случае.

Как известно, в своем письме к Людвигу фон Фикеру он так охарактеризовал свою работу: «Основное содержание книги — этическое… Моя книга состоит из двух частей: одна — это то, что содержится в книге, плюс другая, которую я не написал. И именно эта вторая часть является важной. Моя книга очерчивает границу сферы этического как бы изнутри, и я убежден, что это — единственная возможность строгого задания этой границы» (цит. по: [Сокулер, 1994, с. 34]).

В дальнейшем мы будем цитировать это издание, указывая в скобках номер фрагмента.

Модальный реализм — позиция, признающая реальное существование возможных миров. Поскольку понятие возможных миров используется в логической семантике для эскликации таких модальных понятий, как необходимость, возможность и т. п., этот реализм получил название «модального».

В принципе, согласно Витгенштейну, каждый тип изображения предполагает свой особый способ «проецирования», т. е. свою собственную форму представления изображаемого и конвенцию относительно связывания элементов образа с тем, что они изображают.

«Мысль содержит возможность того положения вещей, которое в ней мыслится. То, что мыслимо, также возможно» (3.02).

«Понять предложение — значит знать, что имеет место, когда оно истинно. (Следовательно, можно его понимать, не зная, истинно оно или нет.) Предложение понято, если поняты его составные части» (4.024).

Хотя устранение реляционных предикатов освобождает от необходимости гипостазирования отношений как особых онтологических сущностей, но в то же время это ведет и к некоторым затруднениям. В частности, как отмечает Кюнг, становится непонятно, как можно в таком случае различать разные отношения: ведь если факты представляют собой конфигурации не имеющих содержания, «бесцветных», объектов в логическом пространстве, то как выразить специфику разных отношений? [Кюнг, 1999, c. 110–111].

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

Это «опосредование» понимается следующим образом. Возьмем, к примеру, умозаключение «Все коровы суть млекопитающие. Все млекопитающие суть теплокровные животные. Следовательно, все коровы суть теплокровные животные». Для обоснования его правильности сначала в логике доказывается общая теорема: для всех а, b и с , если все а суть b, то если все b суть с , то все а суть с. Затем демонстрируется, как с помощью трех подстановок (вместо «а», «b» и «с» терминов «коровы», «млекопитающие» и «теплокровные животные» соответственно) и двух применений правила вывода modus ponens мы получаем нужное заключение.

«Каждое предложение логики есть изображенный в знаках modus ponens» (6.1264).

«Если, например, два предложения „p“ и „q“, связанные как „p ? q“, дают тавтологию, то ясно что q следует из p» (6.1221).

Оператор N представляет собой совместное отрицание произвольного числа высказываний, являющихся его аргументами. При наличии одного аргумента применение оператора N дает обычное отрицание, т. е. N (p) означает ~p; при двух аргументах мы получаем конъюнкцию отрицаний, т. е. N (p, q) означает ~p&~q; соответственно конъюнкция двух высказываний выражается N(N(p ),N(q )), а дизъюнкция — N (N (p, q)) и т. д. Если оператор N применяется к большему числу аргументов, то их необязательно перечислять и они могут быть заданы как класс, например функцией. Это позволяет выразить с помощью оператора N выражения с кванторами.

Если тавтологии всегда истинны, то противоречия гарантированно являются ложными.

В одной из своих работ Карнап так характеризует язык: «Язык, как его обычно понимают, это система звуков или, скорее, привычек их производить с помощью органов речи в целях коммуникации с другими людьми, т. е. в целях влияния на их действия, решения, мысли и т. п. Помимо речевых звуков, иногда в тех же целях используют другие движения или вещи, например жесты, написанные значки, сигналы, передаваемые с помощью барабанов, флагов, труб, ракет и т. п.» [Carnap, 1942, p. 3].

Название и строгое обоснование необходимости различения объектного языка и метаязыка было дано А. Тарским в его статье «Понятие истины в языках дедуктивных наук» (в 1933 г. эта статья вышла на польском языке, а в 1935 г. был опубликован ее английский перевод под названием «The Concept of Truth in Formalized Languages»). Вместе с тем идею о том, что логическую структуру одного языка можно описать в другом языке, Витгенштейн обсуждал в «Логико-философском трактате», но отверг ее на том основании, что мы получили бы в результате бесконечную иерархию языков, которая не сделала бы логическую структуру выразимой.

Задание условий истинности предложения осуществляется по схеме: «s» истинно в языке L тогда и только тогда, когда p, где «s» представляет собой имя произвольного предложения s объектного языка L, а p — перевод предложения s в метаязыке. Например, «snow is white» истинно тогда и только тогда, когда снег бел.

В эту серию входят «Введение в семантику» (1942), «Формализация логики» (1943) и «Значение и необходимость» (1947).

Понятие L — истинности служит у Карнапа экспликатом для понятия аналитической истины.

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

Так, если P — свойство, входящее в интенсионал T, то предложение «Все T есть P» является аналитическим, а стало быть, необходимо истинным.

Вдохновила Карнапа на создание этой работы концепция «дефинициальной реконструкции мира», изложенная Б. Расселом в книге «Наше познание внешнего мира» (1914). Карнап определяет феноменалистический базис своей системы как «солипсический», а свою позицию — как «методологический солипсизм», подчеркивая, что выбор базиса — это вопрос методологии, а не метафизики, поэтому возможны и иные решения.

Под определением понятия а на основе понятий b и с Карнап имел в виду правило перевода всех предложений, в которых встречается а, в предложения, в которых встречаются только b и с. Осуществление этого перевода означало бы, что понятие а сводимо к понятиям b и с или строится из них, а в силу транзитивности отношения сводимости можно было бы показать, считал Карнап, что все понятия системы сводятся к ее базисным элементам.

Для Карнапа пересмотр эмпирического базиса был связан с выбором языка для его описания. Сначала в статье «Физикалистский язык как универсальный язык науки» (1931) он, не отказываясь от идеи языка, фиксирующего непосредственный опыт индивида, и называя его «монологическим протокольным языком», выдвинул концепцию физикалистского языка как своего рода посредника между монологическими языками, а затем, в статье «Проверяемость и значение» (1936), усовершенствовал свою трактовку физикализма, сформулировав концепцию «вещного языка». Предложения этого языка описывают наблюдаемые физические объекты и их наблюдаемые свойства, а предикаты образуют, согласно Карнапу, тот эмпирический базис, на основе которого могут быть введены все научные термины, включая психологические понятия.

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

Иногда Карнап высказывается более сдержанно. Он говорит уже не о невозможности интерпретировать внешние вопросы как теоретические, а о том, что пока ни одному философу не удалось дать подобной интерпретации [Carnap, 1963 a , p. 66].

Карнап пишет по этому поводу: «Онтологические тезисы относительно реальности или ирреальности определенных сущностей, тезисы, которые мы рассматриваем как псевдотезисы, мы заменяем предложениями или решениями, касающимися употребления определенных языков. Так, реализм заменяется практическим решением использовать реистский язык, феноменализм — решением использовать только феноменалистический язык, а традиционный психофизический дуализм — решением использовать дуалистический язык и т. п.», и далее: «если „реализм“ понимается как предпочтение реистского языка феноменалистическому то я также реалист» [Carnap, 1963 b , p. 869, 870].

Как говорит о Куайне один автор, «его первая чисто философская статья „Истина по конвенции“… содержит в зародыше многие из основных элементов его поздней философии», и, по сути, в этой статье нет ничего, что бы он позже отверг или серьезно изменил [Isaacson, 2004, p. 233].

Неслучайно, что свое главное философское произведение он назвал «Слово и объект».

Согласно Куайну, «знание, сознание и значение являются частями того же самого мира, с которым они соотносятся, и их следует изучать в том же самом эмпирическом духе, которым вдохновлено естествознание» [Quine, 1969, p. 26].

Он даже отмечает, что бихевиоризм в его истолковании лучше назвать «современным эмпиризмом»: «Эмпиризм этого современного вида, или бихевиоризм в широком понимании, отличается от старого эмпиризма радикальной экстернализацией. Cтарый эмпирист обращался внутрь к своим идеям, новый эмпирист обращается вовне к языку как социальному институту. Идеи выродились в значения, рассматриваемые как придатки слов. Старые, обращенные внутрь, эмпиристы — Гоббс, Гассенди, Локк и их последователи — были вынуждены формулировать свой эмпирический критерий, ссылаясь на идеи; и, делая это, они превозносили чувственные впечатления и с презрением отвергали врожденные идеи. Вместе с тем, когда эмпиризм экстернализируется, идея сама оказывается в немилости; в разговоре об идеях начинают видеть нечто неудовлетворительное, если только его нельзя перевести в разговор о диспозициях к вербальному поведению» [Quine, 1976, p. 58].

Экстероцепторы, или экстерорецепторы, — специализированные рецепторы, воспринимающие внешние раздражения; расположены на поверхности тела, включая слизистую носа, рта и т. п., иногда входят в состав особых органов чувств.

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

Все декларативные предложения Куайн подразделяет на «устойчивые» и «предложения случая». Различие между ними состоит в том, что с устойчивыми предложениями человек, будучи спрошенным, соглашается или не соглашается даже при отсутствии соответствующих невербальных стимулов, тогда как предложения случая требуют наличия невербального стимула каждый раз, когда спрашивается о согласии с ними. Например, большинство людей согласились бы с устойчивым предложением «Существуют черные собаки», не будучи каждый раз побуждаемы к этому присутствием черной собаки, а для согласия с предложением случая «Эта собака черная» присутствие черной собаки необходимо. Среди устойчивых предложений Куайн выделает так называемые вечные предложения. Определяющей характеристикой таких предложений является то, что их истинностное значение остается перманентно закрепленным: «Вечное предложение может быть общим по характеру, или оно может сообщать о конкретном локальном событии. В последнем случае оно приобретает свой особый характер благодаря явному использованию имен, дат или адресов» [Quine, 1974, p. 63].

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

Эту идею о семантическом первенстве предложений он называет «второй вехой эмпиризма», понимая под «вехами» те новые идеи, которые способствовали усовершенствованию трактовки эмпиризма. В качестве других «вех» Куайн указывает переключение внимания философов с идей на слова, холизм (переход от предложений к системам предложений), методологический монизм (отказ от аналитико-синтетического различия) и натурализм.

Эта концептуальная схема представлена Куайном в экстенсиональном языке исчисления предикатов.

От англ. proхy что означает «заместитель», «доверенное лицо». Подробнее см.: [Quine, 1992, p. 31–32].

Следует отметить, что обсуждение Куайном темы радикального перевода вырастает не только из его интереса к проблеме референции, но прежде всего из его критики аналитико-синтетического различия. В статье «Две догмы эмпиризма» он показал, что у нас нет критериев тождества для значений, а потому синонимичность значений оказывается пустым понятием. Его оппоненты (Р. Карнап, П. Грайс и П. Стросон), отстаивающие правомерность аналитико-синтетического различия, в ответ указывали на существование такого общепризнанного систематического способа установления синонимии, как перевод с одного языка на другой. Поэтому в «Слове и объекте» Куайн вновь обращается к дискредитации синонимии, избрав для анализа ситуацию «радикального перевода». В отличие от установления синонимии внутри языка, как, например, в тезаурусе, радикальный перевод является чисто эмпирическим предприятием и не может опираться на интуиции компетентных носителей языка. Обосновывая неопределенность перевода, Куайн стремился показать, что не существует факта синонимичности двух выражений, относительно которого переводчик мог бы ошибаться или быть правым. Таким образом, неопределенность перевода была призвана «забить последний гвоздь в гроб интенсиональных понятий» вроде синонимии значения.

Куайн, естественно, имеет в виду английский язык и предлагает описание того, как лингвист мог бы осуществлять поиск корреляций между особенностями английского языка и структурой туземного языка.

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

С его точки зрения, даже математика не является аналитической дисциплиной в силу того, что она применяется в естественных науках и разделяет с ними их эмпирическое содержание. «Математика не впитывает свое эмпирическое содержание индуктивным путем, как полагал Джон Стюарт Милль, но впитывает его гипотетико-дедуктивным способом, характерным для теоретической науки» [Quine, 1985, p. 333]. Необходимый характер математических истин объясняется тем, что в случае конфликта между гипотезами, при формулировке которых используется математика, и экспериментальными данными математические предложения отбрасываются в крайне редких случаях.

Как отмечают многие критики, подобная переформулировка ведет к очень серьезным расхождениям со смыслом исходного предложения. Возьмем, к примеру, предложение «Мужество есть нравственная добродетель». Если мы переформулируем его, как предлагает Куайн, то получим следующее:? x (если x есть мужественный, то x есть добродетельный) или, иными словами, «Мужественные люди есть нравственно добродетельные люди». Однако условия истинности этих предложений не совпадают: первое («Мужество есть нравственная добродетель») можно считать необходимой истиной, тогда как второе («Мужественные люди есть нравственно добродетельные люди») вполне может оказаться ложным.

В своем сравнении трактовок относительности онтологии у Карнапа и Куайна мы будем опираться на статью Р. Хилтона: [Hylton, 2004, p. 115–160].

Будучи фаллибилистом до мозга костей, Куайн, конечно же, признавал, что теории, считающиеся истинными в одно время, могут быть в последующем отвергнуты, и в этом смысле истина для него, безусловно, является относительной.

В «Слове и объекте» Куайн рассматривает пример, когда химик, увидев зеленоватую примесь в пробирке, делает вывод о том, что там содержится медь. Подобный вывод — от предложения наблюдения «Это зеленоватое» к предложению «Там находится медь» — имеет в качестве своей предпосылки общее знание, имеющееся у химика. Куайн замечает по этому поводу: «Теория-посредник составлена из предложений, связанных друг с другом разнообразными способами, которые не так-то легко реконструировать даже в виде предположения. Имеются так называемые логические связи и имеются так называемые каузальные связи; но любые подобные взаимосвязи между предложениями в конечном счете должны быть следствием обусловливания предложений-реакций предложениями-стимулами. Если некоторые из этих связей в их более конкретном виде расцениваются как логические или каузальные, это происходит только благодаря обращению к так называемым логическим или каузальным законам, которые в свою очередь являются предложениями внутри теории. Теория в целом — в данном случае раздел химии плюс приложения из логики и других наук — является структурой из предложений, разнообразными способами связанных друг с другом и с невербальными стимулами посредством механизма условной реакции» [Quine, 1960, p. 11].

Как известно, Карнап и другие логические позитивисты считали, что протокольные предложения, фиксирующие непосредственный опыт субъекта, обладают бесспорной и абсолютной истинностью. Но в отличие от куайновских предложений наблюдения протокольные предложения являются принадлежностью феноменалистического языка, который наряду с физикалистским или «вещным» языком может быть предметом свободного выбора.

Хотя Куайн признает, что этого совокупного эмпирического содержания недостаточно, чтобы сделать выбор между теориями, которые являются эмпирически эквивалентными, но различаются своим концептуальным аппаратом. Это нашло отражение в его известном тезисе о недоопределенности теорий эмпирическими данными.

Напомним, что помимо философии позднего Витгенштейна и оксфордской философии обыденного языка (Г. Райл, Дж. Остин, П. Стросон и др.) в лингвистической философии также выделяют кембриджскую школу лингвистической терапии (Дж. Уиздом, М. Лазеровиц и др.), а также направление философской психологии (Г. Райл, Э. Энском, Н. Малколм и др.).

Это издание будет использоваться и в дальнейшем при цитировании «Философских исследований» Витгенштейна, поэтому для краткости мы будем лишь указывать в скобках после цитаты номер соответствующего фрагмента.

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

Правда, в 1967 г., когда Грайсом были прочитаны в Гарварде лекции, оформленные затем в виде наиболее известной его работы «Логика и разговор», которая представляет для нас наибольший интерес, он уже покинул Оксфорд и переехал преподавать в Калифорнийский университет в Беркли.

Важно отметить, что Остин говорит не о предложениях как таковых, а об отдельных случаях употребления или произнесения того или иного предложения в конкретной ситуации, и эти случаи употребления предложения он называет высказываниями.

Следует отметить, что обязательным в этой структуре является присутствие локутивного и иллокутивного актов, но не перлокутивного, поскольку слова говорящего не всегда сопровождаются какими-либо изменениями в окружающем мире.

Если говорить точнее, то Грайс предложил различать в произнесении человеком А предложения X три компонента: 1) то, что означает само предложение C, 2) то, что сказал А в конкретном случае, произнеся X, и 3) то, что имел в виду А в этом конкретном случае, произнеся X. То, что А сказал, и то, что А имел в виду, может не совпадать; их различие можно продемонстрировать следующим примером. Профессора А просят дать оценку его ученику В, который претендует на должность преподавателя философии. Профессор дает следующую оценку: «М-р В имеет прекрасный почерк и всегда очень пунктуален». Согласно Грайсу, этими словами профессор А дает понять, что у его ученика нет способностей к философии, поскольку, если бы они у него были, профессор А, понимая, какой информации от него ожидают, обязательно сказал бы об этом.

Главным среди них является принцип рационального и кооперативного обмена информацией, ибо, согласно Грайсу, разговоры обычно не состоят из последовательности не связанных между собой замечаний; они представляют собой совместные усилия или совместную деятельность, направленную на достижение общих целей, и каждый их участник в какой-то мере признает эту общую цель. Этот принцип находит выражение в следующих постулатах: разговор должен быть настолько содержательным, насколько это требуется; человек не должен говорить то, что он считает ложным или во что у него нет серьезных оснований верить; разговор должен быть уместным; следует избегать непонятных и неопределенных выражений, быть кратким и последовательным и т. п.

Для этих логических следствий из сказанного Грайс вводит название «конвенциональная импликатура». В качестве примера конвенциональной импликатуры можно привести такой случай: человек произносит фразу: «Это не Сэм решил данную задачу», из чего следует, благодаря конвенциональному значению, связываемому с данной грамматической структурой, что кто-то решил данную задачу, тогда как фраза «Сэм не решил эту задачу» не имеет данного следствия.

Например, импликативное высказывание «p ? q» при ложном p считается истинным, а соответствующее ему выражение естественного языка «если p, то q» при ложном p мы вряд ли сочтем истинным. Более того, считает Стросон, когда в формальной логике импликация истолковывается как логическое следование, мы имеем в силу того, что «p ? q» эквивалентно «p&~q», внутренне противоречивое объяснение выражения «p логически влечет q».

Строго говоря, Стросон говорит о необходимости различать предложение, его употребление и конкретные случаи его произнесения, однако последний компонент не играет важной роли в его критике и мы его опустим.

В русском языке в обыденных контекстах вместо «истинно» чаще употребляется «верно», однако ради ясности изложения мы не будем учитывать такие детали.

Если принять, что утверждение является одним из видов иллокутивных актов, то, строго говоря, позиция Стросона состоит в том, что при помощи таких высказываний мы совершаем иной акт, чем утверждение.

Стросон признает, что выражение «истинно» имеет очень широкий спектр различных употреблений в повседневной речи; например оно может использоваться в вопросах «Истинно ли то, что…?» и тогда, по его мнению, оно функционирует в значении «неужели» (really) для выражения удивления, сомнения или недоверия. Однако Стросон не ставит себе задачи выявления всех нюансов употребления этого выражения.

Дж. Остин дал следующее оправдание такому доверию: «наш общий запас слов заключает в себе все дистинкции, которые люди считали нужным провести, и все связи, которые они находили важным установить на протяжении жизни многих поколений: эти дистинкции и связи наверняка являются более богатыми по составу и более оправданными, поскольку выдержали долгую проверку на выживание как наиболее целесообразные и тонкие, по крайней мере во всех обыденных и более или менее практических вопросах, по сравнению с тем, что вы или я, возможно, придумаем, сидя в наших креслах» [Austin, 1961, p. 182].

Английский термин «particulars» по-разному переводят на русский язык: и как «партикулярии», и «как единичности», и как «индивидуальные сущие», и как «индивидуальные сущности или объекты». В нашем изложении мы будем использовать все эти варианты.

Стросон выделил и другие признаки предиката, отличающие его от субъекта, такие, как многоместность и способность сочетаться с другими предикатами, подверженность отрицанию и неподверженность квантификации, однако в более полном и развернутом виде анализ различия между субъектом и предикатом представлен им в работе «Субъект и предикат в логике и грамматике» («Subject and Predicate in Logic and Grammar», 1974). Указанные логические особенности предиката объясняются теми функциями, которые он выполняет: с одной стороны, он вводит в суждение универсалию, а с другой — указывает на то, что партикулярия, представленная субъектом суждения, экземплифицирует эту универсалию. Согласно Стросону универсалии представляют собой способы классификации или объединения партикулярий, позволяющие образовывать структуры; это создает возможность отрицания предикатов, тогда как субъектные выражения отрицать нельзя. Функция указания на экземплифицированность универсалии, выполняемая предикатами, препятствует их квантификации и т. д.

Стросон не оставил без внимания вопрос о природе существования. В статье «Разве существование никогда не является предикатом?» (1974) он попытался объяснить существование как логически безупречный предикат, используя понятие экзистенциальной пресуппозиции.

Так, согласно Даммиту, в действительности Тарский не определил понятие «истинно-в-L» для переменной L. Вместо этого он показал, как определять одноместный предикат «s истинно L» для специальных формальных языков, не сказав ничего о том, что есть общего у этих определений, а стало быть, и у предикатов истинности для разных языков. Поэтому, если мы хотим знать, что есть истина, нам недостаточно знать, как условия истинности предложений отдельных языков зависят от семантических свойств их составных частей [Dummett, 1978, p. xx — xxi.

Приверженцами этой идеи были также Карнап, Куайн и др. Карнап писал: «знать значение предложения значит… знать, в каких из возможных случаев оно было бы истинным и в каких — нет» [Карнап, 1959, с. 40].

Например, в интенсиональных контекстах нельзя осуществлять подстановку коэкстенсиональных выражений salva veritate, возникают сложности с квантификацией и т. п.

100

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

101

Иначе говоря, истинностное значение приписывается не самому предложению естественного языка, а конкретному случаю его произнесения в определенных условиях.

102

Именно поэтому s в T-предложениях должно быть структурным описанием p. В наиболее простом случае это выглядит так: «p и q» истинно, если и только если p истинно и q истинно.

103

Согласно Дэвидсону, значение есть «то, что является инвариантным в различных приемлемых теориях истины» [Davidson, 1984, p. 225]. Он надеется, что аналитические вопросы относительно общего понятия значения разрешатся в ходе размышлений над тем, как должна выглядеть конструктивная теория значения для конкретного языка [Davidson, 1984, p. xiii]. С одной стороны, это позволяет избежать тупика, в который нас склонны загонять вопросы вроде «Что такое значение?». С другой стороны, как отмечают критики, аналитические вопросы о значении, которые Дэвидсон оставляет на последнюю очередь, рискуют быть сметенными «под ковер». Ибо построение конструктивной теории значения не разрешит само собой аналитическую проблему. Если мы хотим знать, что значит для предложений быть истинными, недостаточно указать, какие предложения являются истинными в различных языках. Точно так же, если мы хотим знать, что значит для выражений иметь значение, недостаточно указать, какие выражения имеют значение в различных языках.

104

Важно отметить, что хотя Дэвидсон является сторонником теории значения как употребления, он осуждает «некритическое» использование в семантике таких понятий, как конвенция, лингвистическое правило, лингвистическая практика и языковые игры [Davidson, 1984, p. 171]. В связи с этим он указывает на необходимость различать вопросы нормативности и конвенциональности: первые касаются того, подчиняется ли значащая речь правилам, а вторые — того, должны ли подобные правила быть общими для говорящих. Для него «философы, превращающие конвенцию в необходимый элемент языка, смотрят на проблему не с той стороны. Истина, скорее, в том, что язык является условием для обладания конвенциями» [Davidson, 1984, p. 280]. Поэтому знание общих правил «не является ни необходимым, ни достаточным условием для успешной лингвистической коммуникации» [Davidson, 1994, p. 2].

105

Неопределенность интерпретации проявляется даже в простейших случаях. Допустим, кто-то указывает на китовую акулу со словами: «Там кит»; следует ли нам предположить, что он считает указываемое животное млекопитающим или же нам следует заключить, что он имеет в виду что-то вроде «очень большая рыба»? Стремясь понять другого, мы постоянно должны находить компромиссы между мнениями, которые мы ему приписываем, и интерпретациями, которые мы даем его словам.

106

Как признает Дэвидсон, это требование нельзя выполнить при задании условий истинности для предложений с индексикальными выражениями.

107

Теорией действия (action theory) называют исследования человеческого поведения в рамках аналитической философии. Хотя эта тема не является новой в философии, теория действия изменяет традиционный подход к ее рассмотрению: если обычно эта тема предполагает обсуждение таких проблем, как метафизическая природа субъекта действия, свобода воли и ответственность, то аналитических философов в основном интересует онтологический статус человеческих действий, их включенность в причинно-следственные отношения, их связь с психическими актами и состояниями и вытекающие отсюда способы их объяснения. Сосредоточив главное внимание на анализе «интенциональных» действий, аналитические философы, вслед за Элизабет Энском, определяют последние не как нечто такое, что предваряется особым психическим актом намерения, а как то, для совершения чего у человека имеются «разумные основания» (reasons), т. е. имеется желание достичь некоторой цели и есть представление о том, какими средствами это можно сделать. С помощью такого рода разумных оснований мы, как правило, объясняем поступки других людей и свои собственные. Но здесь возникает вопрос: какого рода отношение связывает человеческое поведение и разумные основания? До выхода статьи Дэвидсона «Действия, разумные основания и причины» (1963) считалось, что это отношение не может быть каузальным, а скорее всего является логическим. Главной целью статьи Дэвидсона было «отстоять старую и здравую позицию, согласно которой рационализация (объяснение с помощью разумных оснований. — Л.М.) является разновидностью каузального объяснения» [Davidson, 1980, p. 3].

108

К этому Дэвидсон добавляет довольно сомнительный аргумент, состоящий в том, что поскольку мы не можем различать факты без помощи описывающих их предложений, а один и тот же факт может быть описан многими предложениями (логически эквивалентными или различающимися только кореферентными единичными терминами), то отсюда следует, что «если высказывание соответствует одному факту, то оно соответствует всем» [Ibid.]; иначе говоря, существует один-единственный «Большой факт» (the Great Fact), которому соответствуют все истинные предложения.

109

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

110

Даммит пишет по этому поводу: «Когда я был студентом в Оксфорде в конце 1940-х годов, преобладающим философским влиянием пользовался Райл… Хайдеггер воспринимался только как предмет насмешек, слишком нелепый, чтобы в нем можно было всерьез видеть угрозу для той философии, которой занимались в Оксфорде. Врагом был, скорее, Карнап: именно его считали в райловском Оксфорде воплощением философской ошибки и прежде всего выразителем ложной философской методологии» [Dummett, 1978, p. 437].

111

Впрочем, следует отметить, что последний компонент ни у Фреге, ни у Даммита не играет какой-либо существенной роли.

112

Даммит использует термины «смысл» и «значение» как взаимозаменяемые.

113

Как известно, интуиционисты критикуют классическую математику прежде всего за неограниченное использование в ней закона исключенного третьего. В классической математике можно доказать A, опровергнув не-A, или показав, что А следует из В и из не-B. И в том, и в другом случае имеет место косвенное доказательство, опирающееся на закон исключенного третьего. Интуиционисты же признают только прямое доказательство.

114

В интуиционистской логике даются следующие (неформальные) определения для логических связок и кванторов: 1) для конъюнкции: p&q доказуемо, если и только если доказуемо p и доказуемо q; 2) для дизъюнкции: p ? q доказуемо, если и только если доказуемо p или доказуемо q; 3) для импликации: p ? q доказуемо, если и только если доказуемо, что доказуемость p трансформируется в доказуемость q; 4) для квантора существования:? xFx доказуемо, если и только если для некоторого объекта а доказуемо, что а есть в D, и доказуемо, что Fa (где D — область, над которой осуществляется квантификация); 5) для квантора всеобщности:? xFx доказуемо, если и только если доказуемо, что для каждого объекта a, если доказуемо, что а есть в D, то доказуемо, что Fa. Неожиданным следствием такого определения логических связок является то, что в отличие от классической логики, где связки и кванторы могут определяться друг через друга (например, (p ? q)?~(p&~q)), в интуиционистской логике это невозможно.

115

Термин «антиреализм» был введен им как общее название для позиций, на которых стоят противники реализма.

116

Подробнее о различении Кантом эмпирического и трансцендентального реализма см. выше Введение, примеч. 10.

117

Перечень не содержит, к примеру, классического спора по поводу универсалий и по поводу таких абстрактных сущностей, как значения и суждения; не упоминается в нем и дискуссия об онтологическом статусе возможных миров и многие другие.

118

По сути, согласно Даммиту, возможны четыре позиции: 1) можно быть реалистом в отношении класса высказываний и считать его редуцируемым («усовершенствованный реализм»); 2) можно трактовать этот класс высказываний реалистически, но отрицать его редуцируемость (наивный реализм); 3) можно отрицать реализм в отношении класса высказываний, принимая редуктивный тезис («редуктивный антиреализм»); и 4) можно отрицать реализм в отношении данного класса высказываний, но считать его нередуцируемым («открытый антиреализм») [Dummett, 1979, p. 5].

119

Хотя в другом месте Даммит высказывается иначе: «Феноменалисты традиционно не возражали против двузначности для высказываний о материальных объектах, а иногда даже открыто принимали ее. Тем не менее я счел нужным отнести их к антиреалистам на том основании, что их учение устраняет какие-либо рациональные основания для принятия двузначности для подобных высказываний и, будь они последовательными, они отвергли бы ее» [Dummett, 1996, p. 467].

120

Так, Беркли пишет: «Что существует большое разнообразие духов различных порядков и дарований, способности которых и по числу, и по размеру далеко превосходят те, которыми творец моего бытия наделил меня, — этого я не вижу оснований отрицать. И притязать с моей стороны определять по моей собственной, малой, ограниченной и тесной области восприятий, какие идеи неисчерпаемая сила верховного духа может запечатлеть в этих духах, было бы, конечно, величайшим безумием и дерзостью, ибо может существовать, насколько я в состоянии судить об этом, бесчисленное множество родов или ощущений, столь же отличных один от другого и от всего воспринимаемого мной, как цвета отличаются от звуков» [Беркли, 1978, с. 208].

121

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

122

Тогда как ложным считается только то высказывание, применение к которому (принимаемого) оператора отрицания давало бы истинное высказывание.

Поэтому неслучайно, что исследование споров по поводу реальности прошлого и будущего составляет ключевую тему в философии Даммита.

124

Так, например, интенсионал термина «золото» формулируется в виде дескрипции «тяжелый, неокисляющийся, твердый металл желтого цвета, растворимый в царской водке» или в виде любой другой аналогичной дескрипции.

125

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

126

Поскольку эти теоретические тождества являются апостериорными истинами, признание их необходимого характера свидетельствует об отказе от учения, которое со времен логических позитивистов доминировало в аналитической философии и согласно которому необходимость отождествлялась с априорностью и аналитичностью.

127

Крипке отнес к категории жестких десигнаторов и имена собственные. Это означает, что связь между именами и их носителями носит необходимый, «жесткий» характер и не может измениться при изменении обстоятельств их употребления. Эти выражения, словно бирки, «пришпиливаются» к объектам, на которые они указывают. В отличие от них определенные дескрипции не являются жесткими десигнаторами, поскольку их референция определяется контекстом их употребления. Согласно известному примеру Крипке, имя «Фалес» и дескрипция «греческий философ, полагавший, что все есть вода», считаются, в соответствии с теми сведениями, которыми мы в настоящий момент обладаем, имеющими референцию к одному и тому же человеку, но если в ходе исторических изысканий вдруг выяснится, что Фалес, о котором упоминали Аристотель и Геродот, никогда не считал, что все есть вода, а этого мнения придерживался другой греческий философ-отшельник, о котором не знали ни Аристотель, ни Геродот, то совершенно очевидно, считает Крипке, что референция рассматриваемой дескрипции изменится, тогда как имя «Фалес» сохранится за тем, кому оно было дано при рождении. Более того, этот пример показывает, что дескрипция «греческий философ, полагавший, что все есть вода» (как, впрочем, и любая другая дескрипция) не может идентифицировать того, к кому следует применить имя «Фалес», даже если мы привыкли связывать ее с данным именем. Это означает, что свойства или характеристики, которыми, как нам представляется, должен обладать носитель имени, вовсе не определяют референцию данного имени и даже не составляют его смысла, ибо имена, согласно Крипке, имеют референцию, но лишены смысла.

128

Благодаря этому обстоятельству рассматриваемую концепцию называют также «каузальной теорией референции».

129

Согласно Патнэму, ученый, вводящий в теорию новый термин, рассуждает примерно так: «На мой взгляд, существует частица, ответственная за такие-то эффекты. Назову ее кварком». Но если в последующем научном исследовании выяснится, что никакая частица не удовлетворяет данной при введении термина «кварк» дескрипции, то означает ли это, что кварков не существует? Патнэм так не считает и предлагает принять «принцип полезности сомнения», согласно которому следует допустить, что ученый, вводящий новый термин с помощью некоторой дескрипции, примет разумную переформулировку этой дескрипции, если она окажется ошибочной и неспособной ни на что указывать. Благодаря этому принципу становится очевидным, что термин «электрон», как его использовал Бор, обозначает электроны, хотя в мире нет ничего, что в точности соответствовало бы дескрипции электрона, данной Бором.

130

Это выражение является названием работы Т. Нагеля, посвященной проблемам объективности и реализма, «The View from Nowhere».

131

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

132

Согласно теореме Левенгейма — Сколема, если какая-либо теория, сформулированная в логике предикатов первого порядка, выполнима на некоторой бесконечной области, т. е. имеет бесконечную модель, то она выполнима и на конечной или счетной области. Эта теорема является довольно парадоксальным результатом. Допустим, если мы хотим задать систему аксиом, которые в качестве модели имели бы множество действительных чисел, которое, как известно, не является счетным, то, согласно теореме Левенгейма — Сколема, какую бы совокупность аксиом мы ни сформулировали, если она выполняется для действительных чисел, то она будет выполняться и для натуральных чисел. Это означает, что «посредством аксиом рассматриваемого типа невозможно отличить несчетную область от счетной или конечной» [Новиков, 1973, с. 182].

133

Известный сторонник научного реализма Д. Льюис так охарактеризовал этот аргумент: «Хилари Патнэм изобрел бомбу, угрожающую разрушить реалистическую философию, которую мы знаем и любим. Он поясняет, что способен не проявлять по этому поводу беспокойства и любит бомбу. Он приветствует Новый порядок, что бы он с собой ни принес. Но мы, продолжающие жить в районе назначения бомбы, не согласны. Бомба должна быть уничтожена» [Lewis, 1984, p. 221].

134

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

135

Главное сходство касается трактовки истины. Хотя Даммит определяет истину как оправданную утверждаемость, а Патнэм — как рациональную приемлемость, это чисто терминологическое различие, поскольку и тот и другой связывают истину с понятием оправдания, или обоснования, которое мы имеем в пользу истинности того или иного высказывания.

136

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

137

О неправомерности подобной интерпретации методологических результатов Рамсея и Крейга см.: [Карпович, 1978, с. 97–101], где, в частности, показывается, что хотя при элиминации теоретических терминов сохраняется дедуктивная систематизация теории, но теория утрачивает такие методологические преимущества, как простота, ясность, экономичность и т. п., и более того, не сохраняется индуктивная систематизация, осуществляемая теоретическими терминами в отношении языка наблюдения.

138

Основная идея этого определения состоит в следующем. Введя понятия истинного содержания теории (как класса всех ее истинных следствий) и ложного содержания (как класса всех ее ложных следствий), Поппер пишет: «Предполагая, что истинное содержание и ложное содержание двух теорий t 1 и t 2 сравнимы, можно утверждать, что t 2 ближе к истине или лучше соответствует фактам, чем t 1 , если и только если выполнено хотя бы одно из двух условий: а) истинное, но не ложное содержание t 2 превосходит истинное содержание t 1 ; б) ложное, но не истинное, содержание t 1 превосходит ложное содержание t 2» [Поппер, 2004, с. 389–390]. Однако, как показали ряд авторов, предложенное Поппером формальное определение правдоподобия не работает (см.: [Miller, 1974, p. 166–177; Tichy 1974, p. 155–160]).

139

См., напр.: [McMullin, 1992; Psillos, 1999; Niiniluoto, 1999].

140

Здесь можно в подтверждение сослаться на Патрицию и Пола Черчлендов, Фреда Дрецке, Рут Милликен и др.

141

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

142

Согласно этой теории, предикат «истинно» имеет очень ограниченное «техническое» использование в языке (например, для выражения таких общих высказываний, как «Все, что говорит Платон, истинно»); во всех же остальных случаях он может быть полностью элиминирован из контекстов, в которых используется, без потери какого-либо содержания, ибо утверждение «Р истинно» эквивалентно самому утверждению Р, поэтому какой-либо содержательный анализ этого предиката совершенно излишен, да и невозможен.

143

Интересно отметить, что важные шаги в этом направлении были осуществлены таким критиком реализма, как Л. Лаудан [Laudan, 1990, p. 267–297]. Лаудан показал, что даже если две теории являются эмпирически эквивалентными, т. е. имеют одни и те же дедуктивные связи с эмпирическими утверждениями, это еще не означает, что они равным образом хорошо подтверждаются эмпирическими данными. Дело в том, что подтверждение зависит в значительной мере от вероятностных отношений между теорией и данными, т. е. одни и те же данные наблюдения могут придавать разную вероятность истинности тех теорий, из которых они выводятся как логические следствия. Это соображение получило более серьезное обоснование и дальнейшее развитие в байесизме — влиятельном направлении в методологии науки, которое позволяет количественно, опираясь на понятие вероятности, оценить эпистемическую поддержку гипотез со стороны экспериментальных данных и проливает свет на различия в подтверждающей силе тех или иных наблюдаемых следствий из гипотезы.

144

Подробнее о дискуссии вокруг тезиса недоопределенности см.: [Макеева, 2009Й, с. 24–36].

145

Подробнее см.: [Мамчур, 2004, с. 60–76].

146

Англоязычные философы для выражения этой идеи пользуются выражением «truth-maker», которое на русский язык можно перевести только описательно.

147

Смысл этого аргумента сводится к следующему. Допустим, имеется теория T, согласно которой метод M является надежным для получения эффекта X в силу того, что M использует причинные механизмы С 1 , … , С n , порождающие, согласно T, эффект X. Допустим далее, что мы следуем требованиям T и других принятых вспомогательных теорий, чтобы воспрепятствовать в проводимом нами эксперименте действию факторов, которые могли бы повлиять на каузальные механизмы С 1,…, С n и тем самым помешать появлению X. Представим, наконец, что мы, применив метод M, получили эффект X. Чем еще можно было бы объяснить появление ожидаемого эффекта X, как не тем, что теория T , утверждавшая наличие причинно-следственной связи между С 1,…, С n и X , верно или почти верно описала эту причинно-следственную связь? Если этот «вывод к наилучшему объяснению» является убедительным, то разумно принять T как приблизительно истинную теорию.

Название книги

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

Макеева Лолита Брониславовна

Примечания