Metalogika adalah bidang studi tentang metateori logika, sementara logika adalah studi tentang cara di mana sistem logis dapat digunakan untuk menentukan kebenaran argumen, studi metalogika merupakan properti dari sistem logika sendiri. bagi Geoffrey Hunter bahwa logika mempunyai kepentingan dengan yang digunakan untuk mengungkapkan kebenaran logika sedangkan bagi metalogika mempunyai kepentingan dengan teori penyusunan yang dipergunakan untuk mengungkapkan adanya kebenaran logika.
Objek dasar studi pada metalogika berada pada bahasa formal, sistem formal, dan cara interpretasi mereka. Studi interpretasi sistem formal adalah cabang logika matematika yang dikenal sebagai teori model sedangkan penelitian deduktif pelengkap adalah cabang yang dikenal sebagai teori bukti
Lihat pula Sunting
- Metamatematika
- Semantik formal
Referensi Sunting
- Harry J. Gensler, Introduction to Logic, Routledge, 2001, p. 253.
- Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971