Философия Х. Патнэма

Однако главное возражение против предложенной Патнэмом трактовки операциональных и теоретических ограничений состоит в том, что трудно найти философа, который считал бы, что указанные ограничения, определяющие истинность некоторой теории, детерминируют ее интерпретацию. Такую точку зрения можно, видимо, приписать только П.У.Бриджмену, который понимал под значением термина то множество операций, с которыми связано употребление данного термина. Так, значение слова "температура", по его мнению, выражает только то, что мы измеряем с помощью термометра. Поэтому предложение "Температура равна 20⁰ С" говорит только то, что столбик ртути в термометре поднялся до отметки "20". В этом смысле Бриджмен действительно считал, что условия истинности предложения детерминируют референцию входящих в него слов. Однако большинство философов не согласилось бы с этой точкой зрения. Продолжая пример с температурой, мы могли бы сказать, что на основе истинности предложения "Температура равна 20⁰ С", о чем свидетельствует столбик термометра, поднявшийся до отметки "20", еще нельзя установить, как интерпретируется термин "температура" – то ли как средняя молекулярно-кинетическая энергия, то ли в терминах феноменологической теории теплоты. Интерпретация теории представляет собой довольно сложную процедуру, в которой обязательно используется такой компонент теории, как идеальная репрезентация фрагмента действительности. Поэтому нельзя согласиться с Патнэмом, что предложенная им трактовка теоретических и операциональных ограничений является общепринятой точкой зрения на интерпретацию. Это означает, что его теоретико-модельный аргумент не направлен непосредственно против общепринятой точки зрения на интерпретацию. Однако поскольку основная цель этого аргумента состоит в обосновании неопределенности референции, этот результат интересен сам по себе, независимо от того, насколько он подрывает общепринятое представление об интерпретации.

Патнэм строит свое доказательство, используя аппарат теории моделей (поэтому это доказательство и получило название "теоретико-модельного аргумента"). Мы не будем здесь воспроизводить это доказательство, поскольку это потребовало бы введения многих математических понятий. Мы ограничимся лишь изложением того примера, который Патнэм приводит в качестве иллюстрации, поскольку этот пример, на наш взгляд, хорошо раскрывает основную идею доказательства и достаточно прост для понимания.

В качестве отправного пункта Патнэм берет предложение:

(1) Кот находится на ковре.

Согласно теоретико-модельным представлениям, предложение (1) является истинным в тех возможных мирах, в которых по крайней мере один кот находится на ковре. При этом "кот" обозначает котов, "ковер" обозначает ковры, а отношение "находиться на" понимается безотносительно ко времени. Основная идея доказательства состоит в том, чтобы показать возможность такой переинтерпретации предложения (1), при которой "кот" в действительном мире будет обозначать вишни, а "ковер" – деревья, однако значение истинности предложения (1) сохранится неизменным во всех возможных мирах. Для построения новой интерпретации Патнэм вводит обозначения "кот*" и "ковер*". В итоге мы получаем следующее предложение:

(2) Кот* находится на ковре*.

Итак, в новой интерпретации предложение (2) в действительном мире должно означать, что вишня находится на дереве. Патнэм начинает с того, что разбивает все возможные миры на три группы.

(a) В первую группу входят миры, в которых и предложение "Кот находится на ковре", и предложение "Вишня находится на дереве" являются истинными, то есть в этих мирах по крайней мере один кот находится на ковре и по крайней мере одна вишня находится на дереве.

(b) Во вторую группу входят возможные миры, в которых предложение "Кот находится на ковре" является истинным, а предложение "Вишня находится на дереве" является ложным, то есть в этих мирах по крайней мере один кот находится на ковре, и ни одна вишня не находится на дереве.

(c) В третью группу входят, во-первых, возможные миры, в которых предложение "Кот находится на ковре" является ложным, а предложение "Вишня находится на дереве" является истинным, и, во-вторых, возможные миры, в которых оба рассматриваемых предложения являются ложными.

Как мы видим, в основе указанного разделения возможных миров лежит обычная таблица истинности. На основе этого разделения Патнэм предлагает следующую интерпретацию для "кота*" и "ковра*":

x является котом*, если и только если имеет место случай (a) и x является вишней; или имеет место случай (b) и x является котом, или имеет место случай (c) и x является вишней.

y является ковром*, если и только если имеет место случай (а) и y является деревом; или имеет место случай (b) и y является ковром; или имеет место случай (c) и y является кварком.