Томас Кун - После «Структуры научных революций»

Тесно связанная с этим проблема – проблема grue изумрудов [62]– недавно активно обсуждалась в философии. Объект является grue, если его наблюдали зеленым до момента времени t, а после этого он стал голубым. Проблема заключается в том, что один и тот же набор наблюдений, сделанных до момента времени t, подтверждает два несовместимых обобщения: «все изумруды зеленые» и «все изумруды grue». (Заметьте: grue изумруд, если не был проверен до момента t, может быть только голубым.) Решение в данном случае также зависит от разграничения словарей, один из которых содержит нормальное описание цветов «голубой», «зеленый» и тому подобных, и словарь, содержащий «grue», «Ыееп» и другие названия «обитателей» соответствующего спектра. Один набор терминов является проектируемым, осуществляющим индукцию, другой нет. Один набор терминов доступен для описания мира, другой предназначается для решения философом специальных задач. Трудности возникают, только когда оба, содержащие несовместимые корпуса знаний природы, используются одновременно, так как не существует мира, к которому может применяться расширенный словарь [63].

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

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

Угроза реализму – первоочередная проблема, которая меня занимает, и она представляет здесь множество проблем [64]. Язык, осваиваемый посредством техник, подобных обсужденным в предыдущем разделе, дает членам сообщества, его использующего, концептуальный доступ к бесконечному множеству лексически доступных миров – миров, различимых с помощью языка сообщества. Только небольшие частицы этих миров совместимы с тем, что они знают о своем собственном, актуальном мире: другие исключаются требованиями внутренней согласованности или соответствия эксперименту и наблюдению.

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

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

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

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

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

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

То, что я описывал как проблему зависимости от языка, часто называют проблемой изменчивости значения. Чтобы обойти ее и связанные с ней проблемы, имеющие другие источники, многие философы в последнее время указывали, что истинностные значения зависят только от референции и что адекватная теория референции не должна предполагать способ, которым в действительности устанавливаются референты индивидуальных терминов [65]. Самая влиятельная из этих теорий – так называемая каузальная теория референции, разрабатываемая главным образом Крипке и Патнэмом. Она прочно укоренена в семантике возможных миров, а ее комментаторы вновь и вновь обращаются к примерам, взятым из истории науки. Обращение к ней должно как укрепить, так и расширить кратко описанный выше взгляд. Для этой цели я ограничусь версией, развиваемой Патнэмом, так как он более плотно использует материал из развития науки [66].