Antud artikkel käsitleb saksa filosoofi Georg Wilhelm Friedrich Hegeli teoses "Loogika teadused" loogiliste olemuste võrdlevat analüüsi ning nende analooge või nende puudumist programmeerimises.

Olemused "Loogika teadustes" on eristatud kaldkirjas, et ei tekiks segadust nende sõnade üldtuntud määratluste ja tähenduste vahel.

Puhas olemine

Kui avate määratluse puhas olemine raamatus, siis näete huvitavat lauset "ilma edasise määratlemiseta". Kuid neile, kes ei ole lugenud või ei ole aru saanud, ärge kiirustage autori süüdistamisega dementias. Puhas olemine — see on Hegeli loogikas põhimõiste, mis tähendab, et mõni ese eksisteerib, palun ärge segage seda objekti olemasoluga, ese ei pruugi reaalsuses eksisteerida, kuid kui me oleme selle meie loogikas kuidagi määratlenud, siis ta on. Kui te sellele mõtleksite, siis tõepoolest sellistele asjadele nagu puhas olemine pole võimalik määratletud, ja iga selline katse viib teid lihtsalt selle sünonüümidele või antonüümidele viitamisele. Puhas olemine on nii abstraktne mõisted, et seda saab rakendada absoluutselt millelegi, sealhulgas endale. Mõnedes objektorienteeritud keeltes on võimalik esitada objektina kõike, sealhulgas toimingud objektidega, mis põhimõtteliselt annab meile sellise abstraktsiooni taseme. Siiski pole programmeerimises otsest analooge puhtale olemisele ei ole. Asemise kontrollimiseks peame kontrollima selle puudumist.

if(obj != null);

On kummaline, et sellist süntaktilist kommid veel ei ole, arvestades, et see kontroll on üsna populaarne.

Mitte miski

Kuidas oleks võinud arvata mitte miski on millegi puudumine. Ja selle analoogiks võib pidada NULL'i. Tasub märkida, et teaduslikes loogikates mitte miski on puhas olemine, sest see on samuti olemas. Selles seisneb mõningane seadistus, et NULL-i ei saa me kellekski objekti, ükski keeles, kuigi sisuliselt on see samuti objekt.

Tekkimine ja hetked

Tekkimine on üleminek mitte miski ja olemusest ja olemusest ja mitte miski. See annab meile kaks hetke, esimene nimetatakse ilmumiseks, ja teine ühendamiseks. Ühendamine on nimetatud nii kadumise asemel, kuna loogiline olemus ei saa sisuliselt kaduda, välja arvatud juhul, kui me oleme selle unustanud. Vaba valimine protseduur, mida võib nimetada määramiseks. Kui me algatame objekti, toimub hetk, mil see tekib, ja kui määratakse teine väärtus või NULL hetk, mil see kaob.

obj = new object(); //tekimine
obj = null; //kaob

olemine

Kokkuvõttes olemine — see on objekt, millel ei ole selget määratlust, kuid mis omab määratletavust. Mida see tähendab? Kanoniliseks näiteks on tavaline tool. Kui proovite sellele anda selge määratluse, siis kohtate paljusid raskusi. Näiteks, te ütlete: "see on mööblieseme, mis on mõeldud istumiseks", kuid ka tugitool on tehtud selleks jne. Kuid selge määratlemise puudumine ei takista meil seda ruumis eristamast ja infopakkujana kasutamast, sest meie peas on määratletavust toolist. Võib-olla on mõned juba aru saanud, et selliste objektide eristamiseks andmevoogust loodi närvivõrgud. Närvivõrku saab määratleda kui funktsiooni, mis määrab selle määratletavust, kuid selliseid objekte, mis hõlmavad endas lihtsaid ja ebaselgeid määratlusi, ei eksisteeri, seega ei saa neid objekte kasutada ühel abstraktsioonitasemel.

Kvantitatiivsete muutuste ülemineku seadus kvalitatiivseteks

See seadus sõnastati Friedrich Engelsi poolt Hegeli loogika tõlgendamise tulemusel. Siiski, seda võib täiesti selgelt näha esimeses osas peatükis, mis käsitleb mõõtu. Selle sisu seisneb selles, et kvantitatiivsed muutused objektis võivad mõjutada selle kvaliteeti. Näiteks, meil on jääobjekt, mille temperatuur suurenedes muutub vedelikuks ja muudab oma kvaliteete. Sellise käitumise rakendamiseks objektis eksisteerib disainimuster "Oleku". Sellise lahenduse ilmnemine on tingitud asjaolust, et programmeerimisel ei eksisteeri sellist asja nagu alus jaoks objekti tekkele. See määrab tingimused, milles objekt võib tekkida, ja algoritmis otsustame ise, millal me peame objekti initsialiseerima. Rajatis Kui see teave on huvitav, teen ma ülevaate teistest olenditest "Logika teadusest".

PS: See artikkel on pühendatud võrdlevatele analüüsidele.

Allikas: habr.com