Эти
проблемы традиционны для философии,
они рассматриваются в контексте гно-
сеологических проблем и вопросов о су-
>щности и функциях языка. Напр., в
древней и средневековой философии од-
Щпим из центральных был вопрос о соот-
lj ношении имени и именуемой реальности.
рФилос. аспекты С. естественного языка
1получили дальнейшее развитие в трудах
IP. Декарта, Г. В. Лейбница, В. Гум-
11больдта. Пирса, Гуссерля и др. Большой
вклад в семантические исследования
Внесли представители лингвистической
философии. В наст. вр. С. естественного
зыка изучается конкретными методами
лингвистике, в частности математи-
еской (труды Хамского и др.). Ключе-
ые проблемы С. получили точное выра-
жение в связи с построением и изуче-
нем формализованных языков, фор-
альных систем (исчислений). Содер-
Мательная интерпретация таких языков
осн. предмет логической С.- раз-
1 совр. логики, в к-ром изучается
мысл и значение понятий и суждений
ВК выражений определенной логиче-
ской системы и к-рый ориентирован на
содержательное обоснование логиче-
ских правил и процедур, свойств непро-
тиворечивости и полноты такой системы.
К задачам логической С. относится
экспликация понятий <смысл>, <значе-
ние>, <истинность>, <ложность>, <следо-
вание> и т. []. В своем совр. виде
логическая С. сформировалась благода-
ря трудам Пирса, фреге, Рассела. Кар-
напа. Куайна. А. Чёрча, Тарского,
Дж. Кемени, Кринке. Часто логическую
С. разделяют на теорию референции
(обозначения) и теорию смысла. Пер-
вая использует такие категории, как
<имя>, <определимость>, <выполни-
мость> и др., вторая исследует отно-
шение формализмов к тому, что они
выражают, и осн. ее понятиями явл.
понятия смысла, синонимии, аналитиче-
ской и логической истинности.-На уров-
не понятий и суждений важнейшими в
логической С. явл. вопросы, связанные
с различением между объемом и содер-
жанием понятия, между истинностным
значением и смыслом суждения. Это
различение выражено в т. наз. осн. се-
мантическом треугольнике - трехчлен-
ном отношении между предметом (собы-
тием), содержанием (смыслом) и име-
нем. На уровне формальной системы
центральным семантическим понятием
явл. интерпретация, т. е. отображение
формализмов системы на нек-рую об-
ласть реальных или теоретических объ-
ектов, в нек-рую содержательную тео-
рию или ее часть. В С. исследуется
непротиворечивость и полнота данной
системы при помощи разл. семантиче-
ских моделей, осн. роль при этом играют
определения понятия истинности. В
наст. вр. построено множество разл.
типов С.: референциальная и др.
Быстрое П. И.
СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕ-
НИЕ ИСТИНЫ-формально-логиче-
ское уточнение классической (<коррес-
пондентной>) концепции истины, эксп-
ликация интуитивного представления об
истине как соответствии реальности,
разработанное в логико-семантической
теории Тарского. Непосредственным по-
водом к формулированию С. о. и. послу-
жило для Тарского стремление преодо-
леть присущие естественному языку се-
Символ
мантические парадоксы (типа известно-
го парадокса <Лжец>). В отличие от
представителей лингвистической фило-
софии, он считал естественные языки не-
совершенными, <семантически замкну-
тыми>, т. е. содержащими как сами вы-
ражения, так и их имена, а также семан-
тические термины типа <истинно>, при-
менимые по отношению к выражениям
определенного языка. При этом Тарский
исходил из принципиальной возможно-
сти формализации естественных языков.
Строгое определение истины должно, по
его мнению, удовлетворять требованию
материальной адекватности и формаль-
ной непротиворечивости. Первому тре-
бованию отвечает следующая формули-
ровка: <Р> истинно, если и только если
<Р>, к-рая не явл. тавтологией, посколь-
ку здесь четко различаются стоящее
справа предложение, обозначающее оп-
ределенную ситуацию в реальности (Р),
и стоящее слева имя этого предложения
(<Р>). Второму-перевод предложе-
ния Р из формализованного объектного
языка в более богатый метаязык, в
к-ром оказывается возможным постро-
ить непротиворечивое определение исти-
ны и др. семантических понятий. В свою
очередь, семантика метаязыка опреде-
ляется в метаметаязыке, и так до беско-
нечности. С. о. и. сыграло важную роль
в разработке методов построения семан-
тики формализованных языков. Разви-
вая концепцию Тарского, Поппер и
Дэвидсон впоследствии показали при-
менимость С. о. и. к неформализован-
ным, естественным языкам.
Грязное А. Ф.
СИМВОЛ (от греч. simbolon - знак,
примета) - в самом общем виде - по-
нятие, фиксирующее способность мате-
риальных вещей, событий, а также
чувственных образов выражать идеаль-
ное содержание, отличное от их непос-
редственного, чувственно-телесного бы-
тия. Общепризнанной трактовки поня-
тия <С.> пока не выработано. В XX в.
попытка создания целостной филос. те-
ории символа была предпринята Кас-
сирером в <Философии символических
форм>, где был дан феноменологиче-
ский анализ разл. культурно-символи-
ческих миров (мифа, языка, науки) как
формвнешн. манифестации и самопоз-
нания человеческого духа. Весьма ин-
тересная трактовка символа дана в рам-
ках психоанализа. Символ рассматри-
вается здесь не как атрибут сознатель-
ной деятельности человека, а, наоборот,
как единственная опосредствованная
возможность проявления бессознатель-
ных начал в индивидуальной психике и
в культуре. Интересны в этой связи идеи
Юнга, постулировавшего наличие уни-
версальных образов-символов (архети-
пов) коллективного бессознательного.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282