Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

 
Formal mantiqning predmeti va vazifalari 
Formal mantiqning predmeti
. 
Keng ma‘noda 
tafakkur shakillarini va qonunlarini o‗rganadigan fan
, deb atash mumkin. Hozirgi 
paytda uning formal mantiq va matematika mantiq kabi yo‗nalishlari farq qilinadi. Formal mantiq tafakkurning 
strukturasini fikirning konkret mazmuni va taraqqiyotidan chetlangan holda, nisbatan mustaqil ravishda olib 
o‗rganadi. Uning diqqat markazida muhokamani to‗g‗ri qurish bilan bog‗liq qoidalar va mantiqiy amalar 
yotadi. 
Formal mantiq to‗g‗ri taffakkur shakllari va qonunlarini o‗rganuvchi falsafiy fan, deb ta‘rif berish 
mumkin. 
Dialektik mantiq, formal mantiqdan farqli o‗laroq, tafakkurni uning mazmuni va shakli birligida hamda 
taraqqiyotida olib o‗rganadi. Matematik mantiq esa tafakkurning metodlari yordamida tadqiq etadi. U hozirgi 
zamon matematikasining muhim yo‗nalishlaridan biri bo‗lib, tafakkurning hisoblash deb ataladigan darajada 
abstraktlashgan va formallashgan sistemada tahlil qiladi. 
Biz o‗rganayotgan fan formal mantiq bo‗lib, u hozirgi paytda o‗zining maxsus formalashgan tiliga, to‗g‗ri 
muhokama yuritish uchun zarur bo‗lgan samarali manitiqiy metodlari va usullariga, konseptual vositalariga ega.
U tafakkurni o‗rganuvchi boshqa fanlar, xususan, falsafa, psixologiya, fiziologiya bilan hamkorlik qiladi hamda 
ilmiy bilimlar sistemasida o‗zining munosib o‗rniga ega. Ayniqsa, uning bilish metodi sifatidagi ahamiyati 
katta.