Философский словарь - семантическое определение истины
Семантическое определение истины
семантическое определение истины формально-логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанная в логико-семантической теории А. Тарского. Впервые эта концепция была изложена Тарским в 1933.
Непосредственным поводом к ее формулировке послужило стремление преодолеть присущие естественному языку семантические парадоксы (типа известного парадокса "Лжец"). В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, "семантически замкнутыми", т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа "истинно", применимые по отношению к выражениям определенного языка.
При этом Тарский исходил из принципиальной возможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка (т.н. конвенция-Т): "Р" истинно, если и только если P, которая не является тавтологией, поскольку здесь четко различаются стоящее справа предложение, обозначающее определенную ситуацию в реальности (Р), и стоящее слева имя этого предложения ("Р"). Второму требованию отвечает перевод предложения Р из формализованного объектного языка в более богатый метаязык, в котором оказывается возможным построить непротиворечивое определение истины и др. семантических понятий. В свою очередь, семантика метаязыка определяется в метаметаязыке, и так до бесконечности. Эта концепция истины сыграла важную роль в разработке методов построения семантики формализованных языков. Развивая концепцию Тарского, К. Поппвр к Д. Дэвидсон показали впоследствии ее применимость к неформализованным, естественным языкам. .Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 877 | |
2 | 792 | |
3 | 771 | |
4 | 700 | |
5 | 621 | |
6 | 586 | |
7 | 564 | |
8 | 547 | |
9 | 546 | |
10 | 546 | |
11 | 510 | |
12 | 500 | |
13 | 492 | |
14 | 483 | |
15 | 480 | |
16 | 478 | |
17 | 459 | |
18 | 455 | |
19 | 452 | |
20 | 450 |