Metalogika

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.Harry J. Gensler, Introduction to Logic, Routledge, 2001, p. 253. 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.Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971

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 
 Metamatematika
 Semantik formal

 Referensi 


Kategori:Logika matematika