Проблема истины в современной философии
философы - как принцип Фреге, но реальное значение которого - семантическая независимость от контекста. Я доказывал в другом месте, что предпосылка о такой независимости от контекста в семантике естественных языков совершенно нереальна
Хотя философское влияние результатов Тарского не пошло дальше обоснованных сомнений, преобладающее большинство философов явно приняли их, для того чтобы закрыть проблему определенности раз и навсегда. Например, в недавних дискуссиях о подъеме и падении карнаповского оригинального проекта в теории языка, который вел к "Логическому синтаксису языка" неопределимость истины (и/или аналитичности) для существенно богатых языков в самих этих языках считалась доказанной13.
Соответственно более широкое философское сообщество приняло факт невыразимости истины для философски значимых языков как установленный результат. Это сильно стимулировало универсалистскую позицию в общей философии языка и философии в целом.
В более развернутой исторической перспективе результат Тарского был лишь одним из нескольких негативных результатов, установленных почти в одно и то же время, которые все вместе считались показателями серьезных ограничений логических, математических и других рациональных подходов к основаниям логики, математики и науки. Эти результаты также включают результаты Геделя о неполноте (которые, фактически, тесно связаны с результатами Тарского) и открытие Гейзенбергом соотношения неопределенностей в квантовой физике
Но здесь начинается главное новшество, о котором я сообщаю в данной статье. В противоположность распространенному мнению отрицательные результаты Тарского, хотя, разумеется, они и правильны, не закрывают проблему. Для того чтобы разъяснить этот пункт, я должен предпринять не больше и не меньше как некий вид деконструкции самого нашего понятия логики, точнее того, что является основным логическим ядром. Если данный вопрос предстанет перед логиками и философами, то подавляющее большинство скажет, что настоящая элементарная логика - это то, что под разными именами известно как теория квантификации, (низшее) исчисление предикатов, или логика первого порядка. Однажды, когда я сказал коллеге, что собираюсь критиковать статус этой логики как кодификации истинной логики нашего естественного языка, как истинной Sprachlogic, он посмотрел на меня с притворным ужасом и произнес: "В философии больше нет ничего святого!" Логика первого порядка - это то, что мы все изучали в курсах элементарной логики. Это ядро логики Фреге и Рассела. И все же есть угол зрения, при котором эта традиционная логика -всего лишь немногим более, чем результат серьезной ошибки со стороны Фреге. Кроме того, исправление этой ошибки ведет к совершенно иному взгляду на природу той логики, внешнее подобие которой принимает обычная логика первого порядка.
Если очень коротко, то ситуация такова14, о логике первого порядка обычно говорится, что она - кванторная. Но это лишь половина правды. Логика первого порядка не есть логика кванторов, которые берутся сами по себе. Она - логика чависимых кванторов. Эти зависимые кванторы иллюстрируются такими предложениями, как где значение у зависит от значения х. Ошибка Фреге проистекает из его интерпретации кванторов как предикатов высшего порядка. Такая интерпретация не может должным образом семантически объяснить предложение, подобное (1) Более того, это общее пренебрежение к идее зависимости кванторов привело Фреге к ошибке особого рода. В формулировке своих правил образования предложения Фреге произвольно исключил (конечно, не сознавая того, что делает) некоторые вполне возможные (интерпретируемые) образцы зависимости и независимости между кванторами Простейшая несводимая кванторная приставка, которую Фреге непреднамеренно исключил - это квантор Генкина, представимый ветвящейся структурой.
Тем не менее более удобно использовать линейную символику для вывода одного квантора из области действия другого. Например, (2) может быть записано, как
Систематическое использование линейной символики порождает то, что я назвал независимо дружественной (IF) логикой первого порядка. Она - подлинно базисная или элементарная логика. Это почетное место обычно предоставляется классической первопорядковой логике И все же IF логика первого порядка здесь более адекватна, поскольку она не привлекает идеи которые бы уже не предполагались обычной превопорядковой логикой.
Единственное явное новшевство которое следует уяснить для понимания IF-логики первого порядка, - это идея кванторной независимости. Но понять независимость - это значит понять зависимость что необходимо для понимания обычной первопорядковои логики. Как я однажды заметил, IF логика первого порядка есть истинная логика мафии, это логика которую вы не можете отказаться понимать. Это наша действительно деконструированная и реконструированная базисная логика.
Среди многих замечательных особенностей первопорядковых языков для IF логики есть тот факт, что если включить в такой язык определенные средства говорить в нем самом о его синтаксисе, то можно дать полное определение истины для этого языка в нем самом15. Этот результат сразу же представляет всю проблему определимости истины в новом свете. Помимо прочего он тишает негативный результат Тарского его философского значения. Он показывает что предпосылки теоремы Тарского столь ограничительны, что она не применима даже к самым основным логическим языкам которые только можно вообразить.
Определимость истины в первопорядковых языках IF не может быть отвергнута как относящаяся лишь к некоторым искусственным формальным языкам. Во-первых, как уже объяснялось первопорядковая логика IF является базисной элементарной логикой, так же как это обычно утверждалось относите чьно обычной логики первого порядка. Далее она во многих случаях проявляет замечательную близость к обычному языку, чего нет v традиционной первопорядковои логики. Это проистекает главным образом из-за поведения операции отрицания в естественном языке. К тому же первопорядковая IF логика замечательно богата возможностями, позволяя, например, выражать большинство математических теорий их собственными средствами. Более того, анализ моего определения истины показывает, что именно неверно в тех неформальных основаниях, по которым Тарский полагает что истина не может быть определена для разговорного языка. Поэтому мои результат об определимости (полученный совместно с Габриэлем Санду) должен быть принят соответственно его подлинной метафизической ценности.
А в свете показательной роли проблемы истины это означает наиболее сильный удар по всей герменевтической методологии. Является ли этот удар решающим - еще вопрос, хотя я думаю, что мы достигнем це чи очень скоро. Тем не менее следует заметить что данное опровержение герменевтической методологии не затрагивает проблем герменевтической философии или даже особых взлядов герменевтических философов, насколько они не привязаны к своей методологии.
Несмотря на эти оговорки, мои резуїьтат в плане практических цепей кладет конец всем требованиям универсалистов отдавать должное логике нашего реального языка. Напротив, определимость истины в IF языках первого порядка есть фактически доказательство того, что тезис о невыразимости неверен и что в действительности можно обсуждать семантику языка в нем самом. А это в свою очередь, ведет к тотальному отказу от какой либо специфически герменевтической методологии, вместе со всеми доктринами которые от нее зависят, например, взгляда на истину как на открытость. Какие последствия этот результат должен иметь дія современной философии в целом, я оставляю обсуждать моим чнтателям.
Та же методологическая критика с еще большим основанием применима и к Дерриде. Возвращаясь к тому, о чем я говорил в начале статьи фактически не остается причины, почему деконструкция не может быть проведена совершенно нормальными аналитическими, историческими или другими научными методами причины, почему она нуждается в особом жаргоне дія своего выражения и абсолютно никакой причины, почему она не может сопровождаться реконструкцией.
В случае Дерриды мои результаты особо пикантны поскольку сам Деррида в выражении своих взглядов апеллирует к результатам в духе Тарского Имя, которое он так усиленно вызывает - это, скорее имя Геделя, но с точки зрения логической теории здесь нет большого различия. Утверждая, что то что известно в качестве инфраструктур, неразрешимо Деррида проводит явную аналогию с геделевским открытием неразрешимых предложении Поскочьку Деррида в своих формулировках говорит, скорее, об истине и ложности, чем о доказуемости и недоказуемости он должен в реальности, скорее, апеллировать к неопределимости в духе Тарского арифметической истины в языке арифметики, чем к обычной формулировке геделевского результата о недоказуемости. Но это не наносит вреда позиции Дерриды (или моей). Инфраструктуры являются согласно Дерриде как раз тем, что и формальные системы у Геделя.
Неразрешимое предложение как Гедель продемонстрировал в 1931 г, это предложение, которое при данной системе аксиом, не является ни аналитическим ни дедуктивным следствием этих аксиом не находится в противоречии с ними ни истинно, ни ложно относите чьно этих аксиом Tertium datur без синтеза
Но тот. кто живет результатами Тарского и Геделя - тот и умирает вместе с ними Я показал что результат Тарского не имеет философских следствии которые ему обычно приписывают. Фактически, бочее тщательный анализ ситуации ведет к заключению диаметрально противоположному тому, что как обычно считают следует из результатов Тарского. Что же касается результатов Геделя, то более внимательное исследование показывает, что Гедель вообще не опроверг полноты какой-либо аксиоматической системы в наиболее важном смысле полноты, именно в том смысле который я назвал дескриптивной полнотой.
Если говорить в более общем плане то мои размышления тем самым привели к ряду результатов. Это не только тот факт, что особые апелляции к результатам Тарского и Геделя оказываются бессмысленными. Все философское значение теорем о неполноте и неопреде чимости надо переоценить Результаты, подобные тем, что получили Гедель и Тарский, фактически составляют твердое ядро любого рационального основания для общего тезиса о невыразимости. Тем не менее я показал, что результаты Тарского и Геделя просто не имеют тех негативных философских следствий которые им первоначально приписывали и которые у них обычно подразумевают. Тем самым тезис о невыразимости вполне можно отвергнуть, и в любом случае философские методологии, которые на нем базируются, теряют свое разумное основание. Эти методологии прежде всего включают герменевтическую и деконструктивистскую. Или чтобы быть точным моя критика касается лишь тех аспектов герменевтического подхода, которые зависят от мнимой невыразимости концептуальных постижении сущности. Те аспекты которые, как доказано, являются лишь особыми случаями определенных параметров рациональной и даже научной методочогии в целом не затрагиваются каким либо критицизмом. Например, нет необходимости интерпретировать истину как открытость, что делает Хайдеггер, но определенный (не обязательно порочный) круг, как можно доказать, присутствует даже в трезвом научном исследовании.
Мои результаты счедует правильно понять также и в других отношеннях. Я не говорю, что нам не нужно считаться с мыслями тех философов которые верили в невыразимость семантических и концептуальных объектов, или что у них не было подлинных озарений. Но эти озарения следует формулировать в тех же эксплицитных терминах, что и научные истины и доказывать (или опровергать) обычными методами рациональных рассуждений и исследовании, будь они аналитическими, феноменологическими или историческими. Мы можем говорить в нашем собственном языке об истине и других концептуальных предметах. И то. о чем мы можем говорить, мы должны обсуждать логически, научно и исторически.
Список литературы
1 Lovejoy А.О. The Great Chain of Being. Harvard University Press. 1936.
2 "Gaps in the Great Chain of Being". Proceedings and Addresses of the American Philosophical Association Vol 49(1975-76) P 22-38
3 "Ludwig 's Apple Tree", in Friedrich Studtler editor Scientific Philosophy Origins and Developments. Kluwer Academic. Dordrecht, 1993. P. 27-46.
4 Collingwood R.С. Essay on Metaphysics. Clarendon Press. Oxford. 1939. Особенно глава 5
5 См. Jaakko Hintikka. On Development ot Model theoretical Viewpoint in Logical Theory. Synthese. Vol. 77. (1988). P. 1-36. Merrill В. Hintikka and Jaakko Hiniikka. Investigating Wittgenstein Basil Blackwell. Oxford, 1986. Chapter 1.
6 См. Jean van Heijenoort "Logic as Calculus and Logic as Lanquage". Synthese. Vol. 17 (1967) P. 324-330.
7 Долгая дискуссия о так называемом парадоксе анализа дает намеки о таком основании для тезиса о невыразимости.
8 Hilary Putnam. "The Meaning of Meaning". In Mind, Language and Reality. Philosophical Papers. Vol. 2. Cambridge University Press. 1975. P. 215-571. Особенно Р. 236.
9 См. Martin Kusch. Language as Calculus vs Language as the Universal Medium: A Study of Husserl. Heidegger and Gadamer. Kluwer Academic Publishers. Dordrecht 1989.
10 См. Dagtinn Follesdal. "Husserl and Heidegger on the Role of Actions in the Constitution of the World" в Esa Saarinen et al., editors. Essays in Honour of Jaakko Hintikka. D. Reidel Dordrecht. 1979. P.365-376. Especially P. 369.
11 Ernst Tugendhat. Der Wahrheitsbegriff bei Husserl und Heidegger. de Gruyter. Berlin, 1967.
12 Alfred Tarski. "Der Wahrheitsbegriff in formalisierten Sprachen". Studia Philosophica. Vol. l (1935). P. 261-405.
13 См. Michael Friedman. "Logical Truth and Analyticity in Carnap's Logical Syntax of Language", в W. Aspray and P. Kitcher (editors). History and Philosophv of Modern Mathematics (Minnesota Studies in the Philosophy of Science XI). University of Minnesota Press. Minneapolis. 1988 P. 82-94 and cf. Jaakko Hintikka. "Carnap's Work in the Foundations of Logic and Mathematics in a Historical Perspective". Synthese 93 (1992). P. 167-189.
14 См. Jaakko Hinlikka. "What is Elementary Logic?", в Marx Wartofsky, editor, Festschrift for Robert Cohen,
Kluwer Academic Publishers. Dordrecht.
15 cм. Jaakko Hintikka. Defining Truth, the Whole Truth and Nothing But the Truth. Reports from the Department of Philosophy. University of Helsinki 1991.
16 Jacques Derrida. Dissemination, translated by Barbara Johnson. University of Chicago Press. 1981.
Перевод с английского Н.H. Шульгина
Вопросы философии. №9, 1996.
Для подготовки данной работы были использованы материалы с сайта filosof.historic