Режа: Тафаккур мантиқ илмининг ўрганиш объекти сифатида. Мантиқ фани ривожланишининг асосий босқичлари. Мантиқ илми ва тил. Формал мантиқнинг асосий қонунлари. Адабиётлар

Формаллашган назариялар мантиқда кенг қўлланилади. Бунга мисол қилиб мулоҳазалар мантиғи, предикатлар мантиғини кўрсатиш мумкин. Шунингдек, у математикада ҳам учрайди.
Назариянинг юқорида биз кўриб чиққан типлари ва бошқалари назарий билишнинг муҳим воситалари сифатида фанда ниҳоятда қадрланади. Улар тафаккурнинг структураси ва қонуниятларини яхши билиб олишга имкон беради.

1^[1] Формал мантиқ баъзан умумий мантиқ деб ҳам юритилади. Классик ва ноклассик мантиқлар унинг тараққиётининг асосий йўналишлари ҳисобланади. Символик мантиқ деган ибора ҳам мавжуд бўлиб, у формал мантиқнинг хозирги босқичини ифода этиш учун ишлатилади.

2^[2] Аль-Фараби. Естественно-научнўе трактатў. Алма-Ата, 1987, 435-бет.

3^[3] «Формал мантиқ» термини фалсафага Гегель томонидан киритилган.

4^[4] Бу ерда кўрсатилмаган символлар ишлатилганда, уларнинг қиймати тушунтирилади.

5^[5] И.А. Каримов. Миллий истиқлол мафкураси – халқ эътиқоди ва буюк келажакка ишончдир: «FIDOKOR» газетаси мухбири саволларига жавоблар. - Т.: Ўзбекистон 2000. 30 - б.

6^[6] И. Каримов. Тарихий хотирасиз келажак йўқ.//Мулоқот 1998, №5. 15-б.

7^[7] Тушунчалар ўртасидаги муносабатлар доиравий схемалар ёрдамида кўрсатилади.

8^[8] k ҳарфининг мавжудлиги шу харфдан аввал келувчи унли харф орқали ифодаланган асос хулосага зид бўлган ҳукм билан алмаштирилишини кўрсатади.

9^[9] Каримов И.А. Тарихий хотирасиз келажак йўқ // Мулоқот. 1998, №5, 8-б.

10^[10] И.А. Каримов Миллий истиқлол мафкураси – халқ эътиқоди ва буюк келажакка ишончдир: «FIDOKOR» газетаси мухбири саволларига жавоблар. - Т.: Ўзбекистон 2000. 21 - б.

11^[11] +аранг, ўша ерда.

12^[12] Ўша ерда: 21 - б.