PhilosophyDay

7.1.1 Неопрагматизм У.Куайна

Другая философия / Аналитическая философия / 7.  Неопрагматистская критика эмпиризма и холистический тезис / 7.1 Прагматический анализ / 7.1.1 Неопрагматизм У.Куайна

Страница 1

Хотя Уиллард ван Орман Куайн (1908-2000), профессор Гарвардского университета, на протяжении своей философской деятельности много занимался проблемами аппарата формальной логики, он всегда был внимателен также и к эпистемологическим и онтологическим аспектам логических исследований.

Именно это и привело его к проблеме языкового значения и к переносу акцента с формальных языков на естественные. Что касается его работ по логике как таковой, основными целями Куайна является строгость в логических доказательствах и проверках, унификация и упрощение логических обозначений и устранение ненужных понятий и допущений. Куайн неустанно искал алгоритмические разрешающие процедуры для тех областей логики, которые допускают такие процедуры. Он озабочен отсутствием алгоритмических проверяющих процедур для всех разделов теории квантификации и еще более невозможностью даже полуалгоритмических процедур доказательства для элементарной теории чисел, доказанной Геделем. Однако это до некоторой степени компенсируется тем фактом, что отдельные области математики допускают разрешающие процедуры и что существуют методы, устанавливающие возможность или невозможность доказательств. Поиски Куайном единообразия в логической символике проявились в утверждении, что квантор существования всегда следует интерпретировать одинаково, в его попытках найти разумные способы переформулировки в квантифицируемых терминах модальных высказываний и высказываний, выражающих позицию говорящего, например стремление или уверенность; и еще более существенно в попытке преодолеть сложность символики теории типов Рассела, которую он впервые предпринял в своих «Новых основаниях математической логики», а затем уточнил в «Математической логике». Куайн предложил способы замены свойств, используемых даже в «Рrincipia mathematica» и в работах Карнапа, концептуальными классами. В действительности он предпочел бы пойти еще дальше и построить логику на номиналистской основе, если бы это можно было сделать в достаточно удобной форме. Однако он признает, что чисто номиналистская логика, если она возможна, была бы крайне неудобна и что в важных областях математики нельзя совсем обойтись без понятия класса.

Куайн вполне уверен в способности современных логических методов пролить свет на философские проблемы, причем не только на семантические и логические, но и на традиционные онтологические. Обычный язык, конечно, остается фундаментальным средством окончательного разъяснения, но для целей «творческого аспекта» философского анализа обычному языку недостает той точности и свободы от вводящих в заблуждение предположений, которой можно достигнуть на пути современных методов квантификации. Среди этих философских проблем, которые Куайн рассматривает со своей логической точки зрения, проблемы аналитичности, онтологии и истины.

Проблема аналитичности.

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