メタ論理学

ウィキペディア

メタ論理学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/06/23 13:06 UTC 版)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2020年6月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Metalogic|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

メタ論理学（メタろんりがく、英: Metalogic）とは、論理のメタ理論の研究である。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する^[1]。

論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せるが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究する^[2]。

メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。

関連項目

• メタロジックプログラミング
• メタ数学

出典

1. ^ Gensler, Harry (2002-09-11). Introduction to Logic. doi:10.4324/9780203204887. https://doi.org/10.4324/9780203204887. 
2. ^ Hunter, Geoffrey. (1973). Metalogic : an introduction to the metatheory of standard first order logic. University of California Press. ISBN 0-520-01822-2. OCLC 912170465. http://worldcat.org/oclc/912170465 

外部リンク

• ウィキメディア・コモンズには、メタ論理学に関するカテゴリがあります。
• Dragalin, A.G. (2001) [1994], "Meta-logic"、Hazewinkel、Michiel （ed。）、Encyclopedia of Mathematics、Springer Science + Business Media BV / Kluwer Academic Publishers、ISBN Dragalin, A.G. (2001) [1994],

表 話 編 歴 メタ論理学 メタ数学
カントールの定理 決定問題（英語版） チャーチ＝チューリングのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 幾何学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈（英語版） レーヴェンハイム–スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） タイプとトークンの区別 使用と言及の区別

表 話 編 歴 メタ
ドメインおよびメソッド	メタアナリシス メタ認知 メタ学習 メタ記憶 メタデータ メタディスコース（英語版） メタフィクション メタゲーミング（英語版） メタゲノミクス メタヒューリスティクス メタヒストリー（英語版） メタ知識 メタ言語 メタマテリアル メタ数学 メタモデル メタモチベーション（英語版） メタオブジェクト（英語版） メタ最適化（英語版） メタ組織（英語版） メタフェノミクス（英語版） メタ哲学 メタ認識論（英語版） メタ倫理学 メタ論理学 メタ存在論 メタフィジックス メタプログラミング メタサイエンス（英語版） メタシステム（英語版） メタテオレム（英語版） メタ理論 メタバース