Текст книги "Объективное знание. Эволюционный подход"

Автор книги: Карл Поппер

сообщить о нарушении

Текущая страница: 10 (всего у книги 35 страниц)

33. Анализ аргумента от невероятности случайностей

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

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

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

Допустим, что у нас есть гипотеза Ни что она логически очень маловероятна. Это значит, что у нее очень большое содержание, включающее утверждения, относящиеся к различным областям, ранее совершенно не связанным. (Пример: теория гравитации Эйнштейна предсказала не только движение планет по Ньютону, но также и небольшое отклонение орбиты Меркурия, воздействие тяжелых тел на траекторию лучей света и красное смещение спектральных линий в сильных гравитационных полях). Если все эти предсказания успешно проверяются, то нижеследующий аргумент кажется интуитивно здравым и разумным:

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

Я не думаю, что аргумент (1) в этой форме может считаться вполне состоятельным, но я полагаю, что в нем все-таки что-то есть. Рассмотрим его внимательней.

Допустим, что аргумент (1) состоятелен (valid). Тогда мы можем рассчитать вероятность того, что теория истинна,как 1 минус вероятность

того, что верифицируется она только случайно. И если предсказываемые ею эффекты очень маловероятны – например, потому что их количественное значение предсказывается очень точно и правильно – то произведения этих очень маленьких чисел дадут число, вычитаемое из единицы. Другим словами, при таком способе подсчета мы получим для хорошего предположения вероятность, очень близкую к единице [95] 95
   Этот аргумент, в несколько другой форме, очень стар, Его следы можно обнаружить в *Никомаховой этике» Аристотеля и в «Liber de Astonomia» Феона из Смирны (см. ТНеоп of Smyrna.Liber de Astonomia. Ed. by Martin Th. If.Paris, 1949. P. 293).


[Закрыть] Этот аргумент на первый взгляд кажется убедительным, но он очевидно несостоятелен. Возьмем теорию Ньютона (N).Она дает столько точных предсказаний, что согласно рассматриваемому аргументу должна иметь вероятность, очень близкую к единице. Теория Эйнштейна (Е)должна получить еще большую вероятность. Но согласно исчислению вероятностей (будем обозначать «или» через V) мы имеем:

  p(N∨ E) = p(N)+ p (E)– p(NE),

а поскольку эти теории несовместимы, так что p(NE)=0, мы получаем, что

p(N∨ E)=p(N)+p(E)≈2,

то есть вероятность истинности одной из этих двух теорий очень близка к 2, что абсурдно.

Решение этой проблемы состоит в том, что аргумент (I) есть пример поверхностного (specious) рассуждения и вместо него мы можем сформулировать следующее утверждение:

(2) Хорошее согласие с маловероятными наблюдаемыми результатами не является случайностью, но и определяется не истинностью теории, а только ее правдоподобностью (truthlikeness).

Этот аргумент (2) объясняет, почему многие несовместимые теории могут согласовываться между собой во многих тонких моментах, причем таких, что было бы крайне маловероятно [96] 96
  Я не уверен, публиковал ли я раньше этот аргумент или нет, но я помню, что впервые он пришел мне в голову около 1930 года.


[Закрыть],чтобы это согласие было результатом чистой случайности.

Таким образом, аргумент (1) можно сформулировать несколько более корректно в следующей форме:

(1') Существует нечто вроде правдоподобности (verisimilitude),и очень маловероятное – если рассматривать его как случайность – согласие между теорией и фактом может рассматриваться как показатель того, что эта теория имеет (сравнительно) высокую правдоподобность. Вообще говоря, лучшее согласие с фактами по маловероятным пунктам может истолковываться как показатель большей правдоподобности.

Я не думаю, что можно много чего сказать против этого аргумента, хотя мне не понравилось бы, если бы из него стали развивать еще одну теорию индукции. Но я хочу, чтобы было совершенно ясно, что степень подкрепления теории (которая есть нечто вроде меры суровости выдержанных ею испытаний) не может интерпретироваться просто как мера ее правдоподобности. В лучшем случае она есть только индикатор(как я разъяснял в 1960 и 1963 годах, когда впервые ввел понятие правдоподобности – см., например Popper К. R.Conjectures and Refutations, pp. 234 f.) – правдоподобности теории, как ее можно оценить в момент t.Для степени суровости испытания теории я ввел термин «подкрепление (corroboration)». Его следует использовать в основном для сравнения, например в случае, когда теория Еподвергалась более жестким проверкам, чем теория JV. Степень подкрепления теории – всегда временной показатель: это та степень, в которой теория кажется хорошо проверенной во время t.Хотя это и не мера ее правдоподобности, ее можно использовать как показатель того, какой кажетсяправдоподобность теории в момент tпо сравнению с другой теорией. Так что степень подкрепления может служить руководством при выборе одной из двух теорий – на определенной стадии их обсуждения – с точки зрения их видимого приближения к истине. Вместе с тем она может сказать нам только, что одна из двух предложенных теорий выглядит – в свете обсуждения —более близкой к истине.

34. Резюме: критическая философия здравого смысла

После того, как мы обнаружили потребность в критической философии, возникает проблема ее исходного пункта. С чего нам начать? Вопрос представляется важным, поскольку, как кажется, существует опасность того, что изначальная ошибка может иметь самые серьезные последствия.

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

Предшествующие философы	Моя критическая точка зрения
(1) Выбор нашего исходного пункта имеет решающее значение: мы должны остерегаться впасть в ошибку с самого начала.	(1') Выбор нашего исходного пункта не играет решающей роли, потому что его можно критиковать и корректировать, как и все остальное.
(2) Наш исходный пункт должен быть, если это возможно, истинным и несомненным.	(2') Не существует способа найти такой надежный исходный пункт.
(3) Его можно найти в личном опыте «Я» (субъективизм) или в чистом описании поведения (объективизм) [97] 97   Эту форму объективизма обычно называют «бихевиоризмом» или «операционализмом». В настоящей работе она подробно не рассматривается. [Закрыть]	(3') Поскольку его нельзя найти ни в субъективизме, ни в объективизме, может быть лучше всего начать с обеих этих позиций и критиковать их обе.
(4) Принимая либо такой субъективизм, либо такой объективизм, философы некритически принимали некоторую форму теории познания, основанной на здравом смысле, – теории, о которой можно сказать, что она составляет самый слабый пункт здравого смысла.	(4') Разумно начать со здравого смысла, сколь смутными ни были бы заключенные в нем взгляды, но быть критичными ко всему, что может провозглашаться от имени здравого смысла.
(5) Субъективисты приняли теорию, согласно которой самое надежное знание, какое мы можем иметь, это знание о нас самих, а также наш опыт наблюдений и восприятий. (В упоре на несомненность чувственного опыта субъективисты и объективисты сходятся).	(5;) Несложное критическое рассуждение убеждает нас, что все наше знание пронизано теориями и в то же время (почти) все оно носит предположительный характер.
(6) Существуют некоторые жесткие факты, на которых можно построить знание, такие как наши ясные и четкие ощущения или данные чувств: прямые, или непосредственные, переживания не могут быть ложными.	(6;) Поскольку всякое знание пронизано теорией, оно все построено на песке; его фундамент, однако, можно укрепить, критически копая глубже и не принимая на веру (for granted) никаких так называемых «данных».
(7) Это недвусмысленный результат теории познания, основанной на здравом смысле.	(7') Именно здесь терпит неудачу теория познания, основанная на здравом смысле: она упускает из вида непрямой, то есть косвенный и предположительный, характер знания. Даже наши органы чувств (не говоря уже об интерпретации того, что они нам дают) пронизаны теорией и способны на ошибки, хотя в здоровых организмах это бывает редко.
(8) Теория познания, основанная на здравом смысле, всегда начиная как форма реализма, всегда кончает в трясине либо эпистемологического идеализма, либо операционализма.	(8') Мы признаем, что даже реализм и его (биологическая) теория познания – это два предположения, и мы приводим доводы в пользу того, что первое из них – гораздо лучшее предположение, чем идеализм.
(9) Здравый смысл, начав с реализма и закончив субъективизмом, опровергает сам себя. (Можно сказать, что это утверждение является составной частью взглядов Канта).	(9') Теория познания, основанная на здравом смысле, опровергнута как внутренне противоречивая, однако это не затрагивает основанную на здравом смысле теорию мира, то есть реализм.

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

Глава 3

Эпистемология без субъекта знания ^{22}

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

1. Три тезиса об эпистемологии и третьем мире

Наверное, для тех, кто знает о моем отрицательном отношении к Платону и Гегелю, было бы вызовом, если бы я назвал свою лекцию «Теория платоновского мира» или «Теория объективного духа (spirit)».

Главной темой настоящего доклада будет то, что я – за неимением лучшего термина – обычно называю «третьим миром».Попытаюсь объяснить это выражение. Если использовать слова «мир» или «универсум» не в строгом смысле, то мы можем различить следующие три мира, или универсума: во-первых, мир физических объектов или физических состояний; во-вторых, мир состояний сознания, мыслительных (ментальных) состояний, и, возможно, предрасположений, диспозиций (dispositions) к действию; в-третьих, мир объективного содержания мышления,прежде всего содержания научных идей, поэтических мыслей и произведений искусства.

Таким образом то, что я называю «третьим миром», по-видимому, имеет много общего с платоновской теорией форм или идей и, следовательно, также с объективным духом Гегеля, хотя моя теория в некоторых решающих аспектах радикальным образом отличается от теорий Платона и Гегеля. Еще больше общего она имеет с теорией Больцано об универсуме высказываний (propositions) в себе и истин в себе, но отличается также и от этой теории. Мой третий мир по своему смыслу ближе всего находится к универсуму объективного содержания мысли Фреге.

Конечно, эти мои разъяснения не следует понимать таким образом, что мы не можем перечислить наши миры совершенно другими способами или даже вообще их не перечислять. В частности, мы могли бы различить более чем три мира. Мой термин «третий мир» есть просто условное выражение.

Отстаивая концепцию объективного третьего мира, я надеюсь расшевелить (provoke) тех, кого я называю «философами мнения (belief)*– тех, кто подобно Декарту, Локку, Беркли, Юму, Канту или Расселу занимается исследованием наших субъективных мнений, их основаниями и происхождением. Выступая против философов мнения, я считаю, что наша задача состоит в том, чтобы находить лучшие решения наших проблем и более смелые теории, исходя при этом из критического предпочтения, а не из мнения.

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

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

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

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

Позвольте мне повторить одно из моих обычных обоснований [98] 98
  Это обоснование впервые приведено в Popper 1962, vol.2. P. 108. (Библиографические данные ссылок в этой главе указаны в «Избранной библиографии» («Select Bibliography») в конце главы.)


[Закрыть] более или менее независимого существования третьего мира.Рассмотрим два мысленных эксперимента.

Эксперимент (1). Предположим, что все наши машины и орудия труда разрушены и уничтожены все наши субъективные знания, включая субъективные знания о машинах и орудиях труда и умение пользоваться ими. Однако библиотекии наша способность учиться, усваивать их содержаниевыжили. Понятно, что после преодоления значительных трудностей наш мир может начать развиваться снова.

Эксперимент (2). Как и прежде, машины и орудия труда разрушены, уничтожены также и наши субъективные знания, включая субъективные знания о машинах и орудиях труда и умение пользоваться ими. Однако на этот раз уничтожены и все библиотеки,так что наша способность учиться, используя книги, становится невозможной.

Если вы поразмыслите над этими двумя экспериментами, то реальность, значение и степень автономии третьего мира (так же как и его воздействие на второй и первый миры), возможно, сделаются для вас немного более ясными. Действительно, во втором случае возрождение нашей цивилизации не произойдет в течение многих тысячелетий.

Я хочу в данной лекции обосновать три главных тезиса, которые относятся к эпистемологии, при этом эпистемологию я рассматриваю как теорию научного знания(см. Popper 1959, pp. 18-19).

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

Таким образом, мой первый тезис состоит в том, что традиционная эпистемология, то есть эпистемология Локка, Беркли, Юма и даже Рассела, не соответствует в некотором строгом смысле этого слова стоящей перед ней цели. Следствием этого тезиса является то, что значительная часть современной эпистемологии также не соответствует своей цели. К ней относится, в частности, современная эпистемическая логика, еслимы признаем, что ее задача состоит в построении теории научного знания.Однако любой эпистемический логик может легко избежать моей критики, если он просто заявит, что его целью не является развитие теории научного знания.

Мой первый тезис, следовательно, содержит утверждение о наличии двух различных смыслов понятий знания или мышления: (1) знание или мышление в субъективном смысле,состоящее из состояний ума, сознания или диспозиций действовать определенным образом; (2) знание или мышление в объективном смысле,состоящее из проблем, теорий и рассуждений, аргументов как таковых. Знание в этом объективном смысле в целом не зависит от чьих-либо претензий на знание чего-то; оно также не зависит от чьей-либо веры или предрасположения соглашаться, утверждать или действовать. Знание в объективном смысле есть знание без того, кто знает:оно есть знание без субъекта знания.

О мышлении в объективном смысле Фреге писал: «Под суждениемя понимаю не субъективную деятельность мышления, а его объективное содержание» [99] 99
  Ср. Frege1892, S. 32 (курсив мой. – К. П.).(Рус. пер. – с. 188; с. 359).


[Закрыть] .

Два смысла понятия мышления и их интересные взаимоотношения могут быть проиллюстрированы следующей весьма убедительной цитатой из работы Гейтинга (Heyting А,1962), который пишет о процессе открытия Брауэром теории континуума: «Если бы рекурсивные функции были известны раньше, он [Брауэр], возможно, не ввел бы понятия последовательности выбора, а это, по-моему, было бы печально» (Ibid., р. 195) (русский перевод – с. 226).

В этом утверждении Гейтинг, с одной стороны, ссылается на некоторые субъективные процессымышления Брауэра и говорит, что они могли бы не произойти (что было бы печально), если бы объективная проблемная ситуациябыла бы другой. Гейтинг указывает некоторые возможные влиянияна субъективные процессы мышления Брауэра и выражает свое мнение относительно ценности этих субъективных процессов мышления. Интересно отметить, что эти влияния как таковые должны быть субъективными: только субъективное знание Брауэром рекурсивных функций могло иметь свое печальное следствие – помешать ему изобрести последовательности свободного выбора.

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

Другими словами, если я говорю, что «мышление Брауэра испытало влияние Канта» или что «Брауэр отверг теорию пространства Канта», то я говорю – по крайней мере отчасти – об актах мышления в субъективном смысле: слово «влияние» указывает на контекст процессов или актов мышления. Однако если я говорю, что «мышление Брауэра в сильной степени отличается от кантовского», тогда совершенно ясно, что я говорю главным образом о содержании мышления. И наконец, если я говорю, что «мысли Брауэра несовместимы с мыслями Рассела», то путем использования такого логического термина,как «несовместимость»,я недвусмысленно подчеркиваю, что употребляю слово «мысль» только во фрегевском объективном смысле и говорю лишь об объективном, или логическом, содержании теорий.

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

Для того, чтобы показать существование обоих смыслов понятия «знание», я сначала приведу три примера из второго мира, примеры субъективного характера:

(1) «Я знаю,что вы стремитесь спровоцировать меня, но я не дам себя спровоцировать».

(2) «Я знаю,что последняя теорема Ферма не была доказана, но я думаю, что она когда-нибудь будет доказана».

(3) Знаниеесть «состояние осведомленности или информированности» (из статьи «Знание» («Knowledge») в «Оксфордском словаре английского языка» («Oxford English Dictionary»)).

Теперь я приведу три примера из третьего мира, примеры объективного характера:

(1) Знание есть «область изучения, наука, искусство» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка»).

(2) Принимая во внимание современное состояние метаматематического знания,можно предположить, что последняя теорема Ферма является, по-видимому, неразрешимой.

(3) «Я подтверждаю, что эта диссертация является оригинальным и значительным вкладом в наше знание».

Эти довольно банальные примеры приведены лишь для того, чтобы помочь уяснить, что я имею в виду, когда говорю о «знании и познании в объективном смысле». Мое цитирование «Оксфордского словаря английского языка» не должно быть интерпретировано ни как уступка лингвистическому анализу, ни как попытка успокоить его сторонников. Цитируя его, я не пытался доказать, что «обычное употребление» слова «знание» покрывается его объективным смыслом, то есть смыслом в рамках моего третьего мира. На самом деле я был удивлен, когда обнаружил в «Оксфордском словаре английского языка» примеры объективного употребления термина «знание». (Я еще более удивился, когда обнаружил в нем даже некоторые, по крайней мере частичные,объективные употребления слова «знать», а именно такие: «различать..., быть знакомым с (некоторой вещью, местом, человеком); ...понимать». То, что эти употребления, возможно, являются частично объективными, станет ясным из последующего <sup>[100] 100
  См. далее раздел 7.1.


[Закрыть]</sup> . В любом случае все приведенные примеры не следует рассматривать как аргументы в пользу моей концепции. Они служат только для иллюстрации моих рассуждений.

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

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

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

Сказанное, я полагаю, является аргументом в пользу как моего первого тезиса(об иррелевантности субъективистской эпистемологии), так и моего второго тезиса(о релевантности объективной эпистемологии).

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

Таковы мои три главных тезиса.

Наряду с ними я формулирую три дополнительных тезиса.

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

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

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