Карл Поппер - Объективное знание. Эволюционный подход

• Название: Объективное знание. Эволюционный подход
• Автор: Карл Поппер
• Издательство: Эдиториал УРСС
• Жанр: Философия
• Год: 2002
• ISBN: 5-8360-0327-0

Книга выдающегося философа и логика XX века Карла Раймунда Поп-пера «Объективное знание» вышла первым изданием в 1972, вторым — исправленным и дополненным, с которого сделан русский перевод, в 1979 г.

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

В русском переводе этой книги публикуется «Послесловие к русскому изданию Объективного знания», написанное одним из учеников, соавторов и ближайших друзей Карла Поппера Дэвидом Миллером.

---

Наконец, следует сказать об отношении Брауэра к математическому платонизму. Автономия третьего мира несомненна, и поскольку это так, то брауэровское равенство "esse = construi" должно быть отброшено, по крайней мере в отношении проблем. Это, возможно, заставит нас заново пересмотреть проблему логики интуиционизма: не отбрасывая интуиционистских стандартов доказательства, следует подчеркнуть, что для критического рационального обсуждения важно четко различать между тезисом и свидетельствами (evidence) в его пользу. Однако это различие разрушается интуиционистской логикой, которая возникает из слияния воедино свидетельства (или доказательства) и утверждения, которое должно быть доказано[137].

(3') Методологические проблемы. Первоначальным мотивом интуиционистской математики Брауэра была потребность в надежности, уверенности — поиск более верных, надежных методов доказательства, фактически — непогрешимых методов. В этом случае, если вы хотите более надежных доказательств, вы должны более строго подходить к использованию демонстративной аргументации: вы должны применять более слабые средства, более слабые предположения. Брауэр ограничивается использованием логических средств, которые были слабее, чем средства классической логики [138]. Доказать теорему более слабыми средствами является (и всегда являлось) в значительной степени интересной задачей и одним из великих источников математических проблем. Этим и обусловлена интересность интуиционистской методологии.

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

7. Субъективизм в логике, теории вероятностей и физике

Субъективизм в логике, теории вероятностей и физике

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

7.1. Эпистемическая логика

Эпистемическая логика оперирует такими формулами, как "а знает р" или "а знает, что р", "a"верит (believes) в "р" или "а верит, что р". Обычно эти формулы символически записываются так:

«Кар» или «Вар»,

где К и B соответственно означают отношения знания (knowing) и веры (believing), а — познающий или верящий субъект, р — суждение, которое знают или в которое верят, а также соответствующее ему положение дел.

Мой первый тезис, выдвинутый в разделе 1, состоит в том, что все это не имеет ничего общего с научным знанием, потому что ученый (я буду обозначать его S) и не знает, и не верит. Что же он в действительности делает? Я приведу самый краткий список вариантов ответа на этот вопрос:

"S пытается понять p",

"S пытается думать об альтернативах p",

"S пытается думать о критических оценках p",

"S предлагает экспериментальную проверку p",

"S пытается аксиоматизировать p",

"S пытается вывести p из q",

"S пытается показать, что p невыводимо из q",

"S предлагает новую проблему x, возникающую из p",

"S предлагает новое решение проблемы я, возникающей из p",

"S критикует свое последнее решение проблемы x".

Этот список можно было бы значительно расширить. По своему характеру все входящие в него варианты довольно далеки от "S знает p" или "S верит в p" или даже "S ошибочно верит в р", "S сомневается в p".Здесь очень важно подчеркнуть, что мы можем сомневаться без критики и критиковать без сомнения. (То, что мы можем это делать, было высказано Пуанкаре в его работе «Наука и гипотеза» ("La science et l'hypothese"), которую в этом отношении можно противопоставить произведению Рассела «Наше знание о внешнем мире» ("Our Knowledge of External World").

7.2. Теория вероятностей

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

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

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

7.3. Физика

Субъективный подход в естественных науках значительно преуспел примерно с 1926 года. Прежде всего он захватил квантовую механику. Здесь он набрал такую силу, что на его оппонентов стали смотреть как на недоумков, которых с полным правом надо заставить замолчать. Затем он завладел статистической механикой. Здесь Сцилард предложил в 1929 году к настоящему времени почти повсеместно принятый взгляд, что мы должны платить за субъективную информацию возрастанием физической энтропии. Это интерпретируется как некое доказательство того, что физическая энтропия есть недостаток знания и поэтому является субъективным понятием и что знание или информация есть эквивалент физической негэнтропии. Такой ход развития событий четко сопровождался параллельным развитием теории информации, которая возникла как совершенно объективная теория каналов связи, однако позднее была связана со сцилардовским понятием субъективной информации.

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

Конечно, в этом моем докладе невозможно опровергнуть все эти субъективистские теории. Я могу лишь упомянуть о том, что я выступал против них в течение многих лет — самый последний раз в работе Popper 1967. Однако я не питаю каких-либо иллюзий. Возможно, пройдет еще много времени, прежде чем положение изменится (надежду на что высказывал Бунге в Bunge), если это вообще когда-нибудь произойдет.

В этой связи я желал бы остановиться еще только на двух моментах.

Во-первых, я попытаюсь показать, как выглядит эпистемология или логика научного исследования (открытия) с объективной точки зрения и как она может пролить некоторый свет на биологию научного открытия.

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

8. Логика и биология научного исследования (discovery)

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

Я теперь думаю, что в отношении конкурирующих теорий, возможно, лучше говорить об их «оценке» ("evaluation or appraisal") или о «предпочтении» ("preference") одной из них, а не об их «одобрении» или «принятии», однако дело не в словах. Использование слова «одобрение» не приносит вреда, если иметь в виду, что одобрение всегда временно, предварительно и, подобно мнению или вере, имеет преходящее и личностное, а не объективное и беспристрастное значение[139].

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