Объективное знание. Эволюционный подход - Поппер Карл Раймунд (бесплатные онлайн книги читаем полные версии .txt) 📗
IV
Как было упомянуто ранее, я реалист. Я признаю, что такой идеализм, как кантовский, можно защищать в той мере, в какой он утверждает, что все наши теории созданы человеком и что мы пытаемся наложить их на мир природы. Но я реалист постольку, поскольку считаю, что ответ на вопрос о том, истинны или нет созданные человеком теории, зависит от реальных фактов — реальных фактов, которые, за очень немногими исключениями, явным образом не созданы человеком. Наши созданные человеком теории могут приходить в столкновение с этими реальными фактами, и тогда в наших поисках истины нам приходится приспосабливать теории к фактам или же отказываться от этих теорий.
Теория Тарского позволяет нам определить истину как соответствие фактам, но мы можем также использовать ее для того, чтобы определить реальность (действительность) как то, что соответствует истинным суждениям. Например, мы можем отличить реальные факты, то есть (предполагаемые) факты, которые реальны, от (предполагаемых) фактов, которые нереальны (то есть от не-фактов). Или более явно: мы можем сказать, что предполагаемый факт — например то, что луна состоит из зеленого сыра — является реальным фактом, если и только если описывающее его высказывание (такое, как «Луна состоит из зеленого сыра») истинно; в противном случае предполагаемый факт не является реальным фактом (или, если вы предпочитаете говорить так, вообще не является фактом).
И точно так, как Тарский позволил нам заменить термин «истина» на «множество истинных высказываний (или предложений)», мы можем заменить термин «реальность» на «множество реальных фактов».
Таким образом, я предполагаю, что если мы можем определить понятие истины, мы может определить и понятие реальности. (Конечно, при этом возникает проблема порядка, аналогичная проблеме порядка языков в работе Тарского, см. особенно его «Постскриптум» на р. 268-277 "Logic, Semantics, Metamathematics"). Я не собираюсь этим сказать, что термин «истина» в каком-либо смысле более фундаментален, чем термин «реальность»: я хотел бы отвергнуть любое подобное предположение из-за его идеалистического привкуса [307]. Я просто хочу сказать, что если возможно определить «истину» как «соответствие фактам» или, что сводится к тому же, как «соответствие реальности», то в равной мере возможно определить «реальность» как «соответствие истине». А поскольку я реалист, мне хотелось бы иметь возможность быть спокойным на тот счет, что понятие реальности не «пусто» и ни по какой — той или иной причине — не является подозрительным; во всяком случае оно не более подозрительно, чем понятие истины.
V
Среди более ранних теорий Тарского, доступных для неискушенного философа, такого как я, есть его теория исчисления систем. Я был в Париже в 1935 году, когда, если мне не изменяет память, Тарский закончил свою работу об исчислении систем ("Calculus of System") [308]. Она меня очень заинтересовала.
Я попытался скомбинировать некоторые из наиболее очевидных результатов работы Тарского об истине с результатами его работы по исчислению систем. Мы сразу же получаем следующие в высшей степени тривиальные теоремы, в которых предполагается, что упоминаемые в них языки не универсалистские (universalistic).
Теорема. Множество T истинных высказываний любого языка есть дедуктивная система в смысле исчисления систем Тарского. Эта система полна [309].
Как дедуктивная система, 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).
