Итак, даже если подходить с экстенсиональной точки зрения и говорить в терминах логических истин и замены одних с инонимов другими, возможность обнаружить признаки синонимии, являющиеся если и не определяющими, то хотя бы иллюстрирующими идентичность едва ли полностью исследована (преимущественно на этом обычно основывается критика холизма — например, данная Фодором и ЛеПором[1] ).
Однако не следует ограничиваться экстенсиональным определением а налитичности как замены в логических истинах одних синонимов другими. Можно, например, описывать аналитичность, обращаясь к языковому поведению, то есть принятию и отказу от определенных типов предложений, не использующему понятие синонимии вообще. Такой подход не обязательно связан со ссылками на наблюдения неязыковых фактов. С учетом физических, социальных, поведенческих и лингвистических контекстов е го шансы на успех существенно возрастают, так как хорошо известно, то сами по себе предложения склонны менять свои значения при употреблении в различных ситуациях. По-видимому, многого могли бы достичь те философы, которые стремятся выяснить, в каких контекстах различные виды выражений следует рассматривать как истинные или ложные б езотносительно к подтверждающим или опровергающим наблюдениям. Такое исследование не обязательно должно отличаться той неопределенностью ("неопределенностью перевода" Куайна или "неопределенностью интерпретации" Дэвидсона), которую прагматики-аналитики склонны приписывать исследованиям этого рода.
Но обсуждение аналитичности не обязано ограничиваться уровнями э кстенсиональной замены синонимов и языкового поведения. Различие между аналитическим и синтетическим уже было проведено с некоторым успехом в интенсиональных терминах, и понятие значения, которое т ак сильно критиковали Куайн, Гудмен и Мортон Уайт, обещает гораздо больше, чем они считали. В рамках интенсионалистского направления (К.И. Льюис и другие) разработаны такие интерпретации аналитичности в терминах включений и исключений критериев значения, которые, несмотря на то, что они не укладываются в принятые экстенсиональные схемы, все же далеки от тавтологий и неоднозначностей . Фактически главной функцией экстенсиональной трактовки аналитичности является, по-видимому, объяснение, а не устранение интенсиональной трактовки, а если это так, то разъяснение экспликанда может с пособствовать, а не мешать разъяснению экспликата. Более того, даже если при том подходе приходится прибегать к мысленным экспериментам, это не должно быть причиной для осуждения первоначального интенсионального подхода к предмету. Частный опыт в конечном счете оказывается, во всяком случае, включенным в наблюдения, а распознавание — в эмпирические верификации. И то, и другое вполне может оказаться включенным также и в основания логических истин, с которых прагматики-аналитики начинают свое обсуждение аналитичности. В озможно даже, что сами логические истины являются лишь частными случаями более широкой области аналитических истин, которые существенно зависят от отношений значений.
Наконец, аналитико-неопрагматистская точка зрения на верификацию заключается в том, что как логические, так и эмпирические предложения должны проверяться не по одному и не на основе фиксированных теоретических соображений, а как части системы в целом (холизм) и в зависимости от целей, для которых системы строятся и используются (неопрагматистский конструктивизм). Такой прагматизм обладает большинством достоинств старого прагматизма, но имеет, кроме того, и свои собственные. Вместе со старым прагматизмом он признает практическую ориентацию познания. Однако, он более последователен, чем старый прагматизм, поскольку берет на себя ответственность за применение прагматических критериев ко всем аспектам познания и сознательно отказывается от оговорок, встречающихся в некоторых других прагматических системах. Он постоянно настаивает на том, что все предложения должны оставаться открытыми для пересмотра. Его ориентация — в отличие, например, от инструментализма Дьюи, — является более философской и менее ситуационной; это проявляется в том, что он больше занимается выяснением концептуальных схем, чем прагматическим решением частных практических проблем. Его методы более строги и аналитичны, чем методы любой из прежних прагматических концепций. Глубже, чем при любом серьезном неидеалистическом подходе к проблемам верификации, в нем осознается характер внутренних связей значения любого конкретного предложения с системой значений в целом: его холизм боле принципиален и последователен. Он ближе к реальным процедурам научного подтверждения, чем старый прагматизм, и точнее отражает явно выраженную тенденцию ученых проверять свои концептуальные схемы в целом. Действительно, утверждение прагматиков-аналитиков, что каждое предложение принадлежит системе, к которой в целом должны быть применены прагматические критерии, в общем едва ли подлежит сомнению, а в целом ряде его конкретных применений это утверждение максимально (либо единственно) продуктивно.
1. Неопрагматизм У.Куайна
Хотя Уиллард ван Орман Куайн (1908-2000), профессор Гарвардского университета, на протяжении своей философской деятельности много занимался проблемами аппарата формальной логики, он всегда был внимателен также и к эпистемологическим и онтологическим аспектам логических исследований. Именно это и привело его к проблеме языкового значения и к переносу акцента с формальных языков на естественные. Что касается его работ по логике как таковой, основными целями Куайна является строгость в логических доказательствах и проверках, унификация и упрощение логических обозначений и устранение ненужных понятий и допущений. Куайн неустанно искал алгоритмические разрешающие процедуры для тех областей логики, которые допускают такие процедуры. Он озабочен отсутствием алгоритмических проверяющих процедур для всех разделов теории квантификации и еще более невозможностью даже полуалгоритмических процедур доказательства для элементарной теории чисел, доказанной Геделем. Однако это до некоторой степени компенсируется тем фактом, что отдельные области математики допускают разрешающие процедуры и что существуют методы, устанавливающие возможность или невозможность доказательств. Поиски Куайном единообразия в логической символике проявились в утверждении, что квантор существования всегда следует интерпретировать одинаково, в его попытках найти разумные способы переформулировки в квантифицируемых терминах модальных высказываний и высказываний, выражаю щих позицию говорящего, например стремление или уверенность ; и еще более существенно в попытке преодолеть сложность символики теории типов Рассела, которую он впервые предпринял в своих «Новых основаниях математической логики», а затем уточнил в «Математической логике» . Куайн предложил способы замены свойств, используемых даже в «Р rincipia mathematica » и в рабо тах Карнапа, концептуальными классами. В действительности он предпочел бы пойти еще дальше и построить логику на номиналистской основе, если бы это можно было сделать в достаточно удобной форме. Однако он признает, что чисто номиналистская логика, если она возможна, была бы крайне неудобна и что в важных областях математики нельзя совсем обойтись без понятия класса.
Куайн вполне уверен в способности современных логических методов пролить свет на философские проблемы, причем не только на семантические и логические, но и на традиционные онтологические. Обычный язык, конечно, остается фундаментальным средством окончательного разъяснения, но для целей «творческого аспекта» фило софского анализа обычному языку недостает той точности и свободы от вводящих в заблуждение предположений, которой можно достигнуть на пути современных методов квантификации. Среди этих философских проблем, которые Куайн рассматривает со своей логической точки зрения , проблемы аналитичности, онтологии и истины.
Проблема аналитичности. Хотя различие между аналитическими и синтетическими высказываниями до недавних пор (а отчасти и по сей день) многими философами- эмпиристами было принято как эпистемологически основное, а на момент его критики Куайном фактически считалось аксиомой, при ближайшем рассмотрении оно оказывается, по мнению Куайна, очень мало обоснованным. Верно, конечно, что такие примеры подстановок в логические законы, как «ни один неженатый человек не женат», можно принять, не обращаясь к конкретным фактам, однако то, что содержится в этом высказывании — скорее логическая истина, чем аналитичность . Главный вопрос связан с теми считающимися аналитическими высказываниями, которые хотя и не являются логическими истинами, но могут быть превращены в них путем замены одних синонимов другими — например, замены "холостяк" на "неженатый человек" в утверждении «Ни один холостяк не женат» . Основная трудность заключается в понятии синонимии, которое нуждается в разъяснении не меньше, чем само понятие аналитичности. Для выяснения понятий синонимии и аналитичности бесполезно обращаться к процедуре определения, так как определение само зависит от синонимии. От взаимозаменяемости salva veritate также мало пользы, так как в высказывании «"Холостяк" содержит меньше десяти букв», конечно, нельзя заменить «холостяк» словами «неженатый человек», не изменяя истинностного значения. Возможно, требуемые подстановки можно сделать в случае высказывания «все холостяки и только они необходимо являются неженатыми людьми», но здесь предполагаются понятия познавательной синонимии и аналитичности. Во всяком случае, в экстенсиональном языке, в котором любые два предиката, истинные для одних и тех же объектов, взаимозаменяемы salva veritate , такая взаимозаменяемость не является гарантией познавательной синонимии. Нет также никакой гарантии того, что экстенсиональное совпадение терминов «холостяк» и «неженатый человек» основано на значении этих выражений, а не на случайном факте, как это имеет место для экстенсионального совпадения понятий «существо, имеющее сердце» и «существо, имеющее почки ». Иногда делаются попытки спасти синонимию и аналитичность, обращаясь к семантическим правилам искусственных языков, но такое обращение рассматривает эти понятия как нередуцируемые и имеет мало ценности с точки зрения действительного языкового поведения.