+1 əjdaha
1. müasir formal məntiqin sistem və anlayışlarını tədqiq edən nəzəriyyə. sübutlar, formallaşdırılmış dillərdə həqiqət, anlayışların müəyyənedilənliyi, təfsir, məna və s. nəzəriyyəsi məsələlərini tədqiq edir. iki bölməyə ayrılır:1.(bax: məntiqi sintaksis)
2.(bax: məntiqi semantika)