Приложение. Некоторые проблемы философии науки

Первые три пункта этого списка дополнительных проблем связаны с исчислением вероятностей.

(1) Частотная теория вероятностей. В «Логике научного исследования» я попытался построить непротиворечивую теорию вероятностей, используемую в науке, то есть статистическую, или частотную, теорию вероятностей. В этой книге я (105:) употреблял также другое понятие, которое назвал «логической вероятностью». Поэтому я чувствовал необходимость обобщения — необходимость построения формальной теории вероятностей, допускающей различные интерпретации: (а) как теории логической вероятности высказывания относительно любого данного свидетельства, включая теорию абсолютной логической вероятности, то есть меры вероятности высказывания относительно пустого множества свидетельств; (b) как теории вероятности события относительно любого данного (или «совокупности») событий. Решая эту проблему, я построил простую теорию, допускающую также другие интерпретации: ее можно интерпретировать как исчисление содержаний, как исчисление дедуктивных систем, как исчисление классов (булева алгебра), как пропозициональное исчисление и как исчисление предрасположенностей ¹⁵.

(2) Проблема интерпретации вероятности как предрасположенности возникла благодаря моему интересу к квантовой теории. Обычно считают, что квантовую теорию следует интерпретировать статистически и, безусловно, статистика необходима при ее эмпирических проверках. Однако я думаю, что именно в этом пункте становятся ясными опасности теории значения, опирающейся на проверяемость. Хотя проверки теории являются статистическими и хотя теория (скажем, уравнение Шредингера) может иметь статистические следствия, она вовсе не обязана иметь статистическое значение: можно привести примеры объективных предрасположенностей (которые частично похожи на обобщенные силы) и полей предрасположенностей, измеряемых с помощью статистических методов, которые сами, однако, не являются статистическими (см. также ниже последний абзац гл. 3).

(3) Использование статистики в названных случаях в основном должно давать нам эмпирические проверки теорий, которые не обязательно являются чисто статистическими. Это ставит вопрос об опровержимости статистических высказываний. Эту проблему я рассмотрел, хотя и не вполне удовлетворительно, в немецком издании 1934 г. «Логики научного ис-

следования». Однако позднее я нашел, что все элементы для построения удовлетворительного решения этой проблемы уже имелись в той первой книге. Приведенные там некоторые примеры позволяют дать математическую характеристику класса бесконечных случайных последовательностей, которые в определенном смысле являются кратчайшими последовательностями такого рода²⁶. Статистическое высказывание можно считать проверяемым путем сравнения с этими «кратчайшими последовательностями»; оно опровергается, если статистические свойства проверяемого ансамбля отличаются от статистических свойств начальных отрезков этих «кратчайших последовательностей».

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

(5) Что касается самой проблемы детерминизма, то я пытался показать, что даже классическая физика, которая prima facie* в некотором смысле является детерминистической, истолковывается неправильно, когда используется для поддержки детерминистического понимания (в лапласовском смысле) физического мира.

* на первый взгляд (лат.). — Примеч. ред. (107:)

 

(6) В этой связи я хочу упомянуть также проблему простоты — простоты теории, которую мне удалось связать с содержанием теории. Можно показать, что то, что обычно называют простотой теории, связано с ее логической невероятностью, а не с вероятностью теории, как часто предполагают. Из той концепции теории науки, очерк которой был здесь нами изложен, такая связь позволяет нам получить ответ на вопрос о том, почему всегда сначала следует испытывать самые простые теории. Дело в том, что это будут как раз те теории, которые легче всего подвергнуть строгим проверкам: более простая теория всегда имеет более высокую степень проверяемости, чем более сложная теория²⁷. Однако я не считаю, что сказанное решает все проблемы, связанные с простотой (см. также ниже гл. 10, разд. XVIII).

(7) С проблемой простоты тесно связана проблема гипотез ad hoc и степени ad hoc характера гипотез («подгонки», если можно так выразиться). Можно показать, что методология науки, а также и история науки становятся гораздо более понятными, если мы принимаем допущение о том, что цель науки состоит в построении объяснительных теорий, которые как можно меньше являются теориями ad hoc: «хорошая» теория не есть теория ad hoc, «плохая» является таковой. В то же время можно показать, что вероятностная теория индукции неосознанно, но и неизбежно подразумевает принятие неприемлемого правила: всегда используй теорию, которая в наибольшей степени является теорией ad hoc, то есть которая в наименьшей степени выходит за рамки доступных свидетельств (см. также мою статью [27]).

(8) Назовем еще одну важную проблему — проблему уровней объяснительных гипотез, которые имеются в наиболее развитых теоретических науках, и отношений между этими уровнями. Часто утверждают, что теория Ньютона может быть индуктивно или даже дедуктивно выведена из законов Кеплера и Галилея. Однако можно показать, что, строго говоря, теория Ньютона (включая его теорию абсолютного пространства) противоречит теориям Кеплера (даже если мы ограничимся зада-

чей двух тел²⁸ и пренебрежем взаимным влиянием планет) и Галилея, хотя приближения к этим двум теориям можно, конечно, вывести из теории Ньютона. Ясно, что ни дедуктивный, ни индуктивный вывод не могут вести от непротиворечивых посылок к заключению, противоречащему этим посылкам. Эти соображения позволяют нам анализировать логические отношения между «уровнями» теорий, а также идею аппроксимации в двух смыслах: (а) теория х является аппроксимацией к теории у; и (b) теория х является «хорошей аппроксимацией к фактам». (См. также гл. 10 ниже.)

(9) Множество интересных проблем поставил операционализм — доктрина, утверждающая, что теоретические понятия должны быть определены в терминах измерительных операций. Вопреки этой точке зрения можно показать, что измерения предполагают существование теорий. Измерение не существует вне теории, и нет операций, которые можно было бы удовлетворительно описать только с помощью нетеоретических терминов. Попытки обойтись без теоретических терминов всегда содержат в себе круг — например, описание измерения длины требует (хотя бы рудиментарной) теории теплоты и температурных измерений, но последняя, в свою очередь, включает в себя измерение длины.

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

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

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

С операционализмом тесно связан также инструментализм, то есть истолкование научных теорий как практических инструментов или средств для предсказания будущих событий. Нельзя сомневаться в том, что теории могут использоваться таким образом, однако инструментализм утверждает, что наилучший способ понимания научных теорий состоит в том, чтобы понять их именно как инструменты. Я пытался показать, что это неверно, посредством сравнения различных функций формул прикладной и чистой науки. В этом контексте может быть решена также проблема теоретической (то есть неприкладной) функции предсказаний (см. далее гл. 3, разд. 5).

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

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

(10) Проблема объяснения. Часто говорят, что научное объяснение есть сведение неизвестного к известному. Если имеется в виду чистая наука, то ничто не может быть дальше от истины. Отнюдь не парадоксом будет утверждение, что научное объяснение, напротив, есть сведение известного к неизвестному. В противоположность прикладной науке, принимающей чистую науку в качестве «данной» и «известной», объяснение в чистой науке всегда представляет собой логическое сведение одних гипотез к другим — гипотезам более высокого уровня универсальности; сведение «известных» фактов и «известных» (110:) теорий к предположениям, которые известны нам гораздо меньше и которые еще нуждаются в проверке. Анализ степеней объяснительной силы и отношения между подлинным объяснением и псевдообъяснением, а также между объяснением и предсказанием — вот примеры проблем, представляющих большой интерес в этой связи.

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

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

(13) Наконец, следует вновь упомянуть один из способов решения проблемы индукции, о котором мы уже говорили (см. разд. IV), с тем чтобы предостеречь от него. (Решения такого рода выдвигаются, как правило, без попытки ясно сформулировать проблему, которую они призваны решить.) Рассуждение, которое я имею в виду, можно описать следующим образом. Вначале принимают, что никто всерьез не сомневается в том, что мы в действительности осуществляем индукции, и причем успешно. (Мое предположение о том, что это — миф и что кажущиеся случаи индукции при более тщательном рассмотрении оказываются случаями использования метода проб и ошибок, встречается с тем презрением, которого заслуживает это якобы совершенно неразумное предположение.) Затем говорят, что задача теории индукции состоит в том, чтобы описать и классифицировать наши индуктивные методы или процедуры, и, возможно, указать, какие из них являются (111:) наиболее успешными и надежными, а какие — менее успешными и надежными. Дальнейший же вопрос об оправдании индукции считается излишним. Таким образом, этот подход характеризуется тем, что различие между фактуальной проблемой описания наших индуктивных действий (quid facti?) и проблемой оправдания наших индуктивных аргументов (quid juris?) он объявляет излишним. При этом также говорится, что требуемое для индукции оправдание неразумно, так как мы не можем ожидать, что индуктивные аргументы будут «обоснованными» в том же смысле, в каком «обоснованы» дедуктивные аргументы: индукция просто не есть дедукция, и неразумно требовать от нее, чтобы она соответствовала стандартам логической, то есть дедуктивной, обоснованности. Поэтому мы должны судить о ней на основании ее собственных — индуктивных — стандартов разумности.

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

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

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

Таков список тех нескольких проблем философии науки, к которым я пришел в результате моих занятий двумя в высшей степени плодотворными и фундаментальными проблемами [демаркации и индукции], об истории разработки которых я попытался вам рассказать³¹.