数理論理学における意味論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/07 23:48 UTC 版)
「意味論 (論理学)」の記事における「数理論理学における意味論」の解説
言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず、与えられる公理に現れる単なる記号として扱われる。それに対し、もっぱらモデル理論と呼ばれる分野であるが、たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である。
※この「数理論理学における意味論」の解説は、「意味論 (論理学)」の解説の一部です。
「数理論理学における意味論」を含む「意味論 (論理学)」の記事については、「意味論 (論理学)」の概要を参照ください。
ウィキペディア小見出し辞書の「数理論理学における意味論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 数理論理学における意味論のページへのリンク
