Философия Науки. Хрестоматия - Авторов Коллектив

Существует более ранняя традиция. Древнегреческий рационалист Платон восхищался геометрией, но не думал так лестно о высокоразвитых металлургии, медицине или астрономии своих дней. Это преклонение перед дедукцией сохранилось в учении Аристотеля: подлинное знание, то есть наука, заключается в выведении следствий из исходных принципов с помощью доказательства. Поппер питал отвращение к идее исходных принципов, но его часто называют дедуктивистом, потому что он считал, что есть только одна логика — дедуктивная. Поппер соглашался с Дэвидом Юмом, который в 1739 году выдвинул тезис о том, что наше стремление к обобщению опыта является лишь психологической склонностью. Такая склонность не может служить основанием для индуктивного обобщения, так же как склонность молодого человека не доверять своему отцу не является основанием доверять первому больше, чем второму. Согласно Попперу, рациональность науки не имеет ничего общего с тем, как хорошо наш опыт поддерживает наши гипотезы. Рациональность, полагает он, — суть метода, а метод, заключается в выдвижении гипотез и их опровержении. Образуем далеко идущие предположения о мире, выведем из них некоторые наблюдаемые следствия. Проверим, истинны ли они. Если да, проведем другие проверки. Если нет, пересмотрим предположения или, еще лучше, придумаем новые.

Согласно Попперу, мы можем сказать, что гипотеза, прошедшая множество проверок, является подкрепленной (corroborated), но это не значит, что она хорошо поддерживается эмпирической очевидностью. Это означает лишь, что эта гипотеза удержалась на плаву в бурном море критических проверок. Карнап, напротив, пытался создать теорию подтверждения, анализируя то, как соответствие с эмпирическими данными делает гипотезу более вероятной. Сторонники Поппера упрекают сторонников Карнапа за то, что те не создали жизнеспособной теории подтверждения (confirmation). Те же, в отместку, говорят, что разговоры Поппера о подкреплении либо пусты, либо являются скрытым способом ввести в обсуждение понятие подтверждения.

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

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

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

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

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

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

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

Не существует резкого различия между наблюдениями и теорией.

Наука не кумулятивна (то есть не носит накопительного характера).

Реальная наука не имеет строгой дедуктивной структуры.

Реальные научные понятия не очень точны.

Методологическое единство науки — ложь: существует множество разрозненных средств, используемых для исследований различного вида.

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

Контекст подтверждения не может быть отделен от контекста открытия.

Наука живет во времени и является существенно исторической. (С. 17-22)

НИКОЛА БУРБАКИ

Н. Бурбаки (Bourbalti) — собирательный псевдоним труппы математиков во Франции. Группа образовалась в 1937 году из выпускников Высшей нормальной школы (L'Ecole Normale). Количественный и персональный состав группы не разглашается. К настоящему времени группа фактически распалась.

В 1939 году группа начала работу над созданием трактата, цель которого — дать общий обзор всей математики с позиций формального аксиоматического метода, разработанного Д. Гильбертом. Однако выполнить поставленную задачу полностью участники группы не смогли. За время своего сотрудничества Бурбаки выпустили 40 томов научных работ, получивших общее название «Элементы математики» и ставших, по существу, математическим евангелием. Основу содержания многотомного исследования составляют различные структуры (топологические, порядка, группы), определения которых вводятся с помощью аксиом. Способ рассуждения — дедукция. Материал излагается сжато, схематично и абстрактно, с использованием формализованного языка. Первая работа Бурбаки, переведенная на русский язык, — «Общая топология. Основные структуры» (1958). С точки зрения истории и философии науки определенный интерес представляет книга «Очерки по истории математики», в которой собраны исторические очерки, разбросанные ранее по разным томам.

Б.Л. Яшин