Geum.ru

А. Ф. Современная западная философия: Учебн. М.: Высш шк., 2001. 784 с. Isbn 5-06-004104-2 Федеральная целевая программа

Вид материалаПрограмма
Подобный материал:
1   ...   26   27   28   29   30   31   32   33   ...   89


Верификация и "язык науки"


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


261


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


Но физикализм имел еще и другое значение. Он должен был обеспечить также и единство науки. Это выражение и сама идея физикализма были предложены Отто фон Нейратом и одобрены Р. Карнапом.


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


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


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


Понятно, что сама эта идея была, по сути дела, нереальной, потому что игнорировала качественное многообразие мира. Основой этой затеи было, конечно, сведение всего многообразия материального мира к чувственным данным или, иначе говоря, к ощущениям.


Поскольку считалось, что предложения всех наук в конечном счете могут быть сведены к протокольным предложениям или высказываниям о чувственных данных, достижение единства всех наук должно было быть, так сказать, делом техники.


Практически вопрос заключался в том, чтобы подобрать наиболее подходящий язык. Выше уже упоминалась предпринятая Карнапом в работе "Логическое построение мира" попытка свести все научно-философские понятия к основным феноменалистическим понятиям, то есть понятиям, передающим психические состояния субъекта. Субъект ставился, таким образом, в центр мира. Но сейчас Карнап понял, что ставить вопрос об объединении всех наук на базе такого, по сути дела, солипсистского языка невозможно.


262


Тогда Карнап и Нейрат согласились с тем, что таким языком может быть физикалистский или, как он был назван позже, "вещный" язык, то есть язык, на котором в науке и повседневной жизни мы говорим о физических вещах. Задача состояла в том, чтобы сформулировать правила такого языка и правила перевода на него предложений всех научных теорий.


"В наших дискуссиях в "Венском кружке", - писал Карнап, - мы пришли к мнению, что этот физикалистский язык есть основа языка всей науки, что он есть универсальный язык, охватывающий содержание всех других научных языков. Другими словами, каждое предложение любой ветви научного языка равносильно некоторому предложению физикалистского языка и может быть поэтому переведено на физикалистский язык без изменения его содержания. Д-р Нейрат, который в большой степени стимулировал соображения, ведущие к этому тезису, предложил назвать его тезисом физикализма" [1].


1 Carnap R. Philosophy of Logical Syntax. P. 125.


Основанием для выбора такого языка в качестве языка объединенной науки было то, что этот язык является 1) интерсенсуальным, 2) интерсубъективным, 3) универсальным. Что это значит?


1. Предложения такого языка могут быть проверены посредством показаний различных чувств. Например, звуки могут быть преобразованы в какие-то графики, то есть стать видимыми. Следовательно, и предложения о звуках могут получить подтверждения не только посредством слуха, но и посредством зрения.


2. Интерсубъективность физикалистского языка означает, что его предложения могут быть проверены различными субъектами, а не только одним, и поэтому имеют значение для всех. Это ясно из того, что каждый данный субъект или индивидуум может установить с помощью эксперимента или наблюдения, при каких физических условиях различные другие субъекты реагируют одинаково посредством некоторых качественных протокольных предложений, таких, например, как "Я сейчас вижу зеленое такого-то оттенка".


Таким путем может быть установлено соответствие между каждой отдельной физической характеристикой, с одной стороны, с качественными характеристиками, содержащимися в протокольных предложениях различных субъектов - с другой. Благодаря этому, можно утверждать, что физические характеристики применяются интерсубъективно.


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


263


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


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


Исходя из этой идеи объединения наук на базе физикалистского языка, логические позитивисты предприняли особое издание так называемой "Международной Энциклопедии Унифицированной Науки" с подзаголовком "Основание единства науки". Вышло несколько десятков выпусков этого издания. Но осуществить первоначальную идею, конечно, не удалось, и каждый автор писал, не думая ни о каком физикалистском языке; правда, многие развивали взгляды, близкие к позитивистским. В этой серии вышли, в частности, такие работы, как "Теория оценки" Дж. Дьюи, "Основания теории знаков" Ч.Морриса и др.


Однако и физикализм оказался чреват трудностями. Если элементарные предложения говорят о физических событиях, то чем, спрашивается, они отличаются от любых других предложений, которые тоже описывают физические явления? Принципиальную разницу между ними установить невозможно. А раз так, то элементарные, "протокольные", предложения утрачивают свое привилегированное положение: они становятся самыми обычными предложениями.


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


Так, с двух сторон привилегированный статус элементарных предложений оказался подорванным.


264


А тут еще Нейрат, отказываясь от важного наследия Витгенштейна, заявил, что это чистейшая метафизика - говорить о сравнении предложений с фактами. Предложение может быть сравниваемо только с другими предложениями, и ни с чем другим.


Но если так, то что же считать элементарными или протокольными предложениями? По мнению Нейрата и Карнапа, это теперь зависит от соглашения или конвенции. Это наше дело, дело свободного выбора, какие предложения принять в качестве базы науки. Но если мы не можем сравнивать предложения с фактами, то теория соответствия, или корреспондентная теория истины, должна быть отвергнута.


От чего же будет зависеть истинность таких предложений, и как ее можно определить? Карнап и Нейрат приняли в то время "когерентную" теорию истины. Согласно теории когеренции, истинность предложения определяется его согласованностью с другими предложениями данной логической системы, отсутствием противоречия между ним и этой системой.


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


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


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


265


свободен построить свою собственную логику, то есть свою собственную форму языка по своему желанию. Все, что от него требуется, если он желает обсуждать ее, это ясно изложить свой метод и дать синтаксические правила вместо философских аргументов" [1]. Таким образом, и здесь Карнап придерживается точки зрения конвенционализма.


1 Carnap R.. Logical Syntax of Langage. P. 52.


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


Редукционизм означает, что содержание даже наиболее абстрактных теоретических положений то же самое, что и содержание элементарных предложений. По своей языковой форме они, конечно, отличаются, но содержание у них одно и то же. Что же это за содержание? Это чувственные данные, это констатация того факта, что в таком-то часу наблюдатель N видел, как черная стрелка совпала с красной чертой и т.д.


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


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


Но если ощущения - это не последняя реальность, а тот способ, которым вещи и процессы материального мира даются или являются нам, тот способ, посредством которого мы их воспринимаем, тогда очевидно, что сами ощущения непосредственно открывают нам далеко не все тайны мира, что от ощущений мы должны идти вглубь к тому, что лежит за ними, то есть, короче говоря, идти "от явления к сущности", к закону и т.д., то есть к тому, что непосредственно не воспринимается, но что только и дает более глубокое знание предмета, позволяет нам понять и объяснить наблюдаемые явления.


266


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


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


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


б) Сведение этого способа к сопоставлению с фактами, понимаемыми как чувственные данные или ощущения. Однако сопоставлять надо теоретические утверждения не с ощущениями, как таковыми, а, по возможности, с самой объективной реальностью, то есть с тем, что эти ощущения нам открывают. Но единого приема или правила здесь быть не может. Вся человеческая деятельность, вся общественная практика во всем ее многообразии только и может быть критерием истинности и научной осмысленности. Это звучит несколько неопределенно? Да. Но другого критерия мы не знаем. В то же время этот критерий является настолько определенным, чтобы, как правило, не позволять сбиваться с научных позиций.


Далее, понимание связи теоретического знания с эмпирическим в духе редукционизма оказалось примитивным. Специфика теории и теоретического мышления исчезла.


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


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


267


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


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


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


В этой связи надо сказать несколько слов о Тарском. Альфред Тарский был польским математиком, интересовавшимся также логикой и логическими основами математики. В 1939 г. ему удалось эмигрировать в США, где он и работал в одном из университетов, преподавая математику.


У Тарского есть ряд специальных работ по логике и семиотике, из которых большое значение имела статья "Понятие истины в формализованных языках". Написана она была в 1931 г. и в расширенном виде переведена на немецкий язык в 1935 г. На английском языке она вышла в 1956 г., но еще раньше его теория была изложена в 1944 г. в статье "Семантическая теория истины и основания семантики".


Рассуждения его очень непростые, так как речь у него идет исключительно о языке и языковых выражениях, причем не об одном языке, а о языке и о метаязыке, то есть о языке, на котором говорят о другом языке.


Выше уже говорилось, что в расселовской теории типов все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о внелингвистических объектах, ко второму типу - предложения, говорящие о предложениях первого типа и т.д.


268


Эта идея и была использована для создания метаязыка, то есть языка, говорящего о другом языке, в данном случае о вещном языке, то есть о языке, говорящем о вещах. Если мы возьмем какое-то предложение о вещном языке, скажем, предложение Р, и скажем, что это "предложение Р истинно", то в каком случае это предложение будет истинным?


Ведь когда мы говорим, что "Р - истинно", то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, мы не делаем различия между исходным "вещным" языком и метаязыком. Но при анализе мы их должны различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: "Р" истинно, если Р.


Это значит, что (предложение) "Снег бел" истинно, если снег бел. По сути дела, это - несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму,


Формула Тарского сыграла очень большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины уже давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Так, например, сказать "истинно, что Цезарь был убит в 44 г. до нашей эры", это все равно, что сказать просто: "Цезарь был убит". Понятие "истинно" ничего не добавляет к этой фразе.


Подобное рассуждение смущало многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.


Что касается семантики, то одним из важных результатов ее дальнейшей разработки Р. Карнапом была созданная им теория "языковых каркасов", изложенная в статье "Эмпиризм, семантика и онтология" (1950).


Эта теория должна была решить проблему абстрактных объектов или, вернее, проблему высказываний, имеющих своим предметом абстрактные объекты (числа, суждения, свойства вещей, классы и т.д.). Она была призвана обосновать правомерность подобных высказываний. При этом она должна была не просто сделать это в рамках неопозитивистской концепции, но сделать это так, чтобы подтвердить данную концепцию.


Карнап говорит, что хотя эмпиристы с подозрением относятся ко всякого рода абстрактным объектам, тем не менее в некоторых науч-


269


ных контекстах их едва ли можно избежать. Поскольку же свести высказывания об абстрактных объектах к элементарным или протокольным предложениям или же к высказываниям о "чувственных данных" явно не удалось, то необходимо объяснить правомерность таких высказываний.


Кроме того, когда в обычном или научном языке заходит речь о подобных абстрактных объектах, то обычно задается вопрос: существуют ли такие объекты реально? На этот вопрос реалисты отвечают утвердительно, номиналисты же отрицательно. Например, если речь идет о числах, то философ реалистического склада готов признать их объективное существование, впадая в платонизм.


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