METAMƏNTİQ

Müasir formal məntiqin sistem və anlayışlarını tədqiq edən nəzəriyyə \[Metanəzəriyyə\].
METAQALAKTİKA
METANƏZƏRİYYƏ
OBASTAN VİKİ
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.

Digər lüğətlərdə

арме́йски горьку́ха коммуника́бельный медя́к мещеряки́ наню́хаться опро́с чу́вства верне́й выеда́ть зака́шиваться мо́крое место останется ну́дный парте́р сме́хом gingery hypnoidal leaves Murray shillyshally state bank голубиный дредноут отжиливать чулочный