Hierdie artikel word gewy aan 'n vergelykende analise van logiese entiteite uit die werk van die Duitse filosoof Georg Wilhelm Friedrich Hegel "Science of Logic" met hul analoë of hul afwesigheid in programmering.

Entiteite uit die Wetenskap van Logika is kursief om verwarring met die algemeen aanvaarde definisies van hierdie woorde te voorkom.

Rein wese

As jy die definisie oopmaak rein wese in die boek sal jy 'n interessante reël "sonder verdere definisie" sien. Maar vir diegene wat nie gelees het nie of nie verstaan ​​nie, moenie haastig wees om die skrywer van demensie te beskuldig nie. Rein wese - dit is 'n basiese konsep in Hegel se logika, wat beteken dat een of ander voorwerp bestaan, moet dit asseblief nie verwar met die bestaan ​​van 'n voorwerp nie, die voorwerp bestaan ​​dalk nie in die werklikheid nie, maar as ons dit op een of ander manier in ons logika gedefinieer het, bestaan ​​dit. As jy daaroor dink, is daar regtig sulke dinge soos rein wese dit is onmoontlik om 'n definisie te gee, en enige so 'n poging sal daarop neerkom dat jy bloot na die sinonieme of antonieme daarvan sal verwys. Rein wese so 'n abstrakte konsep dat dit op absoluut enigiets toegepas kan word, insluitend homself. In sommige objekgeoriënteerde tale is dit moontlik om enigiets as 'n objek voor te stel, insluitend bewerkings op voorwerpe, wat ons in beginsel so 'n vlak van abstraksie gee. Maar in die programmering van die direkte analoog rein wese Geen. Om te kyk vir die bestaan ​​van 'n voorwerp, moet ons kyk vir die afwesigheid daarvan.

if(obj != null);

Dit is vreemd dat sulke sintaktiese suiker nog nie bestaan ​​nie, aangesien hierdie tjek baie gewild is.

niks

Hoe kon jy raai niks is die afwesigheid van enigiets. En sy analoog kan NULL genoem word. Dit is opmerklik dat in die wetenskap van logika niks is rein wese, want dit bestaan ​​ook. Dit is 'n bietjie van 'n vangplek; ons kan nie toegang tot NULL as 'n voorwerp in enige taal hê nie, hoewel dit in wese ook een is.

Vorming en oomblikke

besig om is 'n oorgang van niks в wees en van van wees в niks. Dit gee ons twee oomblik, word die eerste een genoem opkomsen die tweede verbygaan. Gedeelte dit word so genoem in plaas van verdwyning, want die logiese wese kan in wese nie verdwyn tensy ons dit vergeet het nie. Ontrekking as sodanig kan ons die opdragprosedure noem. As ons voorwerp geïnisialiseer is, dan oomblik van voorkoms, en in die geval van die toeken van 'n ander waarde of NULL oomblik van verbygaan.

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

Bestaan

Kortom bestaan is 'n voorwerp wat nie 'n duidelike definisie het nie, maar het sekerheid. Wat beteken dit. Die kanonieke voorbeeld is 'n gewone stoel. As jy probeer om dit 'n duidelike definisie te gee, sal jy baie probleme ondervind. Byvoorbeeld, jy sê: "dit is 'n meubelstuk wat ontwerp is om te sit," maar die stoel is ook daarvoor geskep, ens. Maar die gebrek aan 'n duidelike definisie verhoed ons nie om dit in die ruimte uit te lig en dit te gebruik wanneer ons inligting daaroor oordra nie, dit is omdat daar in ons kop sekerheid stoel. Miskien het sommige al geraai dat neurale netwerke geskep is om sulke voorwerpe van die datastroom te isoleer. 'n Neurale netwerk kan aangedui word as 'n funksie wat dit definieer sekerheid, maar daar is geen tipes voorwerpe wat duidelike en vaag definisies sal insluit nie, daarom kan sulke voorwerpe nie op dieselfde vlak van abstraksie gebruik word nie.

Die wet van oorgang van kwantitatiewe veranderinge in kwalitatiewe

Hierdie wet is deur Friedrich Engels geformuleer as gevolg van die interpretasie van Hegel se logika. Dit kan egter duidelik gesien word in die eerste bundel in die hoofstuk oor maatreëls. Die essensie daarvan is dit kwantitatief veranderinge aan 'n voorwerp kan dit beïnvloed gehalte. Ons het byvoorbeeld 'n ysvoorwerp; met temperatuurophoping sal dit in vloeibare water verander en dit verander gehalte. Om hierdie gedrag in 'n voorwerp te implementeer, is daar 'n Staat-ontwerppatroon. Die ontstaan ​​van so 'n oplossing word veroorsaak deur die afwesigheid in programmering van so iets soos basis vir opkoms beswaar. fondament bepaal die toestande waaronder 'n voorwerp kan verskyn, en in die algoritme besluit ons self op watter punt ons die voorwerp moet inisialiseer.

PS: As hierdie inligting interessant is, sal ek ander entiteite van die Wetenskap van Logika hersien.

Bron: will.com