意味論（いみろん, Semantics）は主に二つの学問領域を指して用いられる。一つは言語学で自然言語の意味を扱う下位領域である。もう一つは数学において、形式面を扱う証明論とともに数理論理学を構成する下位領域である。さらに一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、一般には意味論には含めない。
言語学では、意味論とは統語論の単位である語、句、文、そしてさらに大きな談話単位テクストなどが持つ意味を研究する分野である。 意味論は次の二つの分野に対置される。すなわち、より単純な記号から複雑な記号を作り出すことに関わる統語論、および、実際の発話状況や文脈に依存した記号の使用に関わる語用論である。
意味は、大きく次の二種類に分類されることが多い。第一に、記号が対象や状況に対して持つ関係。 第二に、記号がほかの記号（特に概念と言われる心的記号）に対して持つ関係。前者は指示的意味（reference）、後者は内包的意味（sense）などと呼ばれる。
これら二種類の意味に加え、意味論は伝統的に、真理条件、項構造、主題役割、談話分析などを研究してきた。これら全てと統語論を結ぶことも意味論の課題である。
出会い