<<<     ΛΛΛ     >>>   

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

Не может быть никаких сомнений в том, что и философия логики, и философская логика составляют часть философии — за исключением тех случаев, когда философская логика постепенно растворяется в философии языка, а та в свою очередь, как мы видели, — в лингвистике. В действительности же, многие вслед за Расселом, видимо, все еще продолжают считать, что философская логика — это просто философия. Ей будет уделено много места в последующем изложении. Однако математическая логика во все более возрастающей мере оказывается во власти математиков. (Следует, конечно, помнить, что Фреге был математиком, как и многие логики после него.) Несомненно, аналитические философы больше не относятся к формальной логике с пренебрежением и не отбрасывают ее как лишенную значения, хотя в славные дни философии обыденного языка так поступали многие. По сути, в современной англо-американской философии стало считаться в порядке вещей сравнительно продвинутое знакомство с основными логическими системами; логические символы получают все большее распространение. Так что Карнап и Куайн одержали победу над Райлом. Тем не менее немногие философы читают сегодня «Journal of Symbolic Logic» («Журнал символической логики»), редакцией которого, по сути в их интересах, был учрежден «Journal of Philosophical Logic» («Журнал философской логики»). Хотя аналитические философы используют символы из логических систем, созданных в прошлые десятилетия, однако эти символы часто служат им декоративными аббревиатурами, а не элементами в построении философских выводов. Аналитические философы ссылаются на математическую логику, но не занимаются ею — так же, как инженер больше не занимается математикой; они выступают скорее потребителями, нежели производителями.

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

15

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

В прошлом такие критики математической логики, как Шиллер и Стро-сон, уже заявляли, что существуют большие классы корректных рассуждений, которые не признаются таковыми в формальных системах, и, как доказывал Стросон, используемые в математической логике логические константы типа «или» и «и» не отражают в полной мере их роль в повседневных рассуждениях. Отсюда эти критики не делали, однако, вывода о том, что следует разработать более совершенную формальную логику; скорее они настаивали на необходимости заменить или дополнить формальную логику неформальной, которая бы заключала в себе возможность выведения всех следствий из особых понятий — что, к примеру, следует из понятия «быть чьим-то братом»? В ответ на это сторонники математической логики указывали, что подобная логика не могла бы быть не чем иным, как мешаниной из разнородных частей, и что критики спутали логику с риторикой. Несомненно, признавали они, мы используем самые разнообразные приемы, стараясь убедить других в своей правоте. Часто они также признавали, что, пытаясь убедить других в том, скажем, что q следует из/?, мы, как правило, не обосновываем ложность р. Но это ничего не значит, сказали бы они, если в результате принятия подобных материальных импликаций создается логическая система, которая является ясной, точной, пригодной для выведения теорем из аксиом и свободной от всяких вносящих путаницу рассуждений о «значении».

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

16

Сторонник классической логики, как утверждает Ричард Раутли в книге «Релевантная логика и ее противники» (1982), ведет себя подобно инженеру, который изобрел приспособление для вычерпывания воды из потока. Это приспособление так плохо спроектировано, что расплескивает большую часть поднимаемой воды. Вместо того чтобы улучшить приспособление, инженер посвящает все свои усилия «построению остроумных доводов, доказывающих, что данное приспособление достойно восхищения», например на том основании, что «нет ничего плохого в потере воды» или что приспособление имеет «красивые, ясные и простые очертания» и любые изменения «совершенно не согласуются с его инженерными интуициями». Между тем большая часть воды для общественных нужд добывается «традиционными утомительными и довольно ограниченными ручными методами» — последнее замечание содержит намек на тот шокирующий многих факт,' что, когда философы хотят выявить ошибки в каком-то философском рассуждении, они часто прибегают к традиционной «аристотелевской» логике, не находя ничего в «классической» фрегевско-расселовской логике, что могло бы им помочь. В отличие от Стросона, сторонники релевантной логики не готовы отказаться от формализации: им нужна формализация, которая «работает», которая действительно позволяет отличать корректные рассуждения от ошибочных.

Разумеется, многие сторонники формальной логики, как, например, Г.Х. фон Вригт, уже предпринимали попытки дополнить классическую логику, разрабатывая модальные, деонтические логики или логики императивов и вопросов и не обращая внимания на протесты со стороны непоколебимого защитника минималистской логики Куайна. В этих своих попытках они исходили из предположения, что имеются классы рассуждений, в которых устанавливается связь между необходимым и возможным, обязательным и дозволенным, между командами и согласием их выполнить, между вопросами и ответами на них и для формализации которых недостаточно классической логики. Яакко Хинтикка даже попытался разработать «эпистемическую логику», связывающую знание с мнением. Однако все эти дополнения оставляли неприкосновенными центральные бастионы классической логики за тем исключением, когда они опирались на теорию «строгой импликации» К.И. Льюиса. Последняя, безусловно, оспаривала классическую логику в ее центральном пункте — теории импликации. Но она привносила новые, свои собственные парадоксы, в частности тот парадокс, что предложение, имеющее форму «А и не-?», согласно строгой импликации, влечет за собой какое угодно предложение 6.

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

17

соном и Н.Д.Белнапом в сотрудничестве с другими авторами на основе этой системы была разработана «релевантная логика», суммированным образом представленная в их работе «Выведение следствий» (1975). Как там утверждалось, из одного высказывания следует другое, если и только если (говоря неформальным языком) «они каким-то образом связаны друг с другом». Выражаясь философским языком, должна существовать некая связь между их содержаниями. (Для релевантной логики не считается постыдным быть интенсиональной и допускать свободные рассуждения о значениях.) Подобную связь можно более формальным образом определить с помощью «общих переменных». Изначально связанное с Питсбургом, это учение об импликации, а в более широком смысле — об обусловливании, в последующем получило развитие в довольно неортодоксальных направлениях в Австралии и Южной Америке, положив начало «паранепротиворечивым» логикам. Формулируемые в этом учении требования к импликации автоматически исключают парадоксы как строгой, так и материальной импликации. Если взять, к примеру, первую, то в этих логиках не может быть истинным, чтобы/? и не-/? вместе имплицировали любое произвольно выбранное высказывание q, поскольку они не имеют общей сентенциальной переменной. (Тогда как «р и q имплицируют q»). Мы не будем разбирать все сложные перипетии возникшей в результате дискуссии и касаться вопроса о том, разрушается ли первоначальный проект в результате изменений, которые необходимо внести в классическую логику, особенно если учесть, что во избежание льюисовского довода в пользу парадокса строгой импликации следует признать некорректным разделительный силлогизм вида «р или q, не-/?, следовательно, q», как не будем касаться и вопроса о том, является ли «релевантность» формальным понятием, отличным от понятий риторики 7. Сказанное к этому моменту дает некоторое представление о доводах, выдвигаемых философами, которые не согласны с тем, что математическую логику можно спокойно оставить математикам, как колонию, отвоевавшую свою независимость. Однако в деталях эта область в дальнейшем рассматриваться нами не будет.

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

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

18

является «философом природы» того типа, который преобладал в Германии XIX века и для которого главным занятием было обоснование того, что подлинную науку следует искать в метафизике, — именно такого рода «философы природы» и спровоцировали резкую критику метафизики со стороны логических позитивистов. Штегмюллер далек от этого; он один из тех немногих немецкоязычных философов, которые удержались от лести Хайдеггеру и философствовали в новой карнаповской манере. Немногие англо-американские философы согласились бы с тем, что истории философии следует так углубляться в науку. Тем не менее очень многие тоскуют по свободе умозрительных построений, свойственной досократикам, для которых не существовало различия между философией и умозрительной наукой о космосе и о происхождении жизни. Эта тоска обнаруживается не только у Штегмюллера, но и у таких разных философов, как Хайдеггер, Поппер, Фейерабенд, и ее питает крайне спекулятивный характер современной космологии.

По крайней мере, сейчас философы науки со значительно меньшей готовностью, чем в предшествующие десятилетия (особенно в период с 1925 по 1960 гг.), соглашаются с утверждением Витгенштейна о том, что «положения естествознания не имеют никакого отношения к философии», что наука в той лишь мере имеет значение для философии, в какой философы науки могут логически анализировать общую структуру научных теорий. Ку-айн же утверждает, что не существует четкого различия между философией и наукой, а Патнэм — что философия физики есть «продолжение физики». В течение какого-то времени очень немногие философы — за такими известными исключениями, как Рейхенбах и Грюнбаум, — отваживались писать подробно о пространстве-времени или квантовой механике. Считалось, что эти темы следует оставить теоретической физике. В 1970-е же годы, как мы увидим ниже, такое отношение уже далеко не было преобладающим. Та удобная позиция, согласно которой философы могут и должны ограничить свое внимание концептуальными вопросами, оставив в стороне эмпирическое как не имеющее отношения к их целям, была подорвана на разнообразных фронтах, а не только в отношении физики и биологии. Когнитивная психология, теория информации, теория вычислительных машин — особенно в связи с «машинным интеллектом» — все бросали вызов и предоставляли новые возможности философам и прежде всего эпистемологам. Философы никоим образом не оставили без внимания такие книги, как «Искусство и иллюзия» (1960) историка-искусствоведа Е.Х.Гомбровича или «Глаз и мозг» (1966) нейрофизиолога Ричарда Грегори. Границы между философией и социальной наукой еще более неустойчивы. Хотя, как я уже сказал, немногие философы потребовали бы от меня последовать примеру Штегмюллера, тем не менее в современной философии есть немало областей, на глубокое понимание которых могут рассчитывать лишь те, кто имеет хорошие знания по математике, физике или экономике.

19

Философия, таким образом, одновременно расширяется и сужается; в определенных областях она уступает территорию другим формам исследования, будь то лингвистика или математика, тогда как в иных случаях она продвигается туда, откуда прежде отступала. Географические границы также утратили прежнюю четкость. Безусловно, известное различение «англо-американской» и «континентальной» философии никогда не было точным в географическом плане. Приходилось относить к «англо-американской» большую часть финской философии, большую часть польской философии, а также приходилось помнить, что хотя «англо-американская» философия имеет корни в британской эмпирической традиции, она многим обязана немцу Фреге и таким австрийским философам, как венские позитивисты, Карл Поппер, а еще раньше — Брентано. Тем не менее это различение в основном работало. На одной стороне располагалась франко-немецко-итальянская философия, которая концентрировалась вокруг Хайдеггера, Сартра, Ясперса, была пророческой по своему стилю и даже при атеистических конечных выводах считала центральными вопросы, которыми занималась теология. Ее союзницей была литература, а не наука. Она провозглашала, что, стремясь к глубине и подлинной новизне идей, философ вынужден быть непонятым, и призывала признать право поэта искажать язык в угоду его, поэта, особым целям. На другой стороне располагалась аналитическая англо-американская философия, для которой главным достоинством была ясность, которая продолжала руководствоваться лингвистическими принципами, сформулированными Королевским обществом * в XVII веке, была близка по духу науке, сосредоточивала свое внимание на эпистемологии, сознании и языке и концентрировалась вокруг Райла, Айера, Остина, Куайна — этих собратьев, с «континентальной» точки зрения, несмотря на все их различия.

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

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

 <<<     ΛΛΛ     >>>   

Откорректировать гипотезу можно
110Чувственные данные 22

Как утверждает монтегю