Ўзбекистон Республикаси Олий ва Ўрта Махсус таълим Вазирлиги Фарғ

Формал мантиқ - фикрлашнинг тузилиши ва унинг қонунлари ҳақидаги фандир. Формал мантиқ фикрлашнинг ривожланишини, унинг такомиллашиш жараёнини ўрганишни ўзидан соқит қилади. У фикрлашнинг мантиқий тузилишини, шаклини ўрганади. Инсоннинг фикрлаш шакли, тузилиши турли қонунларга асосланади ва уларни келтириб ҳам чиқаради. Мантиқий шаклларни символлар ёрдамида ифода этиш мумкин. Масалан, «Ҳамма зиёлилар ақлий меҳнат билан шуғулланадилар», «Ҳамма капалаклар ҳашаротдир» деган фикрларнинг мазмуни турлича бўлсада, уларнинг тузилиши, шакли бир хилдир. Шунинг учун уларни «Ҳамма S – Р дир» ёки «Ҳамма а – в дир», деб ифодалаш мумкин.Формал мантиқ ва классик мантиқ тушунчалари синоним тушунчалар бўлиб,унда мулохазалар икки қийматли, яъни чин ёки хато бўлади.
Классик мантиқдан фарқ қилувчи ҳозирги замон мантиғи турли йўналишлардан иборат бўлиб, улар биргаликда ноклассик мантиқ деб номланади.
Кўп маъноли мантиқ ҳозирги замон ноклассик мантиғининг бир тармоғи бўлиб, фикрлашни «чин», «хато», «қисман чин», «қисман хато», каби тушунчалар орқали ифодалайди. Агар умумий формал мантиқда мулоҳазалар икки қийматли (чин ёки хато) бўлса, кўп маъноли мантиқда мулоҳазалар уч ва ундан ортиқ қийматлидир. Шунинг учун бу мантиқ «кўп маъноли мантиқ» деб юритилади. Бу мантиқда энг оддий система уч маънолидир. Масалан, Сиз “инсон ҳуқуқлари декларацияси”ни биласизми? -деган саволга “ҳа”, “йўқ”, “озгина биламан ” каби жавобларни олиш мумкин.
Индуктив мантиқ (лот. Intuitio – дикқат билан эътибор бериш, диққат билан кузатиш) – Ҳозирги замон ноклассик мантиғи тармоғи бўлиб, математик интуиция принципларидан келиб чиқади. Бу принциплар XX аср олимлари Л. Э. Брауэр ва А. Гейтинглар томонидан ишлаб чиқилган. Маълумки, немис олими Кантор ишлаб чикқан тўплам назарияси бир неча ҳал қилиб бўлмайдиган парадоксларга учрагандан сўнг, бу кризисдан қутилиш учун логицизм, формализм, конструктивизм, интуиционизм каби оқимлар пайдо бўлади. Булар бундай зиддиятни формал мантиқ асосида ҳал қилишга ҳаракат қилдилар.
Классик мантиққа асосланган математикада ХА (х) ифода қуйидагича ўқилади: «Ҳамма Х А хоссасига эга». Классик мантикқа кўра, агар бу ифодалар арифметика акциомаларига мос келса, тўғри (чин) деб қабул қилинади. Математика учта мусбат сонларнинг бир бутуни h дан тузилган, уни
А (h)нинг ташкил топиш усули қизиқтирмайди. Интуитив мантиқда бу соннинг тузилиш усули маълум бўлгандагина АхА (Х) ифодаси чин (тўғри) ҳисобланади. А нинг тўғрилигидан (чинлигидан) В нинг тўғрилигини бевосита келтириб чиқариш методи ишлаб чиқилгандагина, импликация (а  в) чин (тўғри) ҳисобланади.