Объективное знание. Эволюционный подход
Шрифт:
V
Среди более ранних теорий Тарского, доступных для неискушенного философа, такого как я, есть его теория исчисления систем. Я был в Париже в 1935 году, когда, если мне не изменяет память, Тарский закончил свою работу об исчислении систем ("Calculus of System") [308] . Она меня очень заинтересовала.
Я попытался скомбинировать некоторые из наиболее очевидных результатов работы Тарского об истине с результатами его работы по исчислению систем. Мы сразу же получаем следующие в высшей степени тривиальные теоремы, в которых предполагается, что упоминаемые в них языки не универсалистские (universalistic).
308
См. ТарскийA, Logic, Semantics, Metamathematics. Oxford, Clarendon Press, 1956, pp. 342-383.
Теорема.Множество T
Как дедуктивная система, Tпредставляет собой класс (всех собственных) следствий (consequence class); это значит, что он совпадает с классом C n(T)своих собственных логических следствий (T=Cn(T)).Эта система полна в том смысле, что если к Tприбавить любое высказывание, не принадлежащее T, получившийся класс будет противоречивым.
309
Я в основном следую символике Тарского (особенно в том, что касается употребления заглавных курсивных букв для обозначения дедуктивных систем), за исключением того, что для класса истинных высказываний, который Тарский обозначает Tr, я использую символ T.
Теорема.Множество истинных высказываний любого достаточно богатого языка есть неаксиоматизируемая дедуктивная система в смысле исчисления систем Тарского.
Обе эти теоремы совершенно тривиальны и в дальнейшем изложении будет предполагаться, что рассматриваемые языки достаточно богаты, чтобы удовлетворять второй из них.
Теперь я введу новое понятие — понятие истинностного содержаниявысказывания a.
Определение.Множество всех истинных высказываний, следующих из любого данного высказывания a, называется истинностным содержанием a.Это — дедуктивная система.
Теорема.Истинностное содержание любого истинного высказывания A есть аксиоматизируемая система A T= А;истинностное содержание любого ложного высказывания a есть дедуктивная система A TА,где A Tнеаксиоматизируема, если только рассматриваемый язык-объект достаточно богат.
Это определение и эту теорему можно обобщить. Исчисление дедуктивных систем Тарского можно рассматривать как обобщение исчисления высказываний, поскольку каждому высказыванию (или классу логически эквивалентных высказываний) aсоответствует (финитно) аксиоматизируемаясистема A ,такая что
А=Cn(А)=Cn({а})
и наоборот: каждой аксиоматизируемой дедуктивной системе A соответствует некоторое высказывание (или класс логически эквивалентных высказываний) a.Поскольку же существуют также неаксиоматизируемые дедуктивные системы или классы следствий, такие что не существует высказываний или конечных классов высказываний, классом следствий которых они бы являлись, переход от высказываний к классам следствий или дедуктивным системам или от исчисления высказываний к исчислению систем можно назвать обобщением.
Таким образом, мы имеем — в более общем виде — для каждого класса следствий или дедуктивной системы Aсистему A T—
Можно задать вопрос: соответствует ли истинностному содержанию А Твысказывания aили дедуктивной системы Aтакже нечто, что можно было бы назвать ложностным содержанием А Fвысказывания аили дедуктивной системы A?Кажется естественным определить ложностное содержание дедуктивной системы Aкак класс всех ложных высказываний, принадлежащих A, но это будет не вполне удовлетворительно, если мы хотим использовать (как я предлагаю) термин «содержание»как третий синоним к терминам «дедуктивная система» и «класс следствий». Ведь этот класс, состоящий, по предположению, только из ложных высказываний, не является дедуктивной системой: всякая дедуктивная система Aсодержит истинные высказывания — собственно говоря, бесконечное число истинных высказываний, — так что класс, состоящий исключительно из ложных высказываний, принадлежащих A,не может быть содержанием.
Чтобы ввести понятие ложностного содержания А Fвысказывания aили класса следствий A,можно обратиться к понятию относительного содержания Aпри данном B, которое можно ввести как обобщение дедуктивной системы в смысле Тарского, или (абсолютного) содержания A=Cn(A).Я попытаюсь разъяснить это понятие, и ввиду возможной интуитивной критики я введу также понятие меры содержания.В конце этой главы я введу с помощью понятия мер истинностного содержания и ложностного содержания понятие степени приближения к истине, или правдоподобности (verisimilitude).
VI
Тарский говорит о больших или меньших дедуктивных системах или классах следствий. Действительно, множество дедуктивных систем (для некоторого языка) частично упорядочено отношением включения, совпадающим с отношением выводимости. Следующее замечание, высказанное Тарским в его работе об исчислении систем, можно использовать как ключ к релятивизации классов следствий, или содержаний, или дедуктивных систем: «среди дедуктивных систем существует наименьшая, то есть являющаяся подсистемой всех других дедуктивных систем. Это система Cn (0)— множество следствий пустого множества. Эта система, которая здесь для краткости будет обозначаться L, может интерпретироваться как множество всех логически верных (valid) предложений (или, в более общем виде, как множество всех тех предложений, которые мы признаем за истинные с самого начала, когда принимаемся строить дедуктивную теорию, являющуюся предметом... нашего исследования)» [310] .
310
Tarski A. Logic, Semantics, Metamathematics. Oxford, Clarendon Press, p, 343.
Это наводит на мысль, что мы можем использовать вместо нулевой системы Lкакую-то другую систему «в качестве множества всех тех предложений, которые мы признаем за истинные с самого начала,когда принимаемся строить, и т.д.». Обозначим, как и ранее, дедуктивную систему, содержанием которой мы интересуемся, переменной "A", а «множество всех тех предложений, которые мы признаем за истинные с самого начала», переменной "B". Тогда мы можем написать выражение