НАУЧНЫЕ УНИВЕРСАЛИИ - На главную - Санкт-Петербургский ...

высказываний. Однако, хотя Решер и говорит, что, согласно его
концепции, когерентность устанавливается лишь в отношении одних
высказываний к другим, но не в отношении высказываний к фактам, в
основе ее все-таки лежит парменидовская идея о том, что
самопротиворечивая мысль не может быть истинной именно потому, что
она не имеет референта.
Семантическая концепция истины, разработанная Альфредом
Тарским (1901-1983), развивается в общем русле классической концепции
и направлена на устранение «парадокса лжеца». Концепция Тарского
является не столько общефилософской, сколько специально логической
теорией, в которой носителем истины выступает высказывание, которое
можно рассматривать двояким образом: как носитель значения, и как свое
собственное имя. В логике это соответствует различию между
упоминанием и использованием термина. Упоминание — это
употребление термина в качестве своего собственного имени;
использование — употребление его для обозначения явления или события
реального мира. Так, например, «Снег бел» — это упоминание, а Снег
бел — употребление одного и того же высказывания. Первое («Снег бел»)
относится к предложению, в котором утверждается, что снег бел; второе
(Снег бел) относится к самому снегу и утверждает, что он именно бел.
Таким образом, классическое определение истины, применительно к
данному конкретному случаю, может быть записано следующим образом:
«"Снег бел" истинно, если и только если снег бел», или в обобщенной
форме: «"Р" истинно если и только если р».
Данное определение представляет логическую экспликацию
классической концепции истины как соответствия. Следующим шагом
является устранение возможности возникновения семантических
парадоксов типа «парадокса лжеца». В естественном языке
содержательные выражения, имена этих выражений и их семантические
характеристики («истинно» — «ложно») употребляются на равных
основаниях, что и приводит к появлению самореферентных
высказываний, порождающих семантические парадоксы. Чтобы
исключить явление самореферентности, Тарский предлагает отделить
рассуждения об объектах от рассуждений об условиях истинности этих
рассуждений. Рассуждения об объектах следует вести на особом
формализованном объектном языке L 0 , в словарь которого не должны
входить ни имена предложений, ни термины, характеризующие
семантические отношения. Условия истинности выражений объектного
языка следует обсуждать на особом метаязыке, который включает в себя
весь объектный язык, имена его предложений и термины, обозначающие
семантические отношения: «соответствует фактам», «истинно», «ложно».
132