最終更新日：2025/11/26

(philosophy) The metatheory of logic; the study of properties of logical systems.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

metalogic

元となった辞書の項目

metalogic

可算名詞不可算名詞

(philosophy) The metatheory of logic; the study of properties of logical systems.

日本語の意味

論理学のメタ理論。つまり、論理体系の性質や構造を研究する分野。 / 論理体系に内在する性質や基本原理を取り扱う学問分野。

Her research in metalogic clarified the limits of formal proof systems.

彼女のメタ論理学の研究は形式的証明体系の限界を明らかにした。

意味（1）

(philosophy) The metatheory of logic; the study of properties of logical systems.

metalogics

（ plural ）