из-за недостатка дальнейших терминов, относительно которых задают вопрос или отвечают на него.

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

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

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

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

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

I

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

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

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

Убеждения идентифицируются и описываются только в рамках жесткой структуры убеждений. Я могу верить в то, что облако закрывает солнце, но только потому, что я верю в то, что существует солнце, что облака состоят из водяного пара, что вода способна существовать в жидкой и газообразной формах и так далее. Дабы придать содержание моему убеждению, что облако закрывает солнце, не требуется какого-то конкретного набора других убеждений, однако должно существовать некоторое подходящее множество связанных с ним убеждений. Если я предполагаю наличие у вас убеждения в том, что облако закрывает солнце, то я предполагаю наличие у вас некоторой структуры убеждений, поддерживающих данное убеждение. Я допускаю, что эти убеждения должны быть в достаточной мере похожи на мои убеждения, чтобы оправдать описание вашего убеждения именно как убеждения в том, что облако закрывает солнце. Если я прав, приписывая вам данное убеждение, то структура ваших убеждений должна быть похожей на мою. Поэтому неудивительно, что я могу правильно интерпретировать ваши слова только в пределах сходства наших убеждений.

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

II

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

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

Целью является построение теории истины для достаточно важной и значительной части естественного языка. Одним из факторов, которыми определяется значение любых метафизических результатов, является вопрос о границах данной теории — какая часть языка охватывается теорией и насколько она обоснована? Теория должна показать, каким образом каждое из потенциально бесконечного множества предложений можно рассматривать как построенное из конечного числа семантически значимых атомов (грубо говоря, слов) с помощью конечного числа применений конечного числа правил построения. Затем, опираясь на структуру предложений, нужно задать условия истинности каждого предложения (относительно обстоятельств его произнесения). Таким образом, теория должна объяснить условия истинности произнесения некоторого предложения, опираясь на роль слов в этом предложении.

Здесь мы большей частью обязаны Фреге. Именно Фреге осознал важность объяснения того, как истинность предложения зависит от семантических особенностей его частей, и он предложил подобное объяснение для значительных фрагментов естественного языка. Его метод получил широкое распространение: он вводил стандартную систему записи, синтаксис которой прямо отображал подразумеваемую интерпретацию, а затем доказывал, что новая система записи при такой интерпретации обладает теми же самыми выразительными возможностями, что и значительные части естественного языка. Лучше сказать, не вполне теми же самыми возможностями, поскольку Фреге полагал, что в некоторых отношениях естественный язык страдал недостатками, и рассматривал свой новый язык как его улучшение.

Фреге интересовался семантической структурой предложений и семантическими отношениями между ними в той мере, в какой это было связано с выводом следствий. Однако он не смог придти к идее универсальной формальной теории истины для языка в целом. Одной из причин этого было отсутствие у него интереса к семантическим парадоксам. Другой — очевидная готовность признать бесконечность значений (смыслов) и референтов для каждого обозначающего выражения языка.

Поскольку в качестве единственной семантической комбинации Фреге принял применение функции к аргументам, постольку он был вынужден трактовать предложения как имена особого рода — имена истинностных значений. Рассматриваемый просто как искусный прием задания условий истинности предложений, этот ход Фреге заслуживает восхищения. Однако поскольку предложения не функционируют в языке так, как имена, подход Фреге порождает сомнения в том, что онтология, с которой он имеет дело в своей семантике, непосредственно связана с онтологией, неявно предполагаемой естественным языком. Но тогда неясно, что можно узнать о метафизике из метода Фреге. (При этом я, конечно, не имею в виду, что из работ Фреге мы ничего не можем узнать о метафизике, однако обоснование этого требует иных аргументов.)

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