Nkan yii jẹ iyasọtọ si itupalẹ afiwera ti awọn nkan ọgbọn lati iṣẹ ti ara ilu Jamani Georg Wilhelm Friedrich Hegel “Science of Logic” pẹlu awọn analogues wọn tabi isansa wọn ni siseto.

Awọn ile-iṣẹ lati Imọ ti Logic wa ni awọn italics lati yago fun idamu pẹlu awọn itumọ gbogbogbo ti awọn ọrọ wọnyi.

Ẹ̀dá mímọ́

Ti o ba ṣii asọye eda funfun ninu iwe naa, iwọ yoo rii laini ti o nifẹ “laisi itumọ siwaju.” Ṣugbọn fun awọn ti ko ti ka tabi ti ko loye, maṣe yara lati fi ẹsun kan onkọwe ti iyawere. Ẹ̀dá mímọ́ - Eyi jẹ imọran ipilẹ ni ọgbọn Hegel, ti o tumọ si pe ohun kan wa, jọwọ maṣe daamu rẹ pẹlu aye ti ohun kan, ohun naa le ma wa ni otitọ, ṣugbọn ti a ba ṣe alaye ni ọna kan ninu ọgbọn wa, o wa. Ti o ba ronu nipa rẹ, awọn nkan bii eda funfun ko ṣee ṣe lati fun ni itumọ kan, ati pe eyikeyi iru igbiyanju bẹẹ yoo wa si otitọ pe iwọ yoo kan tọka si awọn itumọ ọrọ-ọrọ tabi awọn antonyms rẹ. Ẹ̀dá mímọ́ iru ohun áljẹbrà Erongba ti o le wa ni loo si Egba ohunkohun, pẹlu ara. Ni diẹ ninu awọn ede ti o da lori ohun, o ṣee ṣe lati ṣe aṣoju ohunkohun bi ohun kan, pẹlu awọn iṣẹ ṣiṣe lori awọn nkan, eyiti o fun wa ni ipele ti abstraction ni ipilẹ. Sibẹsibẹ, ni siseto afọwọṣe taara eda funfun Rara. Lati ṣayẹwo fun wiwa ohun kan, a nilo lati ṣayẹwo fun isansa rẹ.

if(obj != null);

O jẹ ajeji pe iru suga syntactic ko si sibẹsibẹ, fun pe ayẹwo yii jẹ olokiki pupọ.

Ko si nkankan

Bawo ni o ṣe le gboju ohunkohun ni isansa ti ohunkohun. Ati pe afọwọṣe rẹ le pe ni NULL. O tọ lati ṣe akiyesi pe ni imọ-jinlẹ ti ọgbọn ohunkohun jẹ ẹya eda funfun, nitori pe o tun wa. Eyi jẹ diẹ ninu apeja; a ko le wọle si NULL bi ohun kan ni eyikeyi ede, botilẹjẹpe ni pataki o jẹ ọkan paapaa.

Ibiyi ati asiko

di ni a orilede lati ohunkohun в jije ati lati jije в ohunkohun. Iyẹn fun wa ni meji asiko, akọkọ ti a npe ni farahan, ati keji ti nkọja lọ. Oju-ọna a n pe ni be dipo ipadanu, nitori pe ero-ọrọ ọgbọn ni pataki ko le parẹ ayafi ti a ba ti gbagbe rẹ. Yiyọ kuro bi iru a le pe ilana iyansilẹ. Ti nkan wa ba jẹ ipilẹṣẹ, lẹhinna akoko ti iṣẹlẹ, ati ni irú ti a sọtọ iye miiran tabi NULL akoko ti gbako.leyin.

obj = new object(); //возникновение
obj = null; //прехождение

Aye wa

Ni soki aye jẹ ohun ti ko ni kan ko itumo, sugbon ni o ni dajudaju. Kini o je. Awọn canonical apẹẹrẹ jẹ ẹya arinrin alaga. Ti o ba gbiyanju lati fun ni ni itumọ ti o daju, iwọ yoo pade ọpọlọpọ awọn iṣoro. Fun apẹẹrẹ, o sọ pe: “Eyi jẹ ohun-ọṣọ kan ti a ṣe apẹrẹ fun ijoko,” ṣugbọn alaga tun ṣẹda fun eyi, ati bẹbẹ lọ. Ṣugbọn aisi itumọ ti o han gbangba ko ṣe idiwọ fun wa lati ṣe afihan rẹ ni aaye ati lilo rẹ nigba gbigbe alaye nipa rẹ, eyi jẹ nitori pe ori wa wa. dajudaju alaga. Boya diẹ ninu awọn ti gboju tẹlẹ pe awọn nẹtiwọọki nkankikan ni a ṣẹda lati ya sọtọ iru awọn nkan bẹ lati ṣiṣan data. Nẹtiwọọki nkankikan le jẹ itọkasi bi iṣẹ kan ti o ṣalaye eyi dajudaju, ṣugbọn ko si iru awọn nkan ti yoo pẹlu awọn itumọ ti o han gbangba ati iruju, nitorina iru awọn nkan bẹẹ ko le ṣee lo ni ipele kanna ti abstraction.

Ofin iyipada ti awọn iyipada pipo si awọn ti o ni agbara

Ofin yii jẹ agbekalẹ nipasẹ Friedrich Engels nitori abajade itumọ ti imọran Hegel. Sibẹsibẹ, a le rii ni kedere ni iwọn akọkọ ninu ori lori méré. Kokoro rẹ ni iyẹn pipo awọn iyipada si ohun kan le ni ipa lori rẹ awọn didara. Fun apẹẹrẹ, a ni nkan yinyin kan; pẹlu ikojọpọ iwọn otutu, yoo yipada si omi olomi yoo yipada didara. Lati ṣe iṣe ihuwasi yii ni ohun kan, ilana apẹrẹ Ipinle kan wa. Ifarahan ti iru ojutu kan ṣẹlẹ nipasẹ isansa ni siseto iru nkan bii ipilẹ fun farahan nkan. Ipilẹ pinnu awọn ipo labẹ eyiti ohun kan le han, ati ninu algorithm awa tikararẹ pinnu ni aaye wo ni a nilo lati bẹrẹ nkan naa.

PS: Ti alaye yii ba jẹ iyanilenu, Emi yoo ṣe atunyẹwo awọn nkan miiran lati Imọ ti Logic.

orisun: www.habr.com