Awọn ipilẹ ofin ti kannaa

Ni awọn kannaa ti awọn oniwe-ara ofin. Awọn ifilelẹ ti awọn ti wọn - mẹrin. Mẹta ti wọn ni won akoso nipa Aristotle. Awọn ofin ti Aristotelian kannaa - o jẹ awọn ofin ti ti kii-ilodi, rara arin, idanimo. Elo nigbamii, ofin miran ti a fi kun si awọn ipilẹ ofin - ofin to idi.

Awọn ofin ti propositional kannaa ti wa ni taara jẹmọ si Egba gbogbo awọn ariyanjiyan. Awọn mogbonwa fọọmu, ati ero isẹ ṣe pataki data ti ko ba ošišẹ ti patapata.

Nibẹ ni o wa afikun awọn ofin ti kannaa. Awọn wọnyi ni:

• ė odi;
• contraposition.

Lori awon ofin ti wa ni tun ti won ko orisirisi iru iṣaro. Wọn ti pese ọna asopọ kan ero.

Awọn ofin ti kannaa

Ni igba akọkọ ti ofin ni ofin ti idanimo. Awọn isalẹ ila ni wipe eyikeyi ero lati awọn ilana ti ero gbọdọ jẹ bayi eyikeyi ko o, ti abẹnu akoonu. O tun pataki wipe yi akoonu ti a ko ti dà ninu awọn ilana. Dajudaju ni a ori, ti wa ni a lọdọ awọn ohun ini ti ero. Lori awọn oniwe-igba, ati ki o han awọn idanimo ti awọn ofin: gbogbo ero yẹ ki o wa šee igbọkanle aami to ara wọn. Orisirisi ero ko le wa ni damo labẹ eyikeyi ayidayida. Igba ti ofin ti wa ni ru nipa awọn daju wipe awọn kanna agutan han ni awọn ọna oriṣiriṣi. Bakannaa, isoro dide ni igba ibi ti awọn ọrọ ti wa ni lilo nini orisirisi gan dissimilar síi. Ni yi ero a le damo ko tọ.

Awọn ti idanimọ ibamu ero igba waye nigbati awọn ọrọ wa awon eniyan ti o yatọ si ise-oojo, o yatọ lati kọọkan miiran ipele ti eko ati bẹ lori. Awọn ti idanimọ ti awọn orisirisi awọn agbekale - ni kan pataki mogbonwa Iro, eyi ti o ni awọn igba miiran eniyan ṣe moomo.

Awọn ofin ti kannaa ni awọn ofin ti kii-ilodi. Jẹ ká bẹrẹ pẹlu o daju wipe mogbonwa ero - lerongba ti o dédé. Eyikeyi agutan ni a ilodi, le significantly dena eko ilana. Lodo-mogbonwa onínọmbà da lori awọn nilo ti kii-ilodi ti ero: ti o ba nibẹ ni o wa meji lodi agbekale, ki o si ni o kere ọkan ninu wọn gbọdọ jẹ eke. Ni akoko kanna ti o jẹ otitọ, ti won ko le, labẹ eyikeyi ayidayida. Ofin yi le nikan sise lori meji patapata lodi idajọ.

Awọn ofin ti awọn rara arin wa ni tun to wa ninu awọn ipilẹ ofin ti kannaa. O kan si awọn idajọ ti wa ni ni eyiti o forigbari. Awọn isalẹ ila ni wipe meji lodi propositions wa ni ko mejeji eke - ọkan jẹ dandan otitọ. Akiyesi pe lodi si awọn idajọ tọka si iru oro, ọkan ninu awọn ti o jẹ wipe a sẹ lori koko tabi awọn lasan ti wa aye, ati awọn keji ni akoko kanna ntẹnumọ kanna, nipa kanna lasan tabi ohun. Ni awọn igba miiran, o le jẹ ko oyimbo awọn lasan tabi ohun, sugbon nikan ti kan pato ara ti kan pato. Ti a ba le fi mule otitọ ti ọkan ninu awọn ori gbarawọn idajọ ti o safihan awọn falsity ti awọn miiran laifọwọyi.

Ti o to pari awọn ofin ti kannaa, ofin to idi. O expresses awọn wáà ti o ti wa gbe lori awọn Wiwulo ti ero. Awọn isalẹ ila ni wipe eyikeyi agutan ti nini to idi le ti wa ni kà ṣẹ. Ni gbolohun miran, ti o ba ni a ero, nibẹ gbọdọ jẹ a idalare. Ni ọpọlọpọ igba, awọn mimọ jẹ kan eniyan iriri. Ni awọn igba miiran, fi otitọ le nikan je nipasẹ awọn ipese ti awọn mon, kó afikun alaye, ati ki o bẹ lori. Lati jẹrisi eyikeyi pato igba lati jẹrisi otitọ ko ni dandan waye si eyikeyi iriri - nibẹ ni a ti ṣeto ti axiom ni aye, ie awọn ti o daju ni eyikeyi aini ko si ẹri.