Denne artikkelen er viet til en komparativ analyse av de logiske entiteter fra det tyske filosof Georg Wilhelm Friedrich Hegels verk "Logikkens vitenskaper" med deres motparter eller fraværet av dem i programmering.

Entitetene fra "Logikkens vitenskaper" er uthevet med kursiv for å unngå forvirring med de alminnelige definisjonene av disse ordene.

Rent være

Hvis du åpner definisjonen rent være i boken, vil du se en interessant setning "uten ytterligere definisjon". Men for dem som ikke har lest eller ikke forstår, ikke hast med å anklage forfatteren for demens. Rent være — det er et grunnleggende begrep i Hegels logikk som betyr at et eller annet objekt eksisterer, vær vennlig å ikke forveksle det med eksistensen av objektet, et objekt kan kanskje ikke eksistere i virkeligheten, men hvis vi på en eller annen måte har definert det i vår logikk, så er det der. Hvis du tenker over det, så er det virkelig slike ting som rent være umulig å gi en definisjon, og ethvert forsøk vil bare resultere i at du henviser til dets synonymer eller antonymer. Rent være et så abstrakt begrep at det kan anvendes absolutt på hva som helst, inkludert seg selv. I noen objektorienterte språk er det mulig å representere alt som et objekt, inkludert operasjoner på objekter, noe som i prinsippet gir oss et slikt nivå av abstraksjon. Imidlertid har programméringen ingen direkte analog til rent være for å sjekke eksistensen av et objekt, må vi sjekke dets fravær.

if(obj != null);

Det er rart at det ikke finnes syntaktisk sukker for dette, gitt at denne sjekken er ganske populær.

Ingen ting

Hvordan kunne man ha gjettet ingen ting er fravær av noe som helst. Dets analog kan være NULL. Det er verdt å merke seg at i vitenskapelig logikk ingen ting er rent være, fordi det også finnes. Dette gir en viss knute, for vi kan ikke henvise til NULL som et objekt i noe språk, selv om det i prinsippet også er det.

Bli til og momenter

Bli til — det er overgangen fra ingen ting i være og fra være i ingen ting. Dette gir oss to momenter, den første kalles fremvekst, og den andre overgang. Overgang ble kalt slik i stedet for forsvinning, fordi den logiske entiteten i prinsippet ikke kan forsvinne, bare hvis vi har glemt den. Opphevelse kan det kalles en prosedyre for tildeling. Hvis vi initialiserer et objekt skjer øyeblikket av opprettelse, og hvis et annet verdsettelse eller NULL tildeles øyeblikket av overgang.

obj = new object(); //opprettelse
obj = null; //overgang

Nåværende eksistens

For å oppsummere nåværende eksistens — er et objekt uten klart definisjon, men med definithet. Hva betyr dette. Et klassisk eksempel er en vanlig stol. Hvis du prøver å gi den en klar definisjon, vil du møte mange vanskeligheter. For eksempel, du vil si: «dette er en møbel laget for å sitte», men en lenestol er også laget for dette osv. Men fraværet av en klar definisjon hindrer oss ikke i å skille den i rommet og bruke den til å overføre informasjon om den, fordi i vårt hode finnes det definithet stolen. Kanskje noen allerede har gjettet at for å skille slike objekter fra datastreamen, ble nevronnettverk opprettet. Et nevronnettverk kan defineres som en funksjon som bestemmer denne definithet, men det finnes ingen typer objekter som inkluderer både klare og uklare definisjoner, så slike objekter kan ikke brukes på samme abstraksjonsnivå.

Loven om overgang av kvantitative forandringer til kvalitative

Denne loven ble formulert av Friedrich Engels som følge av tolkningen av Hegels logikk. Imidlertid kan man helt se den i den første delen i kapitlet om mål. Kjernen i dette er at kvantitative forandringer i objektet kan påvirke dets kvalitet. For eksempel har vi et objekt is, ved å akkumulerer temperatur vil det forvandles til flytende vann og endre sine kvaliteter. For å realisere slik atferd i objektet, finnes det designmønsteret «Tilstand». Opprettelsen av slik løsning ble utløst av fraværet i programmering av noe som grunnlag for for opprettelse av objektet. Grunnlaget bestemmer betingelsene under hvilke objektet kan oppstå, og i algoritmen bestemmer vi selv når vi trenger å initialisere objektet.

PS: Hvis denne informasjonen er interessant, vil jeg gi en oversikt over andre entiteter fra «Logikkens vitenskap».

Kilde: habr.com