Formal məntiq

Vikipediya, açıq ensiklopediya
Keçid et: naviqasiya, axtar

Formal məntiqİnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını - (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur.