210

их встречах и пытаясь разобраться в их доктринах, подходил ко всем вопросам очень просто: он отстаивал точку зрения здравого смысла. Ему казалось, что его оппоненты не только не считают себя обязанными обосновывать свои важнейшие утверждения, но также отрицают то, что считает истинным каждый нормальный человек. Он уговаривал их не делать подобных глупостей. Так, например, Мак-Таггарт утверждал, что время не реально, «Это, — рассказывает Мур, — показалось мне чудовищным утверждением, и я делал все возможное, чтобы оспорить его. Не думаю, что я аргументировал убедительно, но я был настойчив» [1].

1 The Philosophy of G. E.Moore. Ed. by P. A. Schlipp. London, 1968. P. 14.

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

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

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

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

211

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

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

Короче говоря, Мур призывал начинать философию с анализа значения наших высказываний. При этом неизбежно вставал вопрос, как трактовать значение высказываний. Оказалось, что это совсем не просто. И в самом деле, установить значение высказывания можно, попытавшись сказать то же самое другими словами, то есть переведя одно высказывание в другое. Но тогда можно вновь задать вопрос о значении второго высказывания и т.д. Поскольку эту процедуру нужно где-то закончить, Мур попытался относить высказывания непосредственно к опыту. По-видимому, это он придумал термин «чувственные данные» (sens-data). Но тогда вставал новый вопрос: что такое чувственные данные? Если, например, мы анализируем предложение «это — чернильница» и хотим определить его значение, то как чувственные данные относятся к самой чернильнице?

Муру не удалось решить эти вопросы, но он их поставил. Уорнок говорит, что Мур способствовал возникновению мнения, что дело философии — прояснение, а не открытие; что она занимается значением, а не истиной, что ее предмет скорее наши мысли или язык, чем факты.

По словам Б. Рассела, Мур оказал на него освобождающее воздействие. Но именно Б.Рассел (1872-1970) был одним из ученых, разработавших логическую технику, которой воспользовались неопозитивисты. К Расселу восходит и идея сведения философии к логическому анализу. А пришел он к ней в результате исследований логических оснований математики и математической логики.

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

212

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

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

Всегда думали, что целое больше части. Это положение казалось и математикам аксиомой и нередко приводилось как пример абсолютной истины. А вот Г. Кантор показал, что в случае бесконечного множества это положение не работает. Например: 1234567… — натуральный ряд чисел, а 1 4 9 16 25 36 49… — ряд квадратов этих чисел. Оказалось, что квадратов чисел в бесконечном ряду столько же, сколько и натуральных чисел, так как под каждым натуральным числом можно подписать его квадратную степень, или каждое натуральное число можно возвести в квадрат. Поэтому Кантор определил бесконечное множество, как имеющее части, содержащие столько же членов, сколько и все множество.

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

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

213

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

Больше того, оказалось, что определить сам предмет математики, указать, чем именно она занимается и чем должна заниматься, невероятно трудно. Старое традиционное определение математики как науки о количестве было признано неудовлетворительным. Ч. Пирс определил математику как «науку, которая выводит необходимые заключения»; Гамильтон и Морган — как «науку о чистом пространстве и времени». Дело кончилось тем, что Рассел дал свою парадоксальную характеристику математике, сказав, что это «доктрина, в которой мы никогда не знаем ни того, о чем говорим, ни верно ли то, что мы говорим».

Таким образом, во второй половине XIX века, и особенно к концу его, была осознана необходимость уточнить фундаментальные понятия математики и прояснить ее логические основания. В то же время были сделаны успешные попытки применить методы математики к логике. Усилиями Буля, Пирса, Моргана, Шредера, Порецкого была разработана «алгебра логики», эта первая форма математической, или символической, логики. В свою очередь, методы символической логики были применены к анализу основ математики. В результате были сделаны попытки строгой формализации арифметики (Фреге, Пеано, затем Уайтхед и Рассел) и геометрии (Гильберт, Веблен).

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

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

214

«Основная мысль моей теории доказательства, — писал Гильберт, — такова: все высказывания, которые составляют вместе математику, превращаются в формулы, так что сама математика превращается в совокупность формул. Эти формулы отличаются от обычных формул математики только тем, что в них, кроме обычных знаков, встречаются также и логические знаки» [1]. Некоторые из этих формул были приняты в качестве аксиом, из которых по соответствующим правилам выводились теоремы.

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