意味論

日本語

名詞

意味論 (いみろん)

1. (言語学) 記号列が表す意味について議論する分野。
2. (哲学, 数学) 解釈によって、形式的な文や理論に意味を与えることができるような構造を研究する論理学の分野。モデル理論。
3. (計算機科学) プログラミング言語の意味に関する分野。「プログラム意味論」とも呼ばれる。