184-1 (Прагматический анализ), страница 3

Проблема истины. Если обоснование по существу прагматично, то какие виды сущностей в действительности обосновываются? Если начать с негативной стороны, Куайн питает антипатию к так называемым значениям . Верно, что выражения значимы (осмысленны) и что они означают нечто, но идти дальше и говорить, что, следовательно, выражения имеют значения, представляет собой попросту введение лишних сущностей без необходимости. Ощущаемая нами потребность в обозначаемых сущностях в значительной степени вызвана неумением провести различие между значением и референцией, выражающееся, например, в том, что хотя «вечерняя звезда» и «утренняя звезда» вовсе не сходны по значению, они указывают на одну и ту же звезду. Действительно, большая часть того, что существенно отличает значение от отнесения, связана с контекстом «сходны по значению», а большая часть остального содержится в таких терминах, как «значимый» и «осмысленный». Таким образом, нет необходимости в подставных «промежуточных сущностях», называемых «значениями », и предполагаемая объяснительная сила таких сущностей совершенно иллюзорна. Значения как идеи, с точки зрения Куайна, бесполезны для науки о языке, и говорить, что значения имеют идеальное, а не реальное существование, значит вносить чрезвычайную сложность и путаницу в логические обозначения и онтологические рассуждения.

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

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

В широком смысле истина должна определяться в соответствии со здравым смыслом как некоторого рода соответствие действительности или отражение мира, такое, что высказывание «Джеймс курит» следует считать истинным в точности при тех обстоятельствах, при которых Джеймса следует считать курящим. К сожалению, однако, высказывания о физических объектах нельзя подтвердить или опровергнуть путем прямого сравнения с опытом, а высказывания, которым мы приписываем истинность или ложность, очень часто сложным образом переплетены с детально разработанными концептуальными схемами, вместе с которыми они обосновываются или отвергаются. Для того чтобы некоторые решающие части концептуальной схемы хотя бы временно считать бесспорными и облегчить переход от одной части системы к другой, часто бывает удобно формализовать эти решающие части в виде постулатов и определений, и такая формализация действительно часто облегчала прогресс науки. При этом большинство математических истин можно рассматривать как введенные по определению сокращения логических истин, а те, которые не поддаются такой трактовке, легко ввести в систему с помощью нескольких дополнительных постулатов. Значительную часть физики можно аналогично рассматривать как формальную систему, и современная философия все больше стремится делать упор на условный элемент за счет интерпретационного в самых различных науках[2] .

Однако существуют пределы полезности формализации. Любая концептуальная схема, чтобы быть пригодной для использования, должна ориентироваться на наблюдения. Во всяком случае, физические соглашения должны выбиваться в соответствии с опытом наблюдений и подлежат изменению, если оказывается, что этого требует опыт. Даже элементарную логику едва ли можно свести к чистому соглашению, так как если логика даже косвенным образом происходит из конвенций, то для ее вывода из этих конвенций уже нужна логика. По мнению Куайна, в принципе невозможно получить даже наиболее элементарную часть логики исключительно с помощью явных применений заранее установленных конвенций; так как логические истины, число которых бесконечно, должны быть заданы общими конвенциями, а не по отдельности, и логика нужна хотя бы для того, чтобы применить общие конвенции к отдельным случаям. Из того, что результаты законодательного постулирования являются — пусть даже всегда являются — результатами произвольного постулирования, еще не следует, что они тем самым истинны произвольно, и если постулаты однажды были заданы, пусть даже произвольно, дальнейшее использование их происходит в терминах дискурсивного постулирования, которое фиксирует не истину, но лишь некоторое упорядочение истин. Ни одна из истин, известных нам, не является чистым соглашением или чистым фактом. Вместе они образуют, по знаменитой, достойной Шекспира, метафоре Куайна, бледно-серую ткань, в которой черное идет от факта, а белое от конвенции, но не видно ни одной полностью белой или черной нити.

2. Неопрагматизм Н.Гудмена

Несколько менее явно прагматичной и более систематической, чем теория познания Куайна, является теория познания, развитая в работах Нелсона Гудмена (1906-1998). Подобно большинству философов-аналитиков, Гудмен не пытается создать ни систематической теории познания, ни описания независимо существующего мирового порядка,. Прежде чем попытаться описать процесс приобретения знания или «генезис идей», Гудмен стремится, как и Карнап в «Логическом построении мира», провести «рациональную реконструкцию» процесса приобретения знания. В основном его интересует не то, что первично в познавательном процессе, а то, что может служить базисом для экономичной, ясной и единой системы. Хотя искомая рациональная рекон струкция допускает значительную свободу, ее цель, выбор ее основных элементов и метод построения в целом не должны слишком удаляться от цели и методов обычного рассуждения, так как ее конечная функция — объяснение.

Рассмотрим эпистемологический фон построений Гудмена. Характерная для классической эпистемологии парадигма подразумевает действительность не задаваемой, а данной. Здесь объект познания — нечто предзаданное, нечто налично существующее; все знание, с такой точки зрения, может быть выстроено на основе некоторых перцептуальных образований, предшествующих любой концептуализации. В аналитической традиции — начиная, например, с того же "Логического построения мира" — существует иной подход, отклоняющий эпистемологически "данное" в опыте наряду с любым требованием эпистемологического приоритета внелогических оснований знания. Гудмен весьма последовательно реализует такой подход: согласно его точке зрения, разум активен в восприятии на всех уровнях; не существует вообще такой вещи как неструктурированные, абсолютно непосредственные сенсорные данные, свободные от классификации. Все восприятие определено выбором и классификацией, в свою очередь сформированными совокупностью унаследованных и приобретенных различными путями ограничений и преференций. Даже феноменальные утверждения, подразумевающие описание наименее опосредованных ощущений, не свободны от таких формообразующих влияний. Согласно Гудмену, действительность не скрыта от нас; однако систематически постигать ее можно не только одним способом, но множеством способов. Конечно, существуют системы, не согласующиеся с нашим опытом; но вместе с тем имеется и множество различных систем, которые "соответствуют" ( fit ) миру, причем некоторые из них представляют собой полностью равнозначные альтернативы.

Эти идеи развиваются Гудменом в конструктивных логических системах. Он принимает аналитичный — логикоморфный — подход, реализованный в рамках эпистемологического конструктивизма[3] . Его интересует не то, что первично в познавательном процессе, а то, что может служить базисом для экономичной, ясной и единой системы. В подобной системе определяющее — это комплекс интерпретированных терминов, а определяемое — известный осмысленный термин, и аккуратность определения зависит от отношения между ними. Отображаемость ( projectibility ) предикатов будет в таком случае состоять в том, что структурные взаимосвязи экстенсионалов предикатов definienda будут показаны в пределах экстенсионалов definientia . Абсолютная идентичность элементов, связанных таким образом, не имеет важности. Соответствующий критерий определительной точности должен, таким образом, быть отвлечен от абсолютной идентичности и сосредоточен на сохранении структуры. Это — принцип " экстенсионального изоморфизма", который Гудмен предлагает как критерий адекватности конструктивного определения.

Теоремы конструктивной системы полагаются "реальными" определениями, использующими определенные семантические критерии правильности в дополнение к обычным синтаксическим критериям, налагаемым на чисто формальные (или "номинальные") определения. Конструктивная система формализует некоторую область (предполагаемого) знания, которое может быть представлено как множество предложений, сформулированных в неформализованном дискурсе (например, естественном языке), где некоторые термины должны быть соответственно определены в системе, использующей правила вывода, а некоторые образуют специальное множество терминов, принятых за элементарные, т.е. базовые примитивы системы ("внелогические основы" — " extralogical basis "). Таким образом, вопрос о критериях правильности отсылает к вопросу о произвольности/непроизвольности выбора "атомов" категоризации, элементарных терминов системы. Примитивы должны при этом пониматься как уже являющиеся предметом преднамеренного использования или интерпретации; если их использование или интерпретация не очевидны, то они могут быть обеспечены неформальным объяснением, в строгом смысле не являющемся частью системы.

Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран как элементарный... Вообще термины, принятые в качестве элементарных в одной системе, вполне могут поддаваться определению в какой-либо другой системе. Не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным[4] .

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

Здесь возникают минимум три проблемы.

Трудность найти выражения как основных истин логики, так и фактов и законов здравого смысла и науки в терминах номинализма, в котором все предикаты являются предикатами индивидов и никакая абстракция не рассматривается как значение ( meaning ) квантифицированной переменной. Эту трудность, по мнению Гудмена, можно преодолеть путем введения некоторых образцов номиналистских переводов и правил, с помощью которых можно сделать другие требуемые переводы. Такие образцы и правила Гудмен и Куайн приводили в уже упоминавшейся статье; какую именно систему Гудмен пытается строить в свете этих более ранних идей, мы скоро увидим.

Трудность, относящаяся в особенности к дедуктивным этапам философской конструкции — трудность выяснения понятия «сходства по смыслу» без рискованного выхода за пределы понятного мира экстенсионалов в хаотический мир интенсионалов . Обращение к Платоновым идеям исключается природой проблемы; во всяком случае, нет способа обнаружить, когда два термина представляют одну и ту же идею. Полагаться на понятие мысленной идеи или образа столь же бесполезно, так как мы не знаем, что мы можем и чего не можем вообразить, а многие предикаты не имеют соответствующего ментального образа. Попытки объяснить сходство по смыслу в терминах понятий и возможностей также тщетны, так как мыслимы разного рода противоречивые понятия, а понятие возможности заведомо отличается своей неточностью. В то же время усилия объяснить сходство по смыслу непосредственно в терминах экстенсионалов соответствующих понятий не достигают цели, так как многие коэкстенсиональные термины не сходны по смыслу. Так, например, термины «кентавр» и «единорог» имеют один и тот же нулевой экстенсионал, но не один и тот же смысл. Тем не менее есть способ их различить, так как, хотя понятия единорога и кентавра коэкстенсиональны, понятия ноги единорога и ноги кентавра имеют различные экстенсионалы — точно так же, как и понятия изображения или описания единорога и кентавра. Обобщая, можно сформулировать критерий различия по смыслу в экстенсиональных терминах следующим образом: для любых двух слов, отличающихся по смыслу, различны либо их экстенсионалы, либо экстенсионалы некоторых од нотипных сложных выражений, содержащих эти слова. Но у этого определения имеется одно нежелательное следствие: "никакие два различных слова не имеют одинакового смысла ". Единственный способ обойти эту трудность, найденный Гудменом, заключается в том, чтобы из формулировки критерия исключить те типы сложных выражений, относительно которых любые два термина имеют различные экстенсионалы, сосредоточив внимание на тех видах сложных выражений, в силу которых некоторые слова оказываются различными по смыслу, а некоторые сходными. Однако в лучшем случае сходство по смыслу следует, вероятно, признать вопросом степени и считать, что оно зависит от целей конкретного рассуждения.

Еще одна более серьезная трудность, затрагивающая прежде всего эмпирические стадии философской конструкции, связана с контрфактическими условными высказываниями. Такие высказывания, как «если бы этот кусок масла был нагрет до 150° по Фаренгейту, то он бы растаял », «если бы этой спичкой чиркнули, то она бы загорелась», неизменно истин ны, но истинны также и все другие высказывания, в которых ложны и антецедент, и консеквент. Разумная формулировка научных выводов зависит от того, найдем ли мы надежный способ отличать условные пред ложения, дающие достаточное основание для фактических выводов, от предложений, истинных просто в силу ложности их антецедентов . Здесь возникают две основные проблемы: проблема определения относящихся к делу условий, или указания, какие предложения следует считать, в конъюнкции с антецедентом, дополнительными основаниями для вывода консеквента, и проблема определения законов, на которых основан вывод . В перспективе не видно никакого удовлетворительного решения первой проблемы, поскольку любые предложения, используемые для характеристики требуемых условий, по-видимому, сами содержат контр фактические предложения, что приводит, следовательно, к бесконечному регрессу. Проблема определения законов даже более серьезна, потому что, в то время как неотъемлемое свойство закона, по-видимому, состоит в том, что он должен быть подтвержден до проверки всех его конкретных случаев, мы еще не знаем, как можно распознать такую подтверждаемость.