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

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

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

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

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

---

Как дедуктивная система, T представляет собой класс (всех собственных) следствий (consequence class); это значит, что он совпадает с классом Cn(T) своих собственных логических следствий (T=Cn(T)).Эта система полна в том смысле, что если к T прибавить любое высказывание, не принадлежащее T, получившийся класс будет противоречивым.

Теорема. Множество истинных высказываний любого достаточно богатого языка есть неаксиоматизируемая дедуктивная система в смысле исчисления систем Тарского.

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

Теперь я введу новое понятие — понятие истинностного содержания высказывания a.

Определение. Множество всех истинных высказываний, следующих из любого данного высказывания a, называется истинностным содержанием a.Это — дедуктивная система.

Теорема. Истинностное содержание любого истинного высказывания A есть аксиоматизируемая система AT= А; истинностное содержание любого ложного высказывания a есть дедуктивная система AT⊂А, где AT неаксиоматизируема, если только рассматриваемый язык-объект достаточно богат.

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

А=Cn(А)=Cn({а})

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

Таким образом, мы имеем — в более общем виде — для каждого класса следствий или дедуктивной системы A систему AT — истинностное содержание A. Она совпадает с A, если и только если A состоит только из истинных высказываний, и в любом случае она есть подсистема A: очевидно, AT есть произведение, или пересечение, множеств А и T.

Можно задать вопрос: соответствует ли истинностному содержанию АТ высказывания a или дедуктивной системы A также нечто, что можно было бы назвать ложностным содержанием АF высказывания а или дедуктивной системы A? Кажется естественным определить ложностное содержание дедуктивной системы A как класс всех ложных высказываний, принадлежащих A, но это будет не вполне удовлетворительно, если мы хотим использовать (как я предлагаю) термин «содержание» как третий синоним к терминам «дедуктивная система» и «класс следствий». Ведь этот класс, состоящий, по предположению, только из ложных высказываний, не является дедуктивной системой: всякая дедуктивная система A содержит истинные высказывания — собственно говоря, бесконечное число истинных высказываний, — так что класс, состоящий исключительно из ложных высказываний, принадлежащих A, не может быть содержанием.

Чтобы ввести понятие ложностного содержания АF высказывания a или класса следствий A, можно обратиться к понятию относительного содержания A при данном B, которое можно ввести как обобщение дедуктивной системы в смысле Тарского, или (абсолютного) содержания A=Cn(A).Я попытаюсь разъяснить это понятие, и ввиду возможной интуитивной критики я введу также понятие меры содержания. В конце этой главы я введу с помощью понятия мер истинностного содержания и ложностного содержания понятие степени приближения к истине, или правдоподобности (verisimilitude).

VI

Тарский говорит о больших или меньших дедуктивных системах или классах следствий. Действительно, множество дедуктивных систем (для некоторого языка) частично упорядочено отношением включения, совпадающим с отношением выводимости. Следующее замечание, высказанное Тарским в его работе об исчислении систем, можно использовать как ключ к релятивизации классов следствий, или содержаний, или дедуктивных систем: «среди дедуктивных систем существует наименьшая, то есть являющаяся подсистемой всех других дедуктивных систем. Это система Cn(0)— множество следствий пустого множества. Эта система, которая здесь для краткости будет обозначаться L, может интерпретироваться как множество всех логически верных (valid) предложений (или, в более общем виде, как множество всех тех предложений, которые мы признаем за истинные с самого начала, когда принимаемся строить дедуктивную теорию, являющуюся предметом... нашего исследования)» [310].

Это наводит на мысль, что мы можем использовать вместо нулевой системы L какую-то другую систему «в качестве множества всех тех предложений, которые мы признаем за истинные с самого начала, когда принимаемся строить, и т.д.». Обозначим, как и ранее, дедуктивную систему, содержанием которой мы интересуемся, переменной "A", а «множество всех тех предложений, которые мы признаем за истинные с самого начала», переменной "B". Тогда мы можем написать выражение

Cn(А,В)

как релятивизацию (relativization) Cn(А) Тарского, которое является особым случаем при В= L = Cn(0):

Cn(А)=Cn(A,L).

Мы можем писать сокращенно "A,B" вместо "Cn(A,B)", точно так же, как Тарский пишет "A" вместо "Cn(A)".Процитированный отрывок из Тарского подсказывает следующее определение:

Определение: А,В=Cn(А,В) = Cn (A+B) - Cn(B).

А отсюда очевидным образом следует

Теорема:

A=Cn(A)=A,L=Cn(А,L)=Cn(A+L)-Cn(L).

Ограничиваясь относительным способом записи, мы получаем для истинностного содержания

АТ=AT,L=Cn((А.Т)+L)- Cn(L),

а для ложностного содержания

AF = A, AT= Cn(A+ AT) - Cn(AT) = Cn(A) - Сп(АT),

что превращает ложностное содержание в относительное содержание, объем (extension) которого совпадает (как первоначально и предлагалось) с классом всех ложных высказываний в А.

VII

 Против предложенного определения ложностного содержания Ар как относительного содержания А)Ат можно выдвинуть следующее возражение. Это определение интуитивно опирается на цитату из Тарского, в которой Тарский принимает L за наименьшую или нулевую дедуктивную систему. Вместе с тем в нашей последней теореме

А=A,L=Cn(А+L)-Cn(L)

мы воспринимали слово «нулевая» слишком буквально: теперь мы видим, что L следует понимать как множество меры нуль, а не как множество, которое, с учетом нашего выражения "-Cn(L)", в буквальном смысле пусто или которого больше нет, согласно нашему определению, поскольку оно было вычтено (так что в A остались только нелогические высказывания, чего мы не имели в виду).

Относимся мы к этому возражению серьезно или нет, оно в любом случае исчезает, если мы решим оперировать с мерой содержания ct(A) или ct(A,B),а не с самим содержанием, или классом следствий Cn(А) или Cn(А,В).

В 1934 году Тарский привлек внимание пражской конференции к аксиоматизации исчисления относительной вероятности дедуктивной системы А при данной дедуктивной системе В, предложенной Стефаном Мазуркевичем[311] и опирающейся на исчисление систем Тарского. Такую аксиоматизацию можно рассматривать как введение функции меры для дедуктивных систем или содержаний А, В, С,... , даже хотя данная конкретная функция — функция вероятности

р(А,В)

и возрастает с уменьшением относительного содержания. Это наводит на мысль ввести меру содержания с помощью определения, такого как

Определение: ct(A, В) = 1 - p(А, В).

Эта функция возрастает и убывает с возрастанием и убыванием относительного содержания. (Возможны, конечно, и другие определения, но это кажется самым простым и очевидным). Мы сразу же получаем: