See artikkel on pühendatud saksa filosoofi Georg Wilhelm Friedrich Hegeli teose "Loogikateadus" loogiliste olemite võrdlevale analüüsile koos nende analoogidega või nende puudumisega programmeerimises.

Loogikateaduse üksused on kaldkirjas, et vältida segadust nende sõnade üldtunnustatud definitsioonidega.

Puhas olemine

Kui avate definitsiooni puhas olemine raamatus näete huvitavat rida "ilma täpsema määratluseta". Kes aga ei ole lugenud või aru ei saa, ärge kiirustage autorit dementsuses süüdistama. Puhas olemine - see on Hegeli loogikas põhimõiste, mis tähendab, et mingi objekt on olemas, palun ärge ajage seda segi objekti olemasoluga, objekti ei pruugi tegelikkuses eksisteerida, aga kui me selle oma loogikas kuidagi määratleme, siis see on olemas. Kui järele mõelda, siis tõesti on selliseid asju nagu puhas olemine määratlust on võimatu anda ja iga selline katse taandub tõsiasjale, et viitate lihtsalt selle sünonüümidele või antonüümidele. Puhas olemine nii abstraktne mõiste, et seda saab rakendada absoluutselt kõigele, sealhulgas iseendale. Mõnes objektorienteeritud keeles on võimalik objektina kujutada kõike, sealhulgas tehteid objektidega, mis põhimõtteliselt annab meile sellise abstraktsioonitaseme. Otsese analoogi programmeerimisel aga puhas olemine Ei. Objekti olemasolu kontrollimiseks peame kontrollima selle puudumist.

if(obj != null);

Kummaline, et sellist süntaktilist suhkrut veel ei eksisteeri, arvestades, et see tšekk on väga populaarne.

Ei midagi

Kuidas sa võisid arvata midagi on millegi puudumine. Ja selle analoogi võib nimetada NULL-iks. Väärib märkimist, et loogikateaduses midagi see on puhas olemine, sest see on samuti olemas. See on väike konks; me ei pääse NULL-ile kui objektile üheski keeles, kuigi sisuliselt on see ka üks.

Tekkimine ja hetked

Saades on üleminek alates midagi в olemine ja alates olemine в midagi. See annab meile kaks hetk, nimetatakse esimest tekkimineja teiseks mööduv. Läbipääs seda nimetatakse nii kadumise asemel, sest loogiline olemus ei saa sisuliselt kaduda, kui me pole seda unustanud. Väljavõtmine sellisena võime nimetada määramisprotseduuri. Kui initsialiseerime objekti, siis see juhtub toimumise hetk, ja teise väärtuse määramise korral või NULL möödumise hetk.

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

Olemasolu

Lühidalt olemasolu on objekt, millel pole selget määratlust, kuid on kindlus. Mida see tähendab. Kanooniline näide on tavaline tool. Kui proovite sellele selget määratlust anda, puutute kokku paljude raskustega. Näiteks ütlete: "see on istumiseks mõeldud mööbliese", aga tool on ka selleks loodud jne. Kuid selge määratluse puudumine ei takista meid seda ruumis esile tõstmast ja selle kohta teabe edastamisel kasutamast, sest meie peas on kindlus tool. Võib-olla on mõned juba arvanud, et selliste objektide andmevoost eraldamiseks loodi närvivõrgud. Närvivõrku võib tähistada funktsioonina, mis seda defineerib kindlus, kuid puuduvad objektide tüübid, mis sisaldaksid selgeid ja hägusaid määratlusi, seetõttu ei saa selliseid objekte kasutada samal abstraktsioonitasemel.

Kvantitatiivsete muutuste kvalitatiivseteks ülemineku seadus

Selle seaduse sõnastas Friedrich Engels Hegeli loogika tõlgendamise tulemusena. Siiski on see selgelt näha peatüki esimeses köites mõõta. Selle olemus seisneb selles kvantitatiivne objekti muudatused võivad seda mõjutada kvaliteet. Näiteks on meil jääobjekt; temperatuuri akumuleerumisel muutub see vedelaks veeks ja muudab seda Kvaliteet. Selle käitumise rakendamiseks objektil on oleku kujundamise muster. Sellise lahenduse tekkimise põhjustab sellise asja puudumine programmeerimises nagu sihtasutus eest tekkimine objekti. Sihtasutus määrab tingimused, mille korral objekt võib ilmuda, ja algoritmis otsustame ise, mis hetkel on vaja objekt initsialiseerida.

PS: Kui see teave on huvitav, vaatan üle ka teised loogikateaduse üksused.

Allikas: www.habr.com