Глава 4. Неопозитивизм
1. Общая характеристика
Примерно в то же время, когда работы Ч. Пирса привлекли внимание широкого круга философов и логиков и стали достаточно активно публиковаться, в «Берлинском обществе эмпирической философии» близкие идеи развивали X. Райхенбах, К. Г. Гемпель, В. Дубислав и др. В Австрии образовался Венский кружок, в который входили М. Шлик, Р. Карнап, Г. Фейгль, К. Гёдель, О. Нейрат, Ф. Вайсман и др. Этот кружок нашел в Англии своего активного сторонника и пропагандиста в лице А. Айера. Идеи Венского кружка во многом разделял и другой английский философ, Г. Райл. В Польше сложилась Львовско-варшавская школа логиков во главе с А. Тарским и К. Айдукевичем. В историю философии направление это вошло под названием неопозитивизм. Неопозитивисты в течение десяти лет провели ряд конгрессов: в Праге (1929), Кенигсберге (1930), Праге (1934), Париже (1935), Копенгагене (1936), Париже (1937), Кембридже (1938).
Когда Австрия была присоединена к фашистской Германии, деятельность этих обществ, членами которых были главным образом евреи, стала невозможной. Еще раньше, в 1936 г., душа Венского кружка М. Шлик был убит помешавшимся на религиозной почве студентом, и в 1938 г. Венский кружок распался. Карнап и Тарский переехали в США, где постепенно сложилось сильное позитивистское течение, частично сомкнувшееся с прагматизмом.
Неопозитивизм больше, чем любое другое учение, был связан с наукой, прежде всего с математикой и теоретической физикой, что и обусловило как его огромное влияние на интеллектуальную жизнь Запада на протяжении практически всего XX в,, так и его проблематику. В ходе бурного, буквально взрывообразного развития науки произошел радикальный и универсальный переворот в научной картине мира. А поскольку социальный престиж науки тогда был чрезвычайно высок, то эти перемены сказались и на мировоззрении европейского человека.
Особенно грандиозными были изменения в области физики, крупнейшим знаковым событием в которой, после проникновения в структуру атома, стало создание А. Эйнштейном в 1905 г. специальной теории относительности.
Не менее глубокие перемены были связаны с развитием квантовой физики. Ее базовый принцип состоит в том, что энергетический обмен совершается не непрерывно, а дискретно, мельчайшими порциями, квантами. У истоков этой теории стоял М. Планк, который ввел понятие «кванта действия», выраженное в формуле Е=hn. Позднее Н. Бор использовал квантовую теорию для объяснения строения атомов и особенностей спектров излучения различных химических элементов. Л. де Бройль, один из создателей квантовой механики, выдвинул идею о волновых свойствах материи, ввел понятие «волновый пакет» и попытался тем самым объяснить волновые и корпускулярные свойства света, о которых свидетельствовали, казалось бы, противоречившие друг другу серии различных экспериментов. Эту двойственность волны и частицы (ее физики распространили на строение всей материи) Бор истолковал как особый феномен, сформулировав принцип дополнительности, согласно которому волновое и корпускулярное описание неизбежно и противоречат друг другу, и друг друга дополняют.
Весьма важным для развития микрофизики оказался принцип неопределенности, сформулированный В. Гейзенбергом. Согласно этому принципу и в результате квантово-волнового дуализма координата и импульс не могут быть определены независимо друг от друга и с абсолютной точностью. Принцип дополнительности и соотношение неопределенностей составили основу так называемого «копенгагенского толкования» физических процессов, которое пропагандировалось Бором и его последователями.
Необходимо обратить внимание на тот факт, что события эти происходили прежде всего в области теоретического знания. И теория относительности, и квантовая физика, создавая новую картину мира, сопровождались радикальными преобразованиями в области языка науки, математики и логики. По сути дела, они потребовали создания нового языка науки и новой логики, что и выразилось в новом облике позитивизма, в философии, которая с самого своего возникновения стремилась сознательно поставить себя на службу науке.
Неопозитивизм (его часто называют третьим позитивизмом; первым был классический позитивизм О. Конта, Г. Спенсера и Дж. Милля, а вторым — эмпириокритицизм Р. Авенариуса и Э. Маха) окончательно оформился в 20-е гг. прошлого столетия. С тех пор он проделал значительную эволюцию. Она выразилась и в смене названий. Неопозитивизм выступил сперва как логический атомизм, затем стал называться логическим позитивизмом, потом логическим эмпиризмом, а затем присвоил себе название аналитической философии. Ее британская разновидность, распространившаяся также в США, называлась лингвистической философией. В недрах неопозитивизма зародилась и так называемая философия науки, которая стала весьма влиятельным течением и привлекла внимание многих выдающихся ученых.
Идейные истоки неопозитивизма восходят, прежде всего, ко второму позитивизму Э. Маха и Р. Авенариуса. Определенное влияние на логических позитивистов оказал прагматизм Ч. Пирса и У. Джеймса. Из слияния махистских и прагматистских идей еще в 20-е гг. возник операционализм П. Бриджмена.
Но, конечно же, третьему, логическому позитивизму свойственна своя специфика.
Мах и Джеймс были весьма беззаботны в отношении логики (Джеймс, по его выражению, «отказался от логики раз и навсегда». Мах же свое учение трактовал как представление психологии познавательного процесса. Исключением был, конечно же, выдающийся логик Пирс, но его работы получили известность в Европе значительно позже).
Пренебрежение логикой и математикой было в глазах ученых-теоретиков XX в. слабой стороной эмпириокритицизма и прагматизма. Этот недостаток и попытались устранить неопозитивисты. По словам А. Айера, логический позитивизм был сплавом венского позитивизма XIX в., разработанного Э. Махом и его учениками, с логикой Г. Фреге и Б. Рассела.
Б. Рассел писал: «Современный аналитический эмпиризм... отличается от аналитического эмпиризма Локка, Беркли и Юма тем, что он включает в себя математику и развивает мощную логическую технику» [1]. Именно благодаря привлечению этой «логической техники» логические позитивисты с самого начала и смогли претендовать на анализ всего состава научного знания, включая его теоретический инструментарий.
- 1 Рассел Б. История западной философии. М., 1959. С. 841.
Знакомясь с основами неопозитивистской философии, следует иметь в виду одно важное обстоятельство: многие из ее представителей не были профессиональными философами, а являлись «работающими» учеными — физиками, математиками, логиками. В их сочинениях наряду с обсуждением собственно философских проблем мы встречаем постановку и решение многих специальных вопросов, особенно вопросов математической логики и теории вероятности. Р. Карнап, А. Тарский, К. Гёдель не ограничивались лишь тем, что заимствовали и применяли готовую «логическую технику», они сами развивали ее и внесли немалый вклад в ее разработку.
Если выразить кратко суть неопозитивизма, то можно сказать, что она в конечном счете состоит в следующем: философия здесь трактуется как анализ языка, и даже традиционные философские проблемы рассматриваются его представителями как языковые проблемы. При этом в одних случаях имеется в виду язык науки, в других — обыденный разговорный язык. Иногда исследованию подвергается логический синтаксис языка, т. е. его формальные правила, иногда его семантический или прагматический аспекты. Но когда предметом анализа становится язык, а язык — это система языков, то неизбежно на первый план выступают проблемы значения и смысла. Они и оказываются в центре внимания неопозитивистов.
2. Становление логического позитивизма
У истоков логического позитивизма мы находим имена Дж. Мура и Б. Рассела. Главная заслуга Джорджа Мура (1873— 1958) состоит в том, что он привлек внимание к анализу значения слов и высказываний, которыми пользовались философы, увидев в этом ключ к решению (точнее, к прояснению) многих проблем. Мур приехал в Кембридж в 1892 г., чтобы заниматься классической литературой, и поначалу даже не помышлял о философии. В те годы в английских университетах господствовала изощренная спекулятивная философия «абсолютного идеализма» (Ф. Брэдли, Д. Э. Мак-Тагтарт и др.), которая представляла собою английский вариант гегельянства. Мур же, как человек, не искушенный в философских тонкостях, принимая участие во встречах философов и пытаясь разобраться в их доктринах, подходил ко всем вопросам очень просто: он отстаивал точку зрения здравого смысла. Ему казалось, что его оппоненты не только не считают себя обязанными обосновывать свои принципиальные положения, но даже отвергают то, что любой нормальный человек считает истинным. Например, Мак-Таггарт утверждал нереальность времени. «Это, — вспоминал Мур, — показалось мне чудовищным утверждением, и я делал все возможное, чтобы оспорить его. Я не думаю, что я аргументировал убедительно, но я был настойчив». Мур сразу же переводил абстрактные рассуждения философов на конкретную житейскую почву, сталкивал их с установками здравого смысла. Если время не реально, рассуждал он, то не должны ли мы отрицать в таком случае то, что мы завтракали до обеда, а не после него? Если реальность духовна, то не следует ли отсюда, что столы и стулья гораздо больше похожи на нас, людей, чем мы считаем? Можно ли сомневаться в том, что существуют материальные объекты, если очевидно, что вот одна рука, а вот вторая? И дальше, в том же духе.
Несмотря на внешнюю, по большей части наигранную наивность своей позиции, Мур был одним из выдающихся философов первой половины XX в. Еще в 1903 г. он опубликовал статью «Опровержение идеализма», в которой подверг скрупулезному логическому анализу тезис Дж. Беркли «Esse est percipi» (быть — значит быть воспринимаемым (лат.), который считал фундаментальным для любого идеализма. В частности, автор анализирует ощущение синего цвета, сопоставляя его с ощущением зеленого цвета. Он заявляет, что в каждом ощущении имеются две составные части: одна — общая всем ощущениям — это то, что оно есть факт сознания, и другая — то, что оно представляет объект этого сознания, т. е. сам синий цвет, который от сознания не зависит, а дается ему или же «входит в него» как особый объект.
Дж. Мур заложил основы сразу двух философских течений: реализма, согласно которому в познавательном акте объект непосредственно присутствует в сознании, и аналитической философии. Начинать философию Мур призывал с анализа значения наших высказываний. При этом неизбежно вставал вопрос, как их трактовать. В самом деле, установить значение высказывания можно, попытавшись сказать то же самое другими словами, т. е. переведя одно высказывание в другое. Но тогда можно вновь задать вопрос о значении второго высказывания и т. д. Поскольку эту процедуру нужно где-то закончить, Мур стремился относить высказывания непосредственно к опыту. Вероятно, это он придумал термин «чувственные данные» (sens-data). Но тогда вставал новый вопрос: что такое чувственные данные? Если, например, мы анализируем предложение «это — чернильница» и хотим определить его значение, то как чувственные данные относятся к самой чернильнице?
Муру так и не удалось решить эти вопросы, но он их поставил — и тем самым способствовал возникновению мнения, что дело философии — прояснение, а не открытие; что она занимается значением, а не истиной, что ее предмет — наши мысли или язык, скорее, чем факты. По словам Б. Рассела, Мур оказал на него «освобождающее воздействие». Но именно Бертран Рассел (1872—1970) был одним из ученых, разработавших логическую технику, которой воспользовались неопозитивисты. К его работам восходит и идея сведения философии к логическому анализу. А пришел он к ней в результате исследований логических оснований математики и математической логики.
Дело в том, что в XIX в. математика переживала период чрезвычайно быстрого и в известном смысле революционного развития. Были сделаны фундаментальные открытия, перевернувшие многие привычные представления. Достаточно назвать создание неевклидовых геометрий Н. И. Лобачевским, Я. Больяйи, Б. Риманом; работы по теории функции К. Вейерштрасса, теорию множеств А. Г. Кантора. Одна из особенностей всех этих исследований состояла в том, что их результаты пришли в противоречие с чувственной очевидностью, с тем, что кажется интуитивно достоверным. Действительно, со времен Евклида все математики были убеждены в том, что через данную точку по отношению к данной прямой можно провести в той же плоскости только одну линию, параллельную данной. Лобачевский показал, что это не так, — правда, в итоге ему пришлось радикальным образом изменить геометрию.
Прежде математики считали, что к любой точке любой кривой линии можно провести касательные. Вейерштрасс дал уравнение такой кривой, по отношению к которой провести касательную невозможно. Наглядно мы даже не можем представить себе такую кривую, но теоретически, чисто логическим путем, можно исследовать ее свойства.
Всегда было принято считать, что целое больше части. Это положение казалось и математикам аксиомой и нередко приводилось как пример абсолютной истины. А. Г. Кантор показал, что в случае бесконечного множества это положение не работает. Например: 1 2 3 4 5 6 7... — натуральный ряд чисел, а 1 4 9 16 25 36 49... — ряд квадратов этих чисел. Оказалось, что квадратов чисел в бесконечном ряду столько же, сколько и натуральных чисел, так как под каждым натуральным числом можно подписать его вторую степень или каждое натуральное число можно возвести в квадрат. Поэтому Кантор определил бесконечное множество как имеющее части, содержащие столько же членов, как и все множество.
Эти открытия потребовали гораздо более глубокого исследования и обоснования логических основ математики. Несмотря на то что европейская математика, начиная с Евклида, весьма негативно относилась к чувственному опыту, — отсюда фундаментальное для математической науки требование логически доказывать даже то, что представляется самоочевидным, например что прямая линия, соединяющая две точки, короче любой кривой или ломаной линии, которая их тоже соединяет, — все-таки прежде математики охотно обращались к интуиции, к наглядному представлению, и не только неявно, при формулировании исходных определений и аксиом, но даже при доказательстве теорем (например, используя прием наложения одной фигуры на другую). Этим приемом часто пользовался Евклид. Теперь правомерность интуитивных представлений была подвергнута решительному сомнению. В итоге были обнаружены серьезные логические недостатки в «Началах» Евклида.
Кроме того, математика стала развиваться настолько быстро, что сами математики не успевали осмыслить и привести в систему собственные открытия. Часто они просто пользовались новыми методами, потому что те давали результаты, и не заботились об их строгом логическом обосновании. Когда время безудержного экспериментирования в математике прошло и математики попытались разобраться в основаниях своей науки, то оказалось, что в ней немало сомнительных понятий. Анализ бесконечно малых блестяще себя оправдал в практике вычислений, но что такое «бесконечно малая величина», никто толком сказать не мог. Больше того, оказалось, что определить сам предмет математики, указать, чем именно она занимается и чем должна заниматься, невероятно трудно. Старое традиционное определение математики как науки о количестве было признано неудовлетворительным. Тогда Ч. Пирс определил математику как «науку, которая выводит необходимые заключения», а Гамильтон и Морган — как «науку о чистом пространстве и времени». Дело кончилось тем, что Рассел заявил, что математика — это «доктрина, в которой мы никогда не знаем ни того, о чем говорим, ни верно ли то, что мы говорим».
Таким образом, во второй половине XIX в., и особенно к концу его, была осознана необходимость уточнить базовые понятия математики и прояснить ее логические основания.
Грандиозная попытка полного сведения чистой математики к логике была предпринята в «Principia Mathematica» («Начала математики» (1910—1913) А. Н. Уайтхеда и Б. Рассела, и книга эта в известном смысле стала естественным логическим завершением всего этого движения. Математика была, по существу, сведена к логике. Еще Г. Фреге положил начало так называемому логицизму, заявив, что математика — это ветвь логики. Эта точка зрения была принята Расселом.
Попытка сведения математики к логике, правда, с самого начала подверглась критике со стороны многих математиков. Защитники логицизма утверждали, что все математические рассуждения совершаются в силу одних лишь правил логики, точно так же, как все шахматные партии происходят на основании правил игры. Противники его доказывали, что вести плодотворное рассуждение в математике можно, только введя предпосылки, несводимые к логике. Решающее значение для исхода этой довольно продолжительной полемики имела знаменитая теорема Гёделя. В 1931 г. Гёдель доказал, что в каждой достаточно богатой средствами выражения формализованной системе имеются содержательные истинные утверждения, которые не могут быть доказаны средствами самой этой системы; это значит, что полная формализация, например арифметики, принципиально неосуществима, что понятия и принципы математики не могут быть полностью выражены никакой формальной системой, как бы мощна она ни была.
Тем не менее опыт построения формализованных систем породил надежды на то, что вообще все научное знание можно выразить аналогичным образом. Казалось, что весь вопрос в том, чтобы подобрать соответствующий язык — знаковую символику, включающую как необходимые термины, так и правила оперирования ими, в частности правила выведения. Большую роль в развитии такого подхода сыграли теория типов и теория дескрипции, созданные Б. Расселом.
Поводом для создания теории типов явились парадоксы, обнаруженные Расселом при изучении работ Фреге и Кантора. Эти парадоксы заставили вспомнить о старых парадоксах, известных еще древним. Например, парадокс «лжец» состоит в следующем: Эпименид-критянин говорит, что все критяне лгут. Но так как он сам критянин, то, следовательно, и он лжет. Таким образом, получается, что критяне говорят правду. Второй вариант этого же парадокса: «Все, что я говорю, — ложь; но я говорю, что я лгу, значит, я говорю правду, а если я говорю правду, то, значит, я лгу».
Обратимся теперь к математическому парадоксу самого Рассела. Предположим, что имеются классы различных вещей. Иногда класс может быть членом самого себя, иногда — нет. Класс чайных ложек не есть чайная ложка. Но класс вещей, которые не являются чайными ложками, сам есть вещь, не являющаяся чайной ложкой. Следовательно, он член самого себя. Теперь возьмем класс всех классов, которые не являются членами самих себя. Является ли он членом самого себя? Если да, то он должен обладать отличительным признаком своего класса, т. е. не быть членом самого себя. Если же он не член самого себя, то он должен быть таким членом, так как должен войти в класс всех классов, не являющихся членами самих себя.
Этот парадокс можно представить в наглядном виде, назвав его «парадоксом брадобрея». Вот его суть: единственный брадобрей в городе получил приказ брить всех тех, кто не бреется сам. И вот брадобрей ходит по дворам и бреет всех бородатых. Но в конце концов он сам обрастает бородой — и тогда встает вопрос, как же ему самому быть? Если он не будет бриться, то он должен себя брить. Но если он бреется сам, то он не должен этого делать согласно полученному приказу!
Парадокс Рассела вызвал необходимость в тщательном анализе того, как мы пользуемся языком, не совершаем ли мы каких-либо ошибок, имеем ли мы право задавать подобного рода вопросы, имеют ли они смысл? Рассел попытался найти решение своего парадокса, создав теорию типов. Она устанавливала определенные правила и ограничения пользования терминами.
Суть этой теории Рассел разъясняет на примере аналогичного парадокса, известного под названием «лжец». «Лжец говорит: «Все, что я утверждаю, ложно». Фактически — это утверждение, которое он делает, но оно относится ко всей совокупности его утверждений, и парадокс возникает потому, что данное утверждение включается в эту совокупность». Если бы это утверждение стояло особняком, то парадокса не было: мы знали бы, что в случае его истинности все, что лжец утверждает, ложно. Но когда мы включаем само это утверждение в ту совокупность утверждений, к которой оно относится, о которой оно говорит или которую характеризует, тогда только и возникает парадокс. Этого, полагает Рассел, делать нельзя. Он считает, что мы должны различать предложения, которые относятся к некоторой совокупности предложений, и предложения, которые к ней не относятся. Те, которые относятся к некоторой совокупности предложений, никогда не могут быть членами этой совокупности.
Основная идея Рассела состоит в том, что в правильном языке предложение не может ничего говорить о самом себе, вернее, о своей истинности. Однако наш обычный язык такую возможность допускает, и в этом его недостаток. Поэтому необходимы ограничения в правилах пользования языком. Такие ограничения и вводит его теория типов.
Рассел делит предложения на порядки: предложения первого порядка никогда не относятся к совокупностям предложений, они относятся к внеязыковым явлениям.
Например:
- роза есть красная — Р 1;
- капуста есть зеленая — Р 2;
- лед есть горячий — Р 3.
Предложения второго порядка относятся к предложениям первого порядка.
Например:
- предложения Р 1 и Р 2 истинны — а
- предложение Р 3 ложно — б
Предложения третьего порядка относятся к предложениям второго порядка.
Например:предложения а и б написаны на русском языке. Таким образом, Рассел устанавливает, что и о чем мы можем говорить, а чего говорить не можем. Это значит, что некоторых вещей говорить нельзя.
Отсюда вытекает очень важное следствие: оказывается, что наряду с предложениями, которые могут быть истинными или ложными, есть и такие предложения, которые не могут быть ни истинными, ни ложными. Такие предложения бессмысленны.
Однако этот вывод вовсе не бесспорен. Например: предложение «четные числа питательны» бессмысленно. Однако вполне можно сказать, что оно ложно.
В теории типов Рассела содержатся зародыши двух идей, имевших значительные последствия для философии и логики. Когда он утверждает, что предложение ничего не может говорить о себе, то эту мысль можно расширить и сказать, что язык ничего не может говорить о себе. Эту идею защищал Л. Витгенштейн. Когда же Рассел утверждает, что предложение второго порядка может высказывать нечто о предложениях первого порядка, то отсюда вырастает концепция метаязыка.
Теория типов устраняет парадоксы, и все же она подвергалась критике. Почему? В частности, потому, что устранение парадоксов вовсе не всегда желательно. Язык, исключающий возможность парадоксов, для определенных целей хорош, для других нет. Такой язык беден, негибок и потому неадекватен сложному процессу познания.
Теория дескрипций была призвана разрешить другую трудность и тем самым рассеять одно распространенное в логике и в философии недоразумение. Оно состояло в отождествлении имен и описаний и приписывании существования всему тому, к чему они относятся. Логики, отмечал Рассел, всегда считали, что если два словесных выражения обозначают один и тот же объект, то предложение, содержащее одно выражение, всегда может быть заменено другим без того, чтобы предложение перестало быть истинным или ложным (если оно было тем или другим).
Однако возьмем такое предложение; «Скотт есть автор «Веверлея». Это предложение выражает тождество, но оно вовсе не тавтология. Это видно из такого рассуждения: когда король Георг IV захотел узнать, был ли Скотт автором «Веверлея», то он, конечно, не хотел узнать, был ли Скотт Скоттом! Это значит, что мы можем превратить истинное утверждение в ложное, заменив «автор «Веверлея» «Скоттом». Отсюда следует, что надо видеть различие между именем и описанием (дескрипцией): «Скотт» — это имя, но «автор «Веверлея» — это дескрипция. «Скотт» в качестве собственного имени является тем, что Рассел называет простым символом. Он относится к индивиду прямо, непосредственно обозначая его. При этом данный индивид выступает как значение имени Скотт. Это имя обладает значением и сохраняет его вне всякой зависимости от других слов предложения, в которое оно входит. Напротив, «автор «Веверлея» в качестве дескрипции не имеет собственного значения вне того контекста, в котором это выражение употребляется. Поэтому Рассел его называет «неполным символом». «Автор «Веверлея» сам ни к кому определенному не относится, так как в принципе им может быть кто угодно. Недаром ведь король Георг IV хотел узнать, кто именно был автором «Веверлея». Только в сочетании с другими символами «неполный символ» может получить значение.
Согласно концепции логического атомизма Рассела, и структура мира должна быть такой же. Иначе говоря, ее основу должно составлять то, что Рассел называет атомарными фактами. Но что такое атомарный факт? По Расселу, это не нечто абсолютно простое, не онтологический «атом», а именно атомарный факт. Под фактом же Рассел понимает то, что делает предложение истинным.
Когда я говорю о факте, заявлял он, я подразумеваю тип вещей, который делает высказывание истинным или ложным. Таким образом, атомарный факт сводится им к некоторому чувственному восприятию.
Идеи Рассела получили более полное выражение в «Логико-философском трактате» его ученика Л. Витгенштейна, который, в свою очередь, оказал большое влияние на развитие философских взглядов самого Рассела.
3. «Логико-философский трактат» Л. Витгенштейна
Людвиг Витгенштейн (1889—1951) родился в Австрии. По образованию он был инженером, занимался теорией авиационных двигателей и пропеллеров. Математический аспект этих исследований привлек его внимание к чистой математике, а затем к философии математики. Заинтересовавшись работами Г. Фреге и Б. Рассела по математической логике, он направился в Кембридж и в 1912—1913 гг. работал с Расселом. Во время Первой мировой войны Витгенштейн служил в австрийской армии и попал в плен. В плену он, видимо, и закончил «Логико-философский трактат», опубликованный впервые в 1921 г. в Германии, а на следующий год в Англии. После освобождения из плена Витгенштейн работал учителем в школе, имел некоторые контакты с М. Шликом, посетил Англию. В 1929 г. окончательно переехал в Кембридж. В 1939 г. он сменил Дж. Мура на посту профессора философии. Во время Второй мировой войны работал в лондонском госпитале. В 1947 г. вышел в отставку.
В 1953 г. были опубликованы его «Философские исследования», а в 1958 г. — «Синяя» и «Коричневая» тетради, за которыми последовали и другие публикации из его рукописного наследия. Этот второй цикл его исследований настолько отличается от «Логико-философского трактата», что Витгенштейна даже вполне обоснованно считают создателем двух совершенно различных философских концепций — явление в истории философии не такое уж частое.
«Логико-философский трактат» Витгенштейна оказал большое влияние на возникновение логического позитивизма. Это очень трудная, хотя и небольшая работа, написанная в форме афоризмов. Ее содержание настолько многозначно, что историки философии считают ее автора одной из самых противоречивых фигур в истории современной философии.
Прежде всего, Витгенштейн предлагает не монистическую, а плюралистическую картину мира. Мир, согласно Витгенштейну, обладает атомарной структурой и состоит из фактов. «Мир есть все, что происходит». «Мир — целокупность фактов, а не вещей». Это значит, что связи изначально присущи миру. Далее следует, что «мир подразделяется на факты» [1].
- 1 Витгенштейн Л. Философские работы. М., 1994. Ч. 1. С. 5.
Для Витгенштейна факт — это все, что случается, что «имеет место». Но что же именно имеет место? Рассел, который в данном отношении был солидарен с Витгенштейном, поясняет это следующим примером: Солнце — факт; и моя зубная боль, если у меня на самом деле болит зуб, — тоже факт. Главное, что можно сказать о факте, это то, что уже было сказано Расселом: факт делает предложение истинным. Факт, таким образом, есть нечто, так сказать, вспомогательное по отношению к предложению как к чему-то первичному; это материя предметной интерпретации высказывания. Следовательно, когда мы хотим узнать, истинно ли данное предложение или ложно, мы должны указать на тот факт, о котором предложение говорит. Если в мире есть такой факт, предложение истинно, если нет — оно ложно. На этом тезисе, собственно, и строится весь логический атомизм.
Все как будто бы ясно. Но стоит сделать еще шаг, как немедленно возникают трудности. Возьмем, например, такое высказывание: «Все люди смертны». Кажется, нет никого, кто вздумал бы оспаривать его истинность. Но есть ли такой факт, как то, что существует в наличии, что «происходит»? Другой пример. «Не существует единорогов» — видимо, это тоже истинное высказывание. Но получается, что его коррелятом в мире фактов будет отрицательный факт, а они не предусмотрены в трактате Витгенштейна, ибо, по определению, они «не происходят».
Но это еще не все. Если говорить о содержании науки, то здесь фактом или, точнее, научным фактом считается далеко не все, что «происходит». Научный факт устанавливается в результате отбора и выделения некоторых сторон действительности, отбора целенаправленного, осуществляемого на основе определенных теоретических установок. В этом смысле совсем не все то, что происходит, становится фактом науки.
Каково же отношение предложений к фактам в логическом позитивизме? Согласно Расселу, структура логики как остова идеального языка должна быть такой же, как и структура мира. Витгенштейн доводит эту мысль до конца. Он утверждает, что предложение есть не что иное, как образ, или изображение, или логическая фотография факта. С его точки зрения, в предложении должно распознаваться столько же разных составляющих, сколько и в изображаемой им ситуации. Каждая часть предложения должна соответствовать части «положения вещей», и они должны находиться в совершенно одинаковом отношении друг к другу. Изображение, дабы оно вообще могло быть картиной изображаемого, должно быть в чем-то тождественным ему. Это тождественное и есть структура предложения и факта. «Предложение, — пишет Витгенштейн, — картина действительности: ибо, понимая предложение, я знаю изображаемую им возможную ситуацию. И я понимаю предложение без того, чтобы мне объяснили его смысл». Почему это возможно? Потому что предложение само показывает свой смысл.
Предложение показывает, как обстоит дело, если оно истинно. И оно говорит, что дело обстоит так. Понять же предложение — значит знать, что имеет место, когда предложение истинно.
Витгенштейн предпринял попытку проанализировать отношение языка к миру, о котором язык говорит. Вопрос, на который он хотел ответить, сводится к следующей проблеме: как получается, что то, что мы говорим о мире, оказывается истинным? Но попытка ответить на этот вопрос все же окончилась неудачей. Во-первых, учение об атомарных фактах было искусственной доктриной, придуманной ad hoc (для данного случая (лат.), для того чтобы подвести онтологическую базу под определенную логическую систему. «Моя работа продвигалась от основ логики к основам мира», — писал позднее Витгенштейн. Не значит ли это, что «мир» в его трактовке есть вовсе не независимая от человеческого сознания реальность, а состав знания об этой реальности (более того, знания, организованного логически)? Во-вторых, признание языкового выражения или предложения непосредственным «изображением мира», его образом в самом прямом смысле слова, настолько упрощает действительный процесс познания, что никак не может служить его сколько-нибудь адекватным описанием.
Можно было бы рассуждать так: логика и ее язык в конечном счете сформировались под воздействием действительности, и потому они отображают ее структуру. Поэтому, зная структуру языка, мы можем, опираясь на нее, реконструировать и структуру мира как независимой реальности. Это было бы возможно, если бы мы имели гарантию того, что логика (в данном случае логика «Principia Mathematica») имеет абсолютное значение, и если бы можно было быть уверенным в том, что мир был создан Господом по образцу логико-философской концепции Рассела и Витгенштейна. Но это слишком смелая гипотеза. Куда более правдоподобно мнение, что логика «Principia Mathematica» — только одна из возможных логических систем. С точки зрения здравого смысла проблема познания — это проблема отношения сознания к действительности; что же касается научного познания, то это, прежде всего, создание теоретических конструкций, реконструирующих их объект. Всякое познание осуществляется, разумеется, с помощью языка, языковых знаков, это идеальное воспроизведение реальности человеческим субъектом. Знание под этим углом зрения идеально, хотя оно так или иначе фиксируется и выражается посредством знаковых систем, имеющих материальных носителей той или иной природы: звуковых волн, отпечатков на том или ином материальном субстрате — медных скрижалях, папирусе, бумаге, магнитных лентах, холсте и т. п. Таков изначальный дуализм всего мира культуры, включая и «мир знания». Несколько упрощенная форма этого дуализма, известная под названием субъектно-объектное отношение, современную философию уже не устраивает, и различные течения на Западе, начиная с эмпириокритицизма, пытались и пытаются так или иначе ее преодолеть.
Логический анализ, предложенный Расселом, и анализ языка, предложенный Витгенштейном, имели целью устранение произвола в философских рассуждениях, избавление философии от неясных понятий и туманных выражений. Они стремились внести в философию хоть какой-либо элемент научной строгости и точности, хотели выделить в ней те ее части, аспекты или стороны, где философ может найти общий язык с учеными, где он может говорить на языке, понятном ученому и убедительном для него. Витгенштейн полагал, что, занявшись прояснением предложений традиционной философии, философ может выполнить эту задачу. Но он понимал, что философская проблематика шире, чем то, что может охватить предложенная им концепция.
Возьмем, например, вопрос о смысле жизни, одну из глубочайших проблем философии; точность, строгость и ясность здесь едва ли возможны. Витгенштейн утверждает, что то, что может быть сказано, может быть ясно сказано. Здесь, в этом вопросе, ясность недостижима, поэтому и сказать что-либо на эту тему вообще невозможно. Все это может переживаться, чувствоваться, но ответить на такой мировоззренческий вопрос по существу нельзя. Сюда относится и вся область этики.
Но если философские вопросы невыразимы в языке, если о них ничего нельзя сказать по существу, то как же сам Витгенштейн мог написать «Логико-философский трактат»? Это и есть его основное противоречие. Рассел замечает, что «Витгенштейн умудрился сказать довольно много о том, что не может быть сказано». Р. Карнап также писал, что Витгенштейн «кажется непоследовательным в своих действиях. Он говорит нам, что философские предложения нельзя формулировать и о чем нельзя говорить, о том следует молчать: а затем, вместо того чтобы молчать, он пишет целую философскую книгу». Это свидетельствует о том, что рассуждения философов надо принимать не всегда буквально, a cum grano salis. Философ обычно выделяет себя, т. е. делает исключение для себя из своей собственной концепции. Он пытается как бы стать вне мира и глядеть на него со стороны. Обычно так поступают и ученые. Но ученый стремится к объективному знанию мира, в котором его собственное присутствие ничего не меняет. Правда, современная наука должна учитывать наличие и влияние прибора, с помощью которого осуществляется эксперимент и наблюдение. Но и она, как правило, стремится отделить те процессы, которые вызываются воздействием прибора, от собственных характеристик объекта (если, конечно, в состав объекта не включается и прибор).
Философ же не может исключить себя из своей философии. Отсюда и та непоследовательность, которую допускает Витгенштейн. Если философские предложения бессмысленны, то ведь это должно относиться и к философским суждениям самого Витгенштейна. И кстати сказать, он мужественно принимает этот неизбежный вывод, признает, что и его философские рассуждения бессмысленны. Но он стремится спасти положение, заявив, что они ничего и не утверждают, они только ставят своей целью помочь человеку понять что к чему и, как только это будет сделано, они могут быть отброшены. Витгенштейн говорит: «Мои предложения служат прояснению: тот, кто поймет меня, поднявшись с их помощью — по ним — над ними, в конечном счете признает, что они бессмысленны. (Он должен, так сказать, отбросить лестницу после того, как поднимется по ней.) Ему нужно преодолеть эти предложения, тогда он правильно увидит мир» [1]. Но что представляет собою это правильное видение мира, он, конечно, не разъясняет.
Очевидно, что весь логический атомизм Витгенштейна, его концепция идеального языка, точно изображающего факты, оказалась недостаточной, попросту говоря, неудовлетворительной. Это вовсе не значит, что создание «Логико-философского трактата» было бесполезной тратой времени и сил. Мы видим здесь типичный пример того, как создаются философские учения. В сущности говоря, философия представляет собой исследование различных логических возможностей, открывающихся на каждом отрезке пути познания. Так и здесь Витгенштейн принимает постулат или допущение, согласно которому язык непосредственно изображает факты. И он делает все выводы из этого допущения, не останавливаясь перед самыми парадоксальными заключениями. Оказывается, что эта концепция односторонняя, недостаточная для того, чтобы понять процесс познания вообще и философского познания в частности.
Но и это не все. У Витгенштейна есть еще одна важная идея, естественно вытекающая из всей его концепции и, может быть, даже лежащая в ее основе: мысль о том, что для человека границы его языка означают границы его мира, так как для Витгенштейна первичной, исходной реальностью является язык. Правда, он говорит и о мире фактов, которые изображаются языком.
Но мы видим, что вся атомарная структура мира сконструирована по образу и подобию языка, его логической структуры. Назначение атомарных фактов вполне служебное: они призваны давать обоснование истинности атомарных предложений. И не случайно у Витгенштейна нередко «действительность сопоставляется с предложением», а не наоборот. У него «предложение имеет смысл независимо от фактов» [2]. Или если элементарное предложение истинно, соответствующее со-бытие существует, если же оно ложно, то такого со-бытия нет. В «Логико-философском трактате» постоянно обнаруживается тенденция к слиянию, отождествлению языка с миром. «Логика заполняет мир; границы мира суть и ее границы» [3].
- 1 Витгенштейн Л. Философские работы. Ч. 1. С. 72—73.
- 2 Там же. С. 22.
- 3 Там же. С. 56.
Таким образом, Витгенштейн, а за ним и другие неопозитивисты замыкаются в границах языка как единственной непосредственно доступной реальности. Мир выступает для них лишь как эмпирическое содержание того, что мы о нем говорим. Его структура определяется структурой языка, и если мы можем как-то признать мир независимым от нашей воли, от нашего языка, то лишь как нечто невыразимое, «мистическое».
4. Венский кружок
Сейчас, обращаясь к истории Венского кружка, можно сказать, что его представители поставили две серьезные проблемы:
- Вопрос о строении научного знания, о структуре науки, об отношении между научными высказываниями на эмпирическом и теоретическом уровнях.
- Вопрос о специфике науки, т. е. научных высказываний, и о критерии их научности. В данном случае речь шла о том, как определить, какие понятия и утверждения являются действительно научными, а какие только кажутся таковыми.
Очевидно, что ни тот ни другой вопросы не являются праздными. К тому же вопрос о структуре научного знания, о соотношении его эмпирического и рационального уровней — это отнюдь не новая проблема; он в той или иной форме обсуждался с самого возникновения науки Нового времени, приняв форму столкновения эмпиризма и рационализма, которые отдавали предпочтение либо чувственному, либо рациональному познанию. Правда, уже Бэкон поставил вопрос о сочетании того и другого, об использовании в процессе познания как показаний органов чувств, так и суждений разума. Но он высказал свои соображения в самой общей форме, не анализируя детально особенности этих двух уровней, их специфики и взаимосвязи. В дальнейшем произошло формальное разделение философов на эмпириков и рационалистов.
Кант попытался осуществить синтез идей эмпиризма и рационализма, показав, как могут сочетаться в познавательной деятельности человека чувственное и рациональное познания. Но ему удалось ответить на этот вопрос лишь путем введения трудно подтверждаемого учения о непознаваемой «вещи самой по себе», с одной стороны, и об априорных формах чувственности и рассудка — с другой. К тому же в своей «Критике» Кант обсуждал вопрос в самой общей форме. Он совершенно не касался конкретных проблем, затрагивающих собственно структуры конкретных наук.
Но в XIX и тем более в XX в. наука развилась настолько сильно, что проблемы логического анализа, ее структуры стали на повестку дня как самые животрепещущие проблемы. Дело в том, что в век огромных успехов науки и роста ее влияния на умы очень соблазнительно выдавать любые самые произвольные взгляды и утверждения за строго научные, не отдавая себе отчета в том, что это, собственно говоря, значит. К тому же нередко и некоторые ученые-естествоиспытатели, используя свой авторитет в специальных областях, предавались самым фантастическим спекуляциям и выдавали их за строго научные выводы. В наше время, несмотря на существенное снижение статуса науки в общественном мнении и ее социального престижа, злоупотребления словами «наука» и «научный» встречаются нередко. Поэтому постановка вопроса об отличии научных предложений от ненаучных, о методе, который позволил бы распознавать, с чем мы имеем дело — с научными или псевдонаучными предложениями, не кажется вздорной. Весь вопрос в том, с каких позиций подходить к этой проблеме и как ее решать.
Для деятелей Венского кружка как представителей позитивистского течения, для которых статус науки как высшего достижения мысли был бесспорен, а проблема сводилась к тому, чтобы отделить науку от метафизики и научные высказывания от метафизических, весьма злободневным оказался вопрос о предмете философии.
Признанными лидерами Венского кружка были Мориц Шлик (1882-1936) и Рудольф Карнап (1891-1970). Отличительная черта учения Шлика, Карнапа и др. состояла в его ярко выраженной антиметафизической направленности. Убедившись в банкротстве метафизики логического атомизма, деятели Венского кружка обрушились на всякую метафизику вообще.
Логических позитивистов буквально преследовала одна навязчивая идея: мысль о том, что наука должна избавиться от всяких следов традиционной философии, т. е. не допускать больше никакой метафизики. Метафизика мерещится им всюду, и в изгнании ее они видят чуть ли не главную свою задачу. Неопозитивисты не против философии, лишь бы она не была метафизикой. Метафизикой же она становится тогда, когда пытается высказывать какие-либо положения об объективности окружающего мира. Логические позитивисты утверждали, что все доступное нам знание о внешнем мире получается только частными, эмпирическими науками. Философия же якобы не может сказать о мире ничего, помимо того, что о нем говорят эти науки. Она не может сформулировать ни одного закона и вообще ни одного положения о мире, которое имело бы научный характер.
Но если философия не дает знания о мире и не является наукой, то что же она такое? С чем она имеет дело? Оказывается, не с миром, а с тем, что о нем говорят, т. е. с языком. Все наше знание, как научное, так и обыденное, выражается в языке. Философия же занимается языком, словами, предложениями, высказываниями. Ее задача состоит в анализе и прояснении предложений науки, в анализе употребления слов, в формулировке правил пользования словами и т. д. Язык — подлинный предмет философии. С этим согласны все неопозитивисты. Но далее их мнения несколько расходятся.
Для Карнапа, который интересуется не языком вообще, а научным языком, философия представляет собой логический анализ языка науки или, иначе, логику науки. Эту логику науки Карнап до начала 30-х гг. понимал исключительно как логический синтез языка науки. Он полагал, что анализ языка науки может быть исчерпан выявлением формальных синтаксических связей между терминами и предложениями. Карнап писал: «Метафизика более не может претендовать на научный характер. Та часть деятельности философа, которая может считаться научной, состоит в логическом анализе. Цель логического синтаксиса состоит в том, чтобы создать систему понятий, язык, с помощью которого могут быть точно сформулированы результаты логического анализа. Философия должна быть заменена логикой науки — иначе говоря, логическим анализом понятий и предложений науки, ибо логика науки есть не что иное, как логический синтаксис языка науки».
Но логический синтаксис сам представляет собой систему высказываний о языке. Витгенштейн категорически отрицал возможность таких высказываний. Карнап ее допускает. Он спрашивает: возможно ли сформулировать синтаксис языка внутри самого языка? Не грозит ли здесь опасность противоречий? На этот вопрос Карнап отвечает положительно: «Возможно выразить синтаксис языка в самом этом языке в масштабах, которые обусловлены богатством средств выражений самого языка». В противном случае нам пришлось бы создавать язык для объяснения языка науки, затем новый язык и т. д.
Отождествив философию с логикой науки, Карнап, возможно, и не предвидел того, что в лоне позитивизма родилась новая философская дисциплина, которой суждено будет в ближайшие же десятилетия выдвинуться на первый план, — логика и методология науки, или философия науки.
Несколько отличную точку зрения на философию мы встречаем у Шлика. Если Карнап был логиком, то Шлик в большей степени эмпирик. Он заявлял: «Великий поворотный пункт нашего времени характеризуется тем фактом, что мы видим в философии не систему знаний, но систему актов; философия есть та активность, посредством которой раскрывается или определяется значение утверждений. Посредством философии утверждения объясняются, посредством науки они проверяются. Последнее (действие) относится к истине утверждений, первое — к тому, что они в действительности означают. Содержание, душа и дух науки, естественно, заключены в том, что в конечном счете ее утверждения действительно означают: философская деятельность наделения значением есть поэтому альфа и омега всего научного знания» [1]. «Специфическая задача дела философии, — писал Шлик, — состоит в том, чтобы устанавливать и делать ясными значения утверждений и вопросов» [2]. Таким образом, положение о прояснении предложений в качестве задачи философии конкретизируется Шликом как установление значений.
Но как может философия придавать утверждениям их значения? Не посредством утверждений, так как тогда и они нуждались бы в определении их значений. «Этот процесс не может, — по словам Шлика, — продолжаться бесконечно. Он всегда приходит к концу в актуальном указывании, в выставлении напоказ того, что имеется в виду, т. е. в реальных действиях: только эти действия более не подлежат дальнейшему объяснению и не нуждаются в нем. Окончательное наделение значением всегда имеет место посредством действий. Именно эти действия или акты и образуют философскую деятельность» [3].
- 1 Logical Positivism. Ed. by A. J. Aier. L., 1959. P. 56.
- 2 Ibid. P. 86.
- 3 Ibid. P. 57.
Таким образом, философ не разъясняет все до конца, а в конечном счете показывает значение научных утверждений. Здесь воспроизводится идея Витгенштейна, но в довольно огрубленной форме.
Так или иначе, согласно Шлику, философ имеет дело с языком, хотя не с формальными правилами пользования словами, но с установлением их значений.
Как же конкретно может работать логический анализ языка? На первых порах Карнап полагал, что этот анализ должен носить чисто формальный характер или, иначе говоря, должен исследовать чисто формальные свойства слов, предложений и т. д. Сфера логики науки, следовательно, исчерпывалась «логическим синтаксисом языка». Его большая работа так и называлась «Логический синтаксис языка» (1934).
Эта работа содержала, главным образом, анализ ряда сугубо технических проблем построения некоторых искусственных языков. Что же касается философского смысла данной работы, то он состоял в том, чтобы реализовать этими техническими способами позитивистскую установку на исключение из употребления всех метафизических предложений, т. е. на отказ от использования языка метафизики.
Выше говорилось, что для логических позитивистов все философские проблемы сводились к языковым. Если для Спенсера природа той абсолютной силы, которая лежит в основе всех явлений мира, оставалась навсегда непознаваемой, а для Маха природа исходного субстрата Вселенной была нейтральной, т. е. ни материальной, ни идеальной, то для Карнапа и логических позитивистов предложения, касающиеся объективного бытия вещей или их материальной или идеальной природы, являются псевдопредложениями, т. е. сочетаниями слов, лишенными смысла. Согласно Карнапу, философия, в отличие от эмпирических наук, имеет дело не с объектами, но только с предложениями об объектах науки. Все «объектные вопросы» относятся к сфере частных наук, предметом философии являются только «логические вопросы». Реалистическое предложение примет такую форму: «Каждое предложение, содержащее указание на вещь, равносильно предложению, содержащему указание не на вещи, но на пространственно-временные координаты и физические функции, что очевидно истинно».
Таким образом, благодаря синтаксическому подходу к философским утверждениям, переводу их в формальный модус речи, проблемы, которые якобы содержатся в этих утверждениях, обнаруживают, по Карнапу, свой иллюзорный характер. В некоторых же случаях может оказаться, что они представляют собой лишь различные способы говорить об одном и том же. Отсюда вывод: во всех случаях необходимо указывать, к какой языковой системе относится тот или иной тезис (высказывание).
Итак, по Карнапу, всякое осмысленное предложение есть либо объектное предложение, относящееся к какой-либо специальной науке, либо синтаксическое предложение, принадлежащее к логике или математике. Что касается философии, то она представляет собой совокупность истинных предложений о языках специальных наук. В связи с этим возникают два новых вопроса:
- Каков критерий истинности или хотя бы осмысленности объектных предложений?
- Все ли науки говорят на одном и том же языке, а если нет, то нельзя ли сконструировать такой общий язык?
Первый вопрос ведет к теории верификации (см. на с. 243— 244), второй — к теории единства науки и физикализму.
Несомненно, логический анализ языка, в особенности языка науки, не только вполне правомерен, но и необходим, особенно в период быстрого развития науки и ломки научных понятий. Такой анализ во все времена в той или иной степени был делом философов, а в какой-то мере и специалистов в различных областях знаний. Вспомним хотя бы Сократа с его стремлением докопаться до истинного значения, скажем, понятия о справедливости. В наше время эта задача стала еще более важной в связи с созданием математической логики, использованием различных знаковых систем, компьютеров и т. д.
Но свести всю функцию философии к логическому анализу языка — значит упразднить значительную часть того ее реального содержания, которое складывалось на протяжении двух с половиной тысячелетий. Это равносильно запрету заниматься анализом содержания коренных мировоззренческих проблем. Критики неопозитивизма считают, что, с точки зрения его сторонников, главное занятие философа состоит в том, чтобы разрушить философию. Правда, эта тенденция, высказанная неопозитивистами первоначально в категорической форме, впоследствии была значительно смягчена. Тем не менее все логические позитивисты все-таки полагали, что философия имеет право на существование лишь как анализ языка, прежде всего языка науки.
Возникает вопрос — какие высказывания, т. е. какие слова и сочетания слов, имеют научный характер, а какие его не имеют. Необходимо это якобы для того, чтобы очистить науку от предложений, лишенных научного смысла.
Нет нужды доказывать, что сама по себе постановка вопроса о специфике научных высказываний является важной и нужной. Это реальная проблема, имеющая большое значение для самой науки, для логики науки и теории познания. Как отличить высказывания подлинно научные от высказываний, лишь претендующих на научный характер, но в действительности им не обладающие? В чем отличительный признак научных высказываний?
Вполне естественно стремление найти такой универсальный критерий научности, который можно было бы безошибочно применять во всех спорных случаях. И логические позитивисты хотели отыскать такой единый признак высказываний, наличие или отсутствие которого сразу же могло решить вопрос о научном статусе того или иного предложения. Их попытка закончилась неудачей, но сама она была поучительной и принесла известную пользу; в значительной мере неудача была предопределена самим их замыслом. Они были заинтересованы не только в объективном анализе природы научного знания и языка науки, но и в том, чтобы не стать на точку зрения материалистического ее истолкования.
В своем понимании строения или структуры науки логические позитивисты непосредственно опираются на труды Витгенштейна, но, по существу, их взгляды восходят еще к Юму. Фундаментальным положением для неопозитивистской трактовки научного знания является разделение всех наук на формальные и фактуальные. Формальные науки — логика и математика, фактуальные — науки о фактах, все эмпирические науки о природе и человеке. Формальные науки ничего не говорят о фактах, предложения в них не несут никакой фактической информации; эти предложения аналитичны, или тавтологичны, справедливы для любого действительного положения вещей, потому что они его не затрагивают. Таковы, например,
а + b = b + a
7 + 5 = 12
а = а
Все предложения логики, считает Карнап, «тавтологичны и бессодержательны», поэтому из них ничего нельзя заключить о том, что необходимо или что невозможно в действительности или какой она не должна быть. Истинность предложений формальных наук имеет чисто логический характер; это логическая истина, вытекающая всецело из одной только формы предложений. Данные предложения не расширяют нашего знания. Они служат лишь для его преобразования. Логические позитивисты подчеркивают, что такого рода преобразования не ведут к новому знанию. По словам Карнапа, тавтологический характер логики показывает, что всякий вывод тавтологичен; заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме, один факт никогда не может быть выведен из другого.
Исходя из такого характера логики, Витгенштейн утверждал, что в природе нет никакой причинной связи. Его последователи использовали догму о тавтологичности логики для борьбы против метафизики, заявляя, что метафизика напрасно на основании опыта пытается делать выводы относительно трансцендентного. Дальше того, что мы видим, слышим, осязаем и т. д., мы идти не можем. За эти пределы никакое мышление нас не выводит.
Однако же разделение на аналитические и синтетические суждения, хотя и правомерно, все же имеет относительный характер и может быть осуществлено лишь по отношению к готовому сложившемуся знанию. Если же рассматривать знание в его становлении, то резкое противопоставление этих двух видов суждений становится неправомерным.
Предложенное позитивистами понимание структуры науки вызвало ряд вопросов:
- Что такое элементарные предложения? Как устанавливается истинность этих предложений? Каково их отношение к фактам и что такое факты?
- Как можно получить из элементарных предложений теоретические предложения?
- Возможно ли полное сведение предложений теории к элементарным предложениям?
Попытки ответить на эти вопросы оказались чреваты такими трудностями, которые привели логический позитивизм к краху.
Что представляет собой вопрос об элементарном предложении? Естественно, если все сложные предложения науки являются выводом из элементарных, а истинность сложных предложений — функцией истинности элементарных предложений, то вопрос об установлении их истинности приобретает чрезвычайное значение. Витгенштейн и Рассел говорили о них лишь в самой общей форме. Из исходных установок логики «Principia Mathematica» вытекает, что такие элементарные предложения должны быть. Но в логике можно ограничиться указанием на их форму, скажем, «.У» есть «Р». Но когда анализируется структура действительной науки, то надо сказать конкретно, какие именно предложения науки относятся к элементарным, далее неразложимым и настолько надежным и достоверным, что на них можно строить все здание науки. Оказалось, что найти такие предложения невероятно трудно, если вообще возможно.
Не менее важной проблемой, чем отыскание базисных предложений науки, для неопозитивистов было освобождение науки от метафизических предложений, а следовательно, установление способа их выявления и распознания.
Решение этих двух проблем, как казалось, стало возможным на основе «принципа верификации».
Витгенштейн считал, что элементарное предложение необходимо сравнивать с действительностью, чтобы установить, истинно оно или ложно. Логические позитивисты на первых порах приняли это положение, но придали ему более широкий смысл. Легко сказать — «сравни предложение с действительностью». Вопрос в том, как это осуществить. Требование сравнить предложение с действительностью практически означает, прежде всего, указать способ, как это можно сделать. Проверка настолько существенна для высказывания о фактах, что, по Карнапу, «предложение утверждает только то, что в нем может быть проверено». А так как то, что оно высказывает, есть его смысл (или значение), то «значение предложения заключается в методе его проверки» (Карнап); или, как считает Шлик, «значение предложения тождественно с его верификацией».
В этих рассуждениях нетрудно заметить влияние прагматизма. В самом деле, значение слова (понятия) состоит в будущих последствиях — в методе проверки или верификации. Значение не в самих чувственных последствиях, а в методе их получения.
Безусловно, положения науки должны быть доступны проверке. Но как эту проверку понимать, что значит проверять какие-либо научные предложения, как эту проверку осуществить? В поисках ответа на этот вопрос неопозитивисты разработали концепцию, основанную на «принципе верификации».
Данный принцип требует, чтобы «предложения» всегда соотносились с «фактами». Но что такое факт? Допустим, что это какое-то положение вещей в мире. Однако мы знаем, как трудно бывает выяснить истинное положение дел, добраться до так называемых твердых, упрямых фактов. Юристы часто сталкиваются с тем, насколько бывают противоречивы сообщения свидетелей какого-либо происшествия, какая масса субъективных наслоений имеется в любом восприятии того или иного объекта. Недаром даже стало поговоркой: «Врет, как очевидец». Если фактами считать различные вещи, группы этих вещей и т. д., то мы никогда не будем гарантированы от ошибок. Даже такое простое предложение, как «это есть стол», далеко не всегда достоверно, ибо может быть и так: то, что имеет вид стола, на самом деле есть ящик, доска, верстак или мало ли что еще. Строить науку на таком ненадежном фундаменте слишком легкомысленно.
В поисках достоверных фактов логические позитивисты пришли к выводу о том, что надо элементарное предложение относить к такому явлению, которое не может нас подвести. Они полагали, что таковыми являются чувственные восприятия или «чувственные содержания», «чувственные данные». Говоря, что «это есть стол», я могу ошибаться, ибо то, что я вижу, может быть вовсе не стол, а какой-то другой предмет. Но если я скажу: «Я вижу продолговатую коричневую полосу», то тут уже никакой ошибки быть не может, так как это именно то, что я действительно вижу. Следовательно, чтобы верифицировать любое эмпирическое предложение, надо свести его к высказыванию о самом элементарном чувственном восприятии. Такие восприятия и будут теми фактами, которые делают предложения истинными.
Но как же все-таки быть с предложениями метафизики? Нельзя же игнорировать тот факт, что люди интересуются метафизическими вопросами с самого возникновения философии. Неужели они две с половиной тысячи лет только и делают, что говорят бессмыслицу? Карнап разъясняет, что предложения метафизики не абсолютно бессмысленны, но лишены научного смысла, т. е. они не утверждают никаких фактов. Эти предложения ничего не говорят о мире и поэтому не могут быть проверены. Но это не значит, что они вообще не имеют никакого смысла и не нужны людям. Напротив, Карнап полагает, что они очень нужны, ибо служат для выражения чувства жизни, переживаний, эмоций, настроений человека, его субъективного отношения к окружающему миру и т. п. В выражении чувства жизни метафизика может быть поставлена в один ряд с поэзией или музыкой. Но поэзия и музыка суть адекватные средства для выражения чувства жизни, а метафизика — средство неадекватное. Метафизики — это музыканты без способностей к музыке. Поэтому они выражают свое чувство жизни в неадекватной форме. Главная ошибка метафизика в том, что он свое внутреннее чувство жизни трансформирует в форме утверждений о внешнем мире и претендует на общезначимость этих утверждений. Поэт и музыкант этого не делают. Они выражают свои чувства в стихах или мелодиях. Метафизики же выражают свои чувства в ненаучных предложениях и требуют, чтобы с ними все соглашались. Поэтому метафизика будет иметь право на существование только в том случае, если она признает себя тем, что она есть на самом деле, и откажется от своих притязаний на научность.
Приведенные рассуждения принципиально важны для понимания сущности неопозитивизма. Ведь, объявив положения метафизики лишенными научного смысла, позитивисты отказываются с ними спорить. Оставляя за собой лишь логику науки, они фактически уступают всю область философской проблематики тем самым метафизикам, над которыми они иронизируют, — томистам, философам жизни, интуитивистам, экзистенциалистам.
5. Логическая семантика
Дальнейшая эволюция неопозитивизма связана с логической семантикой. Если Р. Карнап до середины 30-х гг. считал, что логика науки исчерпывается логическим синтаксисом языка, то А. Тарский доказал необходимость также и семантического анализа, т. е. анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.
Польский математик Альфред Тарский (1902—1983), интересовался также логикой и логическими основами математики. В 1939 г. ему пришлось эмигрировать в США, где он работал преподавателем математики в одном из университетов.
А. Тарский опубликовал ряд специальных работ по логике и семиотике, из которых большое значение имела статья «Понятие истины в формализованных языках». Написана она в 1931 г. и в расширенном виде была переведена на немецкий язык в 1935 г., на английском языке вышла лишь в 1956 г. В обобщенном виде концепция Тарского была изложена в 1944 г. в статье «Семантическая теория истины и основания семантики». Рассуждения ученого очень непростые, так как речь идет исключительно о языке и языковых выражениях, причем не об одном языке, но о языке и о метаязыке, т. е. о языке, на котором говорят о другом языке.
Выше уже отмечалось, что в теории типов Рассела все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о вне-лингвистических объектах, ко второму — предложения, говорящие о предложениях первого типа, и т. д.
Эта идея и была использована для создания метаязыка, т. е. языка, говорящего о другом языке, в данном случае о вещном языке — языке о вещах. Если мы возьмем какое-то предложение о вещном языке, к примеру предложение Р, и скажем, что это «предложение Р истинно», то в каком случае это предложение будет истинным? Ведь когда говорим, что «Р — истинно», то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, не делаем различия между исходным «вещным» языком и метаязыком. Но при анализе их необходимо различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: «Р» истинно, если Р. Это значит, что (предложение) «снег бел» истинно, если снег бел. По сути дела, это несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму.
Формула Тарского сыграла большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Например, сказать: «Истинно, что Цезарь был убит в 44 г. до нашей эры» — это все равно что сказать просто: «Цезарь был убит». Понятие «истинно» ничего не добавляет к этой фразе.
Подобные суждения смущали многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.
Что касается семантики, то одним из важных результатов ее дальнейшей разработки была созданная Р. Карнапом теория языковых каркасов, изложенная им в статье «Эмпиризм, семантика и онтология» (1950). Данная теория решала проблему абстрактных объектов или, вернее, проблему высказываний, имеющих своим предметом абстрактные объекты (числа, суждения, свойства вещей, классы и т. д.). Она была призвана обосновать правомерность подобных высказываний. Причем она должна была не только осуществить это в рамках неопозитивистской концепции, но сделать так, чтобы подтвердить данную концепцию.
Карнап считает, что, хотя эмпиристы подозрительно относятся ко всякого рода абстрактным объектам, тем не менее в некоторых научных контекстах их едва ли можно избежать. Поскольку же свести высказывания об абстрактных объектах к элементарным или протокольным предложениям или же к высказываниям о «чувственных данных» явно не удалось, то необходимо объяснить правомерность таких высказываний. Кроме того, когда в обыденном или научном языке заходит речь о подобных абстрактных объектах, то обычно задается вопрос: существуют ли такие объекты реально? На этот вопрос реалисты отвечали утвердительно, номиналисты — отрицательно. Например, если речь идет о числах, то сторонник реализма готов признать их объективное существование, впадая в платонизм.
Некоторые же эмпиристы пытались решить данный вопрос, рассматривая всю математику как чисто формальную систему, которой не может быть дано никакой содержательной интерпретации. В соответствии с этим они утверждали, что говорят не о числах, функциях и бесконечных классах, а только о лишенных смысла символах и формулах. Однако уже в физике избежать абстрактных объектов гораздо труднее, если это вообще возможно.
Такова проблема. Карнап пытался решить ее посредством анализа языка. Он не ставит вопрос: что представляют собой абстрактные объекты? Он подходит к проблеме по-другому. Ведь фактически мы говорим об абстрактных объектах, делаем высказывания о таких объектах. Следовательно, мы пользуемся языком, который принимает их, допускает слова и высказывания о них. Встают вопросы: как возникает такой язык и какие высказывания об абстрактных объектах в нем можно делать, какие вопросы о них можно задавать?
Для решения этой проблемы Карнап вводит понятие о языковых каркасах. Это значит, что, если кто-либо хочет говорить на своем языке о каких-то новых объектах, он должен ввести систему способов речи, подчиненную новым правилам. Эту процедуру Карнап называет построением языкового каркаса. Она может осуществляться стихийно, неосознанно, но дело анализа — вскрыть ее логику и показать ее в чистом виде. Языковых каркасов может быть много. Простейшим примером такого каркаса может служить вещный язык, на котором мы говорим о вещах и событиях или обо всем том, что мы наблюдаем в пространстве и времени и что имеет более или менее упорядоченный характер. О вещах мы говорим с детства. Но это не должно помешать анализу данного вещного языка. Это, по Карнапу, так и есть на самом деле: когда мы осознаем природу вещного языка, то нам предоставляется свобода выбора: продолжать пользоваться им или же отказаться от него.
Итак, допустим, что мы решили принять такой языковой каркас, который позволит нам говорить в данном случае о вещах. Тогда, считает Карнап, мы должны различать два вида вопросов о существовании и реальности объектов.
- Вопрос о существовании тех или иных объектов внутри данного каркаса. Это внутренний вопрос.
- Вопрос о существовании или реальности системы объектов в целом.
По отношению к миру вещей, или к вещному языку, внутренними вопросами будут такие: есть ли на моем столе клочок белой бумаги?; действительно ли жил король Артур?; являются ли единороги и кентавры реальными или только воображаемыми существами? — т. е. можно ли было все это обнаружить в опыте? На эти вопросы следует отвечать эмпирическими исследованиями (подобно тому как на вопрос: есть ли простое число больше миллиона? — надо отвечать путем логических исследований). Это вполне осмысленные вопросы. «Понятие реальности, встречающееся в этих внутренних вопросах, является эмпирическим, научным, не метафизическим понятием. Признать что-либо реальной вещью или событием — значит суметь включить эту вещь в систему вещей в определенном пространственно-временном положении среди других вещей, признанных реальными, в соответствии с правилами данного каркаса» [1].
- 1 Карнап Р. Значение и необходимость. М., 1959. С. 301.
От этих вопросов нужно отличать внешний вопрос — о реальности самого мира вещей (или отдельных вещей, но уже безотносительно к данной системе, к данному каркасу). Он ставится философами, им интересуются реалисты и субъективные идеалисты, между которыми возникает бесконечно длящийся спор. Но этот вопрос, считает Карнап, нельзя разрешить, так как он поставлен неверно.
Быть реальным в научном смысле — значит быть элементом системы: следовательно, это понятие не может быть осмысленно применено к самой системе. Правда, замечает Карнап, тот, кто задает такой внешний вопрос, может быть, имеет в виду не теоретический, а практический вопрос: стоит ли нам принимать вещный язык и пользоваться им? Это дело свободного выбора, удобства, эффективности пользования вещным языком.
Содержание | Дальше |