Metalogika adalah cabang studi logika yang mempelajari sistem logis itu sendiri, termasuk bahasa formal, aksioma, aturan deduksi, dan teorema yang dapat diturunkan. Studi ini menekankan sifat formal dari sistem logis dan mengevaluasi kebenaran deduktif secara eksplisit.
Objek dasar metalogika meliputi bahasa formal, sistem formal, dan interpretasi sistem tersebut. Cabang metalogika yang meneliti hubungan antara sistem formal dan model yang memuaskan sistem dikenal sebagai teori model, sedangkan penelitian mengenai deduksi teorema dari aksioma disebut teori bukti.
Dalam kerangka Logika Murni Hierarkis Universal (LMHU), metalogika menekankan eksplisititas, kausalitas, hierarki aksioma-premis-teorema, serta pemisahan kebenaran niscaya dan kontingen.
Belum ada tanggapan untuk "Meta-Logika"
Posting Komentar
Silahkan berkomentar sesuai topik, namun gunakanlah kata-kata yang baik.
• Dilarang berkomentar dengan kata-kata yang berbau sara.
• Dilarang berkomentar dengan kata-kata berkonotasi pornografi.
• Dilarang menyertakan link mati maupun link hidup dalam komentar.
• Dilarang mempromosikan produk.
• Dilarang melakukan spamming.
Komentar yang tidak relevan atau tidak sesuai topik dan komentar yang melanggar peraturan tidak akan disetujui. Terimakasih.