məntiqi semantika

məntiqin dildəki ifadələrin mənasını öyrənən sahəsi, daha dəqiq mənada metaməntiqin məntiqi hesablamaların interpretasiyalarını öyrənən bölməsi. məntiqi semantikanın əsas anlayışlarını 2 qrupa bölmək olar: 1.işarəetmə nəzəriyyəsinə daxil olan anlayışlar, bu anlayışların mövcud dildəki ifadələrə tətbiq edilməsi interpretasiyanın seçilməsindən əhəmiyyətli dərəcədə asılıdır.(u: həqiqilik, işarə etmə, yerinə yetirilmə, adlandırılma, ekstensionallıq,sintetik həqiqilik anlayışları) 2.məna nəzəriyyəsinə aid və mövcud dilin bütün mümkün interpretasiyalarına nəzərən müəyyən edilən anlayışlar. formallaşdırılmış dillərin metanəzəri öyrənilməsi zamanı zəruri semantik təhlilə müraciət edilməli olur, çünki bir çox mühüm faktlar(u: tamlıq və ziddiyətsizlik problemlərinə aid) xalis sintaktik izah çərçivəsində müəyyən edilə bilməzlər. elm dillərinin və təbii dillərin semantik xassələrinin tədqiqi riyazi linqvistikanın inkişafı ilə əlaqədar tətbiqi əhəmiyyət kəsb edir.