メタ論理学(読み)メタろんりがく(その他表記)metalogic

ブリタニカ国際大百科事典 小項目事典 「メタ論理学」の意味・わかりやすい解説

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

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

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

機械メーカー。トヨタグループの総本家で,繊維機械のほかトヨタ自動車からの小型商用車の受託生産,エンジンその他の自動車部品,フォークリフトなどの産業用車両の生産も行なう。1926年豊田佐吉が,みずから発...

豊田自動織機の用語解説を読む