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

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

Согласно Патнэму, "трудность, с которой сталкивается общепринятая точка зрения, связана с тем, что здесь делается попытка установить экстенсионалы или интенсионалы отдельных терминов через установление условий истинности предложений в целом" [115]. Дело в том, что операциональные и теоретические ограничения, по существу, определяют, какие предложения в языке являются истинными. Для обоснования неадекватности общепринятой точки зрения Патнэм ставит перед собой задачу показать, что "даже если мы имеем ограничения какой бы то ни было природы, определяющие значение истинности каждого предложения языка в каждом возможном мире, тем не менее референция отдельных терминов остается неопределенной" [116]. По мнению Патнэма, неопределенность референции означает, что можно задать абсолютно различные интерпретации языка, которые тем не менее сохранят значение истинности каждого предложения в каждом возможном мире в неизменном виде.

Прежде чем перейти к рассмотрению предложенного Патнэмом доказательства, нам бы хотелось более внимательно разобраться с вопросом об операциональных и теоретических ограничениях. В философии науки эти понятия обычно используются, когда речь идет о необходимых условиях для принятия теории. Операциональные ограничения, по существу, выражают требование согласованности принимаемой теории с результатами экспериментов, наблюдений и т.д., то есть требование подтверждаемости теории эмпирическими данными. Теоретические ограничения выражают свойства, которыми должна обладать принимаемая теория (например, непротиворечивость, простота и т.д.). Если некоторая теория удовлетворяет операциональным и теоретическим ограничениям, то означает ли это, что она истинна? Многие философы науки (а среди них и те, кто придерживается корреспондентной теории истины) воздержались бы от столь категоричного утверждения и признали бы просто, что эта теория является хорошо подтвержденной. Но даже если некоторые из них и охарактеризовали бы такую теорию как истинную, это вовсе не означает, что они признали бы все предложения данной теории истинными. Во-первых, некоторые утверждения даже в целом истинной теории могут оказаться ложными и потребуют уточнения и исправления в ходе дальнейшего научного исследования. Во-вторых, научные теории содержат и такие предложения, которые нельзя охарактеризовать с точки зрения истинности (к их числу относятся, например, различные определения). Поэтому когда Патнэм говорит, что операциональные и теоретические ограничения определяют, какие предложения в языке являются истинными, он допускает некорректность. Операциональные и теоретические ограничения определяют истинность теории в целом, а не ее отдельных утверждений. Иначе Патнэм вынужден был бы приписать "сторонникам общепринятой точки зрения на интерпретацию" представление, согласно которому научная теория представляет собой конъюнкцию предложений и поэтому проходит проверку опытом предложение за предложением, а не как совокупное целое. Это означает, что указанные выше уточнения (вероятностные отношения между теорией и опытом, теоретическая нагруженность данных опыта, тезис Куайна и т.д.), принятие которых, по мнению Патнэма, не меняет существа общепринятой точки зрения, значительным образом влияют на понимание роли операциональных и теоретических ограничений.