Для того, чтобы обрисовать вещи в том виде, в каком я вижу их сейчас, я воспользуюсь таблицей идей, которую я впервые опубликовал в работе «Об источниках знания и невежества»[10].
Сама по себе эта таблица довольно тривиальна: логическая аналогия между левой и правой ее сторонами хорошо установлена. Однако ее можно использовать для того, чтобы вернуться к моему заклинанию, которое теперь можно переформулировать следующим образом.
Несмотря на полную логическую аналогию между левой и правой сторонами этой таблицы, левая сторона философски неважна, в то время как правая философски бесконечно важна[11].
Из этого следует, что философии значений и философии языка (пока они занимаются словами) идут по неверному пути. В области интеллекта единственными вещами, достойными наших устремлений, могут быть только истинные теории или теории у приблизившиеся к истине, — во всяком случае, оказавшиеся ближе к ней, чем другие (соперничающие) теории, например более старые.
Я полагаю, что с этим утверждением может согласиться большинство людей; однако кое-кто может захотеть привести следующие доводы. Вопрос, является ли теория истинной, или новой, или интеллектуально значимой, зависит от ее смысла; а смысл теории (если она сформулирована грамматически недвусмысленно) является функцией смыслов слов, в которых эта теория сформулирована. (Здесь, как в математике, термин «функция» включен для объяснения порядка аргументации.)
Этот взгляд на смысл теории кажется почти очевидным; он широко распространен и часто бессознательно принимается как нечто само собой разумеющееся[12]. Тем не менее в нем едва ли содержится хотя бы толика истины. Я бы противопоставил ему следующую грубую формулировку.
Отношение между теорией (или утверждением) и словами, использованными для ее формулировки, аналогично отношению между написанным словом и буквами, использованными для его написания.
Ясно, что буквы не имеют «смысла» в том смысле, в каком его имеют слова; хотя мы и должны знать буквы (то есть в каком-то смысле их «смысл»), если мы хотим узнать слова и различать их смыслы. Примерно то же самое можно сказать о словах и утверждениях или теориях.
Буквы играют чисто техническую или прагматическую роль в формулировании слов. На мой взгляд, слова также играют чисто техническую и прагматическую роль в формулировании теорий. Таким образом, и буквы, и слова являются просто средствами для достижения целей (различных целей), а единственно интеллектуально важными целями являются: формулирование проблем, пробное предложение теорий для их решения и критическое обсуждение соперничающих теорий. Критическое обсуждение оценивает представленные теории с точки зрения их рациональной и интеллектуальной ценности для решения поставленной проблемы, а также в отношении их истинности или близости к истине. Истина является главным регулирующим принципом в критике теорий; другим принципом является их способность ставить новые проблемы и решать их (см. мою работу «Предположения и опровержения», гл.10).
Существует несколько превосходных примеров, показывающих, как теории T1 и Т2, будучи сформулированными в совершенно различных терминах (терминах, которые не поддаются однозначному переводу друг в друга), тем не менее могут быть логически эквивалентными, так что мы может сказать, что T1 и Т2 являются просто разными формулировками одной и той же теории. Это показывает, что ошибочно рассматривать логический «смысл» теории как функцию «смыслов» слов. (Для того, чтобы установить эквивалентность T1 и Т2, может оказаться необходимым построить более богатую теорию Т3, в которую можно было бы перевести T1 и Т2. В качестве примеров можно привести различные аксиоматизации проективной геометрии, а также волновые и корпускулярные формализмы квантовой механики, эквивалентность которых можно установить путем перевода обоих на операционный язык).[13]
10
10 Ежегодная Философская Лекция (Annual Philosophical Lecture, British Academy, 1960 [1960(d)], [1961(f)]; перепечатано в «Предположениях и опровержениях» [1963(a)], см. особенно с. 19 и далее. См. также с. 349 моей «Эпистемологии без субъекта познания» [1968(s)], а также главу 3 моей [1972(a)]. (Таблица, воспроизведенная здесь, является небольшой модификацией оригинала.)
11
11 См. 3-е издание «Предположений и опровержений» [1969(h)], с. 28, введенный в это издание пункт 9. (Пункт 9 в ранних изданиях теперь идет под номером 10.)
12
12 Даже Готлоб Фреге не формулирует его во вполне явном виде, хотя он несомненно имплицитно содержится в его «Sinn und Bedeutung» (О смысле и значении), и он даже приводит аргументы в его пользу. См. также Peter Geach and Max Black (eds)
13
13 См. мою статью «Квантовая механика без «наблюдателя»» [1967(к)]; см. особенно с. 11–15, где обсуждается настоящая проблема. (Кстати, эта частная эквивалентность в ней подвергается сомнению.)