когеренции, истинность предложения определяется его согласованностью с другими предложениями данной логической системы, отсутствием противоречия между ним и этой системой.
Принятие теории когеренции фактически знаменовало крушение позитивистского эмпиризма. Шлик поэтому не принял эту теорию. Он настаивал на том, что предложения все-таки должны в конечном счете сопоставляться с фактами. Теория когеренции была подвергнута критике и за то, что, согласно ей, можно создать непротиворечивую систему, которая заведомо будет ложной. Таковы, например, миф, сказка, фантазия, легенда и т.д. Так рухнула и теория когеренции.
До сих пор речь шла, главным образом, о проверке предложений и об их осмысленности. Теперь надо остановиться на вопросе о построении научной теории. Логические позитивисты рассматривали теорию как логическую конструкцию на основе чувственных данных, а точнее, на основе элементарных предложений или высказываний о фактах. Мы видели уже, что в конечном счете эти базисные предложения выбираются произвольно.
Таким образом, для построения теории необходим набор исходных предложений и система правил, позволяющих вывести из этих предложений другие предложения, которые и составят верхние этажи науки. Эти правила должны удовлетворять одному условию: они должны обеспечить непротиворечивость системы. Они должны быть такими, чтобы не позволять выводить из исходных посылок противоречащие друг другу утверждения. В остальном они могут быть совершенно произвольными и устанавливаться по соглашению. Эту концепцию Карнап назвал «принципом терпимости». Он считал, что мы обладаем во всех отношениях полной свободой относительно форм языка, так что любые постулаты и правила выведения умозаключений могут выбираться произвольно. Карнап писал: «В логике нет морали. Каждый
265
свободен построить свою собственную логику, то есть свою собственную форму языка по своему желанию. Все, что от него требуется, если он желает обсуждать ее, это ясно изложить свой метод и дать синтаксические правила вместо философских аргументов» [1]. Таким образом, и здесь Карнап придерживается точки зрения конвенционализма.
1 Carnap R.. Logical Syntax of Langage. P. 52.
Так строится теория. Но для взглядов логических позитивистов на научную теорию характерно не только признание того, что положения теории выводятся из высказываний о «фактах». Они утверждали, что теоретические положения могут быть без остатка сведены к высказываниям о фактах. Это — принцип редукционизма.
Редукционизм означает, что содержание даже наиболее абстрактных теоретических положений то же самое, что и содержание элементарных предложений. По своей языковой форме они, конечно, отличаются, но содержание у них одно и то же. Что же это за содержание? Это чувственные данные, это констатация того факта, что в таком-то часу наблюдатель N видел, как черная стрелка совпала с красной чертой и т.д.
Но верно ли это? Действительно ли теория не дает ничего нового, по сравнению с тем, что нам дано в чувственных восприятиях и представляет собой только суммарное описание этих восприятий, выраженное на языке абстрактных понятий?
Предпосылкой такого взгляда на научную теорию является махистский взгляд, согласно которому ощущения представляют собой последнюю реальность, позади которой ничего нет. В этом случае задача науки будет состоять в том, чтобы дать человеку ориентировку в хаосе ощущений путем наиболее краткого, удобного или экономного их описания. Тогда научные понятия и теории будут своего рода стенографическими значками для быстрой и сокращенной записи наших ощущений. Тогда никакой другой задачи и никакого другого содержания у теории не будет. В этом случае принцип редукционизма будет правомерен и себя оправдает. Нужно ясно себе представлять эту неразрывную связь редукционизма с феноменализмом.
Но если ощущения — это не последняя реальность, а тот способ, которым вещи и процессы материального мира даются или являются нам, тот способ, посредством которого мы их воспринимаем, тогда очевидно, что сами ощущения непосредственно открывают нам далеко не все тайны мира, что от ощущений мы должны идти вглубь к тому, что лежит за ними, то есть, короче говоря, идти «от явления к сущности», к закону и т.д., то есть к тому, что непосредственно не воспринимается, но что только и дает более глубокое знание предмета, позволяет нам понять и объяснить наблюдаемые явления.
266
Описание науки, предложенное было логическими позитивистами, настолько противоречит действительной процедуре научного исследования и содержанию науки, что и от доктрины редукционизма логические позитивисты начали постепенно отходить. В 1939 г. Карнап уже должен был признать, что исходные абстрактные термины, применяемые в науке, могут получить лишь косвенную и неполную интерпретацию в терминах наблюдения. В дальнейшем он выдвинул и другую теорию, позволяющую пользоваться абстрактными понятиями и высказываниями.
Подведем некоторые итоги. Очевидно, что логические позитивисты поставили важные вопросы, но их ответы оказались во многом неудовлетворительными. Так, пороки принципа верификации вытекают из таких его особенностей:
а) Стремление найти единый формальный способ проверки научного характера тех или иных предложений. Однако эта задача едва ли может быть разрешена.
б) Сведение этого способа к сопоставлению с фактами, понимаемыми как чувственные данные или ощущения. Однако сопоставлять надо теоретические утверждения не с ощущениями, как таковыми, а, по возможности, с самой объективной реальностью, то есть с тем, что эти ощущения нам открывают. Но единого приема или правила здесь быть не может. Вся человеческая деятельность, вся общественная практика во всем ее многообразии только и может быть критерием истинности и научной осмысленности. Это звучит несколько неопределенно? Да. Но другого критерия мы не знаем. В то же время этот критерий является настолько определенным, чтобы, как правило, не позволять сбиваться с научных позиций.
Далее, понимание связи теоретического знания с эмпирическим в духе редукционизма оказалось примитивным. Специфика теории и теоретического мышления исчезла.
Деление на формальные и фактуальные науки, за которое позитивисты держатся крепче всего, оказалось неправомерной абсолютизацией относительного различия внутри сложившегося готового знания.
Наконец, принцип конвенционализма оказался преувеличением сверх всякой меры момента относительной свободы в выборе языковой символики и правил построения логических систем. Момент условного соглашения, несомненно, имеет место в развитии теории, но и он представляет собой средство для воспроизведения в сознании действительности и реальных связей вещей объективного мира. У неопозитивистов же он превратился в способ обоснования релятивизма.
267
И все же нельзя сказать, что все теоретические эксперименты логических позитивистов прошли впустую. Ни одна из их попыток не увенчалась не то, что окончательным, но даже прочным успехом. Но постановка вопроса о структуре научного знания, о специфике научных высказываний, об особенностях эмпирического и теоретического уровней науки и соотношении между ними вместе с попытками преодолеть те трудности и противоречия, в которых запутались логические позитивисты, — все это дало толчок дальнейшей разработке этих проблем с учетом действительного характера научного познания, все это способствовало возникновению той области философского исследования, которая получила название «философии науки».
При этом под «философией науки» имеются в виду весьма различные вещи. Во-первых, то, что мы называем философскими проблемами естествознания, например, вопросы происхождения вселенной, проблема пространства и времени и т.д. Во-вторых, это та дисциплина, которая более конкретно называется логикой и методологией науки и которая у нас в стране стала быстро развиваться в последние десятилетия.
Дальнейшая эволюция неопозитивизма пошла в направлении создания логической семантики. Если Карнап до середины 30-х годов считал, что логика науки исчерпывается логическим синтаксисом языка, то Тарский показал необходимость также и семантического анализа, то есть анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.
В этой связи надо сказать несколько слов о Тарском. Альфред Тарский был польским математиком, интересовавшимся также логикой и логическими основами математики. В 1939 г. ему удалось эмигрировать в США, где он и работал в одном из университетов, преподавая математику.
У Тарского есть ряд специальных работ по логике и семиотике, из которых большое значение имела статья «Понятие истины в формализованных языках». Написана она была в 1931 г. и в расширенном виде переведена на немецкий язык в 1935 г. На английском языке она вышла в 1956 г., но еще раньше его теория была изложена в 1944 г. в статье «Семантическая теория истины и основания семантики».
Рассуждения его очень непростые, так как речь у него идет исключительно о языке и языковых выражениях, причем не об одном языке, а о языке и о метаязыке, то есть о языке, на котором говорят о другом языке.
Выше уже говорилось, что в расселовской теории типов все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о внелингвистических объектах, ко второму типу предложения, говорящие о предложениях первого типа и т.д.
268
Эта идея и была использована для создания метаязыка, то есть языка, говорящего о другом языке, в данном случае о вещном языке, то есть о языке, говорящем о вещах. Если мы возьмем какое-то предложение о вещном языке, скажем, предложение Р, и скажем, что это «предложение Р истинно», то в каком случае это предложение будет истинным?
Ведь когда мы говорим, что «Р — истинно», то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, мы не делаем различия между исходным «вещным» языком и метаязыком. Но при анализе мы их должны различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: «Р» истинно, если Р.
Это значит, что (предложение) «Снег бел» истинно, если снег бел. По сути дела, это — несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму,
Формула Тарского сыграла очень большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины уже давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Так, например, сказать «истинно, что Цезарь был убит в 44 г. до нашей эры», это все равно, что сказать просто: «Цезарь был убит». Понятие «истинно» ничего не добавляет к этой фразе.
Подобное рассуждение смущало многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.
Что касается семантики, то одним из важных результатов ее дальнейшей разработки Р. Карнапом была
