Язык, онтология и реализм

Крипке отнес к категории жестких десигнаторов и имена собственные. Это означает, что связь между именами и их носителями носит необходимый, «жесткий» характер и не может измениться при изменении обстоятельств их употребления. Эти выражения, словно бирки, «пришпиливаются» к объектам, на которые они указывают. В отличие от них определенные дескрипции не являются жесткими десигнаторами, поскольку их референция определяется контекстом их употребления. Согласно известному примеру Крипке, имя «Фалес» и дескрипция «греческий философ, полагавший, что все есть вода», считаются, в соответствии с теми сведениями, которыми мы в настоящий момент обладаем, имеющими референцию к одному и тому же человеку, но если в ходе исторических изысканий вдруг выяснится, что Фалес, о котором упоминали Аристотель и Геродот, никогда не считал, что все есть вода, а этого мнения придерживался другой греческий философ-отшельник, о котором не знали ни Аристотель, ни Геродот, то совершенно очевидно, считает Крипке, что референция рассматриваемой дескрипции изменится, тогда как имя «Фалес» сохранится за тем, кому оно было дано при рождении. Более того, этот пример показывает, что дескрипция «греческий философ, полагавший, что все есть вода» (как, впрочем, и любая другая дескрипция) не может идентифицировать того, к кому следует применить имя «Фалес», даже если мы привыкли связывать ее с данным именем. Это означает, что свойства или характеристики, которыми, как нам представляется, должен обладать носитель имени, вовсе не определяют референцию данного имени и даже не составляют его смысла, ибо имена, согласно Крипке, имеют референцию, но лишены смысла.

128

Благодаря этому обстоятельству рассматриваемую концепцию называют также «каузальной теорией референции».

129

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

130

Это выражение является названием работы Т. Нагеля, посвященной проблемам объективности и реализма, «The View from Nowhere».

131

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

132

Согласно теореме Левенгейма — Сколема, если какая-либо теория, сформулированная в логике предикатов первого порядка, выполнима на некоторой бесконечной области, т. е. имеет бесконечную модель, то она выполнима и на конечной или счетной области. Эта теорема является довольно парадоксальным результатом. Допустим, если мы хотим задать систему аксиом, которые в качестве модели имели бы множество действительных чисел, которое, как известно, не является счетным, то, согласно теореме Левенгейма — Сколема, какую бы совокупность аксиом мы ни сформулировали, если она выполняется для действительных чисел, то она будет выполняться и для натуральных чисел. Это означает, что «посредством аксиом рассматриваемого типа невозможно отличить несчетную область от счетной или конечной» [Новиков, 1973, с. 182].

133

Известный сторонник научного реализма Д. Льюис так охарактеризовал этот аргумент: «Хилари Патнэм изобрел бомбу, угрожающую разрушить реалистическую философию, которую мы знаем и любим. Он поясняет, что способен не проявлять по этому поводу беспокойства и любит бомбу. Он приветствует Новый порядок, что бы он с собой ни принес. Но мы, продолжающие жить в районе назначения бомбы, не согласны. Бомба должна быть уничтожена» [Lewis, 1984, p. 221].

134