メタ論理学

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

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

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

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

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

• ウィキメディア・コモンズには、メタ論理学に関するカテゴリがあります。
• 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],