Denna artikel ägnas åt en jämförande analys av logiska enheter från den tyske filosofen Georg Wilhelm Friedrich Hegels arbete "Science of Logic" med deras analoger eller deras frånvaro i programmering.

Entiteter från Science of Logic är i kursiv stil för att undvika förväxling med de allmänt accepterade definitionerna av dessa ord.

Ren varelse

Om du öppnar definitionen ren varelse i boken kommer du att se en intressant rad "utan ytterligare definition." Men för de som inte har läst eller inte förstår, skynda inte att anklaga författaren för demens. Ren varelse - detta är ett grundläggande koncept i Hegels logik, vilket betyder att något objekt existerar, snälla blanda inte ihop det med existensen av ett objekt, objektet kanske inte existerar i verkligheten, men om vi på något sätt definierat det i vår logik, så finns det. Om man tänker efter så finns det verkligen sådant som ren varelse det är omöjligt att ge en definition, och varje sådant försök kommer att komma ner på det faktum att du helt enkelt kommer att referera till dess synonymer eller antonymer. Ren varelse ett så abstrakt begrepp att det kan appliceras på absolut vad som helst, inklusive sig själv. I vissa objektorienterade språk är det möjligt att representera vad som helst som ett objekt, inklusive operationer på objekt, vilket i princip ger oss en sådan abstraktionsnivå. Men vid programmering av den direkta analoga ren varelse Nej. För att kontrollera om det finns ett objekt måste vi kontrollera att det inte finns.

if(obj != null);

Det är konstigt att sådant syntaktisk socker inte existerar ännu, med tanke på att denna kontroll är väldigt populär.

ingenting

Hur kunde du gissa ingenting är frånvaron av något. Och dess analog kan kallas NULL. Det är värt att notera att i vetenskapen om logik ingenting är ren varelse, eftersom det också finns. Detta är lite av en hake, vi kan inte komma åt NULL som ett objekt på något språk, även om det i huvudsak är ett också.

Formation och ögonblick

bli är en övergång från ingenting в varelse och från varelse в ingenting. Det ger oss två ögonblick, heter den första uppkomstoch andra godkänd. Textavsnitt det kallas så istället för försvinnande, eftersom den logiska essensen i grunden inte kan försvinna om vi inte har glömt den. Uttag som sådan kan vi kalla uppdragsförfarandet. Om vårt objekt initieras, då händelsens ögonblick, och i händelse av att tilldela ett annat värde eller NULL ögonblick av förbigång.

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

Existens

Kortfattat existens är ett objekt som inte har en tydlig definition, men som har säkerhet. Vad betyder det. Det kanoniska exemplet är en vanlig stol. Om du försöker ge det en tydlig definition kommer du att stöta på många svårigheter. Till exempel säger du: "det här är en möbel designad för att sitta", men stolen är också skapad för detta osv. Men avsaknaden av en tydlig definition hindrar oss inte från att lyfta fram det i rymden och använda det när vi sänder information om det, det beror på att det i vårt huvud finns säkerhet stol. Kanske har vissa redan gissat att neurala nätverk skapades för att isolera sådana objekt från dataströmmen. Ett neuralt nätverk kan betecknas som en funktion som definierar detta säkerhet, men det finns inga typer av objekt som skulle innehålla tydliga och otydliga definitioner, därför kan sådana objekt inte användas på samma abstraktionsnivå.

Lagen om övergång av kvantitativa förändringar till kvalitativa

Denna lag formulerades av Friedrich Engels som ett resultat av tolkningen av Hegels logik. Det syns dock tydligt i första volymen i kapitlet om minst. Dess essens är det kvantitativ ändringar av ett objekt kan påverka det kvalitet. Till exempel har vi ett isobjekt; med temperaturackumulering kommer det att förvandlas till flytande vatten och ändra dess Kvalitet. För att implementera detta beteende i ett objekt finns det ett tillståndsdesignmönster. Uppkomsten av en sådan lösning orsakas av frånvaron i programmering av en sådan sak som fundament för förekomst objekt. foundation bestämmer under vilka förutsättningar ett objekt kan dyka upp och i algoritmen bestämmer vi själva vid vilken tidpunkt vi behöver initiera objektet.

PS: Om denna information är intressant kommer jag att granska andra enheter från Science of Logic.

Källa: will.com