Математическая энциклопедия - семантика

в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание возможности точного описания и определения таких понятий, как "истина", "определимость", "обозначение", по крайней мере применительно к точно описанным языкам.

С. логич. связок в классической и интуиционистской логике носит э к с т е н с и о н а л ь н ы й характер, т. .