Словарь логики - семантика логическая
Семантика логическая
семантика логическая
— раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX—XX вв. благодаря работам Ч.Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К. И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку.
В С. л. традиционно выделяют две области — теорию референции (обозначения) и теорию смысла. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: «имя», «обозначение», «выполнимость», «истинность», «интерпретация», «модель» и т. п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т. п. Значительную роль в С.л. играет обсуждение семантических парадоксов, решение которых является важным критерием приемлемости любой семантической теории. .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 374 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 326 | |
9 | 325 | |
10 | 325 | |
11 | 320 | |
12 | 316 | |
13 | 314 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 307 | |
20 | 300 |