Карл Поппер - Объективное знание. Эволюционный подход

• Название: Объективное знание. Эволюционный подход
• Автор: Карл Поппер
• Издательство: Эдиториал УРСС
• Жанр: Философия
• Год: 2002
• ISBN: 5-8360-0327-0

Книга выдающегося философа и логика XX века Карла Раймунда Поп-пера «Объективное знание» вышла первым изданием в 1972, вторым — исправленным и дополненным, с которого сделан русский перевод, в 1979 г.

В ряду сочинений Поппера она занимает особое место: это — третья, после «Логики научного исследования» (1934, 1959) и «Предположений и опровержений» (1963), его классическая работа по философии, теории познания и логике науки. В ней подводятся итоги предшествующих исследований Поп-пером проблем индукции, фальсификационизма, критического рационализма, правдоподобности научных теорий и др., а также излагаются полученные к моменту ее написания результаты его разработок теории трех миров, роли понятия «истина» в философии науки, проблем эволюционной эпистемологии и т.д. Последние проблемы были в центре внимания Поппера до конца его жизни.

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

---

Более интересным случаем относительного содержания предположения (conjecture) а является случай a, Bt, где Bt — наше фоновое знание в момент времени t, то есть знание, которое в момент t принимается без обсуждения. Мы можем сказать, что в новом предположении а интересным является прежде всего его относительное содержание а, B, то есть та часть содержания а.В {17}, которая выходит за пределы В.Точно так же, как содержание логически истинного высказывания равно нулю, так относительное содержание предположения а при данном В равно нулю, если а содержит только фоновое знание и ничего более. В общем случае мы можем сказать, что если а принадлежит Б, или, что то же самое, если А⊂В, то а, В = 0. Таким образом, относительным содержанием высказывания x, Y является та информация, которой х в присутствии Y превосходит Y.

Теперь мы можем определить ложностное содержание высказывания а, которое мы обозначим АF,как содержание высказывания апри данном истинностном содержании а (то есть пересечении АT между А и T, где T — система, в смысле Тарского, истинных высказываний). Иначе говоря, мы можем определить:

АF = а, АT.

Определенное таким образом АF отвечает нашим пожеланиям, или требованиям, адекватности: (a) AF есть содержание, пусть даже только относительное содержание; в конце концов, абсолютные содержания — это тоже относительные содержания, если дана логическая истина (или в предположении, что Lлогически истинно); (b) АFсодержит все ложные высказывания, следующие из а, поскольку это дедуктивная система высказываний, которые следуют из а, принимая истинные высказывания за наш (относительный) ноль; (с) Арне «содержит» никаких истинных высказываний в том смысле, что его истинные высказывания рассматриваются не как содержание, а как его (относительное) нулевое содержание.

Содержания иногда логически сравнимы, а иногда нет; они образуют частично упорядоченную систему — упорядоченную отношением включения, точно так же как высказывания образуют систему, частично упорядоченную отношением следования (entailment). Абсолютные содержания А и В сравнимы, если А ⊂ В или В ⊂ А. Для относительных содержаний условия сравнимости сложнее.

Если X есть финитно аксиоматизируемое содержание, или дедуктивная система, то существует высказывание x такое, что X есть содержание x.

Таким образом, если Y — финитно аксиоматизируемо, мы сможем написать:

x, Y= x, у.

В этом случае можно видеть, что х, Y равно абсолютному содержанию конъюнкции х.y минус абсолютное содержание y.

Аналогичные соображения показывают, что а, Bи с, D будут сравнимы, если

(А + В)- В сравнимо с (С + D) - D,

где есть сложение дедуктивных систем по Тарскому: если обе аксиоматизируемы, А + D есть содержание конъюнкции а.Ь.

Таким образом, сравнимость будет достаточно редкой в этой частично упорядоченной системе. Однако есть способ показать, что эта частично упорядоченная система может быть «в принципе» — то есть без противоречия — линейно упорядочена. Этим способом является применение формальной теории вероятностей. (Я утверждаю здесь только ее применимость к аксиоматизируемым системам, но не исключено, что ее можно расширить и на неаксиоматизируемые системы; см. также главу 9).

Мы можем написать 'p(x, Y)' или

P(X,Y)

(читается как «вероятность х при условии Y ») и применить формальную систему аксиом для относительной вероятности, которую я изложил в других местах (например, в моей L. Sc. D., Новые приложения *iv и *v[52]) . В результате p(x,Y) будет числом от 0 до 1 — обычно мы не имеем представления о том, каким именно числом — и мы можем утверждать в самом общем виде, что

р(а, В) и р(c, D) в принципе совместимы.

И хотя мы обычно не имеем в нашем распоряжении достаточной информации для решения вопроса о том, имеет ли место

р(а, В)⩽ р(с, D)или p(а, В) ⩾p(с, D),

мы можем утверждать, что по крайней мере одно из этих отношений должно иметь место.

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

Как я неоднократно показывал, содержание А высказывания а будет тем больше, чем меньше логическая вероятность р(а)или р(А).Потому что чем больше информации несет высказывание, тем меньше будет логическая вероятность того, что оно (как бы случайно) истинно. Поэтому мы можем ввести некоторую «меру» содержания (ее можно использовать в основном топологически, то есть как показатель линейного порядка):

сt(а),

или (абсолютное) содержание а, а также относительные меры

ct(a, b)и ct(a, В),

то есть относительное содержание а при условии, соответственно, b или В.(Если В аксиоматизируемо, то мы, конечно, сразу же получаем ct(a,b) = ct(a,В).) Эти «меры (measures)* ct можно задать с помощью исчисления вероятностей, то есть с помощью определения

сt(а, В)= 1  - р(а, В).

Теперь в нашем распоряжении есть средства для определения (мер) истинностного содержания ctT(a)и ложностного содержания ctF(a):

ctT(a) = ct(AT),

где AT,как и раньше, есть пересечение А и системы, в смысле Тарского, всех истинных высказываний; и

ctF(a) = ct(a, AT))

то есть ложностное содержание (его мера) есть относительное содержание (его мера) а при данном АT— истинностном содержании а. Другими словами, это есть степень, в которой а выходит за пределы тех высказываний, которые (а) следуют из а и (b) истинны.

8. Замечания о правдоподобности

С помощью сформулированных в предшествующем разделе идей мы можем теперь четче разъяснить то, что мы интуитивно понимаем под правдоподобностью (verisimilitude). Говоря интуитивно, теория Т1 менее правдоподобна, чем теория Т2, если и только если (а) их истинностные содержания и их ложностные содержания (или их меры) сравнимы, и либо (b) истинностное содержание, но не ложностное содержание, у Т1 меньше, чем соответствующее содержание либо (с) истинностное содержание Т1 не больше, чем истинностное содержание Т2, но ложностное содержание у нее больше. Короче, мы говорим, что T2 ближе к истине, или больше похожа на истину, чем Т1, если и только если из нее следует больше истинных высказываний, но не больше ложных высказываний, или по крайней мере столько же истинных высказываний, но меньше ложных.

В общем виде мы можем сказать, что только конкурирующие теории — такие как теории гравитации Ньютона и Эйнштейна — интуитивно сравнимы с точки зрения их (неизмеренного) содержания. Вместе с тем существуют и конкурирующие теории, не сравнимые друг с другом.

Интуитивную сравнимость содержания теорий Ньютона (N) и Эйнштейна (Е) можно установить следующим образом[53]: (а) на каждый вопрос, на который дает ответ теория Ньютона, теория Эйнштейна дает ответ, по крайней мере столь же точный; это значит, что содержание (его мера), в несколько более широком, чем у Тарского, смысле[54], теории N меньше или равно содержанию теории Е; (Ь) есть вопросы, на которые теория Эйнштейна Е дает (нетавтологический) ответ, в то время как теория Ньютона N не дает на него ответа; это значит, что содержание N определенно меньше, чем содержание Е.

Итак, мы можем интуитивно сравнить содержания этих двух теорий и увидеть, что теория Эйнштейна имеет большее содержание. (Можно показать, что этот интуитивный результат подтверждается мерами содержания ct(N) и ct(E)). Это значит, что теория Эйнштейна потенциально, или виртуально, лучше, поскольку даже до всякой проверки мы можем сказать: если она верна, то ее объяснительная сила больше. Более того, это обстоятельство бросает нам вызов — предпринять более разнообразные проверки этой теории. Таким образом, оно предлагает нам новые возможности больше узнать о фактах: без вызова, брошенного нам теорией Эйнштейна, мы никогда бы не измерили (с необходимой высокой точностью) видимое расстояние между звездами, окружающими Солнце, во время затмения или красное смещение света, испускаемого белыми карликами.