Videnskaben om logik i programmering

Videnskaben om logik i programmering

Denne artikel er afsat til en komparativ analyse af logiske enheder fra den tyske filosof Georg Wilhelm Friedrich Hegels arbejde "Science of Logic" med deres analoger eller deres fravær i programmering.

Entiteter fra Science of Logic er i kursiv for at undgå forveksling med de generelt accepterede definitioner af disse ord.

Rent væsen

Hvis du åbner definitionen rent væsen i bogen vil du se en interessant linje "uden yderligere definition". Men for dem, der ikke har læst eller ikke forstår, skal du ikke skynde dig med at anklage forfatteren for demens. Rent væsen - dette er et grundlæggende begreb i Hegels logik, hvilket betyder, at et eller andet objekt eksisterer, lad være med at forveksle det med eksistensen af ​​et objekt, objektet eksisterer måske ikke i virkeligheden, men hvis vi på en eller anden måde definerer det i vores logik, eksisterer det. Hvis du tænker over det, er der virkelig sådan noget som rent væsen det er umuligt at give en definition, og ethvert sådant forsøg vil komme ned til, at du blot vil henvise til dets synonymer eller antonymer. Rent væsen et så abstrakt koncept, at det kan anvendes på absolut alt, inklusive sig selv. I nogle objektorienterede sprog er det muligt at repræsentere hvad som helst som et objekt, inklusive operationer på objekter, hvilket i princippet giver os et sådant abstraktionsniveau. Men i programmering af den direkte analoge rent væsen Ingen. For at kontrollere eksistensen af ​​et objekt, skal vi tjekke for dets fravær.

if(obj != null);

Det er mærkeligt, at sådan syntaktisk sukker endnu ikke eksisterer, da denne check er meget populær.

Intet

Hvordan kunne du gætte intet er fraværet af noget. Og dens analog kan kaldes NULL. Det er værd at bemærke, at i videnskaben om logik intet er rent væsen, fordi det også findes. Dette er lidt af en fangst; vi kan ikke få adgang til NULL som et objekt på noget sprog, selvom det i bund og grund også er et.

Dannelse og øjeblikke

blive er en overgang fra intet в væren og fra væren в intet. Det giver os to øjeblik, hedder den første fremkomst, og andet passerer. Passage det kaldes det i stedet for forsvinden, fordi den logiske essens i bund og grund ikke kan forsvinde, medmindre vi har glemt den. Tilbagetrækning som sådan kan vi kalde tildelingsproceduren. Hvis vores objekt er initialiseret, så begivenhedens øjeblik, og i tilfælde af at tildele en anden værdi eller NULL forbigående øjeblik.

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

Eksistens

Kort sagt eksistens er et objekt, der ikke har en klar definition, men som har sikkerhed. Hvad betyder det. Det kanoniske eksempel er en almindelig stol. Hvis du forsøger at give det en klar definition, vil du støde på mange vanskeligheder. For eksempel siger du: "det er et møbel designet til at sidde," men stolen er også skabt til dette osv. Men manglen på en klar definition forhindrer os ikke i at fremhæve det i rummet og bruge det, når vi sender information om det, det er fordi der i vores hoved er sikkerhed stol. Måske har nogle allerede gættet, at neurale netværk blev skabt for at isolere sådanne objekter fra datastrømmen. Et neuralt netværk kan betegnes som en funktion, der definerer dette sikkerhed, men der er ingen typer objekter, der vil omfatte klare og uklare definitioner, derfor kan sådanne objekter ikke bruges på samme abstraktionsniveau.

Loven om overgangen af ​​kvantitative ændringer til kvalitative

Denne lov blev formuleret af Friedrich Engels som et resultat af fortolkningen af ​​Hegels logik. Det kan dog tydeligt ses i første bind i kapitlet vedr mindst. Dens essens er det kvantitativ ændringer af et objekt kan påvirke det качество. For eksempel har vi en is-genstand; med temperaturakkumulering vil den blive til flydende vand og ændre dens Kvalitet. For at implementere denne adfærd i et objekt er der et tilstandsdesignmønster. Fremkomsten af ​​en sådan løsning er forårsaget af fraværet i programmering af sådan en ting som fundament for Hændelse objekt. fundament bestemmer betingelserne for, at et objekt kan optræde, og i algoritmen bestemmer vi selv, på hvilket tidspunkt vi skal initialisere objektet.

PS: Hvis denne information er interessant, vil jeg gennemgå andre enheder fra Science of Logic.

Kilde: www.habr.com

Tilføj en kommentar