Simple categorical syllogism, ati awọn apeere ti awọn oniwe lilo ni ofin iwa

Awọn kannaa, bi o mọ, ni ṣe soke ti a fọwọsi, ati awọn ipinnu. Ọkan ninu awọn oniwe ipilẹ ile awọn bulọọki - awọn categorical syllogism - yi ipari, ni ipo nipasẹ ayọkuro, ti o ni, awọn ipari ti awọn pataki awọn ipo ti diẹ ninu awọn apapọ. O derives lati meji akọkọ awọn ariyanjiyan tabi parcels interconnected jeneriki oro. Niwon iru ariyanjiyan ni o wa nikan meji, awọn syllogism ni a npe ni rọrun, sugbon nitori si ni otitọ wipe awọn parcels ti wa ni a fọwọsi (tabi sẹ) dipo categorically, yi o rọrun gbólóhùn ti a npe ni categorical. Eyi ni kan ti o rọrun apẹẹrẹ ti iru ohun mu ero jade. Ni igba akọkọ ti ariyanjiyan: 'Gbogbo eniyan ni o wa mortal. " Awọn keji ariyanjiyan: "Ivan - eniyan." Ipari, o ni idajọ, nitorina, ni: "Ivan - mortal" Bi a ti ri, daradara tabi nṣi gbogbo parcels ti ko ba ka nibi. A ya fun funni ti o daju wipe eda eniyan aye wa ni lailai pari, ati Ivan wa si awọn eniyan ije.

Ohun apẹẹrẹ ti yi unpretentious ipinnu, a le ri wipe kan ti o rọrun categorical syllogism ni o ni awọn oniwe-ara be. Ni eyikeyi mu ero jade predicate (ọrọ pẹlu awọn aisọye iye, ninu wa nla - mortal eeyan) jẹ nigbagbogbo anfani ju awọn koko (Ivan). Nitorina, awọn parcels ni awọn predicate ni a npe ni kan ti o tobi, ṣugbọn awọn ọkan ti o ba pẹlu awọn koko - kekere. Sopọ wọnyi ariyanjiyan igba intermediary M (alabọde) - ninu apere yi, eniyan, eniyan. Nitorina, ninu awọn ti ofin asa igbekale ti mogbonwa ero lati bẹrẹ pẹlu wiwa kan ibi ni o ati awọn predicate ti awọn koko-, bi daradara bi awọn niwaju kan ti a ti Onilaja kan pẹlu larin wọn.

Ni yi onínọmbà, o yẹ ki o wa woye wipe a simple categorical syllogism gbọdọ ni ohun axiom ti o ti wa ni ko so, ṣugbọn nibẹ ni: ohun gbogbo ti o ti wa ni a fọwọsi tabi sẹ ti gbogbo irú ti ohun waye si kọọkan ohun kan ti yi iru. Nitorina, iru kan si imọran ni yio je ti ko tọ si: 1. Awọn ọkunrin di baba wọn. 2. Peter - eniyan. 3. Peter - baba. Ni yi apẹẹrẹ, awọn axiom ti awọn syllogism ti ko ba bọwọ nitori paternity ti ko ba tesiwaju lati gbogbo enia. Nitorina, nigbati ko inferences nilo lati fojusi muna si awọn ofin. Nibẹ ni o wa nikan meje: mẹta ti wọn relate si awọn ofin, ati mẹrin - parcels.

Jọba ọkan: a simple categorical syllogism ni nikan meta awọn ofin. Gbogbo kẹrin oro - lẹẹkan. Awọn ti idanimọ ti awọn orisirisi awọn agbekale je aṣiṣe. Fun apẹẹrẹ: 1.Sidorov dá ole. 2. Sidorov - nọun. 3. Awọn nọun ti dá a ole. Nibi Sidorov ati nouns ni orisirisi awọn itumo. Ofin meji: Oro ti aṣoju gbọdọ wa ni bayi ni awọn agbegbe ile. Ti o ba ti awọn ọna asopọ laarin awọn predicate ati awọn koko ko le wa ni fi sori ẹrọ tabi ti o jẹ unproven, ati awọn syllogism si maa precarious: 1. Diẹ ninu awọn eniyan - apani. 2. Ivan le ti wa ni a npe ni ọkunrin kan. 3. Ivan - apani. Ati nipari, kẹta ofin. Ti o ko ba lo ni oro ninu awọn predicate ariyanjiyan, sugbon o jẹ bayi ni ipari, o yoo jẹ ti ko tọ si syllogism. Apeere ti iru ohun aṣiṣe le ti wa ni kosile bi wọnyi: 1. Ni awọn Moscow ekun iku nla. 2. St. Petersburg wa ni be ni Moscow ekun. 3. Ni St. Petersburg, ko kan iku nla.

Ni afikun si awọn ofin ti awọn ofin yẹ ki o si tẹle awọn ofin ti awọn agbegbe ile. Ni o kere ọkan ninu wọn gbọdọ gbe kan gbólóhùn, nitori ohunkohun lati fi idi o, a gbọdọ lati nkankan repelled. Ti o ba ti ọkan ninu awọn ariyanjiyan fi siwaju - kiko, ki o si awọn ipari gbọdọ jẹ odi. Tun si o rọrun categorical syllogism ti wa ni gba ti tọ, ni o kere ọkan ninu awọn ariyanjiyan fi siwaju ni lati wa kan ti a ti gbogbo iseda ti awọn categorical idajọ. Ati awọn ti o kẹhin ofin agbegbe ile: ti o ba ti ni o kere ọkan ninu wọn - ikọkọ, ki o si awọn ipari gbọdọ jẹ ikọkọ. Fun apẹẹrẹ: 1. Awọn ẹṣẹ li ao jiya (lapapọ idajọ). 2. Ivanov hù kan ilufin (pato nla). 3. Ivanov yẹ ki o wa jiya.