Formal məntiq

Vikipediya, azad ensiklopediya
Ripchip Bot (müzakirə | töhfələr) (r2.7.1) (Bot redaktəsi əlavə edilir: et:Formaalloogika) tərəfindən edilmiş 22:07, 29 yanvar 2012 tarixli redaktə
Naviqasiyaya keç Axtarışa keç

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.

 (ərəb.)