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

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

ЦИТИРОВАННАЯ ЛИТЕРАТУРА:
Витгенштейн Л. Философские исследования (отрывок) / Пер. с нем. С.А. Крылова // Новое в зарубежной лингвистике. 1985. Вып. XVI. С. 79-154 (см. также Витгенштейн.Л. Философские работы. Часть 1. /Пер. с нем. М.С.Козловой //М., Гнозис,1994. С.75-320).

Dewey J. Experience and Nature. La Salle. III. Open Court, 1925.

Quine W.V.O. Word and Object. Cambridge (Mass.), 1960

Wilson N.L. Substances without Substrata // Review of Metaphysics. 1959. Vol XII, № 4.

Wittgenstein L. Philosophical Investigations. N.Y.: Macraillan, 1953.


КОММЕНТАРИИ
1 В. Куайн указывает на ту традицию в философской мысли, которая стоит за ним (см. Вводные замечания).

2 Речь идет о концепции соотношения языка и мира, изложенной в "Логико-философском трактате" Л. Витгенштейна. В нашей литературе эта концепция иногда именуется концепцией изоморфизма. "Совокупность предложений есть язык... Предложение - образ действительности... Предложение показывает логическую форму действительности" (Витгенштейн Л. Логико-философский трактат. М.: Изд-во иностр. лит., 1958. С. 44, 45, 51).

3 Парадигмальных - здесь достаточно простых и наглядных, чтобы служить характерными примерами.

4 Предикамента (predicamenta) - основная категория в отличие от производной (предикамбилии). Здесь: область действительности, выделенная по способу определения путем остенсии, т.е. указания пальцем.

5 Традиционно в семантике различают два уровня значения термина или имени: смысл и значение, концепт и денотат. Второй термин обозначает класс предметов, обозначаемых данным термином (именем), первый - ту информацию об этом классе, которую несет термин (имя). В зависимости от концепции семантики смысл этой пары меняется и вводится иная терминология. У Куайна значение - тот способ поведения, который отвечает данному имени, референция, экстенсионал - тот предмет, к которому относится это имя. Куайн подчеркивает здесь, что неопределенность радикального перевода означает не просто неопределенность значения, но и неопределенность референции, невыясняемость предмета, к которому относится имя.

6 Понятие геделевского номера вводится следующим образом "По чисто техническим соображениям нам будет удобнее рассматривать формализацию системы Z в форме, несколько отличной от описанной выше... Согласно новым правилам образования, имеется ровно 9 исходных символов


О, x, |, ~, Й, є, A, (,).

Сопоставим этим символам, взятым, скажем, в перечисленном порядке, цифры от 1 до 9, а каждому выражению (конечной последовательности символов) сопоставим в качестве геделевского номера число, записываемое соответствующей последовательностью цифр. Такое сопоставление является, очевидно, взаимно однозначным" (Френкель А., Бар-Хиллел И. Основания теории множеств. С. 359).

7 Куайн здесь следует Ч Пирсу, который использует термин "token" для обозначения знаков в конкретном смысле (знаки, написанные, начертанные и т д.) и термин ''types" для знаков (см.: Тондл Л. Проблемы семантики. М.: Прогресс, 1975. С. 67. Примечание в сноске).

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

Куайн по сути дела доказывает следующую простенькую теорему: если в составе протосинтаксиса есть выражение х^у, то в нем возникает внутреннее противоречие. Действительно, пусть


х = {М, М, М,...},


у = {М, М, М,..."}.

Возможно, в тексте пара ММ никогда не встречается, а встречаются другие цепочки символов. Тогда х^у - пустое множество. Оно тождественно всякому другому пустому множеству. Таким пустым множеством может быть, например, z^y, где z = {К, К, К, ... } и К № М, если комбинация КM - тоже нигде не встречается. Но, по закону протосинтаксиса, если х^у= z^y, то х = z, следовательно, М = К, что противоречит выбору К.

9 Поясним содержание последних четырех абзацев.