A logika tudománya a programozásban

A logika tudománya a programozásban

Ez a cikk a német filozófus, Georg Wilhelm Friedrich Hegel „Logika tudománya” című művéből származó logikai entitások összehasonlító elemzésének szenteljük analógjaikkal vagy a programozásban való hiányukkal.

A Logika tudományából származó entitások dőlt betűvel vannak szedve, hogy ne keverjék össze e szavak általánosan elfogadott definícióival.

Tiszta lét

Ha megnyitod a definíciót tiszta lény a könyvben egy érdekes sort fog látni „további meghatározás nélkül”. De aki nem olvasta vagy nem érti, ne rohanjon demenciával vádolni a szerzőt. Tiszta lét - ez egy alapfogalom a hegeli logikában, ami azt jelenti, hogy valamilyen tárgy létezik, kérem, ne keverje össze egy objektum létezésével, lehet, hogy a tárgy a valóságban nem létezik, de ha a logikánkban valahogy meghatároztuk, akkor létezik. Ha belegondolsz, tényleg vannak olyan dolgok, mint pl tiszta lény lehetetlen definíciót adni, és minden ilyen próbálkozás arra a tényre vezethető vissza, hogy egyszerűen csak a szinonimákra vagy antonimákra fog hivatkozni. Tiszta lét annyira elvont fogalom, hogy abszolút bármire alkalmazható, beleértve önmagát is. Egyes objektumorientált nyelvekben lehetőség van bármit objektumként ábrázolni, beleértve az objektumokon végzett műveleteket is, ami elvileg ilyen szintű absztrakciót biztosít számunkra. A közvetlen analóg programozásánál azonban tiszta lény Nem. Egy objektum létezésének ellenőrzéséhez ellenőriznünk kell a hiányát.

if(obj != null);

Furcsa, hogy ilyen szintaktikai cukor még nem létezik, tekintve, hogy ez a csekk nagyon népszerű.

Semmi

Hogyan is sejthetnéd semmi valaminek a hiánya. És az analógját NULL-nak nevezhetjük. Érdemes megjegyezni, hogy a logika tudományában semmi a tiszta lény, mert az is létezik. Ez egy kis bökkenő; a NULL-t nem tudjuk objektumként elérni egyetlen nyelven sem, bár lényegében ez is egy.

Kialakulás és pillanatok

egyre egy átmenet a semmi в lény és onnan lény в semmi. Ez kettőt ad nekünk pillanat, az elsőt hívják megjelenése, és a második elhaladó. Átjáró, átkelés az eltűnés helyett így hívják, mert a logikai lényeg lényegében nem tűnhet el, hacsak el nem felejtjük. Visszavonás mint ilyent nevezhetjük a hozzárendelési eljárásnak. Ha az objektumunk inicializálva van, akkor bekövetkezés pillanata, más érték hozzárendelése esetén pedig NULL az elmúlás pillanata.

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

Létezés

Röviden létezés olyan tárgy, amelynek nincs világos definíciója, de van bizonyosság. Mit jelent. A kanonikus példa egy közönséges szék. Ha megpróbálja világosan meghatározni, sok nehézségbe ütközik. Például azt mondod: „ez egy ülésre tervezett bútor”, de a szék is erre van kitalálva stb. De a világos definíció hiánya nem akadályoz meg bennünket abban, hogy a térben kiemeljük, és a róla szóló információk továbbításakor használjuk, mert a fejünkben ott van bizonyosság szék. Talán néhányan már sejtették, hogy neurális hálózatokat hoztak létre, hogy az ilyen objektumokat elkülönítsék az adatfolyamtól. A neurális hálózat ezt meghatározó függvényként jelölhető bizonyosság, de nincsenek olyan objektumok, amelyek világos és homályos definíciókat tartalmaznának, ezért az ilyen objektumok nem használhatók azonos absztrakciós szinten.

A mennyiségi változások minőségivé való átmenetének törvénye

Ezt a törvényt Friedrich Engels fogalmazta meg a hegeli logika értelmezésének eredményeként. A fejezet első kötetében azonban jól látható intézkedés. A lényege az mennyiségi az objektum változásai hatással lehetnek rá minőség. Például van egy jégtárgyunk, amely a hőmérséklet felhalmozódásával folyékony vízzé válik, és megváltozik Minőség. Ennek a viselkedésnek az objektumban való megvalósításához van egy állapottervezési minta. Egy ilyen megoldás megjelenését az okozza, hogy a programozásból hiányzik olyan dolog, mint pl alapítvány a esemény tárgy. alapítvány meghatározza, hogy egy objektum milyen feltételek mellett jelenhet meg, és az algoritmusban mi magunk döntjük el, hogy melyik ponton kell inicializálnunk az objektumot.

PS: Ha ez az információ érdekes, áttekintek más entitásokat a Logika tudományából.

Forrás: will.com

Hozzászólás