Семантическая теория истины Тарского

Теория Тарского – это не философская, а логическая теория. После ее создания, возник ряд вопросов, касающихся ее применения для решения проблем истины. Основная цель этой теории в стремлении преодолеть парадокс лжеца.

Тарский уточняет аристотелевскую дефиницию истины: «Пусть у нас есть предложение «Снег бел». Согласно аристотелевскому определению, данное предложение истинно в том случае, если снег действительно был»⁷.

Тарский использует следующий прием. Предложение можно рассматривать с двоякой точки зрения: как собственное имя в аспекте его содержания. В логике этот двоякий подход к предложению соответствует различию между упоминанием и использованием терминов. Во-первых, предложения нечто говорят об объектах мира. Во-вторых, они же могут упоминаться сто эквивалентно рассмотрению их собственных имен. Предложение «Снег бел» может быть записано так: «Снег бел» – истинно, если и только если снег бел. Только в этом случае можно сказать, что это определение соответствует классическому пониманию истины. Но если ввести высказывание, утверждающее свою собственную ложь, то получится «парадокс лжеца». Чтобы его преодолеть и сделать определение истины логически непротиворечивым, необходимо перейти от естественного к формализованному языку. В целях обсуждения истинности выражений формализованного языка необходим особый метаязык.

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

Философы видят достоинство теории Тарского в том, что она позволяет исключить «парадокс лжеца» и логически непротиворечиво оперировать понятием «истина». Но встает вопрос: так ли уж важна непротиворечивость, если речь идет о естественных науках? Тарский придает большое значение тому факту, что естественные науки могут рождать парадоксы. Однако естественный язык не подчинен необходимости исключения противоречий любой ценой, но даже если допустить, что формализация языка естественных наук осуществлена, и в этом случае не получится решить те проблемы, с которыми столкнулась классическая концепция истины.

Объективное и субъективное в истине. Объективность знания (объективная истина) — это содержание знаний, которое определяется объектом и не зависит от субъекта познания. Например, суждение «Земля — планета Солнечной системы» по своему содержанию объективно истинно, оно выражает явление, существующее независимо от субъекта. Признавать объективную реальность — значит признавать объективную истину. Вместе с тем истина субъективна. Как характеристика знания она вне человеческого сознания не существует. Приведенное суждение содержит объективное знание, но само суждение — форма мышления существующая в сознании субъекта. Кроме того, в содержании знания неизбежно привносится субъективный момент, обусловленный применением достигнутого знания. Таким образом, истина содержит в себе оба момента — и объективное, и субъективное, представляет их единство.

Абстрактное и конкретной. Известно, что абстрактной истины нет, что истина всегда конкретна. С другой стороны, столь же общеизвестно, что абстракция, абстрактное есть всеобщая форма, в которой и посредством которой мышление может достигать объективной истины.

Абстрактное и конкретное тем самым являются неразрывными внутренними противоположностями, в живом диалектическом единстве которых только и может осуществляться процесс теоретического познания, логический процесс. Основы для решения и освещения вопроса о диалектике абстрактного и конкретного в научно-теоретическом познании заложил Карл Маркс в своем знаменитом фрагменте, известном под названием «Введения» к «К критике политической экономии». Мысли, развитые там, естественно, и должны послужить для нас исходным пунктом при анализе данной проблемы.

Истина в религии разнообразна.Рассмотрим истину в Христианстве.

Христианство истиной называет не какую-либо абстрактную универсальную идею, и не какую-либо изначальную материю, а основополагающую живую личность Иисуса Христа, который изрёк: «Я есть путь, истина и жизнь» (Ин.14:6). В этом смысле, примечательно поведение Пилата, скептически вопросившего на своём неправедном суде Христа: "Что есть истина?", и не выслушавшего ответа от самой Истины. (Ин.18,37-38).

Следует заметить и другие слова Христа об истине, а именно, о тех случаях, когда истина попирается: «Ваш отец диавол; и вы хотите исполнять похоти отца вашего. Он был человекоубийца от начала и не устоял в истине, ибо нет в нём истины. Когда говорит он ложь, говорит своё, ибо он лжец и отец лжи.» (Ин.8,44). Этим подчёркивается, что направленность воли разумных существ определяет их причастность либо к истине и к вечной жизни (вечному бытию), либо ко лжи — вечной смерти и небытию. После грехопадения прародителей все люди подвержены влиянию диавола, поэтому псалмопевец Давид (с некоторым удивлением) восклицает: «Всяк человек — ложь» (Пс.115,1-2).

Истина в науке.В науке истина — это характеристика, обозначающая степень совершенства мысли (представления) либо высказывания, позволяющая считать его познанием или знанием. Истиной также может называться и само знание (само содержание знания) или сама познанная действительность. Противоположными истине понятиями являются понятия лжи и заблуждения. Обычно истиной считается соответствие высказывания или представления некоторому критерию проверки на истинность. Истина используется как общая категория, в частности, как религиозное, философское, научное логическое понятие. В науках и философии используются самые разнообразные критерии истины. В логике, для которой истина является одним из преимущественных предметов изучения, таким критерием считается непротиворечивость и логическая правильность. В некоторых религиях таким критерием зачастую является божественное откровение.

Верификация(от лат. verificatio - доказательство, подтверждение) - установление истинности или эмпирической осмысленности научных утверждений.