Logik der Forschung — была сделана моим дядей, Вальтером Шиффом, который безжалостно урезал около половины текста[118]. Я не думаю, что после таких упорных попыток быть ясным и открытым я был способен сотворить такое сам.
Едва ли я смогу дать здесь краткое изложение того краткого изложения, которое стало моей первой опубликованной книгой. Но один или два пункта я упомяну. Книга была задумана как представление теории познания и, в то же время, как трактат о методе — методе науки. Эта комбинация стала возможной, потому что я считал, что человеческое знание состоит из наших теорий, наших гипотез, наших предположений: оно является продуктом нашей интеллектуальной деятельности. Существует, конечно, и другой способ взгляда на знание: мы можем считать «знание» субъективным «состоянием разума», субъективным состоянием организма. Но я предпочитаю трактовать его как систему утверждений — теорий, подлежащих обсуждению. «Знание» в этом смысле объективно, и оно является гипотетическим или предположительным.
Этот способ взгляда на знание позволил мне переформулировать проблему индукции Юма. В этой объективной переформулировке проблема индукции является уже не проблемой наших представлений — или проблемой рациональности наших представлений, — а проблемой логического соотношения между единичными утверждениями (описаниями «наблюдаемых» единичных фактов) и универсальными теориями.
В этой формулировке проблема индукции становится решаемой[119]: индукции не существует, так как универсальные теории не выводимы из единичных утверждений. Но они могут быть опровергнуты единичными утверждениями, так как они могут войти в конфликт с наблюдаемыми фактами.
Более того, мы можем говорить о «лучших» и «худших» теориях в объективном смысле даже до того, как мы приступим к их проверке: лучшие теории имеют больше содержания и обладают большей объяснительной силой (в обоих случаях по отношению к проблемам, которые они пытаются решить). А такие теории, как я показал, являются также и лучше проверяемыми теориями, и — если они выдерживают проверку — лучше проверенными теориями.
Это решение проблемы индукции породило новую теорию научного метода, анализ критического метода, метода проб и ошибок: метода предложения смелых гипотез и подвергания их самой суровой критике с целью обнаружения места, где мы ошиблись.
С точки зрения такой методологии мы начинаем наше исследование с проблем. Мы всегда находимся в определенной проблемной ситуации; и мы выбираем проблему, которую мы можем надеяться решить. Решение, всегда пробное, состоит из теории, гипотезы, предположения. Мы сравниваем и критически обсуждаем различные конкурирующие теории, пытаясь обнаружить их недостатки; и всегда переменчивые, всегда неоконченные результаты нашего критического обсуждения образуют то, что можно назвать «наукой сегодняшнего дня».
Таким образом, индукции не существует: мы никогда не переходим от фактов к теории, если только это не случай опровержения или «фальсификации». Этот взгляд на науку может быть описан как селективный или дарвинистский. В противоположность ему, теории метода, утверждающие, что нам следует использовать индукцию, или настаивающие на верификации (а не на фальсификации), являются типично ламаркистскими: они подчеркивают инструктивность вместо селективности окружающей среды.
Здесь можно упомянуть (хотя это и не было темой Logik der Forschung), что предлагаемое решение проблемы индукции может также указать путь к решению более старой проблемы — проблемы рациональности наших представлений. Потому что сначала мы можем заменить идею представления идеей действия и сказать, что наши действия (или бездействие) рациональны, если они выполняются в соответствии с преобладающим в настоящее время состоянием критического научного обсуждения. Нет лучшего синонима слову «рациональное», чем слово «критическое». (Представление, вера, конечно, никогда не бывают рациональными; рациональной может быть только временная, подвешенная вера; ср. примеч. 226 ниже).
Мое решение индукции очень многими было неправильно понято. Я намерен сказать больше о нем в «Ответах моим критикам»[120].
17. Кто убил логический позитивизм?
Логический позитивизм тогда мертв, или так мертв, как вообще может быть мертва философская доктрина.
Джон Пассмор[121]
Характер происхождения моей книги Logik der Forschung, опубликованной в конце 1934 года, обусловил то, что она была выполнена частично в форме критики позитивизма. То же можно сказать о ее предшественнице 1932 года и о моем кратком письме издателям журнала Erkenntis в 1933 году[122]. Поскольку в то время моя позиция широко обсуждалась ведущими членами кружка и, более того, поскольку книга была опубликована в преимущественно позитивистской серии, редактировавшейся Франком и Шликом, этот аспект Logik der Forshung имел удивительные последствия. Одно из них состояло в том, что до публикации ее английской версии в 1959 году под названием The Logic of Scientific Discovery философы в Англии и Америке (за немногими исключениями, такими как Р. Вайнберг)[123], по-видимому, считали меня логическим позитивистом, или, по крайней мере, диссидентом в среде логических позитивистов, заменившим верификацию на фальсификацию[124]. Даже некоторые логические позитивисты, запомнившие, что книга вышла в этой серии, предпочитали видеть во мне союзника, а не критика[125]. Они полагали, что способны отвести мою критику путем некоторых уступок — желательно, взаимных — и использования некоей словесной стратегии[126]. (Например, они убеждали себя, что я мог бы заменить верифицируемость фальсифицируемостью в качестве критерия осмысленности.) А поскольку я не стал усиливать свои атаки на них (борьба с логическим позитивизмом никоим образом не представляла для меня большого интереса), логические позитивисты не ощущали, что их доктрине был брошен серьезный вызов. До и даже после Второй мировой войны статьи и книги, возобновлявшие этот метод уступок и маленьких исправлений, продолжали появляться. Но к тому времени логический позитивизм был уже несколько лет как мертв.
Сегодня все знают, что логический позитивизм мертв. Но, по-видимому, никто не подозревает, что здесь можно задать вопрос: «Кто несет ответственность?», или лучше «Кто это сделал?». (В превосходной исторической статье Пассмора [процитированной в примеч. 110] этот вопрос не задается.) Боюсь, что я должен взять ответственность на себя. Но я не делал этого намеренно: единственным моим побуждением было указать на то, что я считал рядом его фундаментальных ошибок. Пассмор правильно приписывает разложение логического позитивизма непреодолимым внутренним трудностям. Большая часть этих трудностей была продемонстрирована в моих лекциях и обсуждениях, и особенно в Logik der Forschung[127]. Некоторые члены кружка были впечатлены необходимостью перемен. Семена были посеяны. Через много лет они привели к распаду тенет кружка.
Но распаду тенет предшествовал распад самого кружка. Венский кружок был восхитительным институтом. На самом деле, это был уникальный семинар философов, работавших в тесном сотрудничестве с первоклассными математиками и естествоиспытателями, глубоко интересовавшихся проблемами логики и оснований математики и привлекших двух величайших новаторов в этой сфере, Курта Геделя и Альфреда Тарского. Его распад был серьезной потерей. Лично я чувствую долг благодарности к некоторым из его членов, особенно к Герберту Фейглю, Виктору Крафту и Карлу Менгеру — не говоря о Филиппе Франке и Морице Шлике, которые приняли мою книгу, несмотря на суровую критику их взглядов. И еще, косвенным образом, именно благодаря кружку я встретился с Тарским, сначала на конференции в Праге в 1934 году, когда у меня была с собой корректура Logik der Forschung, в Вене в 1934–1935 годах и еще раз на конгрессе в Париже в сентябре 1935 года. И я думаю, что от Тарского я узнал больше, чем от кого-либо еще.
Но, наверное, более всего меня привлекал в кружке его «Научный подход», или, как я назвал бы это сейчас, рациональный подход. Это было прекрасно сформулировано Карнапом в последних трех абзацах Предисловия к первому изданию его первой большой книги, Der Logische Aufbau der Welt. У Карнапа есть многое, с чем я не согласен, и даже в этих трех абзацах есть вещи, которые я считаю ошибочными: потому что, хотя я и согласен, что есть что-то «угнетающее» («niederdruckend») в большинстве философских систем, я не думаю, что виной тому их «множественность»; и мне кажется ошибочным требовать уничтожения метафизики, а также в качестве основания для этого заявлять то, что «ее тезисы не могут быть рационально оправданы». И хотя в особенности требование «оправдания», выдвинутое Карнапом, было (и остается) для меня ошибочным, это обстоятельство почти не существенно в данном контексте. Ибо Карнап призывает здесь к рациональности, к большей интеллектуальной ответственности; он просит нас учиться тому, как работают математики и естествоиспытатели, противопоставляя это жалким методам философов: их претенциозной мудрости, их самонадеянному знанию, которое они преподносят, почти не приводя рациональной или критической аргументации.
Именно в этом подходе, подходе просвещения, и в критическом взгляде на философию — на то, что философия, к сожалению, представляет собой сейчас и чем она должна стать — я все еще отождествляю себя сейчас с Венским кружком и его духовным отцом, Бертраном Расселом. Возможно, это объясняет, почему некоторые из членов кружка, такие как Карнап, считают, что я являюсь одним из них и только преувеличиваю мои разногласия с ними.