Неоконченный поиск [Интеллектуальная автобиография]

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

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

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

Фреге думает по-другому, ибо вот что он пишет: «Определение понятия… должно недвусмысленно устанавливать для каждого объекта то, подпадает ли он под это понятие или нет… Пользуясь метафорой, мы можем сказать: понятие должно иметь острые края»[24].

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

Этого должно быть достаточно для установления того факта, что «недвусмысленных» понятий, или понятий «с острыми краями», не существует. Поэтому нам не следует удивляться замечаниям вроде того, какое Клиффорд Трузделл сделал по поводу законов термодинамики: «Каждый физик знает точно, что означают первый и второй законы, но… нет двух физиков, которые согласились бы об этом между собой»[25].

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

В любом случае, ловля диких гусей (я имею в виду интерес к левой стороне «Таблицы идей») продолжалась. Когда я писал мою «Логику научного исследования», я полагал, что поиски смыслов слов должны вот-вот прекратиться. Я был оптимистом: они только набирали ход[27]. Задача философии все чаще описывалась как связанная со смыслами, а это большей частью означало, что она связана со смыслами слов. И никто всерьез не подвергал сомнению неявно принятую догму, что смысл утверждения, по крайней мере, в его самой развернутой и недвусмысленной формулировке, зависит от (или является функцией) его слов. В отношении как британских философов языка, так и последователей Карнапа равно справедливо будет сказать, что задача философии для них состояла в «экспликации понятий», то есть в их уточнении. Однако просто нет такой вещи, как «экспликация» или «эксплицированное» или «точное» понятие.

23

23 (Это примечание первоначально составляло часть текста.)

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

Следуя предложению Фреге, введем понятие да-или-нет проблемы или, короче, i/проблемы: для любого предложения а (скажем, «Трава зеленая») соответствующая у-проблема («Зелена ли трава?») может быть записана как «у (а)». Сразу видно, что у(а)= у(не-а): проблема того, является ли трава зеленой, как проблема идентична проблеме, является ли трава не зеленой, даже несмотря на то, что эти два вопроса по-разному сформулированы, и несмотря на то, что ответ «Да» на один вопрос эквивалентен ответу «Нет» на другой.

Мы можем определить то, что я предлагаю назвать проблемным содержанием теории t одним из двух эквивалентных способов: (1) это множество всех тех у(а), для которых а является элементом логического содержания t; (2) это множество всех тех у (а), для которых а является элементом информационного содержания t. Таким образом, проблемное содержание одинаковым образом относится к каждому из двух других видов содержания.

В нашем предыдущем примере с N (теория Ньютона) и Е (теория Эйнштейна) у(Е) принадлежит проблемному содержанию N, a y(N) — проблемному содержанию Е. Если мы обозначим как К (=К₁, иК₂и К₃) утверждение, формулирующее три закона Кеплера, ограниченное задачей с двумя телами, то К₁ и К₂ следуют из N, но противоречат Е, в то время как К₃ и, следовательно, К противоречат и N, и Е. (См. мою работу [1957(i)], [1969(k)], главу 5 [1972(a)], а также [1963(a)], с. 62, примеч. 28.) Тем не менее у(К) и у(К₁)_у у(К₂), у(К₃) все принадлежат проблемному полю и N, и Е, а у(N) и у(Е) обе принадлежат проблемному полю К, К₁,К₂ и К₃ То, что у(Е), проблема истинности или ложности теории Эйнштейна, принадлежит проблемному полю К и проблемному полю Е, иллюстрирует факт, что здесь не может быть транзитивности. Потому что проблема истинности теории оптического эффекта Допплера — то есть y(D)~ принадлежит проблемному содержанию Е, но не N и не К.

Хотя здесь нет транзитивности, здесь может быть связь: можно сказать, что проблемные содержания а и b связаны посредством у (с), если у (с) принадлежит проблемным содержаниям и а, и Ь. Очевидно, что проблемные содержания любых а и b всегда могут быть связаны путем выбора какого-нибудь подходящего с (возможно с=а или b); таким образом, сам по себе факт, что а и b связаны, является тривиальным; однако тот факт, что они связаны некоторой конкретной проблемой у (с) (которая нас по тем или иным причинам интересует), может оказаться не тривиальным и добавить значимости a, b и с. Большинство связей, конечно, не известны в данный период времени.

24

24 Gottlob Frege, Grundgesetze der Arithmetik (Jena: H. Pohle, 1903), Vol. II, section 56.

25

25 Clifford A. Truesdell «Foundations of Continuum Mechanics», в Delaware Seminar in the Foundations of Physics, ed. By Mario Bunge (Berlin, Heidelberg, New York: Springer-Verlag, 1967), c. 35–48; см. особенно c. 37.

26

26 Gottlob Frege, «Über Begriff und Gegenstand», Vierteljahrsschrift f. wissenschaftliche Philos., 16 (1982), 192–205. Cp. c. 43 в Geach and Black, eds., Philosophical Writings of Gottlob Frege, с. 42–55 (см. примеч. 10 выше).

27

27 Ссылки в квадратных скобках вида [1957(h)] относятся к Избранной Библиографии на с. 33. — Прим. пер.