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

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

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

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

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

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

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

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

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

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