Ky kjo artikull i dedikohet analizës krahasuese të entiteteve logjike nga vepra e filozofit gjerman Georg Wilhelm Friedrich Hegel "Shkencat e Logjikës" me analogët e tyre ose mungesën e tyre në programim.

Entitetet nga "Shkencat e Logjikës" janë theksuar me kursiv për të shmangur çdo ngatërrim me përkufizimet e zakonshme të këtyre fjalëve.

Existencë e pastër

Nëse hapni përkufizimin existencë e pastër në libër, do të shihni një rresht interesant "pa përkufizim të mëtejshëm". Por për ata që nuk e kanë lexuar ose nuk e kuptojnë, mos u ngutni ta akuzoni autorin për demencë. Existencë e pastër — ky është një koncept bazë në logjikën e Hegel-it që do të thotë se një objekt ekziston, ju lutem, mos e ngatërtoni me ekzistencën e objektit, objekti mund të mos ekzistojë në realitet, por nëse e kemi ndonjëherë përkufizuar në logjikën tonë, ai ekziston. Nëse mendoni thellë, gjërat si existencë e pastër nuk mund t'i jepet një përkufizim, dhe çdo përpjekje e tillë do t'i reduktojë në referime për sinonime ose antonime. Existencë e pastër kaq abstrakt sa mund të aplikohen në çdo gjë, përfshirë veten. Në disa gjuhë të orientuara në objekte ka mundësi të përfaqësohet si objekt gjithçka, përfshirë operacionet mbi objektet, që basically na jep një nivel të tillë abstraksioni. Megjithatë, në programim nuk ka një analog të drejtpërdrejtë të existencës së pastër . Për të kontrolluar ekzistencën e një objekti, na nevojitet të kontrollojmë mungesën e tij.

if(obj != null);

E çuditshme që një shembull i tillë sintaksor nuk ekziston ende, duke pasur parasysh se ky kontroll është mjaft popullor.

Asgjë

Siç mund të merret me mend asgjë është mungesë e gjithçkaje. Dhe analogu i tij mund të quhet NULL. Duhet të theksohet se në logjikë asgjë është existencë e pastër, sepse ai gjithashtu ekziston. Atëherë qëndron një pengesë; ne nuk mund ta referojmë NULL si objekt në asnjë gjuhë, edhe pse në thelb ai është gjithashtu një objekt.

Formimi dhe momentet

Formimi — është kalimi nga asgjë në ekzistenca dhe nga e ekzistencës. në asgjëKjo na jep dy momente, momenti i parë quhet shfaqje, dhe momenti i dytë kalim.. Kalim quhet kështu në vend të zhdukjes, sepse entiteti logjik në thelb nuk mund të zhduket, vetëm nëse e kemi harruar. Heqja si të tillë mund të quhet procedura e caktimit. Në rastin kur kemi një objekt të inicializuar, ndodh momentin e shfaqjes, dhe në rastin e caktimit të një vlere tjetër ose NULL momentin e kalimit..

obj = new object(); \/\/shfaqje
obj = null; \/\/kalim

Ekzistencë e pranishme

Nëse flasim shkurt ekzistencë e pranishme — është një objekt që nuk ka një përkufizim të qartë, por ka saktësi.Çfarë do të thotë kjo? Një shembull kanonik është një karrige e zakonshme. Nëse përpiqeni ta jepni një përkufizim të qartë, do të hasni shumë vështirësi. Për shembull, ju do të thoni: "kjo është një objekt mobilie e destinuar për të ulur", por një divan gjithashtu është krijuar për këtë etj. Por mungesa e një përkufizimi të qartë nuk na pengon të nxjerrim atë në hapësirë dhe ta përdorim për të kaluar informacion rreth saj, sepse në mendjen tonë egziston saktësi. karrigia. Ndoshta disa tashmë e kanë kuptuar se për të nxjerrë këta objekte nga fluksi i të dhënave u krijuan rrjetet nervore. Një rrjet nervor mund të përfaqësohet si një funksion që përcakton këtë saktësi., por nuk ekzistojnë lloje objektesh që përfshijnë përkufizime të qarta dhe të paqarta, prandaj këta objekte nuk mund të përdoren në një nivel të njëjtë abstraksioni.

Ligji i kalimit të ndryshimeve sasiore në cilësi

Ky ligj u formulua nga Friedrich Engels si rezultat i interpretimit të logjikës së Hegel-it. Megjithatë, mund ta shihni qartësisht në volumin e parë në kapitullin për masën.Thelbi i tij është se ndryshimet sasiore në një objekt mund të ndikojnë në cilësinë. Për shembull, kemi një objekt akulli, duke akumuluar temperaturën, ai do të shndërrohet në ujë të lëngshëm dhe do të ndërronte cilësitë e tij.Për të realizuar një sjellje të tillë në objekt ekziston një model projektimi "Stadiumi". Shfaqja e kësaj zgjidhjeje është e nxitur nga mungesa e një gjëje si burim për i lindjes të objektit. The Foundation përcakton kushtet nën të cilat një objekt mund të shfaqet, dhe në algoritëm ne vendosim vetë se në çfarë momenti duhet ta inicializojmë objektin.

PS: Nëse kjo informacion është interesante, do të bëj një përmbledhje të entiteteve të tjera nga "Shkencat e Logjikës".

Burimi: habr.com