Блинов Аркадий. Аналитическая философия

«последовательностей событийили иных физических объектов», а иногда – для обозначения «отдельных событийили других отдельных физических объектов».
   Чтобы интерпретация исчисления вероятностей служила разъяснительным инструментом, не связанным с необоснованными предположениями, нужно показать, что все исчисление тавтологически вытекает из принятой интерпретации. Этому условию (в той мере, в какой речь идет о вероятности последовательностей событий), очевидно, удовлетворяет интерпретация в терминах относительной частоты. Такая интерпретация рассматривает вероятность определенного рода событий как предел частоты, с которой этот вид событий встречается в соответствующей последовательности. Существование предела для каждой последовательности, включающей определенную частоту, понимается в том смысле, что для любой, сколь угодно малой разности можно указать такое число случаев, что суммарная относительная частота во всех последующих случаях не будет отклоняться от рассматриваемой относительной частоты больше, чем на эту разность. То, что из этой интерпретации действительно следуют все правила исчисления вероятностей, вытекает из того обстоятельства, что это исчисление, несмотря на то, что оно является чисто формальным, предназначено как раз для выполнения требований этой интерпретации.
   Однако эта интерпретация содержит некоторые трудности. Во-первых, если последовательность бесконечна, то никакой ее конечный сегмент не накладывает никаких ограничений на окончательную частоту. К счастью, однако, ряды, с которыми мы имеем дело, всегда конечны и нам не приходится иметь дело с тем, что нельзя было бы финитизировать или ограничить разумными пределами. Вторая трудность, возникающая из решения первой, заключается в том факте, что понятие предела применимо, строго говоря, только к бесконечным рядам, поскольку отклонения от заданной частоты могут неограниченно уменьшаться, только если ряд продолжается неограниченно. Выход из этой трудности можно найти в том, что понятие предела, как и большинство законов физики, является полезной идеализацией и что если даже оно не работает вполне совершенно, оно тем не менее является достаточным приближением в случае очень больших чисел, с которыми приходится иметь дело.
   Что касается обоснованности вероятностных высказываний о физических объектах, то возможны два типа теорий. Априорные теории пытаются найти среди событий по крайней мере некоторые связи, не зависящие от фактически встречающихся частота для этого так или иначе используется предположение о равновозможности каких-то неизвестных факторов. Однако такие теории фактически построены на механизме азартных игр, к которому применимы определенные, уже разработанные, но в недостаточной степени признанные соображения. Когда эти соображения должным образом учитываются, любой надежный фактор сводится к встречаемой частоте. Тем самым мы возвращаемся назад, к апостериорному базису, в который входят только наблюдаемые частоты и формальное исчисление.
   Когда мы рассматриваем вероятности не последовательностей, а отдельных событий, таких, как вероятность того, что сегодня будет дождь, мы, по-видимому, имеем дело с совершенно другим понятием вероятности. Иногда это новое понятие истолковывается как степень ожидания, а иногда как специфическая характеристика. Но первая трактовка затемняет тот факт, что вероятности мыслятся, как правило, объективными, а не субъективными; а вторая не дает основы ни для действия, ни для установления вероятностей, в терминах которых обосновывается смысл. На самом деле то, что является существенным в предполагаемой вероятности отдельного события, можно свести к относительной частоте, обнаруживая более длинные последовательности и высчитывая в них частоту событий рассматриваемого рода. Так, например, вероятность того, что сегодня будет дождь, можно получить в терминах относительной частоты дождливых дней ко всему классу дней, напоминающих в некоторых определенных отношениях сегодняшний день. Еще лучшим путем достижения того же результата был бы перенос исследования на металингвистический уровень и рассмотрение вероятности как относительной частоты достоверности высказывания, описывающего рассматриваемое событие, в некотором классе связанных с ним высказываний.
   Поскольку даже наши высказывания о событиях, в терминах которых определяются относительные частоты, являются только вероятностными, полное определение вероятности требует вместо обычной двузначной – многозначной логики, в которой истинность и ложность являются только конечными значениями шкалы, колеблющейся от 0 до 1. Как для общих вероятностных задач, так и для интерпретации квантовой механики Рейхенбах разработал такую логику вероятностей.
   Проблема обоснования индукции по существу совпадает с проблемой обоснования метода простого перечисления, связанного с частотной интерпретацией вероятностей. В этой связи становится с самого начала очевидным, что этот метод может быть обоснован, если предположить, что частоты, наблюдаемые в ряду, имеют пределы. Попросту, если брать частоту, наблюдаемую до определенного момента, как начальную оценку, а затем корректировать ее с каждым получением существенно новых данных, то получаемая оценка в конечном счете может быть сделана сколь угодно точной, если только существует предел. Если имеются подтверждающие данные, как это бывает почти во всех научных процедурах, то требуемого приближения можно достигнуть довольно быстро в вероятностных терминах. В ряде случаев исходные эксперименты могут даже допускать точную оценку на основе только единичного случая. Кроме того, хотя в случае отсутствия подтверждающих данных первоначальная оценка, так сказать, слепа в том смысле, что ей не приписывается никакого «веса», некоторый вес можно приписать последующей, вторичной оценке, ссылающейся на первую в метаязыке; и эту оценку в свою очередь можно взвесить в новом метаязыке, так что первая оценка может быть сделана достаточно надежной и только последняя по необходимости остается слепой.
   Однако предположение о существовании пределов наблюдаемых последовательностей фактически является необоснованным. Это предположение, представляющее собой одну из форм учения о единообразии природы, может рационально обосновываться только с помощью индукции и поэтому не годится для обоснования самой индукции. Другая возможность – принятие синтетических априорных суждений – также ничего не дает; так что если обоснование индукции означает обоснование верыв индукцию, то не существует обоснования индукции. Однако на самом деле речь идет не об обосновании веры, а о получении достаточных оснований для действия, и в таком понимании индуктивное правило, предлагающее принимать последовательно наблюдаемые частоты, может обосновываться тем, что если существует предел частоты, то его можно обнаружить с помощью такого метода. Будучи достаточным условием для обнаружения предела, если таковой имеется, этот метод по меньшей мере является необходимым условием обнаружения подобного предела. Следуя ему, мы можем ошибиться, если предела не существует, но он является нашим единственным шансом. Поэтому наши действия оправданы, если мы следуем этому методу. Можно даже разработать особые процедуры, улучшающие этот метод, однако если и существуют лучшие методы, чем этот, то их можно обнаружить, только следуя этому методу.

3.3.3 Карл Гемпель

   Хотя Карл Гемпель (1905-1997), позже профессор Принстонского университета, был членом Берлинской группы Рейхенбаха и продолжал придерживаться многих характерных для этой группы воззрений, однако наряду с этим он учился в Вене у Шлика и продолжал поддерживать тесную связь с членами Венского кружка, так что в своих взглядах он совмещал идеи обеих групп.
   В середине 1930-х годов Гемпель, по-видимому, был почти во всех отношениях ортодоксальным физикалистским логическим позитивистом. В этот период он утверждал, что высказывание о физическом объекте является не чем иным, как сокращенной формулировкой предложений о проверке, что даже психологические высказывания можно переводить в высказывания о физических объектах, которые в свою очередь можно перевести в предложения наблюдения, и что среди осмысленных высказываний непереводимыми являются только высказывания логики и математики, не имеющие эмпирического содержания и являющиеся чисто аналитическими. Однако вскоре после этого Гемпель начал во многом сомневаться, особенно в верификационном критерии значения и в переводимости осмысленных высказываний в предложения о наблюдении. Сначала он принял Карнапово уточнение тезиса о переводимости посредством редукционных цепей, связывающих высказывания о физических объектах с высказываниями о наблюдении, не определяя первые в терминах последних, но затем он пришел к убеждению, что четкое различие между познавательным значением и бессмыслицей должно быть заменено постепенной дифференциацией, допускающей различные степени осмысленности, и что в качестве исходных смысловых единиц должны рассматриваться не отдельные утверждения, а системы утверждений. Иными словами, уточнение должно быть расширено с помощью понятия связываемости с когерентными научными системами, и Гемпель, как и Нейрат, еще в 30-е годы оказали существенное влияние на те представления о когерентности, которые используются сегодня (см. §§ 9.7; 9.9).
   В своих работах 40-х годов «Исследования по логике подтверждения» и «Определение „степени подтверждения“» (совместно с Паулем Оппенгеймом) он предпринял попытку дать в терминах искусственного языка (пусть детально разработанного, но все равно языка простой структуры по сравнению с естестенным) точную формулировку такого подтверждения, не достигающего полной верификации, посредством которого осмысленные эмпирические высказывания могут связываться с наблюдением: он предлагает определение понятия "наблюдаемая связь О подтверждает гипотезу Н" или квантифицировать это понятие, введя «степень подтверждения» – "свидетельство Еподтверждает гипотезу Нв степени r". Ряд выдвинутых к этому времени критериев значения он подверг строгой критике, придя к выводу, что любой из этих критериев либо подрывает науку, либо открывает двери нежелательной метафизике, так что эмпирическим философам лучше всего прекратить поиски критерия значения, подходящего для естественного языка, и направить свои усилия на построение однозначного искусственного языка, в котором все эмпирические понятия определялись бы в явной форме. Гемпель продолжил свою атаку на выдвигаемые критерии значения для изолированных предложений и предложил свои собственные критерии когерентности осмысленных систем. Последние оказались связанными с проблемой выяснения отношений между «теоретическими терминами» и «терминами наблюдения», то есть с проблемой выяснения того, как научные термины (например, «электрон»), соответствующие ненаблюдаемым сущностям и качествам, могут иметь наблюдательный смысл. Отбрасывая как слишком строгий позитивистского физикализма, Гемпель вводит понятие «интерпретативной системы». С помощью подобной системы, состоящей из утверждений, использующих и теоретические термины, и термины наблюдения, возможна «частичная интерпретация» теоретической системы таким образом, что совокупность теории и ее интерпретативной системы будут иметь проверяемые наблюдаемые следствия.
   Ни одно научное высказывание, по мнению Гемпеля, нельзя проверить само по себе; оно является составной частью целого и должно проверяться под углом зрения его места в этом целом, которое само должно проверяться как целое. Научные системы представляют собой системы интерпретированных аксиом, связанные в различных пунктах с наблюдением и в различной степени согласующиеся с наблюдаемыми фактами. Подтверждение и осмысленность систем и теорий не являются абсолютными; их степень зависит от:
   (а) ясности и четкости формулирования теорий;
   (б) систематичности, то есть объяснительной и предсказывающей силы систем;
   (в) формальной простоты теоретической системы,
   (г) от того, в какой мере эти теории подтверждаются наблюдаемым опытом.
   Если система полностью соответствует наблюдению, то она может заменяться предложениями наблюдения и поэтому в силу «дилеммы теоретика» бессмысленна; однако фактически научная система никогда не может быть чем-то большим, нежели приближением, в высокой степени согласующимся с наблюдением, и даже различение между аналитическим и синтетическим не является в ней совершенно резким. Однако неизбежный разрыв между теоретическими системами науки и данными наблюдения не оправдывает, по мнению Гемпеля, того скачка к реализму, который предлагается некоторыми аналитическими философами. Сформулированная Гемпелем в ходе этих исследований «дилемма теоретика» сильно поколебала позиции позитивизма и ясно показала, что теоретические термины не могут быть редуцированы к терминам наблюдения и не могут быть исчерпаны никакой комбинацией терминов наблюдения.
   Наконец, результаты работы Гемпеля по проблеме объяснения вошли в классику философии науки. Дедуктивно-номологическая модель научного объяснения во многом послужила переосмыслению самих принципов объяснения, в том числе самим Гемпелем (см. § 11.2).

3.4 Дискуссия о языке наблюдения

   Исходной точкой исследований венцев был «Трактат», согласно одному из фундаментальных тезисов которого утверждение истинно, если факт или состояние дел, выраженные этим утверждением, существуют; иначе утверждение ложно. Обсуждение утверждений наблюдения привело к пересмотру этого тезиса.
   Согласно распространенным в то время интерпретациям «Трактата», составляющие мир факты состоят из некоторых родов элементарных фактов, далее не сводимых к другим. Они названы атомарными фактами, а те, которые составлены из них – молекулярными фактами. (Следует заметить, что сам Витгенштейн не говорит об атомарных и молекулярных фактах – это скорее расселовская интерпретация; Витгенштейн просто говорит о «фактах» и «положениях дел», и при этом остается под вопросом, каждому ли предложению должен соответствовать отдельный факт – в частности, соответствуют ли логически сложным предложениям особые, логически сложные факты, или же они сводимы к простым фактам, соответствующим конституентам таких предложений?) В соответствии с этими двумя родами фактов приняты два рода утверждений: атомарные утверждения, чтобы выразить атомарные факты, и молекулярные утверждения, чтобы выразить молекулярные. Логическая форма, в которой молекулярное утверждение состоит из атомарных, отражает формальную структуру фактов и, следовательно, так же, как существование молекулярного факта определено существованием его атомарных элементов, истина или ложность молекулярного утверждения определена соответствующими свойствами атомарных утверждений, т.е. каждое утверждение является функцией истины атомарных утверждений.
   Возражение Нейрата основано в первую очередь на том же очевидном требовании, что отношение корреспонденции необъяснимо (не существует теории самого этого отношения: единственное, что могут сделать корреспондентисты – это объявить корреспонденцию отношением sui generis, но в таком случае они признают, что это отношение неверифицируемо – по крайней мере, неприменимо к теории значения). Если я утверждаю, что снег бел, а мой оппонент – что снег зелен, то у нас не будет никаких способов выяснить, чье утверждение истинно, обращаясь лишь к самому снегу, причем что бы мы с ним ни делали. Нам придется для проверки обратиться к другим (нашим собственным и сделанным другими людьми) утверждениям, содержащим термины «белый» и «зеленый».
   Согласно Нейрату, наука – система однородных утверждений, где каждое утверждение может быть соединено или сравнено с каждым другим утверждением – например, чтобы вывести заключения из сочетания утверждений или проверить, совместимы ли они друг с другом или нет.
   Речь о науке всегда идет как о системе утверждений. Утверждения сравниваются с утверждениями, а не с 'опытом', 'миром', или чем-либо еще. Все эти бессмысленные дублирования принадлежат более или менее рафинированной метафизике и, по этой причине, должны быть отклонены. Каждое новое утверждение сравнивается со всей совокупностью существующих утверждений, предварительно скоординированных. Сказать, что утверждение является правильным, поэтому означает, что оно может быть включено в эту совокупность. ¹⁷⁷
   Утверждения никогда не сравниваются с «действительностью», с «фактами», поскольку никто из тех, кто поддерживает идею соответствия языковых выражений действительности, не способен дать точную теорию того, как искомое сравнение утверждений с фактами может быть произведено, и того, как мы можем устанавливать структуру фактов. Поэтому идея корреспонденции – лишь результат метафизики удвоения, а все связанные с ней проблемы – просто псевдопроблемы. Нейрат описал фундаменталистскую позицию как "связанную с верой в непосредственный опыт, принятой в традиционной академической философии", и отметил, что «методологический солипсизм» (термин Карнапа для представлений в духе Шлика) «не стал более пригодным к употреблению из-за добавления слова „методологический“» ¹⁷⁸.
   В соответствии с этим Карнап развил когерентную теорию, основная идея которой состояла в следующем: можно удалить из теории Витгенштейна отношение к «фактам» и характеризовать некоторый класс утверждений как истинные атомарные предложения – что позволяет поддержать важные идеи Витгенштейна о предложениях и их связях без дальнейшей зависимости от фатальной конфронтации предложений и фактов и, главное, от связанных с этим затруднительных последствий. Искомый класс пропозиций был представлен классом тех самых утверждений, самообоснование которых оказалось в центре внимания Шлика – утверждений, которые выражают результат чистого непосредственного опыта без какого бы то ни было теоретического дополнения. Они были названы протокольными предложениями, и, как изначально считалось, не нуждались ни в каком дальнейшем доказательстве и/или обосновании.
   Замена понятия атомарных предложений понятием протокольных предложений стала, по мнению Гемпеля, первым шагом в отказе логического позитивизма от теории истины «Трактата»; вторым же стало изменение представления о формальной структуре системы научных утверждений ¹⁷⁹.
   Согласно «Трактату», пропозиция, которая не может в конечном счете быть проверена, не имеет никакого значения; другими словами, утверждение имеет значение тогда и только тогда, когда оно – функция истинности атомарных пропозиций. Так называемые законы природы не могут быть полностью проверены, поэтому они не представляют вообще никакие утверждения, но всего лишь служат инструкциями, как делать значимые утверждения. Но Карнап принял во внимание, что в науке эмпирические законы сформулированы на том же самом языке, что и другие утверждения, и что они объединяются с сингулярными утверждениями, чтобы получить предсказания. Поэтому он заключил, что критерий Витгенштейна для значимых утверждений был слишком узким и должен быть заменен нa более широкий. Он характеризует эмпирические законы как общие импликативные утверждения; которые отличаются своей формой от так называемых сингулярных утверждений, типа «Здесь теперь температура 20 градусов». Общее утверждение проверяется исследованием его сингулярных следствий; но поскольку каждое общее утверждение определяет бесконечный класс сингулярных следствий, постольку оно не может быть окончательно и полностью проверено, но только более или менее поддержано ими: общее утверждение – не функция истины сингулярных утверждений, но имеет относительно них характер гипотезы. Иными словами, общий закон не может быть формально выведен из конечного множества сингулярных утверждений. Каждое конечное множество утверждений допускает бесконечный ряд гипотез, каждая из которых подразумевает все упомянутые сингулярные утверждения. Поэтому установление системы науки конвенционально: мы должны выбрать между большим количеством гипотез, которые являются логически одинаково возможными, и мы обычно выбираем ту, который отличается формальной простотой, как часто подчеркивали Пуанкаре и Дюгем. При этом сингулярные утверждения сами имеют характер гипотез относительно протокольных утверждений, а следовательно, даже те сингулярные утверждения, которые мы принимаем и которые мы расцениваем как истинные, зависят от того, которую из формально возможных систем мы выбираем.
   Отсюда следует отвержение еще одного фундаментального принципа «Tрактата» – принципа композициональности: больше не представляется возможным определить истину или ложность каждого утверждения в терминах истины или ложности некоторых базовых утверждений, будь то атомарные утверждения или протокольные утверждения, или другие роды сингулярных утверждений, поскольку даже обычные сингулярные утверждения являются гипотезами относительно базовых утверждений. Гипотеза, с такой точки зрения, не может быть полностью и окончательно проверена конечным рядом сингулярных утверждений; гипотеза не является функцией истины сингулярных утверждений, а следовательно, сингулярное утверждение, которое не является базовым, не является функцией истины базовых утверждений.
   Итак, анализ формальной структуры систем утверждений привел логических позитивистов к существенному измению понятия истины – к такому, согласно которому в науке утверждение принято как истинное, если оно достаточно поддержано протокольными утверждениями. И это характеризует существенную черту, которую когерентная теория Карнапа—Нейрата все еще имела общей с «Трактатом»: принцип редукции проверки каждого утверждения к некоторому роду сравнения между рассматриваемым утверждением и некоторым классом основных пропозиций, которые воспринимаются как окончательныеи не допускающие никакого сомнения. По мнению Гемпеля, третья стадия когерентистской эволюции позитивизма может быть охарактеризована как устранение из теории истины даже этого принципа.
   Если протокол некоторого наблюдателя содержит два утверждения, которые противоречат друг другу, то устраняется по крайней мере одно из них. Поэтому протокольные утверждения не могут восприниматься как образующие неизменное основание целой системы научных утверждений, хотя мы действительно часто возвращаемся именно к протокольным утверждениям для проверки пропозиции. С такой точки зрения, нет абсолютно первых утверждений для установления науки; для каждого утверждения эмпирического характера, даже для протокольных утверждений, может требоваться дальнейшее обоснование (например, протокольные утверждения некоторого наблюдателя могут быть обоснованы утверждениями, содержащимися в сообщении психолога, исследующего надежность наблюдателя перед тем или в то время, как он делает свои наблюдения, или другими утверждениями, относящимися к условиям наблюдения). Поэтому к любому эмпирическому утверждению может быть применена цепь проверочных шагов, в которой нет абсолютно последнего звена. Когда прервать процесс испытания – зависит от нашего решения, но в принципе этот процесс может продолжаться сколько угодно. Нейрат сравнивает науку с судном, которое бесконечно перестраивается в открытом море, и которое никогда не может быть помещено в сухой док и разом переделано от киля до мачты.
   Такой вариант когерентной теории ни в коем случае не влечет отрицание существования фактов в пользу пропозиций – напротив, возникновение некоторых утверждений в протоколе наблюдателя или в научной книге расценивается здесь как эмпирический факт, и пропозиции возникают как эмпирические предметы. Прояснить такой подход призвано введенное Карнапом различие между материальным и формальным способом речи ¹⁸⁰. Согласно нему, каждое не-метафизическое рассмотрение в философии принадлежит области логики науки, если только оно не касается эмпирического вопроса и не принадлежит эмпирической науке. Каждое утверждение логики науки может быть сформулировано как утверждение о некоторых свойствах и отношениях только научных пропозиций, поэтому этим формальным способом речи может быть характеризовано также и понятие истины – а именно, как достаточное соглашение между системой подтвержденных протокольных утверждений и логических следствий, которые могут быть выведены из этого утверждения и других уже принятых утверждений. Употребить этот формальный способ скорее, чем материальный – не только возможно, но и намного более правильно, поскольку последний влечет за собой много псевдопроблем, которые не могут быть сформулированы правильным формальным способом. Сказать, что эмпирические утверждения «выражают факты» и, следовательно, что истина состоит в некотором соответствии между утверждениями и выраженными ими «фактами», значит употребить материальный способ речи.