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

3.3.1.4 Вероятность и истинность

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

3.3.2 Ганс Рейхенбах

   Ганс Рейхенбах (1891-1953) являлся лидером так называемой Берлинской группы, во многом разделявшей взгляды Венского кружка. Он всегда проявлял живой интерес и глубокое понимание проблем современной физики и постоянно занимался философской интерпретацией достижений физики. Эти интенсивные исследования методологии и достижений современной науки привели к появлению внушительного ряда посвященных науке книг, таких, как: «Атом и космос», «Опыт и предвидение», «Философские основания квантовой механики», «От Коперника к Эйнштейну», «Направление времени», «Теория вероятностей» и «Философия пространства и времени». Занятия физикой привели его также к отрицанию большей части традиционной философии – особенно рационализма – в пользу вероятностной системы понятий, которая, как ему казалось, соответствует природе современной физики. Основными его темами стали критика рационализма, трактовка значения, возможные способы построения знания и типов объектов знания (см. § 3.4) и, наконец, интерпретация ключевых понятий вероятности и индукции.
   Не удовлетворяясь простым осуждением рационализма в терминах общей теории значения, Рейхенбах попытался раскрыть принципиальную слабость основных корней рационалистического подхода к философии. Суть рационализма, как думал Рейхенбах, составляет необоснованная попытка распространить полезные открытия математики за ее собственные пределы. У Платона математика смешивается с этикой, а у Аристотеля математика управляет физикой, вместо того чтобы обслуживать ее. Кант претендовал на объединение рационализма и эмпиризма в одно целое, но ему удалось лишь «засорить» понятие опыта рациональными элементами. К несчастью, рационалистам удалось убедить эмпириков принять их идеал совершенного доказательства, в силу чего последовательный эмпиризм пришел в лице Юма к неизбежному скептицизму.
   Однако благодаря ряду замечательных открытий началось освобождение мышления от уз рационализма. Первым из этих открытий было открытие – вскоре после смерти Канта – неевклидовых систем геометрии, которое заставило признать, что геометрия, считавшаяся основанной на разуме, не является единственно возможной и что вопрос о геометрии реального мира должен решаться посредством эмпирической проверки.
   Затем развитие логики показало, что весь аппарат логики и математики, который рационализм пытался навязать реальности, на самом деле состоит из тавтологий и лишен фактического содержания. Наконец, сама наука с помощью таких открытий, как учение об органической эволюции, теория относительности и квантовая механика, пришла к выводу о неприемлемости строгого детерминизма, который рационализм издавна пытался протащить в науку. Благодаря этим открытиям стал возможен новый тип знания, в котором наука, освобожденная от требования полного доказательства, может получать вероятности, не только служащие практическим целям, но и облегчающие развитие научной теории.
   Выбор критерия осмысленности, по Рейхенбаху, является делом не доказательства, а скорее соглашения. «Значение есть функция, которую приобретают символы, будучи поставлены в определенное соответствие с фактами»; но особое значение здесь придается тому, какойэто вид соответствия с какоговида фактами. Это имеет непосредственное отношение к предполагаемой структуре знания, где Рейхенбах различает несколько базисов.
   Базис высказываний существенно отличается от других тем, что он строится не непосредственно на каком-либо внеязыковом факте, а на предложениях. Этот базис, приписываемый Рейхенбахом Карнапу, имеет преимущество в том, что он «более тесно связан со знанием, чем базис объектов», так как «система знания составлена из предложений». Он также имеет то преимущество, что позволяет в отличие от базиса объектов отличать строгую импликацию от материальной. Но он, однако, затемняет то обстоятельство, что наука ищет связи фактов, а не связи предложений. Этот базис приводит также к преувеличению конвенциональных аспектов языка и упускает из виду то обстоятельство, что «некоторые существенные признаки языка не являются произвольными, а обязаны своим появлением соответствию языка фактам». Например, выбор геометрических принципов отнюдь не является произвольным, если сформулированы соответствующие «определения координации» (см. § 3.4). Таким образом, хотя базис высказываний не является ложным и может быть полезным для определенных целей, он должен, как правило, считаться вторичным по отношению к базису конкретов, который основывается на наблюдениях макрокосмческих объектов и событий.
   В соответствии с таким пониманием четырех базисов для построения познания Рейхенбах различает четыре типа объектов познания. Первый состоит из впечатлений, второй – из конкретов, которые могут быть либо субъективными, либо объективными; третий – из абстрактов, которые язык выделяет ради удобства, и четвертый – из научных объектов. Рейхенбах часто говорит также и об «иллатах», или выведенных объектах, которые включают почти все научные объекты и большую часть впечатлений. Абстракты не составляют независимый тип объектов, поскольку они фактически сводимы к конкретам, в том же смысле, в каком кирпичная стена сводится к сочетанию отдельных кирпичей. В этом смысле отношение между абстрактами и конкретами резко отличается от отношения между внешними вещами и впечатлениями, поскольку в то время как абстракты сводимы к конкретам, внешние вещи никоим образом не сводимы к впечатлениям.
   Проблема существования внешнего мира является, по Рейхенбаху реальной проблемой, с которой нельзя «разделаться... с помощью софистических доводов». Физические объекты на самом деле обычно являются нам в наших наблюдениях конкретов, и, хотя обоснованность этих наблюдений должна подтверждаться выводом, это требование не исключает объективной реальности физических объектов. Реальный мир бодрствующего человека отличается от мира снов своими согласованными каузальными связями. Можно, конечно, исходить из позитивистского языка и на нем выражать результаты фактических наблюдений; но только в том случае, если мы примем правила языка, позволяющие с помощью вероятностных выводов применить такой язык к области объективно реальных объектов, этот язык сможет выразить то, что мы обычно хотим сказать. Поэтому лучше, как правило, исходить из нормального языка, включающего упоминания о выведенных объектах. Конечно, верно, что на нормальном языке обычных объектов мы не можем адекватно выразить квантовые явления, так как наши инструменты неизбежно искажают наши наблюдения, так что нормальный язык ведет к каузальным аномалиям. Это обстоятельство можно использовать как довод в пользу ограничения языка позитивистским уровнем, на котором каузальных аномалий не возникает, однако такое ограничение исключает много важных проблем. Наилучшим выходом, вероятно, будет следующий: начинать с нормального языка, построенного на базисе конкретов, а затем на основе вероятностных выводов принять правила экстраполяции, посредством которых можно поставить основные проблемы относительно квантовых явлений и говорить об атомном мире, столь же реальном, как и привычный физический мир.
   Научное знание в основном состоит из номологических, или законоподобных, высказываний; впоследствии выяснилось, что логический характер некоторых из них порождает серьезные проблемы. Среди номологических высказываний только аналитические не составляют собой проблемы. Они представляют собой предельный случай вероятностных высказываний и являются тавтологическими средствами перевода одного множества высказываний в другое на данном уровне языка, не добавляя сами по себе ничего нового к знанию. Гораздо труднее охарактеризовать синтетические номологические высказывания, которые содержат информацию о регулярности среди фактов и образуют то, что часто называют законами природы. Такие высказывания, безусловно, не являются материальными импликациями, так как нежелательно утверждать истинность законоподобного высказывания только потому, что ложен его антецедент. Номологические высказывания не являются и обобщенными импликациями, так как даже ложность антецедента во всех случаях не должна являться достаточным основанием для утверждения законоподобного высказывания. Основными требованиями к номологическим высказываниям фактически являются следующие: они должны быть общимив смысле «высказываний обо всех...», исчерпывающимив том смысле, чтобы «все возможности, предоставленные высказыванием, исчерпывались объектами физического мира, из них не должны следовать отрицания их антецедентов, они должны быть универсальными,а не ограниченными «определенным местом и временем», исчерпывающими и не содержащими указаний на «конкретную область пространства– времени» и, наконец, проверяемыми в том смысле, что можно доказать, что они обладают высокой степенью вероятности.
   Логика, посредством которой лучше всего достигается и обосновывается знание, независимо от того, формулируется оно в номологических высказываниях или нет, – это не логика дедуктивного доказательства и не логика подтверждения посредством вывода следствий из условий, а также не логика доказательства посредством особых методов индукции. Она скорее является, как подсказывает предшествующий анализ взглядов Рейхенбаха, логикой вероятностей, по отношению к которой дедуктивная логика представляет собой просто предельный случай, а особые методы индукции – вспомогательные средства. Следовательно, можно утверждать, что проблема вероятностей составляет ядро любой теории познания.
   Наиболее удовлетворительным подходом к проблеме вероятностей является следующий: начинать с чисто формального исчисления, в котором можно построить всю систему целиком, исходя из постулируемых аксиом в соответствии с принятыми правилами. К счастью, большая часть такого исчисления уже была разработана математиками в форме широко принятых систем правил, позволяющих переходить без обращения к фактам от одного множества вероятностных высказываний к другому. Суммируя существенные признаки этого исчисления в первых восьми главах своей «Теории вероятностей», Рейхенбах переходит в последующих главах этой книги к более философским проблемам интерпретации формального исчисления и применимости его к физическим объектам. Обе проблемы до некоторой степени усложняются тем фактом, что термин «вероятность» иногда применяется для обозначения