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