Ta članek se posveča primerjalni analizi logičnih entitet iz dela nemškega filozofa Georga Wilhelma Friedricha Hegla „Znanje logike“ ter njihovim analogom ali odsotnosti v programiranju.

Entitete iz „Znanja logike“ so poudarjene s poševnim besedilom, da ne bi prišlo do zmešnjave z ustaljenimi definicijami teh besed.

Čisto bitje

Če odprete definicijo čistega bitja v knjigi, boste videli zanimivo vrstico „brez dodatne definicije“. Vendar pa tisti, ki niste brali ali niste razumeli, ne hitite obtoževati avtorja o demenci. Čisto bitje — to je osnovna kategorija v Heglovi logiki, kar pomeni, da neka stvar obstaja; prosim, ne zamenjuj tega z obstoječim objektom. Objekt lahko v resničnosti ne obstaja, toda če smo ga nekako definirali v naši logiki, potem obstaja. Če se malo zamislite, je resnično nemogoče dati definicijo takšnim pojmom, vsaka taka poskusna definicija se bo omejila na omenjanje njegovih sinonimov ali antonimov. čistega bitja je tako abstraktna kategorija, da se lahko uporablja povsem za karkoli, vključno s samim seboj. V nekaterih objektno usmerjenih jezikih je mogoče predstaviti kot objekt vse, kar koli, vključno s operacijami nad objekti, kar v bistvu daje takšno raven abstrakcije. Vendar pa v programiranju ni neposrednega analoga Čisto bitje čistega bitja Niti. Da bi preverili obstoj objekta, moramo preveriti njegovo odsotnost. if(obj != null);

Zanimivo je, da takega sintaktičnega sladkosti še ni, če upoštevamo, da je ta preveritev precej priljubljena.

Nič

Kako bi lahko uganili

nič je odsotnost česarkoli. Njegov analog je mogoče označiti z NULL. Pomembno je omeniti, da v znanstveni logiki je čisto bitje je odsotnost česarkoli. Njegov analog je mogoče označiti z NULL. Pomembno je omeniti, da v znanstveni logiki je , ker tudi to obstaja. V tem je neka zanka, saj se na NULL ne moremo obrniti kot na objekt v nobenem jeziku, čeprav pravzaprav tudi on je objekt.Postajanje in trenutki

Postajanje

— to je prehod od bitja je odsotnost česarkoli. Njegov analog je mogoče označiti z NULL. Pomembno je omeniti, da v znanstveni logiki u bitju in od . To nam daje dva u je odsotnost česarkoli. Njegov analog je mogoče označiti z NULL. Pomembno je omeniti, da v znanstveni logikitrenutka , prvi se imenujepojavitev , drugi paprehod Prehod. je poimenovan tako namesto izginotja, ker logična entiteta v bistvu ne more izginiti, lahko le, če smo jo pozabili. Odmik kot takšno lahko imenujemo postopek dodeljevanja. V primeru, da se inicializira objekt, dogaja. trenutak nastanka, a u slučaju dodeljivanja druge vrednosti ili NULL trenutak prolaza.

obj = new object(); //nastanak
obj = null; //prolaz

Postojeće biće

Ukratko postojeće biće — to je objekat koji nema jasnu definiciju, ali ima određenost. Šta to znači. Kanonski primer je obična stolica. Ako pokušate da joj date jasnu definiciju, suočićete se sa brojnim teškoćama. Na primer, reći ćete: "to je komad nameštaja namenjen sedenju", ali i fotelja je takođe stvorena za to itd. Međutim, nedostatak jasne definicije ne sprečava nas da je izdvojimo u prostoru i koristimo je prilikom prenosa informacija o njoj, to je zato što u našim glavama imamo određenost stolice. Verovatno su neki već pogodili da su za izdvajanje takvih objekata iz toka podataka stvorene neuronske mreže. Neuronska mreža se može označiti kao funkcija koja definiše ovo određenost, ali vrste objekata koje bi uključivale jasne i nejasne definicije ne postoje, pa se takvi objekti ne mogu koristiti na istom nivou apstrakcije.

Zakon prelaska kvantitativnih promena u kvalitativne

Ovaj zakon je formulisao Friedrich Engels kao rezultat interpretacije Hegelove logike. Međutim, može se sasvim jasno uočiti u prvom delu u poglavlju o meri. Njegova suština leži u tome da kvantitativne promene u objektu mogu uticati na njegovu kvalitet. Na primer, imamo objekat led, pri akumulaciji temperature pretvaraće se u tečnost i promeniće svoje kvalitete. Za realizaciju takvog ponašanja u objektu postoji obrazac dizajniranja „Stanje“. Nastanak takvog rešenja izazvan je odsustvom u programiranju takve stvari kao osnova za nastanka objekta. Osnovanje definiše uslove pod kojima objekat može nastati, a u algoritmu sami odlučujemo u kom trenutku treba da inicijalizujemo objekat.

PS: Ako će ova informacija biti zanimljiva, upustiću se u pregled drugih entiteta iz „Nauke logike“.

Izvor: habr.com