Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

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

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

Пусть, например, наша теория чисто нумерическая. Ее объектами являются только натуральные числа. В пределах этой теории бессмысленно говорить, какая из различных моделей теории чисел действенна. Но, далее оставаясь в пределах этой теории, мы можем заметить, что какими бы ни были 0, 1, 2, 3 и т. д., теория остается истинной, если 17 в этом ряду будет передвинуто на роль 0 и 18 передвинуто на роль 1 и т. д.

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

Источник: Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада: Учебная хрестоматия (составление, перевод, примечания и комментарии А.А.Печенкина). М.: Издательская корпорация "Логос", 1996. С. 40-61.

3.2 Дональд Дэвидсон. Метод истины в метафизике

I

Когда мы совместно пользуемся некоторым языком, а это необходимо в целях коммуникации, мы принимаем также картину мира, которая в своих общих чертах должна быть истинной. Отсюда следует, что, выявляя общие особенности нашего языка, мы выявляем общие особенности реальности. Поэтому один из способов разработки метафизики заключается в изучении общей структуры нашего языка. Конечно, это не единственный истинный метод метафизики, такого просто не существует. Однако это метод, которым пользовались такие философы, как Платон, Аристотель, Юм, Кант, Рассел, Фреге, Витгенштейн, Карнап, Куайн и Стросон, далекие друг от друга по времени и по своим взглядам. Перечисленные философы не были согласны друг с другом относительно того, каковы важнейшие свойства языка и каким образом их лучше всего изучать и описывать, они приходили к различным метафизическим выводам.

Описываемый и рекомендуемый мною метод не нов, каждую из важнейших особенностей этого метода можно обнаружить у того или иного философа, его основная идея неявно содержится в лучших работах по философии языка. Новым является явная формулировка самого подхода и обоснование его философской значимости. Я начинаю с обоснования, затем перехожу к описанию самого метода и в заключение даю набросок некоторых его применений.