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)