Šis straipsnis skirtas lyginamajai loginių subjektų analizei iš vokiečių filosofo Georgo Wilhelmo Friedricho Hegelio veikalo „Logikos mokslas“ su jų analogais arba jų nebuvimu programuojant.

Logikos mokslo subjektai yra kursyvu, kad būtų išvengta painiavos su visuotinai priimtais šių žodžių apibrėžimais.

Gryna būtybė

Jei atidarysite apibrėžimą gryna būtybė knygoje pamatysite įdomią eilutę „be tolesnio apibrėžimo“. Bet kas neskaitė ar nesupranta, neskubėkite autoriaus kaltinti silpnaprotyste. Gryna būtybė - tai yra pagrindinė Hegelio logikos sąvoka, reiškianti, kad kažkoks objektas egzistuoja, prašau, nepainiokite jo su objekto egzistavimu, objektas gali ir neegzistuoti tikrovėje, bet jei kažkaip jį apibrėžėme savo logikoje, jis egzistuoja. Jei pagalvoji, tikrai yra tokių dalykų kaip gryna būtybė neįmanoma pateikti apibrėžimo, o bet koks toks bandymas nulems tai, kad jūs tiesiog nurodysite jo sinonimus ar antonimus. Gryna būtybė tokia abstrakti sąvoka, kad ją galima pritaikyti absoliučiai viskam, įskaitant ir save patį. Kai kuriose į objektus orientuotose kalbose bet ką galima pavaizduoti kaip objektą, įskaitant operacijas su objektais, o tai iš esmės suteikia mums tokį abstrakcijos lygį. Tačiau programuojant tiesioginį analogą gryna būtybė Nr. Norėdami patikrinti, ar objektas egzistuoja, turime patikrinti, ar jo nėra.

if(obj != null);

Keista, kad tokio sintaksinio cukraus dar nėra, turint omenyje, kad šis čekis labai populiarus.

Nieko

Kaip galėtum atspėti nieko yra nieko nebuvimas. Ir jo analogas gali būti vadinamas NULL. Verta pažymėti, kad logikos moksle nieko yra gryna būtybė, nes jis taip pat egzistuoja. Tai yra šiek tiek užgautas; negalime pasiekti NULL kaip objekto jokia kalba, nors iš esmės tai taip pat yra.

Formavimas ir akimirkos

Tapti yra perėjimas nuo nieko в esamas ir nuo esamas в nieko. Tai duoda mums du momentas, pirmasis vadinamas atsiradimasir antrasis praeinant. Praėjimas ji vadinama taip vietoj išnykimo, nes loginė esmė iš esmės negali išnykti, nebent mes jos pamirštame. Pasitraukimas kaip tokią galime vadinti priskyrimo procedūra. Jei mūsų objektas inicijuotas, tada atsiradimo momentas, o priskiriant kitą reikšmę arba NULL praėjimo momentas.

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

Egzistavimas

Trumpai tariant egzistavimas yra objektas, neturintis aiškaus apibrėžimo, bet turintis tikrumas. Ką tai reiškia. Kanoninis pavyzdys yra įprasta kėdė. Jei bandysite tai aiškiai apibrėžti, susidursite su daugybe sunkumų. Pavyzdžiui, jūs sakote: „tai yra baldas, skirtas sėdėti“, bet kėdė taip pat sukurta tam ir pan. Tačiau aiškaus apibrėžimo nebuvimas netrukdo mums jo išryškinti erdvėje ir naudoti perduodant informaciją apie tai, nes mūsų galvoje yra tikrumas kėdė. Galbūt kai kurie jau atspėjo, kad neuroniniai tinklai buvo sukurti siekiant atskirti tokius objektus nuo duomenų srauto. Neuroninis tinklas gali būti pažymėtas kaip tai apibrėžianti funkcija tikrumas, tačiau nėra objektų tipų, kurie apimtų aiškius ir neaiškius apibrėžimus, todėl tokie objektai negali būti naudojami tame pačiame abstrakcijos lygyje.

Kiekybinių pokyčių perėjimo į kokybinius dėsnis

Šį dėsnį Friedrichas Engelsas suformulavo kaip Hegelio logikos aiškinimo rezultatą. Tačiau tai aiškiai matyti pirmame skyriaus tome matuoti. Jo esmė ta kiekybinis objekto pakeitimai gali jį paveikti kokybė. Pavyzdžiui, mes turime ledo objektą, kuris, kaupdamasis temperatūrai, virsta skystu vandeniu ir jį pakeis Kokybė. Norint įgyvendinti šį objekto elgesį, yra būsenos projektavimo modelis. Tokio sprendimo atsiradimą lemia tai, kad programuojant nėra tokio dalyko kaip pamatas už atsiradimas objektas. Fondas nustato sąlygas, kurioms esant gali atsirasti objektas, o algoritme mes patys nusprendžiame, kurioje vietoje reikia inicijuoti objektą.

PS: Jei ši informacija bus įdomi, apžvelgsiu kitas logikos mokslo esybes.

Šaltinis: www.habr.com