Њзбекистон республикаси олий ва њрта махсус таълим вазирлиги

Консруктив мантиқ – ҳозирги замондаги математик мантиқнинг асосий
оқимларидан бири. Бу мантиқ конструктив математикага асосланиб, интуитив
мантиқ қоидаларини танқидий ўрганиш асосида пайдо бўлган. Мантиқдаги бу
оқим ҳам Кантор тўплам назариясидаги парадоксни ҳал қилишга уриниш асосида
пайдо бўлди.Конструктив мантиқ реал воқеликда мавжуд бўлмаган ҳам, лекин
фикрда қуриш мумкин бўлган объектларни мантиқий тахлил қилади. Хусусан,
Сократ маёвтика усулини, Демокрит “Канон”да (канон – мезон, қоида) тайёр
билимларнинг чин ёки хатолигини аниқлайдиган усулларни ишлаб чиққан, Арасту
“Органон”ида (органон – билим қуроли) фикрни мантиқан тўғри қўриш ва
билимларни ҳосил қилиш воситаларини тадқиқ этади. Кейинчалик мантиқ
канонми ёки органонми ? деган савол мантиқда кенг муҳокама килинган.
Логицизм – бу оқим ҳам Кантор тўплам назариясидаги парадоксларни ҳал
қилишга интилиш асосида вужудга келган. Логицизм ҳам ноклассик мантиқнинг
тармоғи бўлиб, мантиқ илмини математикадан устун қўйишга интилган оқимдир.
Бу тармоқ вакиллари математика ва мантиқ икки хил фан эмас, балки битта ягона
фандир, деб таъкидлайдилар. Математикани мантиқ доирасига тўлалигича

---

13
киритиш мумкин, бунинг учун хеч қандай қўшимча тушунчалар талаб
қилинмайди деб кўрсатадилар. Бу фикр математик ҳақиқатни аниқлашда жуда
катта аҳамиятга эга эди. Математика ривожи учун бошқа фанларга нисбатан
мантиқ жуда катта аҳамият касб этади. Ундаги теоремалар, аксиомалар кучли
мантиқий асосга эга. Математика қадимдан мантиқан изчил фан деб ҳисобланган.
Бироқ математикани мантиқ илми билангина изоҳлаш мумкин эмаслигини
кўпчилик математик ва мантиқшунослар тан олишади.
Логицизмни XVIII аср немис файласуфи Лейбниц бошлаб берган бўлиб, уни
XX аср инглиз файласуфи Б. Рассел нихоясига етказди. Г. Фреге, Д. А. Бочвар, А.
Чёрч каби математик ва мантиқшунослар Б. Рассел карашини кескин танқид
қилдилар ва ноклассик мантиқни бошқа йўналишларда ривожлантирдилар.