意味論(いみろん, Semantics)は主に二つの学問領域を指して用いられる。一つは
言語学で
自然言語の意味を扱う下位領域である。もう一つは
数学において、形式面を扱う証明論とともに
数理論理学を構成する下位領域である。さらに
一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、一般には意味論には含めない。現在、言語学において
形式意味論の重要性が増しており、それに伴い
数学における意味論が大きな位置を占めるようになっている。
Wikipedia.orgをもっと見ると…