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.
== Baxış ==
=== Formal dil ===
Formal dil yerinə və formasına görə təyin edilmiş simvollardan ibarət sistemdir. Bu səbəbdən belə bir dili heç bir istinad olmadan ifadələrə mənalar yükləyərək təyin etmək mümkündür. Bu proses sadəcə məna yüklənən ifadələrin daha öncədən heç bir mənaya sahib olmamasını tələb edir. Bəzi formal dillərdə ilkin olaraq ardıcıllıq məntiqi yer tutur.
