Kyëta artikulli i kushtohet analizës krahasuese të entiteteve logjike nga vepra e filosofit gjerman Georg Wilhelm Friedrich Hegel "Shkencat e logjikës" me analoGET e tyre ose mungesën e tyre në programim.

Entitetet nga "Shkencat e logjikës" janë theksuar me shkronja italisht për të shmangur ngatërrimin me definicionet e zakonshme të këtyre fjalëve.

E qartë ekzistencë

Nëse hapni definicionin e qartë ekzistencë në libër, do të shihni një rresht interesant "pa një definicion të mëtejshëm". Por për ata që nuk e kanë lexuar ose nuk e kanë kuptuar, mos nxitoni të akuzoni autorin për demencë. E qartë ekzistencë — është një koncept bazik në logjikën e Hegel që nënkupton se një objekt ekziston, ju lutem mos e ngateroni me ekzistencën e objektit, objekti mund të mos ekzistojë në realitet, por nëse ne e kemi përcaktuar ndonjëherë në logjikën tonë, ai ekziston. Nëse mendoni, vërtetë është diçka si e qartë ekzistencë nuk është e mundur të jepni një definicion, dhe çdo përpjekje e tillë do të reduktohej në faktin se ju do të thoni thjesht sinonimet ose antonimet e tij. E qartë ekzistencë një koncept aq abstrakt, sa mund të aplikohet në çdo gjë, përfshirë vetveten. Në disa gjuhë objektiv-oriented, ka mundësi të përfaqësohet çdo gjë si objekt, përfshirë operacionet mbi objektet, që në parim na jep një nivel të tillë abstrakt. Sidoqoftë, në programim nuk ka asnjë analog të drejtpërdrejtë e qartë ekzistencë nuk ka. Për të verifikuar ekzistencën e një objekti, na duhet të verifikojmë mungesën e tij.

if(obj != null);

Është e çuditshme që nuk ka një shembuj të tillë sintaksor, duke marrë parasysh se kjo verifikim është shumë popullor.

Asgjë

Siç mund të kishte qenë e dukshme asgjë është mungesa e çdo gjëje. Dhe analogjia e tij mund të quhet NULL. Duhet theksuar se në logjikën shkencore asgjë është e qartë ekzistencë, sepse ajo gjithashtu ekziston. Kjo është një ngatërrim i caktuar, ne nuk mund të referohemi NULL si një objekt në asnjë gjuhë, megjithatë në esencë ai gjithashtu është një objekt.

Shkëmbimi dhe momentet

Shkëmbimi — është kalimi nga asgjë në eksistenca dhe nga e ekzistencës. në asgjëKjo na jep dy momente, i pari quhet shfaqje, dhe i dyti shkëputje. Shkëputja quhet kështu në vend të zhdukjes, sepse entiteti logjik në thelb nuk mund të zhduket, vetëm nëse ne e harrojmë atë. Heqja si e tillë mund të quhet procedura e caktimit. Në rastin kur një objekt inicializohet, ndodh momentin e shfaqjes, dhe në rastin e caktimit të një vlera tjetër ose NULL momentin e kalimit.

obj = new object(); //shfaqja
obj = null; //kalimi

Ekzistenca aktuale

Nëse përmbledhësish ekzistenca aktuale – është një objekt pa një përkufizim të qartë, por që ka qartësi. Çfarë do të thotë kjo. Një shembull kanonik është një karrige e zakonshme. Nëse përpiqeni t'i jepni një përkufizim të qartë, do të hasni shumë vështirësi. Për shembull, do të thoni: "është një objekt mobilie i destinuar për të ulur", por edhe një kanape është krijuar për këtë etj. Por mungesa e një përkufizimi të qartë nuk na pengon të ndihmojmë në identifikimin e tij në hapësirë dhe ta përdorim kur përcjellim informacione për të, sepse në mendjen tonë ekziston qartësi karriga. Mund të ketë njerëz që kanë kuptuar se për të identifikuar objekte të tilla nga fluksi i të dhënave janë krijuar rrjetet nervore. Një rrjet nervor mund të përkufizohet si një funksion që përcakton këtë qartësi, por nuk ka lloje objektesh që përfshijnë përkufizime të qarta dhe të pasakta, prandaj këto objekte nuk mund të përdoren në të njëjtin nivel abstraksioni.

Ligji i kalimit të ndryshimeve quantitativ në cilësor

Ky ligj u formuluar nga Friedrich Engels në pasojë të interpretimit të logjikës së Hegelit. Megjithatë, mund ta shohim qartë në volumenin e parë në kapitullin për masën. Thelbi i tij është që ndryshimet në një objekt mund të ndikojnë në cilësinë. Për shembull, ne kemi një objekt akulli, me akumulimin e temperaturës ai do të shndërrohet në ujë të lëngshëm dhe do të ndryshojë cilësitë. Për realizimin e këtij sjelljeje në objekt ekziston një model dizajni "Gjatësia e Qëndrimit". Shfaqja e këtij zgjidhjeje është shkaktuar nga mungesa e një gjëje të tillë si shkaku për i shfaqjes së objektit. Ai përcakton kushtet në të cilat objekti mund të shfaqet, dhe në algoritëm ne vetë vendosim se kur duhet të inicializojmë objektin. Fondi Nëse kjo informacion do të jetë interesante, do të bëj një përmbledhje të entiteteve të tjera nga "Shkenca e logjikës".

PS: Ky artikull i është kushtuar një analize krahasuese.

Burimi: habr.com