Становление логического позитивизма

Страницы 205 – 358

Неопозитивизм

 

Неопозитивизм больше, чем любое другое учение, был связан с наукой и ее проблемами, что и обусловило как его огромное влияние на протяжении практически всего XX века, так и его проблематику. В самом деле, наука этой эпохи пережила период бурного, буквально взрывообразного развития, в ходе и в результате которого произошел радикальный и универсальный переворот в научной картине мира и мировоззрении европейского человека. Особенно грандиозными были изменения в области физики, крупнейшим знаковым событием в которой, после проникновения в глубь атома, было создание А.Эйнштейном (1879-1955) в 1905 г. специальной теории относительности.

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

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

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

"Третий позитивизм", неопозитивизм начал складываться во втором десятилетии XX в. и окончательно оформился в 20-е годы. С тех пор он проделал значительную эволюцию. Она получила свое выражение и в смене названий. Неопозитивизм выступил сначала как "логический атомизм", затем стал называться "логическим позитивизмом", потом "логическим эмпиризмом", затем он присвоил себе название "аналитической философии". Ее британская разновидность, распространившаяся также в США, называлась "лингвистической философией". В недрах неопозитивизма зародилась и так называемая "философия науки", которая стала весьма влиятельным методологическим течением и в таком качестве привлекла внимание множества выдающихся ученых.

Местом рождения логического позитивизма была Вена, где в 20-х годах вокруг профессора кафедры индуктивных наук М. Шлика собрался кружок его учеников и сторонников. В него входили логик Р. Карнап, математики Г. Хан и К. Гёдель, физики Ф. Франк и Г. Фейгл, социолог О.Нейрат и много других мыслителей.

Становление логического позитивизма

Мур и Рассел - это, так сказать, предки логического позитивизма в третьем поколении. Роль Джорджа Мура (1873-1958) обычно подчеркивают английские исследователи. Состояла она в том, что он привлек внимание к анализу значения слов и высказываний, которыми пользовались философы. Мур приехал в Кембридж в 1892 г., чтобы заниматься классической литературой. Тогда, по его словам, он даже не подозревал о том, что существует такая вещь, как философия. Но постепенно, частично под влиянием Рассела, он оказался втянутым в философские споры и был поражен тем, что философы, участники этих споров, часто говорили такие вещи, смысла которых он никак не мог понять. Мур оказался страшно дотошным. Он без конца приставал к философам и требовал, чтобы они объяснили, что именно они имеют в виду, делая свои странные и, как ему казалось, не очень обоснованные утверждения. Он спрашивал, почему они полагают, что их тезисы истинны?

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

Несмотря на внешнюю, по большей части наигранную, наивность той позиции, которую защищает Мур, он был одним из крупнейших западных философов первой половины XX века, родоначальником одной из наиболее влиятельных современных форм реализма. Еще в 1903 году он опубликовал статью "Опровержение идеализма". В ней он подверг скрупулезному логическому анализу тезис, который считал фундаментальным для любого идеализма, а именно тезис Беркли "Esse est percipi".

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

Этим анализом Мур заложил основы сразу двух философских течений: реализма, согласно которому в познавательном акте объект непосредственно присутствует в сознании, и философии анализа.

Обратимся теперь к собственному парадоксу Рассела. Предположим, что имеются классы различных вещей. Иногда класс может быть членом самого себя, иногда - нет. Класс чайных ложек не есть чайная ложка. Но класс вещей, которые не являются чайными ложками, сам есть вещь, не являющаяся чайной ложкой. Следовательно, он член самого себя.

Теперь возьмем класс всех классов, которые не являются членами самих себя. Является ли он членом самого себя? Если да, то он должен обладать отличительным признаком своего класса, то есть не быть членом самого себя. Если же он не член самого себя, то он должен быть таким членом, так как должен войти в класс всех классов, не являющихся членами самих себя. Для наглядности этот парадокс можно сравнить с "парадоксом парикмахера". Единственный парикмахер в городе получил приказ брить всех тех, кто не бреется сам (такой приказ мог, например, издать царь Петр). И вот парикмахер ходит по дворам и бреет всех бородатых. Но в конце концов он сам обрастает бородой. Возникает вопрос - должен ли он теперь сам бриться? Если он не будет бриться, то он должен себя брить. Но если он бреется сам, то он не должен этого делать согласно условию.

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

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

Суть этой теории Рассел разъясняет на примере парадокса "лжец". "Лжец говорит: "Все, что я утверждаю, ложно". Фактически это утверждение, которое он делает, но оно относится ко всей совокупности его утверждений, и парадокс возникает потому, что данное утверждение включается в эту совокупность" [1]. Если бы это утверждение стояло особняком, то парадокса не было бы. Мы знали бы, что в случае его истинности все, что лжец утверждает, ложно. Но когда мы включаем само это утверждение в ту совокупность утверждений, к которой оно относится, о которой оно говорит, или которую характеризует, тогда только и возникает парадокс. Этого, полагает Рассел, делать нельзя.

Он говорит: "Мы должны различать предложения, которые относятся к некоторой совокупности предложений, и предложения, которые к ней не относятся. Те, которые относятся к некоторой совокупности предложений, никогда не могут быть членами этой совокупности" [2].

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

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

В своей фундаментальной работе (написанной вместе с Уайтхедом) "Principia Mathematica" Рассел попытался разработать такую логику, а следовательно, и такой язык, которые не только полностью исключали бы возможность парадокса, но отвечали бы требованиям самой строгой точности. По замыслу Рассела, это была бы такая логика, из которой можно было бы вывести всю математику и которая могла бы быть логической структурой языка всей науки, то есть языка, на котором можно было бы выразить все, что может быть вообще сказано о мире. Рассел был убежден в том, что "все достижимое знание должно быть получено научными методами, и того, что наука не может открыть, человечество не может узнать" [1].

Логический анализ показал себя превосходным инструментом для распутывания логических парадоксов и преодоления трудностей, казавшихся неразрешимыми. Источником их было - как старался показать Рассел - неправильное пользование языком. Вызвано же оно было несовершенством обыденного языка. И вот парадоксы были устранены, или казалось, что они устранены, чисто логическими средствами, изменением правил пользования языком, или созданием более совершенного (идеального) языка. Таким языком был для Рассела язык "Principia Mathematica".

Но парадокс "лжец" тоже считался неразрешенным в течение двух с половиной тысяч лет. А оказалось, с точки зрения Рассела, что никакой действительной проблемы здесь нет. Так, может быть, и неразрешимых философских проблем тоже нет, а есть только логическая путаница, которую можно устранить логическими средствами? Короче говоря, Рассел объявил, что логика - это сущность философии, что философские школы должны различаться, скорее, по их логике, чем по их метафизике. Однако Рассел все же не сводил задачу философии к одному лишь анализу. Он не отбрасывал того, что обычно называют метафизикой. Он писал: "Дело философии, как я его понимаю, состоит, по существу, в логическом анализе, сопровождаемом логическим синтезом... философия должна быть всесторонней, она должна смело выдвигать такие гипотезы о вселенной, которые наука еще не в состоянии подтвердить или опровергнуть" [1]. Но, согласно Расселу, в конечном счете все научное знание, а следовательно, все то, что может быть узнано о мире и высказано о нем, может быть выражено на языке Principia Mathematica.

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

Несомненно, что у Рассела здесь проскальзывает известная рационалистическая тенденция. Но если для Спинозы "порядок и связь идей те же, что и порядок и связь вещей", то можно сказать, что для Рассела, наоборот, порядок и связь вещей те же, что порядок и связь идей. Ибо Рассел идет от логики и ее языка к метафизике. Логика задается им сперва, так что у него структура мира должна быть сходной со структурой его логики. В 1918 г. Рассел писал: "Та философия, которую я хочу защитить, и которую я называю логическим атомизмом, овладела моим мышлением в ходе занятий философией математики... Я попытаюсь изложить некоторую логическую доктрину и на ее основе развить определенный тип метафизики" [2].

 

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

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

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

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

Примеры: Это - красное
А больше В
С между В и D и т.д.

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

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