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.

Значение слова в других словарях

дихотоми́ческий надо́мник неотъе́млемость перека́ливание раскритикова́ться гото́вый зако́л кактусово́д мешо́чничество молодцева́тый отосклеро́з поле́зный слы́шите гусак заринье пантера bricken dichoree digging-in Lerwick musk vegetative ацетоновый развалины рьяный