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

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

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

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

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

---

Теория Тарского, в частности, делает ясным, какому именно факту соответствует высказывание Р, если оно вообще соответствует какому-нибудь факту, — именно, тому факту, что р. Она также решает проблему ложных высказываний: ложное высказывание Р ложно не потому, что оно соответствует некоей странной сущности (entity) вроде не-факта, а просто потому, что оно не соответствует никакому факту; оно не находится ни к чему реальному в специфическом отношении «соответствия факту», хотя оно и находится в отношении типа «описывает» к ложному, то есть не имеющему места (spurious){16} положению дел, при котором р. (Нет никакого смысла избегать таких выражений как «ложное положение дел» или даже «ложный факт», коль скоро мы имеем в виду, что ложный факт попросту не реален).

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

Коль скоро мы можем таким образом для каждого высказывания языка L1 сформулировать (state) условия, при которых оно соответствует фактам, мы можем дать чисто словесное, но соответствующее здравому смыслу[49] определение: высказывание истинно, если и только если оно соответствует фактам.

Это, как указывает Тарский, есть объективное (objectivist), или абсолютное (absolutist), понятие истины. Однако оно абсолютное не в том смысле, что позволяет нам высказываться с «абсолютной несомненностью или уверенностью» — ведь оно не дает нам критерия истинности. Напротив, Тарский сумел доказать, что, если L1 достаточно богат, (например, если он содержит арифметику), то не может существовать общего критерия истинности. Таким образом, критерий истинности может существовать только в крайне бедных искусственных языках. (Этим Тарский обязан Гёделю).

Итак, идея истины абсолютная, но мы не можем притязать на абсолютную несомненность: мы — искатели истины, но не обладатели ею [50].

7. Содержание, истинностное содержание и ложностное содержание

Чтобы пояснить, что мы делаем, когда ищем истину, мы должны хотя бы в некоторых случаях быть способны указывать основания (reasons) интуитивного притязания на то, что мы подошли ближе к истине, или что некоторая теория Т1 сменилась новой теорией, скажем Т2, потому что Т2 больше похожа на истину, чем Т1.

Представление о том, что теория Т1 может быть дальше от истины, чем теория Т2,так что Т2 является лучшим приближением к истине (или попросту лучшей теорией), чем Т1, использовалось интуитивно многими философами, в том числе и мной. И точно так же, как понятие истины рассматривалось как подозрительное многими философами (и, как это стало ясно из рассмотрения Тарским семантических парадоксов, не без основания, с тем же подозрением смотрели и на понятия лучшего приближения, или аппроксимации, к истине, близости к истине или (как я это назвал) большей «правдоподобности (verisimilitude)»теорий.

Чтобы снять эти подозрения, я предложил логическое понятие правдоподобности, используя сочетание двух понятий, первоначально введенных Тарским: (а) понятие истины и (b) понятие (логического) содержания высказывания, то есть класса всех высказываний, логически вытекающих изданного (его «класса следствий», как обычно называл его Тарский) [51].

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

Класс всех истинных высказываний, следующих из данного высказывания (или принадлежащих данной дедуктивной системе) и не являющихся тавтологиями, можно назвать его истиностным содержанием (truth content).

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

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

В оставшейся части этого раздела я намереваюсь разъяснить интуитивные идеи (ideas) истинностного содержания и ложностного содержания несколько более подробно, чтобы подготовить читателя к более развернутому обсуждению идеи правдоподобности. Дело в том, что правдоподобность высказывания будет определена как возрастающая сростом его истинностного содержания и убывающая с ростом его ложностного содержания. При этом я буду широко использовать идеи Альфреда Тарского, особенно его теорию истины и его теорию классов следствий и дедуктивных систем (обе эти теории рассматриваются в примечании 18 к этому разделу; более подробное рассмотрение этого вопроса см. в главе 9 настоящей книги).

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

Будем называть содержание, или класс следствий, высказывания а именем 'А' (так что в общем случае X есть содержание высказывания х). Будем вместе с Тарским называть содержание логически истинного высказывания именем 'L'. L есть класс всех логически истинных высказываний: он есть общее содержание всех содержаний и всех высказываний. Мы можем сказать, что L есть нулевое содержание.

Релятивизируем теперь идею содержания, так чтобы мы могли говорить об относительном содержании высказывания а при данном контексте Y, и будем обозначать это относительное содержание символом 'a, Y'. Это класс всех высказываний, выводимых из a в присутствии Y, но не из одного Y.

Мы сразу же видим, что если A есть содержание высказывания a, то при релятивизированном способе записи A=a,L; это значит, что абсолютное содержание A высказывания a равно относительному содержанию a, если задана «логика» (= нулевое содержание).

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