«Парадокс лжеца» является парадоксом классической концепции истины. Он был воспринят некоторыми философами, как свидетельство ее логической противоречивости.
1.2 Когерентная концепция истины
Существуют два варианта когерентной теории истины. Один из них вводит новое понятие истины, как когерентности знаний, которое предполагается вместо прежнего понятия истины, как соответствия знаний действительности. Другой вариант утверждает, что соответствие знаний действительности может быть установлено только через когерентность, которая выступает в качестве критерия истины. Одним из основоположников первого варианта когерентной теории принято считать Канта. По Канту существует взаимная согласованность, единство чувственного и логического, которые и определяют содержание и мысли истины.
В XX в. когерентная теория истины возрождается некоторыми представителями неопозитивизма, например О. Нейратом. Эта версия исходит из того, что только метафизика может пытаться сравнивать предложения с реальным миром. Истинность научного знания заключается, по Нейрату, не в том, что знание соответствует действительности, а в том, что все знание представляет собой самосогласованную систему. Именно это свойство самосогласованности является тем референтом, к которому относится понятие истины.
Истоками второго варианта можно считать философию элеатов. Порменид и Зенон принимали понятия истины как соответствие знаний действительности. Однако они считали, что это соответствие может быть удостоверено не путем наблюдений, а лишь путем установления непротиворечивости знаний. Противоречивая идея не имеет референта в реальном мире. Вместе с тем непротиворечивость идеи гарантирует правильное описание его реального положения вещей.
Следуя этой рационалистической установке, Парменид утверждал, что мыслью о существовании в природе пустоты, «небытия» является «ложной, т. е. несоответствующей действительности. Ее ложность состоит в ее внутренней противоречивости. Если мы мыслим «небытие» как нечто реальное, то оно в силу этого перестает быть «небытием». Идея «небытия» есть невыразимая в мыслях идея, а потому ей ничего не соответствует в реальном мире»[3].
Этот вариант когерентной теории истины принимается некоторыми современными мыслителями и философами. Функционирование когерентной теории истины, как определяющей критерии истины Ремер представляет себе следующим образом: «Цель когерентной теории заключается в том, чтобы отделить истинные высказывания от неистинных. Ключ к решению этой проблемы состоит в нахождении во множестве М подмножества N когерентных высказываний… Кандидаты в истинное квалифицируются как истинное, благодаря выявлению их современности с как можно большим числом других эмпирических высказываний»[4].
Когерентная теория не только не преодолевает трудности классической теории, но, наоборот, усугубляет их, сталкиваясь и с другими нерешенными проблемами. Эта теория пытается решить проблему когерентности в логическом смысле. Однако проблема непротиворечивости, как логическая проблема чрезвычайно сложна. Она неразрешима в достаточно сложных логических исчисления. Когерентность рассматривается как внутреннее свойство системы высказываний. Ремер пишет: «Когерентность, рассматриваемая в когерентной теории, рассматривается как внутреннее свойство, касаемое вопроса об отношении одних высказываний к другим, но она не касается вопроса когерентности с реальностью или фактами действительности»[5]. Очевидно условие непротиворечивости не является достаточным условием истинности, поскольку не всякая противоречивая система утверждений о реальном мире соответствует реальному миру. Это условие применительно к естественным наукам не всегда оказывается и необходимым. Противоречивость какой – либо теории не означает ее ложность. Она может быть показателем временных трудностей.
Сторонники когерентной теории истины обратились к когерентности как к способу избавиться от трудностей, с которыми столкнулась классическая концепция истины. Но путь, который они выбрал, сопряжен с еще большими трудностями.
1.3 Прагматическая концепция истины.
С точки зрения польского логика и философа К. Айдучевич, все, так называемые неклассические истины, усматривают сущность истины не в соответствии с реальностью, а в соответствии с «конечным критерием». К концепции истины, как полезности, прагматизм приходит на основе следующего аргумента: «… наши убеждения не являются независимыми от нашей практической деятельности. Наши убеждения влияют на наши действия, дают им направления, указывают средства, ведущие к достижению намеченной цели»[6].
Согласно прагматизму, полезность не является ни критерием, ни корректором истины. Иначе говоря, нельзя утверждать, что знания, обладающие свойствами полезности, также оказываются соответствующими реальности. Единственное, что может человек установить, - это несоответствие знания действительности, а эффективность, практическую полезность знаний. Именно полезность и есть основная ценность человеческих знаний, которая достойна именоваться истинной.
В настоящее время имеются теории, которые можно рассматривать как продолжение и развитие прагматизма, например онерационализм. Основная его проблема – значения. Операционализм рассматривает проблему истины как проблему существования. По выводам, вытекающим из бриджменского операционализма, можно судить, что принесла науке прагматическая концепция. Бриджмен утверждал, что общая теория относительности не имеет физического смысла и неистинна, поскольку она пользуется неоперациональными понятиями. Операционализм требует устранения абстрактных систем, которые играют в современной физике важную роль.
Прагматизм, суливший сделать науку более «реалистической» оказывается концепцией, создающей для нее серьезную угрозу.
1.4 Семантическая теория истины Тарского.
Теория Тарского – это не философская, а логическая теория. После ее создания, возник ряд вопросов, касающихся ее применения для решения проблем истины. Основная цель этой теории в стремлении преодолеть парадокс лжеца.
Тарский уточняет аристотелевскую дефиницию истины: «Пусть у нас есть предложение «Снег бел». Согласно аристотелевскому определению, данное предложение истинно в том случае, если снег действительно был»[7].
Тарский использует следующий прием. Предложение можно рассматривать с двоякой точки зрения: как собственное имя в аспекте его содержания. В логике этот двоякий подход к предложению соответствует различию между упоминанием и использованием терминов. Во-первых, предложения нечто говорят об объектах мира. Во-вторых, они же могут упоминаться сто эквивалентно рассмотрению их собственных имен. Предложение «Снег бел» может быть записано так: «Снег бел» – истинно, если и только если снег бел. Только в этом случае можно сказать, что это определение соответствует классическому пониманию истины. Но если ввести высказывание, утверждающее свою собственную ложь, то получится «парадокс лжеца». Чтобы его преодолеть и сделать определение истины логически непротиворечивым, необходимо перейти от естественного к формализованному языку. В целях обсуждения истинности выражений формализованного языка необходим особый метаязык.
Основной результат, полученный Тарским, заключается в доказательстве невозможности логически непротиворечивого обсуждения проблем семантики, включая проблему истинности высказываний данного языка в рамках самого этого языка. Теория Тарского предлагает создание искусственного языка.
Философы видят достоинство теории Тарского в том, что она позволяет исключить «парадокс лжеца» и логически непротиворечиво оперировать понятием «истина». Но встает вопрос: так ли уж важна непротиворечивость, если речь идет о естественных науках? Тарский придает большое значение тому факту, что естественные науки могут рождать парадоксы. Однако естественный язык не подчинен необходимости исключения противоречий любой ценой, но даже если допустить, что формализация языка естественных наук осуществлена, и в этом случае не получится решить те проблемы, с которыми столкнулась классическая концепция истины.
1.5 Критерии истины
Исследования, многократно предпринимаемые учеными и методологами на современном этапе развития научной рациональности, приводят к утверждению о невозможности исчерпывающего реестра критериев истинности. Это справедливо в связи с постоянно прогрессирующим развитием науки, ее трансформацией, вступлением в новую, постнеклассическую стадию, во многом отличную от предшествующих классической и неклассической. Чтобы заполнить нишу критериев, указывают на такие новомодные понятия, как прогрессизм или нетривиальность, достоверность, критицизм, оправданность. Выделяемые прежде критерии, среди которых на первых местах оказываются предметно-практическая деятельность, объективность, а на вторых – логическая непротиворечивость, а также простота и эстетическая организованность, также корреспондируются в список критериев истинного знания.
Проблема критерия истины всегда была центральной в теории познания, т.к. выявление такого критерия означает найти способ отделить истину от заблуждения. Субъективно настроенные философы не в состоянии правильно решить вопрос о критерии истины. Одни из них утверждают, что критерием истины является выгода, полезность и удобство (прагматизм), другие полагаются на общепризнанность (концепция «социально-организованного опыта»), третьи ограничиваются формально-логическим критерием истинности, согласую новые знания со старыми, приводя их в соответствие с прежними представлениями (теория когеренции), четвертые вообще считают истинность знаний делом условного соглашения (конвенционализм). В любом из этих случаев критерий истины (если он признается) не выводится за пределы разума, так что знание замыкается в самом себе.