Хулоса чиқариш Режа

Оддий қатъий силлогизм.

Маълумки, дедуктив хулоса чиқариш аслида силлогизм шаклида бўлади. Силлогизм қўшиб хисоблаш, деган маънони англатади. Бу терминдан мантиқда, одатда, дедуктив хулоса чиқаришнинг кўпроқ ишлатиладиган тури хисобланган оддий қатъий силлогизмни ифода қилиш учун фойдаланилади. Силлогизм хулоса чиқаришнинг шундай шаклики, унда ўзаро мантиқий боғланган икки қатъий мулохазадан учинчи-янги қатъий мулохаза зарурий тарзда келиб чиқади. Бунда дастлабки мулохазалардан бири албатта ё умумий тасдиқ ёки умумий инкор мулохаза бўлади. хосил қилинган янги мулохаза дастлабки мулохазалардан умумийроқ бўлмайди. Шунга кўра силлогизмни умумийликка асосланган хулоса чиқариш, деб атаса бўлади. Масалан, қуйидаги мулохазалар берилган бўлсин:

хеч бир хасис сахий эмас.
Баъзи бойлар хасисдир.
Бу мулохазалардан зарурий равишда - «Баъзи бойлар сахий эмас», деган учинчи мулохаза келиб чиқади. Силлогизмнинг таркиби оддий қатъий мулохазалардан ташкил топгани учун у оддий қатъий силлогизм дейилади.
Силлогизмнинг таркиби хулоса асослари (praemissae) ва хулоса (conсlusio) дан ташкил топган. Хулоса асослари ва хулосадаги тушунчалар терминлар деб аталади. Хулосанинг мантиқий эгаси – S - кичик термин (terminus minor), мантиқий кесими – Р - катта термин (terminus major) деб аталади. Хулоса асослари учун умумий бўлган, лекин хулосада учрамайдиган тушунча – М - (terminus medius) ўрта термин деб аталади. Асосларда катта терминни ўз ичига олган мулохаза катта асос, кичик терминни ўз ичига олган мулохаза кичик асос деб аталади.
Терминларнинг катта ёки кичик деб аталиши улар ифодалаган тушунчаларнинг хажмига боғлиқ. Терминлар ўртасидаги муносабатни доиралар ёрдамида қуйидагича ифодалаш мумкин.
S - кичик термин.
М - ўрта термин.
Р - катта термин.

ўрта термин катта ва кичик терминни мантиқий боғловчи элемент хисобланади.

Силлогизм аксиомаси.

Аксиомалар исботсиз чин деб қабул қилинган назарий мулохазалар бўлиб, улар воситасида бошқа фикр ва мулохазалар асослаб берилади. Силлогизмнинг аксиомаси хулосалашнинг мантиқий асосланганлигини ифодалайди. Силлогизм аксиомасини терминларнинг хажмига ёки мазмунига кўра, яъни атрибутив таърифлаш мумкин.

Силлогизм хулосасининг асослардан зарурий келтириб чиқарилиши қуйидаги қоидага асосланади: «агар бир буюм иккинчи буюмда жойлашган бўлса, иккинчи буюм эса учинчи бир буюмнинг ичида бўлса, унда биринчи буюм хам учинчи буюмнинг ичида жойлашган бўлади» ёки «бир буюм иккинчи буюмда жойлашган бўлса, иккинчи буюм эса учинчи бир буюмдан ташқарида бўлса, унда биринчи буюм хам учинчи буюмдан ташқарида жойлашган бўлади». Бу қоидани қуйидаги схемалар ёрдамида яққол ифодалаш мумкин.


Бу қоида силлогизм аксиомасининг мохиятини терминларнинг хажми муносабатлари асосида тушунтириб беради. Силлогизм аксиоманинг мохияти қуйидагича: буюм ва ходисаларнинг синфи тўғрисида тасдиқлаб ёки инкор этиб баён қилинган фикр шу синф ичига кирувчи барча буюм ва ходисаларнинг хар бири ёки айрим қисмига хам тааллуқли бўлган тасдиқ ёки инкор фикр хисобланади.
Масалан:
Тафаккур шакллари объектив характерга эга.
Тушунча тафаккур шаклидир.
Тушунча объектив характерга эга.
Силлогизм аксиомасини атрибутив ифодалаганда предмет билан унинг белгиси ўртасидаги муносабатга асосланилади: бирор буюм, ходиса белгисининг белгиси, шу буюм ходисанинг белгисидир; буюм, ходиса белгисига зид бўлган нарсалар буюм, ходисанинг ўзига хам зиддир.
Силлогизм аксиомаларида фикр шакли ва мазмуни ўзаро узлуксиз, объектив боғланган бир бутуннинг айрим томонларини ифодалайди. Бу бир томондан, хамма умумийликка хусусийлик, жузъийлик ва яккалик хос эканлигини ва хар бир яккалик, жузъийлик, хусусийлик умумийлик хислатига эга бўлишини ифодаласа, иккинчи томондан, буюм ва белгининг ўзаро узвий боғланганлигини, яъни буюмлар жинси айрим ўзига хос белгига эга бўлса, албатта, бу белги шу жинсдаги хамма буюмлар учун хам хос белги бўлишини ифодалайди. Булар эса ўз навбатида яккалик ва умумийлик ўртасидаги, миқдор ва сифат ўртасидаги диалектик алоқадорликнинг тафаккур жараёнида ўзига хос намоён бўлишидир.