Formal məntiq

Vikipediya saytından
VolkovBot (müzakirə | töhfələr) (Bot redaktəsi əlavə edilir: de:Formale Logik, ja:形式論理学, tr:Formel mantık) tərəfindən edilmiş 15:26, 4 iyul 2009 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.)