See artikkel käsitleb Saksa filosoofi Georg Wilhelm Friedrich Hegeli teose «Loogika teadused» loogiliste olemuste võrdlevat analüüsi ning nende analooge või puudumist programmeerimises.

Teose «Loogika teadused» olemused on esile tõstetud kursiivis, et vältida segadust nende sõnade üldtuntud määratlustega.

Puhas olemine

Kui avate määratluse puhta olemise raamatust, näete huvitavat lauset «ilma edasise määratlemiseta». Kuid neile, kes ei ole seda lugenud või ei ole aru saanud, ärge kiirustage autorit dementsuses süüdistama. Puhas olemine — see on Hegeli loogika põhikontseptsioon, mis tähendab, et mingi objekt eksisteerib; palun ärge segage seda objekti olemasoluga — objekt võib reaalsuses mitte eksisteerida, kuid kui me oleme seda mingil moel meie loogikas määratlenud, siis see on olemas. Kui te mõtleksite, siis tõepoolest, sellistele asjadele nagu puhta olemise ei saa anda määratlust, ning iga selline katse viib paratamatult selleni, et teil tuleb lihtsalt viidata selle sünonüümidele või antonüümidele. Puhas olemine on nii abstraktne mõisted, et seda saab rakendada absoluutselt millegile, sealhulgas ka iseendale. Mõnedes objektorienteeritud keeltes on võimalik esitada objektina kõike, sealhulgas operatsioone objektidega, mis annab meile sellise abstraktsiooni taseme. Kuid programmeerimises ei ole otsest analooge. puhta olemisega ei ole. Objektide eksistentsi kontrollimiseks peame kontrollima nende puudumist.

if(obj != null);

On imelik, et sellist süntaksit veel ei ole, arvestades, et see kontroll on üsna populaarne.

Ei midagi

Kuidas saaks arva ei midagi on millegi puudumise. Selle analoogiks võib pidada NULL. Tuleb märkida, et loogikas ei midagi on on puhas olemine, sest see on samuti olemas. Sellest tuleneb teatav probleem, sest me ei saa NULL-ile ühegi keeles objektina viidata, kuigi tegelikult on see samuti objekt.

Saamine ja hetked

Saamine — see on üleminek ei midagi ühes olemusest ja olemusest ühes ei midagi. See annab meile kaks hetke, esimene nimega ilmumine, ja teine ülemineku. Üleminek nimetatakse nii kadumise asemel, kuna loogiline olemus ei saa põhimõtteliselt kaduda, kui me seda ei unusta. Eemaldamine saab nimetada määramise protseduuriks. Kui me loome objekti, toimub tekke moment, aga kui määratakse teine väärtus või NULL lahkumise hetk.

obj = new object(); //teke
obj = null; //lahkumine

olemasolev olemine

Kokkuvõttes olemasolev olemine — see on objekt, millel ei ole selget määratlust, kuid see omab määratletust. Mis see tähendab. Kanoniliseks näiteks on tavaline tool. Kui proovite anda sellele selge määratluse, kohtate palju raskusi. Näiteks ütlete: «see on mööblieseme, mis on mõeldud istumiseks», aga ka tugitool on selleks loodud jne. Kuid selge määratlemise puudumine ei takista meil seda ruumis tuvastamast ja selle kohta teavet edastamast, kuna meie peas on määratletust tool. Võimalik, et mõned on juba mõistnud, et selliste objektide välja eraldamiseks andmevoost loodi närvivõrgud. Närvivõrku saab määratleda funktsioonina, mis määrab selle määratletust, kuid objekti viise, mis hõlmavad nii selgeid kui ka häguseid määratlusi, ei eksisteeri, seega ei saa selliseid objekte kasutada ühel abstraktsioonitasemel.

Kvantitatiivsete muutuste ülemineku seadus kvalitatiivseteks muutusteks

See seadus formuleeriti Friedrich Engelsi poolt, tõlgendades Hegeli loogikat. Siiski võib seda täiesti hästi näha esimeses köites peatükis, mis käsitleb mõõdet. Selle tuum seisneb selles, et kvantitatiivsed muutused objektis võivad mõjutada selle kvaliteeti. Näiteks, meil on objekt jää, mille temperatuur tõusmisel muutub see vedelaks veeks ja muudab oma kvaliteedid. Sellise käitumise rakendamiseks objektis on olemas disainimuster "Loodus". Sellise lahenduse tekkimine on tingitud programmeerimises sellise asja puudumisest nagu alus kuna objekti tekkimise protsess. Foundation määra tingimused, mille korral objekt võib ilmuda, samas kui algoritmis otsustame ise, millal me objekti algsementimise vajaduse üle arutame.

PS: Kui see teave on huvitav, siis teen ülevaate teistest "Loogika teaduse" olenditest.

Allikas: habr.com