Я полагаю, что с этим утверждением может согласиться большинство людей; однако кое-кто может захотеть привести следующие доводы. Вопрос, является ли теория истинной, или новой, или интеллектуально значимой, зависит от ее смысла; а смысл теории (если она сформулирована грамматически недвусмысленно) является функцией смыслов слов, в которых эта теория сформулирована. (Здесь, как в математике, термин «функция» включен для объяснения порядка аргументации.)
Этот взгляд на смысл теории кажется почти очевидным; он широко распространен и часто бессознательно принимается как нечто само собой разумеющееся[12]. Тем не менее в нем едва ли содержится хотя бы толика истины. Я бы противопоставил ему следующую грубую формулировку.
Отношение между теорией (или утверждением) и словами, использованными для ее формулировки, аналогично отношению между написанным словом и буквами, использованными для его написания.
Ясно, что буквы не имеют «смысла» в том смысле, в каком его имеют слова; хотя мы и должны знать буквы (то есть в каком-то смысле их «смысл»), если мы хотим узнать слова и различать их смыслы. Примерно то же самое можно сказать о словах и утверждениях или теориях.
Буквы играют чисто техническую или прагматическую роль в формулировании слов. На мой взгляд, слова также играют чисто техническую и прагматическую роль в формулировании теорий. Таким образом, и буквы, и слова являются просто средствами для достижения целей (различных целей), а единственно интеллектуально важными целями являются: формулирование проблем, пробное предложение теорий для их решения и критическое обсуждение соперничающих теорий. Критическое обсуждение оценивает представленные теории с точки зрения их рациональной и интеллектуальной ценности для решения поставленной проблемы, а также в отношении их истинности или близости к истине. Истина является главным регулирующим принципом в критике теорий; другим принципом является их способность ставить новые проблемы и решать их (см. мою работу «Предположения и опровержения», гл.10).
Существует несколько превосходных примеров, показывающих, как теории T>1 и Т>2, будучи сформулированными в совершенно различных терминах (терминах, которые не поддаются однозначному переводу друг в друга), тем не менее могут быть логически эквивалентными, так что мы может сказать, что T>1 и Т>2 являются просто разными формулировками одной и той же теории. Это показывает, что ошибочно рассматривать логический «смысл» теории как функцию «смыслов» слов. (Для того, чтобы установить эквивалентность T
