Metaməntiq
Metaməntiq məntiqin metanəzəriyyəsini öyrənən elmdir. Məntiq məntiq sistemlərinin keçərli və etibarlı arqumentin qurulmasında necə istifadə edilə biləcəyini öyrənir. Metaməntiq isə bu məntiq sistemlərinin xassələrini öyrənir. Məntiq məntiqi sistem ilə aşkarlana bilinəcək doğrulara, metaməntiq isə doğruların ifadə edildiyi dillər və sistemlərlə bağlı doğrulara xitab edir. Metaməntiq sahəsinin təməl obyektləri formal dillər, formal sistemlər və onların təfsiridir. Formal sistemlərin təfsir edilməsi elmi model nəzəriyyəsi olaraq bilinən riyazi məntiqin bir qoludur. Sübut nəzəriyyəsi olaraq bilinən deduktiv sistemlərin öyrənilməsi isə metaməntiqin bir qoludur.