コトバンクはYahoo!辞書と技術提携しています。

メタ論理学 メタろんりがくmetalogic

ブリタニカ国際大百科事典 小項目事典の解説

メタ論理学
メタろんりがく
metalogic

論理学を形式的推論の体系とみて,それを研究対象として行う論理学的考察。換言すれば,論理学のメタ言語に属する部分をさす。これは別名「論理文法」とも呼ばれ,論理学の公理体系をつくり,その独立性,無矛盾性を吟味したり,体系,演繹,真理などの用語を定義することを任務の一つとする。領域的には,構文論 (→統辞論 ) ,意味論,語用論を含み,歴史的には,D.ヒルベルトメタ数学ウィーン学団の言語論,ポーランド学派による体系の公理化によって基礎づけられ,R.カルナップ,K.ゲーデル,A.タルスキーなどによって発展させられた。

出典|ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について | 情報

今日のキーワード

金城湯池

1 《「漢書」蒯通伝から。「湯池」は熱湯をたたえた堀》守りが非常に固く、攻めるのが難しい城。金湯。2 堅固で、他から侵害されにくい勢力範囲。「保守派の金城湯池」...

続きを読む

コトバンク for iPhone