Предположения и опровержения. Рост научного знания

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

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

436

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

В этом можно убедиться на примере. Предложение «Фидо есть собака» истинно, потому что Фидо был одним из предметов, перечисленных нами при определении слова «собака». А вот предложение «Чанки есть собака» может быть ложным просто потому, что Чанки не был включен в список, определяющий слово «собака». Аналогичным образом, если значение слова «белый» я задаю списком, включающим: (1) лист бумаги, на котором я сейчас пишу, (2) мой носовой платок, (3) облако, плывущее надо мной, и (4) нашего снеговика, то предложение «У меня белые волосы» будет ложным независимо от того, какого цвета у меня волосы.

Ясно, что в таком языке нельзя формулировать гипотезы, и он не может быть языком науки. И наоборот, каждый язык, адекватный целям науки, должен включать в себя слова, значения которых заданы не перечислением. Или, можно сказать, каждый научный язык должен использовать подлинные универсалии, т.е. слова с неопределенным объемом, хотя, быть может, с четким интенсиональным «Значением». (Об интенсиональном анализе значения см. превосходную книгу Карнапа «Значение и необходимость».)

Такая же критика справедлива и для более сложных языков, в частности, для тех, в которых понятия вводятся посредством метода экстенсиональной абстракции (впервые использованного Фреге и Расселом). При этом предполагается, что класс фундаментальных элементов, лежащий в основе применения этого метода, и фундаментальные отношения между ними заданы экстенсионально, списком. Это было сделано в «Построении мира» Карнапа: он считал, что его исходное отношение «Er» («переживание воспоминания») может быть задано списком пар²⁶.

437

Все понятия, входящие в его «конститутивную систему», считаются экстенсионально определимыми через это исходное отношение «Er», т.е. посредством списка пар, придающих значение этому отношению. Поэтому все утверждения этого языка истинны или ложны просто благодаря (экстенсиональному) значению его слов: все они являются либо аналитически истинными, либо противоречивыми²⁷ благодаря отсутствию подлинно универсальных²⁸ слов.

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

Уже давно стало ясно, что это учение ошибочно. По-видимому, мы можем вместе с Расселом построить язык (содержащий теорию типов), в котором подобные выражения не будут правильно построенными формулами. Но мы также можем вместе с Цермело и его последователями (Френкелем, Беманом, фон Нейманом, Бернайсом, Лесневским, Куайном, Ак-керманом) построить язык, в котором эти выражения будут считаться правильно построенными и, следовательно, осмысленными. В некоторых языках они будут даже истинными утверждениями (для определенных значений а).

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

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

438