METALOGIKA
Inggris: metalogic.
1. Istilah ini mengacu pada metabahasa logika.
2. Metalogika merupakan studi tending struktur, tanda-tanda hubungan, formula, dalil-dalil, serta kaidah penalaran logiks dari tirik pandang sintaktika, semantika, dan pragmatika.
3. Metalogika merupakan suatu teori yang mempelajari sisterr dan konsep logika formal kontemporer. Teori ini menguraikar masalah-masalah teoretis tentang bukti, serta dapat ditentukannya konsep-konsep dan kebenaran dalam bahasa yang dirumuskan, penafsiran, arti dll.
Dua Bagian
Metalogika dibagi ke dalam dua bagian: sintaksis logis dan se mantik logis. Perkembangan metalogika dikaitkan dengan kon struksi dan studi tentang bahasa yang dirumuskan. Karya utam; dalam bidang ini dikerjakan oleh Frege, seorang ahli logiki Polandia dari aliran Lvov-Warsawa, Hilbert, Goedel, Carnap, dll.