О влиянии Витгенштейна свидетельствует и постоянное обращение Патнэма к его идеям и аргументам. Особенно сильны витгенштейнианские мотивы в предложенной Патнэмом критике магической теории референции.
Критика Патнэмом метафизического реализма не ограничивается аргументом, опирающимся на предположение о мозгах в сосуде. Он предложил еще один аргумент, который в литературе получил название "теоретико-модельного аргумента против метафизического реализма". Патнэм придает очень большое значение этому аргументу, считая его своим главным достижением в критике метафизического реализма.
3. Теоретико-модельный аргумент против метафизического реализма
В определенном смысле теоретико-модельный аргумент Патнэма продолжает ту стратегию критического наступления на метафизический реализм, которая нашла отражение в его аргументе, связанном с предположением, что человеческие существа являются мозгами в сосуде. В центре и того, и другого аргумента строят проблема референции и анализ тех трудностей, с которыми связано решение этой проблемы. Если говорить обобщенно, то в теоретико-модельном аргументе Патнэм стремится обосновать положение о невозможности выделить какое-либо единственное отношение референции между терминами и их референтами в качестве отношения соответствия. Иными словами, основная цель этого аргумента состоит в том, чтобы доказать тезис о неопределенности референции. С точки зрения Патнэма, этот результат является хорошим опровержением метафизического реализма, который связан с признанием одного "действительного" отношения соответствия между языком и реальностью.
По замыслу Патнэма, непосредственным объектом критики в теоретико-модельном аргументе является общепринятое представление о том, как устанавливается интерпретация нашего языка, то есть как присваиваются интенсионалы и экстенсионалы словам и выражениям. Согласно Патнэму, это общепринятое представление связано с понятиями операционального и теоретического ограничений. В упрощенной трактовке операциональное ограничение формулирует условие, согласно которому некоторое предложение (например, "По цепи течет электрический ток") является истинным, если и только если имеет место определенный результат проверки (например, отклонилась стрелка вольтметра). Как отмечает Патнэм, это определение, если его не уточнить, выражает точку зрения наивного операционализма, которую сейчас никто не воспринимает всерьез. Поэтому при трактовке операционального ограничения следует учитывать, что, во-первых, связи между теорией и опытом являются вероятностными, во-вторых, "даже эти вероятностные связи не являются простыми семантическими корреляциями, а зависят от эмпирической теории, которая подвержена пересмотру" [114], и, в-третьих, теории не проверяются предложение за предложением, а проходят проверку опытом как совокупное целое. Согласно Патнэму, сторонники общепринятой точки зрения вполне согласятся со всеми этими уточнениями, не отказываясь при этом от идеи, что операциональные ограничения выделяют интерпретацию наших терминов.
Теоретические ограничения связаны с формальными свойствами теории и, как правило, формулируются в виде ограничений на принятие теории (например, "не следует принимать теорию, которая требует отказа от очень большого числа ранее считавшихся истинными утверждений"), однако, считает Патнэм, они могут быть легко переформулированы в качестве ограничений на интерпретацию теории (например, "приемлемой считается такая теория, которая сохраняет истинность предложений, считавшихся таковыми в течение длительного периода времени").
Согласно Патнэму, "трудность, с которой сталкивается общепринятая точка зрения, связана с тем, что здесь делается попытка установить экстенсионалы или интенсионалы отдельных терминов через установление условий истинности предложений в целом" [115]. Дело в том, что операциональные и теоретические ограничения, по существу, определяют, какие предложения в языке являются истинными. Для обоснования неадекватности общепринятой точки зрения Патнэм ставит перед собой задачу показать, что "даже если мы имеем ограничения какой бы то ни было природы, определяющие значение истинности каждого предложения языка в каждом возможном мире, тем не менее референция отдельных терминов остается неопределенной" [116]. По мнению Патнэма, неопределенность референции означает, что можно задать абсолютно различные интерпретации языка, которые тем не менее сохранят значение истинности каждого предложения в каждом возможном мире в неизменном виде.