Философский словарь - семантическое определение истины
Семантическое определение истины
семантическое определение истины
формально-логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанная в логико-семантической теории А. Тарского. Впервые эта концепция была изложена Тарским в 1933.Непосредственным поводом к ее формулировке послужило стремление преодолеть присущие естественному языку семантические парадоксы (типа известного парадокса "Лжец"). В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, "семантически замкнутыми", т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа "истинно", применимые по отношению к выражениям определенного языка.
При этом Тарский исходил из принципиальной возможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка (т.н. конвенция-Т): "Р" истинно, если и только если P, которая не является тавтологией, поскольку здесь четко различаются стоящее справа предложение, обозначающее определенную ситуацию в реальности (Р), и стоящее слева имя этого предложения ("Р"). Второму требованию отвечает перевод предложения Р из формализованного объектного языка в более богатый метаязык, в котором оказывается возможным построить непротиворечивое определение истины и др. семантических понятий. В свою очередь, семантика метаязыка определяется в метаметаязыке, и так до бесконечности. Эта концепция истины сыграла важную роль в разработке методов построения семантики формализованных языков. Развивая концепцию Тарского, К. Поппвр к Д. Дэвидсон показали впоследствии ее применимость к неформализованным, естественным языкам. .Рейтинг статьи:
Комментарии:
См. в других словарях
1.
СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ — формально-логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанная в логико-семантической теории А. Тарского. Впервые эта концепция была изложена Тарским в 1933. Непосредственным поводом к ее формулировке послужило стремление преодолеть присущие естественному языку семантические парадоксы (типа известного парадокса «Лжец»). В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, «семантически замкнутыми», т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа «истинно», применимые по отношению к выражениям определенного языка. При этом Тарский исходил из принципиальной возможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка (т.н. конвенция-Т): «Р» истинно, если и только если P,...Философская Энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 849 | |
2 | 755 | |
3 | 735 | |
4 | 655 | |
5 | 582 | |
6 | 534 | |
7 | 526 | |
8 | 508 | |
9 | 503 | |
10 | 493 | |
11 | 474 | |
12 | 462 | |
13 | 448 | |
14 | 445 | |
15 | 445 | |
16 | 438 | |
17 | 422 | |
18 | 419 | |
19 | 418 | |
20 | 416 |