Denne artikkelen er viet til en komparativ analyse av logiske enheter fra arbeidet til den tyske filosofen Georg Wilhelm Friedrich Hegel "Science of Logic" med deres analoger eller deres fravær i programmering.

Entiteter fra Science of Logic er i kursiv for å unngå forvirring med de generelt aksepterte definisjonene av disse ordene.

Rent vesen

Hvis du åpner definisjonen rent vesen i boken vil du se en interessant linje "uten ytterligere definisjon." Men for de som ikke har lest eller ikke forstår, ikke skynd deg å anklage forfatteren for demens. Rent vesen - Dette er et grunnleggende konsept i Hegels logikk, som betyr at et objekt eksisterer, vennligst ikke forveksle det med eksistensen av et objekt, objektet eksisterer kanskje ikke i virkeligheten, men hvis vi på en eller annen måte definerte det i vår logikk, eksisterer det. Hvis du tenker på det, er det virkelig slike ting som rent vesen det er umulig å gi en definisjon, og ethvert slikt forsøk vil koke ned til det faktum at du bare vil referere til synonymer eller antonymer. Rent vesen er et så abstrakt konsept at det kan brukes på absolutt alt, inkludert seg selv. I noen objektorienterte språk er det mulig å representere hva som helst som et objekt, inkludert operasjoner på objekter, som i prinsippet gir oss et slikt abstraksjonsnivå. Men i programmering av den direkte analoge rent vesen Nei. For å sjekke om det finnes et objekt, må vi sjekke om det er fravær.

if(obj != null);

Det er rart at slikt syntaktisk sukker ikke eksisterer ennå, gitt at denne sjekken er veldig populær.

Ingenting

Hvordan kunne du gjette ingenting er fraværet av noe. Og dens analoge kan kalles NULL. Det er verdt å merke seg at i vitenskapen om logikk ingenting er rent vesen, fordi det også finnes. Dette er litt av en hake; vi kan ikke få tilgang til NULL som et objekt på noe språk, selv om det i hovedsak også er det.

Formasjon og øyeblikk

bli er en overgang fra ingenting в å være og fra å være в ingenting. Det gir oss to øyeblikk, heter den første fremvekst, og andre passering. Passasje det kalles det i stedet for forsvinning, fordi den logiske essensen i hovedsak ikke kan forsvinne med mindre vi har glemt den. Uttak som sådan kan vi kalle oppdragsprosedyren. Hvis objektet vårt er initialisert, da øyeblikk av hendelsen, og i tilfelle å tildele en annen verdi eller NULL øyeblikk av å passere.

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

Eksistens

Kort oppsummert eksistens er et objekt som ikke har en klar definisjon, men som har sikkerhet. Hva betyr det. Det kanoniske eksempelet er en vanlig stol. Hvis du prøver å gi det en klar definisjon, vil du støte på mange vanskeligheter. For eksempel sier du: "dette er et møbel designet for å sitte," men stolen er også laget for dette osv. Men mangelen på en klar definisjon hindrer oss ikke i å fremheve det i rommet og bruke det når vi overfører informasjon om det, dette er fordi det i hodet vårt er sikkerhet stol. Kanskje noen allerede har gjettet at nevrale nettverk ble opprettet for å isolere slike objekter fra datastrømmen. Et nevralt nettverk kan betegnes som en funksjon som definerer dette sikkerhet, men det er ingen typer objekter som vil inkludere klare og uklare definisjoner, derfor kan slike objekter ikke brukes på samme abstraksjonsnivå.

Loven om overgang av kvantitative endringer til kvalitative

Denne loven ble formulert av Friedrich Engels som et resultat av tolkningen av Hegels logikk. Det kan imidlertid tydelig sees i første bind i kapittelet om minst. Dens essens er det kvantitativ endringer i et objekt kan påvirke det качество. For eksempel har vi en isobjekt; med temperaturakkumulering vil den bli til flytende vann og endre dens Kvalitet. For å implementere denne oppførselen i et objekt, er det et tilstandsdesignmønster. Fremveksten av en slik løsning er forårsaket av fraværet i programmering av noe som fundament for fremvekst gjenstand. fundament bestemmer forholdene et objekt kan vises under, og i algoritmen bestemmer vi selv på hvilket tidspunkt vi må initialisere objektet.

PS: Hvis denne informasjonen er interessant, vil jeg vurdere andre enheter fra Science of Logic.

Kilde: www.habr.com