Инсонни ер юзидаги бошка тирик мавжудотлардан ажратиб турувчи асосий хусусият — бу унинг фикрлаш кобилиятига эга эканлигидир. Инсон кандай фикрлайди, бу даврда унинг миясида кандай жараёнлар кечади ва бу жараёнларни кандай моделлаштириш мумкин? Инсоннинг аклий кобилиятига ухшаш сунъий система яратиш мумкинми?
Инсонни ер юзидаги бошка тирик мавжудотлардан ажратиб турувчи асосий хусусият — бу унинг фикрлаш кобилиятига эга эканлигидир. Инсон кандай фикрлайди, бу даврда унинг миясида кандай жараёнлар кечади ва бу жараёнларни кандай моделлаштириш мумкин? Инсоннинг аклий кобилиятига ухшаш сунъий система яратиш мумкинми?
Бу жумбокни ечишга биринчи булиб милоддан аввалги V асрда яшаган кадимги юнон мутафаккирлари кул уришди. Уша кадим-ги замонда Юнонистонда кизикувчан одамлар оммасини узига туплаган оммавий тортишувлар кенг туе олган эди. Тортишувлар учун куп холларда эркин, умумий тарздаги мавзулар танлаб олинарди.
Бу жумбокни ечишга биринчи булиб милоддан аввалги V асрда яшаган кадимги юнон мутафаккирлари кул уришди. Уша кадим-ги замонда Юнонистонда кизикувчан одамлар оммасини узига туплаган оммавий тортишувлар кенг туе олган эди. Тортишувлар учун куп холларда эркин, умумий тарздаги мавзулар танлаб олинарди.
Тортишувларда тортишувларнинг шундай шаклини уйлаб топишга харакат килинар эдики, бу тортишувлар уларни турри ишлатганда дастлабки тутган урнининг хакикийлиги бузилмасди. Бу ердаги хакикат бирон бир мутлок холда тушунилар эди. Купинча олдиндан маълум бир софистик мулохазалар атайлаб бузилган мантик конунияти аососида ёлрон далиллар ишлатилганда, ёл-рон ахволнинг хакикийлигига тингловчиларни ишонтира олиш куриб чикилган. Софистик мулохазалар яширин хатоларга эгаки, улар мантик мулохазаларининг асосий конуниятларини бузади. Лекин мантикнинг узи, ечилма-гунча ва умумлашгунга кадар, уларни ойдинлаштириш мумкин эмас эди.
Тортишувларда тортишувларнинг шундай шаклини уйлаб топишга харакат килинар эдики, бу тортишувлар уларни турри ишлатганда дастлабки тутган урнининг хакикийлиги бузилмасди. Бу ердаги хакикат бирон бир мутлок холда тушунилар эди. Купинча олдиндан маълум бир софистик мулохазалар атайлаб бузилган мантик конунияти аососида ёлрон далиллар ишлатилганда, ёл-рон ахволнинг хакикийлигига тингловчиларни ишонтира олиш куриб чикилган. Софистик мулохазалар яширин хатоларга эгаки, улар мантик мулохазаларининг асосий конуниятларини бузади. Лекин мантикнинг узи, ечилма-гунча ва умумлашгунга кадар, уларни ойдинлаштириш мумкин эмас эди.
Шу тортишувлар шарофати билан янги фанга — силлогизм фанига пойдевор ясалди. Силлогистика юнонча «sillogistikos» сузидан келиб чиккан булиб, муайян «бир фикрга келиш» демакдир. Силлогизм юнонча «syllo-gismos», яъни субъект (эга) ва предикат (кесим)ни умумий (урта) термин оркали бирлаштириш демакдир. Силлогизмнинг охирида тушунчаларни туташтириш таъ-минланади. Масалан «Хамма металлар узидан электр токини утказади. Мис — металл, демак мис — электр утказувчан
Шу тортишувлар шарофати билан янги фанга — силлогизм фанига пойдевор ясалди. Силлогистика юнонча «sillogistikos» сузидан келиб чиккан булиб, муайян «бир фикрга келиш» демакдир. Силлогизм юнонча «syllo-gismos», яъни субъект (эга) ва предикат (кесим)ни умумий (урта) термин оркали бирлаштириш демакдир. Силлогизмнинг охирида тушунчаларни туташтириш таъ-минланади. Масалан «Хамма металлар узидан электр токини утказади. Мис — металл, демак мис — электр утказувчан
Математик мантик
Юкорида айтилган мулохаза юритиш мантики ва математик мантик хакидаги фикрларни умумлаштириб, ман-тикий конструкция тушунчасини оддий тилда фикр юритиш ёки хулоса чикариш деб айтиш мумкин булади. Мантик фани шунга ухшаш конструкцияларни куришни ва уни куриш жараёнида яккол, яширин зиддиятларни йуко-тишни ургатади. Мантик, шунингдек мураккаб хуло-саларнинг таркибий кисмлари «рост» ёки «ёлгон» лигидан, уларнинг хам «рост» ёки «ёлрон»лигини келтириб чикариш учун имкон беради.
Юкорида айтилган мулохаза юритиш мантики ва математик мантик хакидаги фикрларни умумлаштириб, ман-тикий конструкция тушунчасини оддий тилда фикр юритиш ёки хулоса чикариш деб айтиш мумкин булади. Мантик фани шунга ухшаш конструкцияларни куришни ва уни куриш жараёнида яккол, яширин зиддиятларни йуко-тишни ургатади. Мантик, шунингдек мураккаб хуло-саларнинг таркибий кисмлари «рост» ёки «ёлгон» лигидан, уларнинг хам «рост» ёки «ёлрон»лигини келтириб чикариш учун имкон беради.
Инсонда содир буладиган ички жараёнларни (хусусан фикрлаш билан борлик булган жараёнларни) идрок килиш (имитация) усулларини излаш ва ривожлантириш боскичларини кузата туриб шундай хулосага келиш мумкинки, моделлаштиришга факат турри (хакикий) характерга эга булган мулохазаларгина буйсунади ва айрим формал системалар доирасида амалга оширилади. Бу йуналишда бирмунча ютукларга хам эришилган.
Инсонда содир буладиган ички жараёнларни (хусусан фикрлаш билан борлик булган жараёнларни) идрок килиш (имитация) усулларини излаш ва ривожлантириш боскичларини кузата туриб шундай хулосага келиш мумкинки, моделлаштиришга факат турри (хакикий) характерга эга булган мулохазаларгина буйсунади ва айрим формал системалар доирасида амалга оширилади. Бу йуналишда бирмунча ютукларга хам эришилган.
