English Dictionary

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 ）