形式意味論 (自然言語)

形式意味論（けいしきいみろん、英: formal semantics）は、論理学と数学に由来する形式的手法を用いて言語的意味を科学的に研究する分野である。これは学際的な領域であり、言語学と言語哲学の双方の下位分野とみなされることもある。