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

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

1件 の用語解説(メタ論理学の意味・用語解説を検索)

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

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

論理学を形式的推論の体系とみて,それを研究対象として行う論理学的考察。換言すれば,論理学のメタ言語に属する部分をさす。これは別名「論理文法」とも呼ばれ,論理学の公理体系をつくり,その独立性,無矛盾性を吟味したり,体系,演繹,真理などの用語を定義することを任務の一つとする。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

メタ論理学の関連キーワード形式論理学タルスキー超数学伝統的論理学数理論理学二値論理学形式的体系の算術化《論理学体系》論理的推論《論理的推論の研究》

今日のキーワード

平野美宇

卓球選手。2000年4月14日、静岡県生まれ、山梨県育ち。3歳で卓球を開始。07年に小学1年生で全日本選手権大会バンビの部優勝、09年に小学2年生で同大会ジュニアの部初出場を果たし、注目を集めた。13...

続きを読む

コトバンク for iPhone