Ez a cikk Georg Wilhelm Friedrich Hegel „A logika tudományai” című művéből származó logikai entitások összehasonlító elemzésével foglalkozik, analógjaik vagy azok hiányának vizsgálatával a programozásban.

A „A logika tudományai” entitásai dőlt betűvel kiemelve szerepelnek, hogy elkerüljük a zűrzavart e szavak általánosan elfogadott meghatározásaival.

Tiszta létezés

Ha kinyitja a definíciót tiszta létezés a könyvben, akkor egy érdekes sort láthat: „további meghatározás nélkül.” De azok számára, akik még nem olvasták vagy nem értették, ne siessenek vádolni a szerzőt demenciával. Tiszta létezés — ez egy alapfogalom Hegel logikájában, ami azt jelenti, hogy egy objektum létezik, kérlek, ne keverjétek össze az objektum létezésével, az objektum nem létezhet a valóságban, de ha valamilyen formában meghatároztuk logikánkban, akkor létezik. Ha elgondolkodik rajta, akkor valóban léteznek olyan dolgok, mint tiszta létezés ennek a meghatározása lehetetlen, és bármilyen ilyen kísérlet akár azon a pontra is redukálódik, hogy egyszerűen a szinonimáira vagy antonimáira fog hivatkozni. Tiszta létezés annyira absztrakt fogalom, hogy bármire alkalmazható, beleértve önmagát is. Néhány objektum-orientált nyelvben lehetőség van arra, hogy bármit objektumként ábrázoljunk, beleértve az objektumokkal végzett műveleteket is, ami egyfajta absztrakciós szintet ad nekünk. Azonban a programozásban nincs közvetlen analógja a tiszta létezésnek. Ahhoz, hogy ellenőrizzük egy objektum létezését, meg kell vizsgálnunk a hiányát.

if(obj != null);

Furcsa, hogy még nincs ilyen szintaktikai cukor, figyelembe véve, hogy ez a vizsgálat meglehetősen népszerű.

Semmi

Ahogy azt kitalálhattuk, semmi bárminek a hiányát jelenti. Analógjának tekinthető a NULL. Érdemes megjegyezni, hogy a tudományos logikában semmi egy a tiszta létezés, mert az is van. Itt rejlik egy kis bonyodalom, mert a NULL-ot nem tudjuk objektumként kezelni egyetlen nyelvben sem, bár lényegében az is az.

Formálódás és pillanatok

Formálódás — ez az átmenet a semmi be. létezésből és a a létezésbe. be. semmiEz két pillanatot ad nekünk, az elsőt nevezikkeletkezésnek, a második pedigmúlandóságnak. Múlandóságnak azért nevezték, mert a logikai entitás lényegében nem tűnhet el, csak ha elfelejtettük.. Kivonás mint olyan, a hozzárendelés eljárását nevezhetjük. Abban az esetben, ha egy objektumot inicializálunk, akkor ez történik. Levonás mint olyat, amit nevezzünk el. Ha inicializálunk egy objektumot, akkor történik a létrejött állapot, ha más értéket vagy NULL-t rendelnek hozzá a létezés pillanata.

obj = new object(); //létrejött állapot
obj = null; //létezés

Kézzelfogható létezés

Röviden kézzelfogható létezés — ez egy olyan objektum, amelynek nincs pontos meghatározása, de rendelkezik meghatározottsággal. Mit jelent ez? Egy klasszikus példa egy egyszerű szék. Ha megpróbálja pontosan meghatározni, akkor számos nehézségbe ütközik. Például azt mondja: „ez egy bútor, amely ülésre szolgál”, de a fotel is erre szolgál, stb. De a pontos meghatározás hiánya nem akadályoz meg minket abban, hogy kiemeljük a térben és információt közvetítsünk róla, mert a fejünkben van meghatározottsággal a székek. Lehet, hogy néhányan már rájöttek, hogy az ilyen objektumok kiemelésére a neurális hálózatok jöttek létre. A neurális hálózat funkcióként jelölhető meg, amely meghatározza ezt meghatározottsággal, de olyan objektumok, amelyek tartalmaznák a pontos és homályos meghatározásokat, nem léteznek, ezért ezek az objektumok nem használhatók ugyanazon az absztrakciós szinten.

A mennyiségi változások átalakulásának törvénye

E törvényt Friedrich Engels fogalmazta meg Hegel logikájának értelmezése alapján. Azonban, jól látható az első kötet első fejezetében a mérőről. A lényege abban rejlik, hogy a mennyiségi változások az objektumban hatással lehetnek annak minőségére. Például, ha van egy jégobjektumunk, a hőmérséklet növekedésével folyékony vízzé alakul, és megváltoztatja a minőségeit. Az ilyen viselkedés megvalósítására az „Állapot” tervezési mintát alkalmazzák. Ennek a megoldásnak a létrejötte miatt a programozásban nincs olyan dolog, mint a létrejövetel a feltétele az objektumnak. Meghatározza azokat a körülményeket, amelyek mellett az objektum létrejöhet, míg az algoritmusban mi magunk döntjük el, mikor kell inicializálni az objektumot. Alapítvány Ha ez az információ érdekes, áttekintést fogok tartani más entitásokról a „Logika tudománya” című munkából.

PS: Ez a cikk összehasonlító elemzésnek van szentelve.

Forrás: habr.com