この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。
出典検索?: "意味論" 論理学
意味論（いみろん）とは論理学の分野である。 言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず、与えられる公理に現れる単なる記号として扱われる。それに対し、もっぱらモデル理論と呼ばれる分野であるが、たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である。 この節には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2016年1月） この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。
数理論理学における意味論
言語学における意味論との関係
出典検索?: "意味論" 論理学
これに対して言語学においては、言葉とは何かが曖昧であり、文法についての意見の一致もなく、「意味とは何か」ももちろん定まらず、従って当然、数理論理学におけるような厳密な意味論も行ない得ない。自然言語の意味論をどのように行なうかは、極めて困難な問題である。言葉の意味というものは「意味とは何か」を学術的に定義するまでもなく我々が直感するものであり、また例えば機械翻訳などの分野では「意味とは何か」の問題を回避して工学的成功を得ることも可能なので、そもそも自然言語の意味論というものに存在意義があるのかということも問題になる。
自然言語の意味論におけるそういう困難を解決する一つの方法は、言葉の表層ではなく、言葉に対応する脳神経系内の存在物を抽象化して形式言語と捉え、数理論理学的に研究することである。それは、もはや言語学というよりは数理心理学的の研究態度である。例えばモンタギュー意味論は、そういう問題意識によるものと解釈できる。
下位分野
形式意味論
関連項目
意味論 (言語学)
プログラム意味論
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.75em;right:1em;display:none}
この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。 [脚注の使い方]
脚注
NKC: ph166517
関連項目
（英語版）
数理論理学
数学
メタ論理学
メタ数学
モデル理論
哲学的論理学
哲学
論理学の哲学
数学の哲学
証明論
集合論
論理学の歴史
基本概念
アブダクション
分析的と総合的の区別（英語版）
二律背反
アプリオリ
演繹
定義(内包と外延)
記述
帰納
推論
論理的帰結
論理形式（英語版）
論理的含意（英語版）
論理的真理
名前
必要十分条件
意味
パラドックス
可能世界論
前提
確率
理性
推理
参考
意味論
命題
サブスティトゥーション（英語版）
統語論（英語版）
真理
真理値
妥当性
数学記号の表
批判的思考と非形式論理学
分析
曖昧
信念
信用性（英語版）
根拠
説明
説明力（英語版）
事実
誤謬
探究
意見
節約
根拠
プロパガンダ
思慮分別（英語版）
推理
関連
修辞学
厳格
漠然（英語版）
論理学の哲学
構成主義
ダイアリーシズム（英語版）
虚構主義（英語版）
有限主義（英語版）
形式主義
直観主義
論理的原子論（英語版）
論理主義
唯名論
プラトニック実在論（英語版）
プラグマティズム
実在論
