Эдгар Цильзель (Вена) ЗАМЕЧАНИЯ 0 ЛОГИКЕ НАУКИ[55]
I
Только структуры познаваемы, только о структурах можно высказываться: по-видимому, именно в этом заключается центральный тезис новейшего учения о познании. Этот тезис начипает разрабатываться Пуанкаре, точно формулируется Расселом и последовательно проводится Карнапом.
Поэтому с помощью нескольких примеров следует еще раз вспомнить о понятии структуры. Возьмем некоторый класс предметов, скажем, какого-то ландшафта. Этому классу однозначно соподчинен класс каких-то знаков на соответствующей карте местности. Каждому предмету соответствует один знак и наоборот. Между предметами имеется только одно отношение: высота расположения Мюнхена над уровнем моря находится между высотами Лейпцига и Цюриха. Тогда и между соответствующими знаками имеется соответствующее отношение: светло- коричневая окраска на карте района Мюнхена по своей окрашенности располагается «между» желтым цветом района Лейпцига и темно-коричневой окраской района Цюриха. Если это верно для всего остального, то карта представляет «изоморфное» отображение местности. «Структурой» ландшафта будет тогда класс его изоморфных отображений. Только такие структуры познаваемы, и только о них можно высказываться.Наш тезис можно вывести из предпосылок всякой речи и определения познания.
Какие следствия можно извлечь из нашего тезиса относительно высказываний о «сейчас» и «я»? Попытка охарактеризовать «сейчас» посредством отношений и структур не приводит к успеху. Своеобразное переживание, отличающее «сейчас» от всех других моментов времени, высказать невозможно. Поэтому для того, чтобы предложения CO словом «сейчас» могли иметь научное содержание, их нужно преобразовать. B языке науки предложение «Сейчас происходит хозяйственный кризис» должно выглядеть так: «В l932 году от Рождества Христова происходит кризис» или «Во время печатания этой строчки происходит кризис».
Все, что выходит за рамки этого преобразования, нельзя понять структурно и, следовательно, нельзя высказать. Конечно, некоторые предложения со словом «сейчас» можно преобразовать в содержательные высказывания иным способом. B предложении «Если Солнце сейчас взорвется, то через 500 секунд это окажет первое воздействие на Землю» слово «сейчас» также можно заменить точным указанием времени: 7 июня l932 г., 12 часов дня, т.е. константой. Ho очевидно, что в данном случае ее также можно заменить переменной. Высказывание «Если Солнце взорвется в момент /, то в момент / + 500 это окажет первое воздействие на Землю» будет общезначимым. Аналогичным образом несколько «сейчас» могут поддерживать и дополнять друг друга в одном содержательном высказывании. Пример: если Земля сейчас перестанет вращаться, то сейчас на Земле произойдут определенные изменения. Тем самым высказано: если Земля в момент /..., то произойдет в момент /... Здесь и во всех подобных случаях слово «сейчас» является просто пустым местом, на которое можно поставить любой момент времени.To же самое справедливо и для всех содержательных предложений, содержащих слово «я». C точки зрения науки, предложение «Я чувствую себя хорошо» говорит: «Д-р Ц. чувствует себя хорошо» или «Пишущий эту строчку чувствует себя хорошо». To, что выходит за пределы этого, не может быть высказано и непознаваемо. Опять-таки в некоторые предложения могут входить несколько «я», которые заменяются одной переменной. Например, в романе «Оливер Твист» некий мистер Гримвиг имеет привычку говорить: «He могу же я съесть свою собственную голову». Во- первых, это означает (преобразование с константой): «Мистер Гримвиг не может съесть голову мистера Гримви- га», и, во-вторых, отсюда получаем (преобразование с переменной): «Господин X не может съесть голову господи- HaAf>>. To же самое верно и для такого предложения: «Только собственное психическое непосредственно переживаемо; чужое психическое не конструируется из собственного психического».
B данном виде (только с одним «я», с одним «собственным») это предложение вообще некорректно и бессмысленно. Правильно было бы сказать: «Я непосредственно переживаю только свое психическое», а это означает: «Пишущий эти строки всегда переживает психическое пишущего эти строки», или, если ввести переменную: «СубъектА' всегда переживает психическое субъектаЛГ».Резюмируем. 1. Я от любого Ты, собственное психическое от чужого психического нельзя отличить, как нельзя отличить Сейчас от не-Сейчас. Это различие структурно неуловимо и, поэтому, невыразимо. 2. Bce предложения, в которых встречаются слова «сейчас», «не сейчас», «я», «не я», «собственное психическое», «чужое психическое», можно преобразовать либо посредством подстановки обозначения момента времени (конкретного лица), либо - когда в предложение входит несколько таких слов - посредством подстановки переменной, относящейся к моментам времени или лицам. Только в том случае, когда это можно осуществить, такие предложения обладают научным содержанием. 3. B частности, все предложения, в которые слова «я» или «собственное психическое» входят только один раз (без ссылки на определенное лицо), являются бессодержательными псевдопредложениями[56]. Собственное психическое (чужое психическое) без соответствующего добавления есть то же самое, что племянник, у которого нет ни дяди, ни тети, - пустое слово.
II
B своих более ранних работах[57] Карнап еще допускал, что можно говорить о просто собственном психическом И O просто чужом психическом. Однако эти структурно неразличимые (псевдо)области получили различные истолкования: «чужое психическое» было интерпретировано физика- листски (бихевиористски), а «собственное психическое» было истолковано интроспективно. «Чужое психическое» конструируется из «собственного психического», обратный переход невозможен и недопустим. Высказывания о реальности «чужого психического» были отброшены, но о «реальности» «собственного психического» даже не упоминалось. Прежде всего, следует отказаться от этой неоднозначности подхода к первому и второму.
Господин X чувствует переживание господина X, но не господина Y, - вот все, что здесь можно сказать с точки зрения науки. Поскольку X и Y могут меняться местами, можно физикалист- ски анализировать либо обе группы переживаний, либо ни одну из них. Точно также возможно конструирование в обоих направлениях. Что же касается возможности высказываний о реальности, то она зависит от того, как определено слово «реальность», но каким бы ни было это определение, о чувственных переживания X и Y можно сказать одно и mo же.Если под «реальным» понимают невыразимый, данный в переживании каждому пишущему и читающему эти строчки субстрат всех отношений и структур, то нет даже высказываний о «реальности» души самого человека, высказывающего какое-то научное содержание, не говоря уже о «реальности» души других людей. Впрочем, следует сказать, что уже само чувство социальности противится прежнему разделению Карнапом своего и чужого. Удивительно: то, что внесоциально, при более тщательном анализе всегда оказывается спорным с научной точки зрения.
Мы останавливаемся здесь на недостатках глубоких логико-научных исследований Карнапа именно потому, что в последующем развитии этих исследований сам Карнап устранил данные недостатки. B его последней публикации ясно заявлено[58], что все психологические предложения (а не только о так называемом «чужом психическом») переводимы в физикалистский язык (указ. соч., с. 193). Карнап пришел к последовательной позиции, когда отделил науку от чувственных переживаний и заменил «содержательный» способ выражения «формальным». B начале стоят не невыразимые содержательные переживания, а протокольные предложения, т.е. «такие предложения, которые сами не нуждаются в обосновании» (с. 178). Посредством этих протокольных предложений предписанным образом верифицируется система научных предложений. Таким образом, в науке речь идет только о связи одних предложений с другими. Из этой необходимой формализации вытекают некоторые дальнейшие следствия.
0 них мы и будем говорить.Обратимся, прежде всего, к собственному изложению Карнапа. B его статье об универсальном языке говорится (с. 206): «...каждый субъект в качестве базиса может принять ТОЛЬКО СВОЙ собственный протокол. [iS| может, конечно, использовать и протокол S2... Однако это осуществляется лишь косвенным путем: S\ в своем протоколе должен описать то, что он видит запись такого-то вида.]» (под- черкнуто мною. - Э.Ц.). - Что это может и должно означать? Протокольные предложения не нуждаются ни в каком дальнейшем обосновании. Поскольку предположения о том, что должно стоять в протоколах, не установлены, постольку наука только тогда освобождается от невыразимых переживаний, когда протокольные предложения являются любыми.
Возьмем его протоколы, в которых осуществляется «искажение»[59]. Bo всех протоколах мы заменяем слово «голубой» словом «красный», не трогая всего остального. Поскольку при выражении протокола к нему добавляется еще представление о невыразимом переживании, такого рода процедура вызывает протест: утверждают, что тогда нельзя говорить ни о каких протоколах, если «реальность» переживается то как красное, то как голубое. Однако это различие нельзя выразить формально, и оно исчезает, когда вместо протоколов говорят, скажем, об «исходных посылках», поэтому «искаженные» и «правильные» протоколы равнозначны. B противном случае изменение протоколов влекло бы за собой изменение всей системы научных предложений. Изменение физиологии зрения привело бы к другим протокольным предложениям. Изменение протоколов заставило бы нас изменить электродинамику, биологию и, в конечном итоге, всю совокупность конкретных наук. Причем изменившаяся наука точно так же могла быть верифицирована посредством измененных протокольных предложений. Тогда можно было бы строить разные системы «единой науки» с относящимися к ней протоколами. Формулируемые высказывания не позволяют выделить ни одну научную систему, ни один набор протоколов в качестве «правильных».
Мы исходили из «обычных» протоколов и предприняли не очень серьезное их изменение. Однако важнейшие проблемы остались при этом в стороне. Теперь мы переходим к ним.
Можно попытаться считать протоколами вообще любые предложения. Тогда мы получим нечто такое, что лишь отчасти будет похоже на нашу науку. Построение протоколов должно осуществляться систематически или, выражаясь более корректно: протокольные предложения должны удовлетворять определенным условиям, с тем чтобы C их помощью можно было верифицировать «единую науку». C философской точки зрения, эти необходимые условия и, вообще, структурные особенности обычных протоколов особенно интересны. Поскольку Карнап нигде не говорит о них подробно, мы здесь перечислим некоторые из них.
1. Обычные протокольные предложения, как подчеркивает Карнап (с. 186), обладают «определенным порядком свойств», который позволяет с их помощью верифицировать интерсубъективные предложения. Это (с. 186) «счастливое обстоятельство, которое не является необходимым логически, но дано эмпирически»[60]. Если науку определяют как систему интерсубъективных предложений, то упомянутый порядок свойств протокольных предложений является необходимым условием существования науки.
2. Обычные протоколы позволяют верифицировать интерсубъективные системные предложения. Ha это «счастливое обстоятельство» указывает сам Карнап (с. 188-189). Если науку определяют как систему интерсубъективно значимых предложений, то здесь мы имеем еще одно необходимое условие существования науки.
3. Совсем не нужно было бы искать интерсубъективных предложений, если бы не было разных субъектов. Удивительно, что в нашем мире это есть, т.е. удивительно,
3.1 I что обычные протокольные предложенш можно собрать в группы и
3.l2 что ни одно протокольное предложение не входит в несколько групп одновременно (каждый субъект обладает только своими собственными «переживаниями»). Напротив, логически было бы допустимо;
3.2 что имеется только одна-единственная группа протокольных предложений. (Тогда нельзя было бы говорить о субъектах, ибо сам разговор о каком-то субъекте был бы бессодержателен.) Или:
3.3 что имеются, в общем, раздельные группы, однако
3.31 некоторые протокольные предложения одновременно входят в несколько групп (даже в нашем мире могли бы существовать сиамские близнецы со сросшимися головными мозгами); или
3.32 что в некоторых группах протокольные предложения обладают плотностью (HaufungssteIIen) в смысле теории множеств, причем некоторые группы имеют одинаковую плотность. Тогда существовал бы переход от одного «субъекта» к другому (даже в нашем мире шизофреническое раздвоение личности могло бы привести к усложнениям подобного рода).
B пункте 3.32 мы говорим о плотности протокольных предложений. Как известно, плотность присуща только бесконечным множествам. Вопрос: допустимо лишь конечное, счетно бесконечное или же континуальное множество протокольных предложений? Этот вопрос вводит нас в круг проблем, рассматривавшихся Брауэром.
4. Вследствие чего протокольные предложения привязаны к одним и тем же протоколам и отличают от предложений с другими протоколами? При существующем образе действий их просто записывают на одном и том же листке бумаги или листки с протоколами кладу на одно и то же место. Ну, а если протокол только высказан, а не записан? B использование записанных протоколов входят, очевидно.
определенные предположения из механики твердого тела, которые отнюдь не являются очевидными. Знаки на листке бумаги связаны не теми отношениями, которыми связаны разные листки. Если этот эмпирико-физический факт посредством записи перенести на протокольные предложения, то из этого уже возникают определенные системные предложения. A именно:
4.1 (одновременные протокольные предложения на одном и том же листке): одновременные психические реакции одного человека находятся между собой в иных отношениях, нежели реакции разных людей. (В один момент нельзя думать о разных вещах.) Из пункта 3 следует, что это не очевидно.
Сюда следует добавить еще некоторые особенности последовательных действий. C течением времени кусок бумаги не распадается на части, кусочки бумаги со временем не собираются в целый лист, написанные знаки не превращаются друг в друга, существует так называемое сохранение материи и т.д. Из всех этих эмпирико-физических свойств написанных протоколов возникает психологическое системное предложение:
4.2 последовательные психические реакции одного человека связаны иными отношениями, нежели реакции разных людей (условные рефлексы, навыки, ассоциации, память, устойчивость «я»).
Даже эта своеобразная структура не является само собой разумеющейся. Для последовательности во времени можно сконструировать даже больше необычных субъектных отношений, чем было сформулировано для одновременности в пункте 3. (Например, с течением времени субъекты могут расщепляться; их части могут соединяться, образуя новые субъекты). Порой даже в нашем мире случаются удивительные вещи подобного рода (распад «я» при общей амнезии). Здесь все это нам не нужно рассматривать. Bo всяком случае, уже само использование письменных, т.е. материальных, протоколов приводит к очень общим психологическим системным предложениям и наоборот. Использование определенного способа действий при образовании протоколов неизбежно, и нельзя оставить в стороне эмпирическое положение дел, обусловленное избранным способом действий. Поэтому мы устанавливаем:
4.2l последовательно возникающие протокольные предложения можно обьединять в группы (субьекта, протокола), которые в ходе последовательности не смешиваются.
5. Может быть, это лишь мечта, но мы убеждены в том,
5.1 что cyu{ecmeyem только одна наука, наука о живой действительности. C прогрессом психологии мы все больше убеждаемся в том, что все мечты можно вывести из живых явлений (живых протоколов) научным способом, т.е. в соответствии с законами природы (общими импликациями). Bce это является очевидной предпосылкой своеобразной структуры протоколов. Эту структуру нужно формулировать, ибо она не является самоочевидной. Напротив, логически допустимо:
5.2 что в одну болыиую действительность включено много маленьких воображаемых реальностей, которые не связаны ни с ней, ни друг с другом, или
5.3 «мечты» следуют системе: продолжение следует. Если, например, мечтают об осуждении на пожизненное заключение, то затем мечтают о дне, проведенном в тюрьме. B этом случае существует не одна действительность (одна, единая наука), а две, друг с другом не связанные, но сами по себе стройные действительности (две единые науки), которые ничем друг от друга не отличаются. Эти две отдельные действительности (науки) могут иметь
5.31 одинаковые или
5.32 разные законы природы.
Bce это, конечно, уже выражено в структуре протоколов.
6. Если имеется конечное множество протоколов и протокольных предложений, то разные возможности из пункта 5 совпадают. Данные действительности при всех обстоятельствах можно подвести под общие законы. Каждому математику хорошо известно, что для любого данного множества значений всегда можно найти функцию, покрывающую данные значения. Поэтому:
а) для любых данных протокольных предложений всегда можно задать законы (общие импликации), которые верифицируются всеми данными протокольными предложениями.
Законы (функции, общие импликации) могут быть гораздо более сложными, чем законы обычной науки.
Однако слово «наука» приобрело бы совершенно необычный смысл, если бы научные предложения ограничивались уже имеющимися наблюдениями. 0 научном предложении идет речь только тогда (некоторая область только тогда включается в реальность, когда она отличается от заблуждения, легенды, мечты), когда мы убеждены в том, что это предложение будет подтверждено новыми наблюдениями: когда формулируют научное предложение, его всегда экстраполируют. B отличие от этого:
б) к любому данному закону, который верифицирован соответствующими протокольными предложениями, всегда можно добавить дальнейшие протокольные предложения, противоречащие данному закону.
Если хотят экстраполировать науку, то, учитывая пункт (б), как для уже данных, так и еще не данных протокольных предложений должны установить особое ограничительное условие. Уже имеющиеся и новые протокольные предложения должны быть такими, чтобы экстраполяция некоторого (простого) закона удавалась тем чаще, чем большим количеством протокольных предложений был верифицирован этот закон. Вследствие возникновения чрезвычайно сложных проблем, связанных с индукцией И вероятностью, до сих пор еще не удалось удовлетворительно сформулировать требуемого статистического условия. Поэтому мы предварительно констатируем:
6.1 наш мир экстраполируем, имея в виду при этом, что предполагается определенная статистическая структура протокольных предложений. Эта структура также не самоочевидна. Логически допустимы и лучшие, и худшие, и совсем не экстраполируемые миры.
Об остальном следует сказать совсем коротко. Нужно упомянуть, что требование простоты законов не исчерпывает проблемы экстраполируемости, как не устраняет ее и различие между знанием и умением.
7. B пунктах l, 2, 3.l l, 3.l2, 4.2l, 5.l и 6.l мы сформулировали ряд важнейших необходимых структурных особенностей, которыми должны обладать протокольные предложения, чтобы могла существовать единая наука. Мы не рассматривали вопрос о том, достаточно ли перечисленных условий для построения единой науки. Будем предполагать, что все условия выполнены протокольными предложениями. Ho даже тогда, очевидно, существует еще много наборов допустимых протокольных предложений - наборов, допускающих построение иной единой науки. И опять возникает вопрос: какие из этих разных единых наук соответствуют «чувственно данному» миру, какие из них применимы к «реальности»? Этот вопрос нельзя сформулировать точно, ибо он не относится к структурам. Можно высказать что-то более общее: каждое вербальное определение науки охватывает любое множество как совместимых, так и несовместимых между собой систем предложений. K тому миру, который мы чувственно переживаем и который нас больше всего интересует, все ОНИ HC имеют никакого отношения. И это, по суги дела, вполне понятно. Если все, что можно высказать, ограничивается связью предложений, то, очевидно, что с помощью слов невозможно выйти за пределы замкнутой системы предложений.
Для логики науки и эмпирии открыты лишь два пути. Jlu6o наука определяется как система предложений, выполняющая условия интерсубъективности, интерсенсуальности и т.п. Тогда существует сколь угодно много несовместимых друг с другом единых наук, среди которых нет выделенной науки. Имеется одно только определение, и никак не обосновано то, что предписывается «иауке» условиями 1—6. C формальной точки зрения, не интерсубъективные системы или системы без отнесенности к субъекту не менее интересны. C «эмпирической» точки зрения, этот последовательно формальный подход требует только одного: верифицируемости избранными протокольными предложениями. Таким образом, существует сколь угодно много несовместимых одна с другой эмпирических сфер. Обращаться к «конкретной» эмпирии за ответом на вопрос, выполняют ли протокольные предложения условия 1—6 или нет, здесь не имеет смысла. Либо не хотят принимать такого определения науки, которое признает лишь формальную эмпирию, и стремятся выделить одну, единую науку, одну - интересную и невыразимую - эмпирию. Тогда в науке вынуждены дать место невыразимому. При этом уже нельзя неограниченно пользоваться формальным способом выражения, ибо «реальные» содержательные переживания нельзя передать с помощью слов и предложений. Эмпирическая наука будет включать в себя как выразимое, так и невыразимое.
Каждый из этих путей имеет свои достоинства. Вероятно, логик пойдет первым путем, философ, для которого важна плодотворность эмпирического исследования, выберет второй. Нельзя лишь не замечать этой дилеммы и считать, что с помощью логики можно придти к одной эмпирии.
Следует иметь в виду, что прагматизм отнюдь не открывает какого-то третьего пути. Выделенной единой наукой будет та, как могли бы предположить, в соответствии с которой я действую, скажем, для того, чтобы не умереть от голода. Ho при корректном способе выражения это означает лишь одно: исходя из определенных протокольных предложений, можно сказать, что те люди, которые не принимают пищу, в скором времени умирают. Напротив, при другом наборе протокольных предложений вообще нет никаких людей, а имеются марсиане на семнадцати ногах, которые никогда не едят и радуются своему распаду. При другом наборе протокольных предложений появляются психологические предложения, говорящие о поведении других. Если, однако, иметь в виду не психологические предложения о поведении, а само невыразимое поведение, то становится непонятно, почему избрано именно это поведение. Невыразимое переживание голубого или горького точно так же приводит к невыразимой реальности, как невыразимые «я хочу» или «я решился». Прагматизм со своим словом «поведение» лишь затушевывает имеющиеся здесь трудности.
Упомянем еще несколько частных результатов.
Согласно пункту 5 (в соединении с пунктом 6) логически возможны несколько разных картин реальности. Даже физика распадается на несколько несвязанных между собой частей, поэтому тезис о единстве науки еще не обеспечивается указанием на пространственно-временной универсальный язык. Здесь дело обстоит точно так же, как в споре о витализме[61]. Биологические понятия всегда имеют пространственно-временное выражение. Однако за этим скрывается содержательно гораздо более сложный вопрос о том, выводимы ли все биологические процессы из физических данных и физических законов. Точно так же и в связи с универсальным языком встает содержательный вопрос о том, все ли области современных конкретных наук можно связать едиными законами. Это эмпирическая, т.е. зависящая от обычных протокольных предложений, проблема. Прежде всего, следовало бы вообще найти какие-то законы в области наук о культуре (как раз против существования таких законов выступают сегодня представители наук о «духе»). Открытие законов культуры приведет к гораздо более интересному объединению наук, чем пространственно-временной универсальный язык.
B пунктах 1^> установлено: если наука определена как система предложений с такими-то свойствами, то протокольные предложения, посредством которых верифицируется такая наука, должны обладать такой-то структурой. Нужно обратить внимание на то, что здесь получает точное выражение центральное ядро кантовского априори - «трансцендентальные условия всякого опыта». У самого Канта и в еще большей мере у неокантианцев это ядро скрыто за слоем разного рода спекуляций и псевдопроблем. Однако в очищенном виде вопрос Канта заключается в следующем: какие условия должны быть выполнены, чтобы могла существовать наука? Наука не возникает сама по себе, поэтому такой вопрос плодотворен. Ведь можно задать такие протокольные предложения, которые не выполняют этих условий. Сам Кант не смог этого сделать, поскольку рассматривал априорное как «единственно мыслимое».
K перечисленным предложениям добавляются еще многочисленные весьма общие предложения, которые не являются ни тавтологиями, ни псевдопредложениями и которые не принадлежат ни одной конкретной науке, ибо они входят одновременно во все конкретные науки. B соответствии с исторически сложившемся словоупотреблением такие предложения принято называть фшософскими. Нет никакой необходимости лишать философию какого-либо содержания, сводить ее только к «деятельности» или отождествлять с разъяснением понятий. B общем здании науки существуют содержательные, общие и взаимосвязанные фундаментальные и пограничные вопросы, которые выходят за рамки любой конкретной науки и, тем не менее, допускают точный анализ. Конечно, такая философия не может быть четко отделена от конкретных наук и не может играть роль наставника науки[62].
III
Логика науки отличает обоснование (верификацию) эмпирической теории от ее логической стройности; стройность есть задача логики, обоснование - задача эмпирии. У Карнапа место эмпирии занимает множество протокольных предложений. При этом, однако, возможны различные наборы протокольных предложений. Выбор среди них определяется задачами построения, сама по себе эмпирия не дает возможности выбрать какую-то систему протокольных предложений. Интересный метод построения, используемый Карнапом для того, чтобы научную систему можно было верифицировать посредством протокольных предложений (с. 176-177), не обращает внимания на стройность^. Это трудно заметить вследствие того, что остается в тени подразумевание представления о том, что протокольные предложения привязаны к невыразимым переживаниям. B заключение я предлагаю набросок построения с тем, чтобы постановка проблемы стала более ясной.
Теоретически наиболее совершенной формой, в которой может быть представлена эмпирическая наука, является гипотетико-дедуктивная система. Как известно, такая система состоит из каких-то, совместимых друг с другом и содержащих переменные предложений, формулируемых с самого начала (посылки, аксиомы), и других предложений системы, которые выводимы из первых (аксиоматический метод). Если дедукция осуществляется правильно, то система будет стройной; напротив, верификация обращается к эмпирии. Пытаясь применить систему к эмпирии, на место переменных поставляют имена эмпирических объектов и смотрят, подтверждает ли эмпирия полученные в результате подстановки предложения. До сего времени лишь очень немногие эмпирические науки пришли K столь совершенной форме, разве что геометрия (Гильберт) и некоторые ветви теоретической физики (см. аксиоматизацию Гильбертом теории излучения и аксиоматики Каратеодо- ри и Рейхенбаха для специальной теории относительности). «Единая наука» может, по нашему мнению, со временем приобрести вид такой гипотетико-дедуктивной системы.
B идеале единая наука могла бы выглядеть следующим образом. B качестве посылок она опиралась бы на предложения, содержащие только логические константы и (одну или несколько) переменные. Посылки должны быть совместимы друг с другом. Из этих посылок посредством тавтологичных преобразований выводятся системные предложения, прежде всего, общие импликации (законы природы). При этом возникают все более сложные комплексы переменных и логических констант и выводятся все более разнообразные предложения на основе этих комплексов. При логически корректном осуществлении вся эта игра с символами создает структуру системы. Ho однажды встает задача применения этой системы к эмпирии. Это применение осуществляется следующим образом: сначала на место упомянутых сложных выражений, состоящих из переменных и логических констант, подставляются «эмпирические» имена, причем вместо одинаковых выражений подставляются одинаковые имена. Если для всей «эмпирии» находятся подходящее выражение и такая подстановка, что получаются только истинные, но не ложные, предложения, то все построение считается верифицированным.
Пример поможет более ясно понять, что подразумевается под верификацией. Вместо подходящего сложного выражения подставим везде слово «собака», а вместо другого - слово «млекопитающее». Тогда, если система должна быть верифицирована, в нее должно входить предложение: «Собака є млекопитающее (класс собак есть подкласс класса млекопитающих)». Однако этого еще далеко недостаточно. C помощью соответствующих подстановок нужно правильно получить все другие предложения о собаках и, прежде всего, предложения такого вида: «Если человек в таких-то обстоятельствах находится рядом с собакой, то он видит цветное пятно определенного вида и слышит лай»; «Если в этой ситуации оказывается еще один человек, то он видит, как вздрагивает первый человек»; «Если третий человек при таких-то обстоятельствах спрашивает второго человека, то он слышит от него рассказ о поведении первого человека» и т.д. Короче говоря: с помощью соответствующих подстановок нужно получить все предложения всех эмпирических наук и, прежде всего, все предложения (общие импликации) о психических реакциях людей. Однако человек, верифицирующий все построение, эти последние, психологические предложения должен верифицировать с помощью своих собственных, невыразимых переживаний. Это означает: он должен понять, можно ли в соответствующее психологическое предложение на место переменных подставить имя такого переживания, что все получившееся предложение станет обозначением того переживания, которое он сейчас испытывает. Иначе говоря: он должен оценить, изоморфна ли (структурно подобна) совокупность знаков его переживанию. Если психологические предложения верифицированы, то верифицирована вся связанная с ними знаковая система. По-видимому, не стоит говорить о том, что современные эмпирические науки еще очень далеки от этого гипотетико-дедуктивного идеала единой науки.
Сколь угодно много знаковых систем сами по себе являются логически стройными. Однако лишь некоторые из них можно верифицировать, можно применить к «эмпирии», т.е., в конечном итоге, соотнести с невыразимыми переживаниями верифицирующих субъектов (см. выше, И, 7). Еще меньшее число гипотетико-дедуктивных систем удовлетворяет результату II, 6, касающемуся экстраполи- руемости. Как ни странно, «эмпирия» предстает перед верифицирующим только в момент верификации. Среди многочисленных знаковых систем, верифицируемых данными переживаниями, некоторые - вследствие II, 66 - будут неприменимы к последующим переживаниям. Если мы хотим получить экстраполируемую науку, то на имеющиеся и возможные переживания мы должны наложить ограничивающее условие: они должны обладать некоторой статистически описываемой структурой, которая, к сожалению, до сих пор не получила удовлетворительной формулировки. Ясно, что эта экстраполируемость эмпирии ничем не гарантирована: если бы переживания были структурированы иначе, то научные экстраполяции по большей части оказывались бы неудачными. Bce люди и все ученые лишь предполагают наличие такой статистической структуры, обычно неявно. Ho если верят в экстраполируемость переживаний, то добросовестный ученый должен из переменных и логических констант сформулировать предложение, которое структурно подобно экстраполируемости переживаний. C помощью этого предложения осуществляется еще один, еще более строгий выбор среди непротиворечивых знаковых систем.
B условие экстраполируемости может войти, например, следующее предложение: чем чаще люди экспериментируют с магнитной стрелкой, тем реже случается, что магнитная буря оказывает на нее влияние. Статистическое условие экстраполируемо- сти можно присоединять к другим аксиомам гипотетико- дедуктивной знаковой системы. Они описывают те человеческие реакции, посредством которых вместо знаков поставляются эмпирические объекты, будучи сами естественными процессами, статистически связанными с другими естественными процессами. Мы не будем обсуждать здесь чрезвычайно сложных логических проблем экстраполируемости, связанных с расселовской иерархией типов. Единство реальных связей (II, 5) связано с экс- траполируемостью, поэтому последняя, по-видимому, должна относиться к более высокому типу, нежели вся система.
Посредством статистических предложений об экстраполируемости еще нельзя установить конкретных законов природы (общих импликаций). Ha базе данного чувственного переживания можно строить множество различных систем законов природы. Теперь следует позаботиться о том, чтобы те гипотетико-дедуктивные системы, общие импликации которых уже неоднократно были верифицированы, при последующих верификациях все реже оказывались неприменимыми. Таким образом, с возрастанием числа верификаций постепенно уменьшается число остающихся систем, однако эти системы становятся все более «вероятными» (индукция, прогресс науки). Вот так в конечном итоге мы приходим к гипотетико-дедуктивным системам, которые в качестве аксиом или выводимых предложений содержат обычные законы природы, а среди них - утверждения об отделении конкретного субъекта II, 3 и 4. Конечно, при этом все не чисто тавтологичные предложения системы являются лишь высоко вероятными предположениями. Предложения об отделении субъекта, например, верифицировались столь часто, что в будущем они лишь в редчайших случаях могут оказаться неприменимыми, а новые, заменяющие их и слегка измененные высказывания о структуре переживаний в дальнейшем еще реже будут подвергаться корректировке. Bce это опирается на предположение о том, что невыразимые чувственные переживания изоморфны статистическим предложениям об экстраполируемости.
Здесь нам не нужно рассматривать вопрос о том, принадлежат ли предложения об интерсубъективной и интерсенсуальной структурах (И, 1 и 2) к тому же самому или к более высокому типу, чем обычные законы природы. Bo всяком случае, они лишь в высшей степени вероятны B указанном смысле, как и все остальные предложения системы.
Представленная здесь схема: гипотетико-дедуктивная знаковая структура - ее применение к чувственным переживаниям - экстраполируемость, подробно изложена в работе: E. Zilsel. Das Anwendungsproblem, Leipzig bei J.A. Barth, 1916. Данная там формулировка условия экстраполируемости еще недостаточно полна. Однако связь этой проблемы с вопросами статистики и индукции освещена, на мой сегодняшний взгляд, достаточно удовлетворительно. См. также: E. ZilseL Naturphilosophie (подзаголовок: Einfuhrung in die Philosophie, Osterweck 1928, 117 ff.), и «Erkenntnis», vol. I, 1931. S. 260 ff., 270.
При построении тезис о необходимости аксиом экстраполируемости (см. II, 6) был отделен от тезиса о неизбежности невыразимого (II, 7). Каждый человек, который вполне справедливо хотел бы ограничить науку областью высказанного, отнесется к этому тезису с подозрением. Невысказанное как неустранимая основа науки - не открывает ли это вновь дорогу мистике и псевдопроблемам? Ho это тривиально. Поскольку все высказанное, написанное, представленное жестами выражается знаками и поскольку знаки только структурно похожи на обозначаемое, постольку можно говорить лишь о структурах, т.е. об отношениях между отношениями. Вопреки этому ключевому положению науки указывают на то, что, как известно каждому человеку, переживания - голубого! горького! грустного! - являются не только структурами. Конечно, это невыразимое словами и, вообще, знаками является псевдопредложением, ибо не выражает никакой структуры. Однако без переживаемого субстрата отношений, без непосредственно данного все знаковые системы повисают в воздухе, и среди них нельзя выделить одну структуру переживаемого мира, отличить ее от всех возможных языковых структур. Таким образом, невыразимая основа всех высказываний столь же тривиальна, как и неизбежна[63]. C научной точки зрения, она совершенно безвредна. Мистикой было бы утверждение о том, будто бы существуют невыразимые структуры. To место, которое мы отводим невыразимому, не дает ни малейшей почвы для проявления метафизики. Всякая метафизика, сыгравшая в истории какую-то роль, была неразрывно связана с мифологией духа или души. Несомненно, науку нужно очищать от бессвязных псевдопредложений, но их нельзя считать метафизическими. Только в том случае, когда такие псевдопредложения связаны с мифологией души, что происходит довольно часто, их можно считать метафизическими в обычном смысле этого слова. Однако для мифологем о душе, которые способны ограничивать или даже опровергать научные высказывания о структурах и которые к тому еще и невыразимы, в нашем построении нет места. Оно могло бы напомнить о метафизике лишь в том случае, если бы невыразимую основу всех знаковых систем захотели назвать «духовной». Однако это было бы в высшей степени нецелесообразно, ибо физикалистские высказывания обозначают эту основу в не меньшей мере, чем психологические. И вся «метафизика» тогда свелась бы к предложению: если душа говорит, то она больше не душа. Bce последующие присоединяемые сюда высказывания будут либо высоковероятными, либо ложными псевдопредложениями.
Мы исходили из построения Карнапа, представленного им в статье об универсальном языке науки, и пытались кое- что изменить в нем. Теперь хотелось бы более четко зафиксировать решающее различие в двух планах построения. B конечном итоге это различие сводится к следующему. Карнап в основу своего построения кладет протокольные предложения, т.е. предложения, и приходит к одной- единственной выделенной группе предложений системы. Напротив, мы в качестве последнего основания используем наличные переживания, обладающие выразимой структурой, но, в то же время, имеющие невыразимое, хотя и хорошо нам известное, содержание. Предложения для нас являются лишь последовательностями знаков, которые могут быть любыми. Поэтому может существовать целое множество знаковых систем. Вопрос заключается в том, какая из этих разных систем структурно похожа на чувственное переживание. Преимущество представленной здесь позиции можно усмотреть в том, что разнообразие знаковых систем превосходит разнообразие переживаний, поэтому верифицируемые знаковые системы представляют собой особый случай таких систем. Ho как раз переход от общего к частному случаю позволяет обратить внимание на особенности и проблемы, остающиеся не замеченными, когда сразу начинают с частного случая. Здесь дело обстоит так же, как и везде в науке. До тех пор, пока математические представления не были достаточно ясными, все функции считались непрерывными, а позднее все непрерывные функции - дифференцируемыми. И только после того, как обратили внимание на функции, не являющиеся непрерывными, а позднее - на непрерывные, но не дифференцируемые функции, стали обсуждать условия и проблемы, связанные с непрерывностью и дифференцируемостью. Вероятно, всегда полезно указать на то, что за соседней горой еще кто-то живет. Интерсубъективность, единство реальных связей, экстраполируемость выступают в своем подлинном виде лишь тогда, когда привычную науку и привычную эмпирию начинают осознавать как очень необычный частный случай. Нет сомнения в том, что философия откроет и дальнейшие удивительные особенности этого особого случая.
До сих пор еще очень мало эмпирических наук имеют вид гипотетико-дедуктивной системы. Поэтому в заключение следует еще раз подчеркнуть, что гипотетико-дедуктивная система, охватывающая все эмпирические предложения, является лишь целью. Однако постановка цели имеет большое практическое и теоретическое значение. Она отвечает практической потребности людей рационализировать всю природу и тем самым сделать ее предметом своей деятельности. Одновременно она дает теоретику представление обо всем множестве нерешенных проблем. Каждый исследователь, который в какой-то конкретной области выдвигает гипотезы о еще неизвестных закономерных связях и пытается их верифицировать, содействует достижению этой цели. Ho чем яснее сформулирована цель, тем лучше сможет он выявить своеобразие эмпирии - своеобразие того пестрого, благоухающего, иррационального, но рационализируемого, проблемного мира, в котором однажды родились и мы с вами.