Dan l-artikolu huwa ddedikat għal analiżi komparattiva ta 'entitajiet loġiċi mix-xogħol tal-filosfu Ġermaniż Georg Wilhelm Friedrich Hegel "Xjenza tal-Loġika" bl-analogi tagħhom jew in-nuqqas tagħhom fl-ipprogrammar.

Entitajiet mix-Xjenza tal-Loġika huma bil-korsiv biex tiġi evitata l-konfużjoni mad-definizzjonijiet ġeneralment aċċettati ta’ dan il-kliem.

Bejn pur

Jekk tiftaħ id-definizzjoni bniedem pur fil-ktieb, se tara linja interessanti “mingħajr definizzjoni ulterjuri.” Iżda għal dawk li ma qrawx jew ma jifhmux, tgħaġġla biex takkuża lill-awtur bid-dimenzja. Bejn pur - dan huwa kunċett bażiku fil-loġika ta 'Hegel, li jfisser li jeżisti xi oġġett, jekk jogħġbok tħawwadx mal-eżistenza ta' oġġett, l-oġġett jista 'ma jeżistix fir-realtà, imma jekk aħna b'xi mod iddefinijna fil-loġika tagħna, jeżisti. Jekk taħseb dwarha, verament hemm affarijiet bħal bniedem pur huwa impossibbli li tingħata definizzjoni, u kwalunkwe tentattiv bħal dan se jinżel għall-fatt li inti sempliċiment tirreferi għas-sinonimi jew l-antonimi tagħha. Bejn pur tali kunċett astratt li jista 'jiġi applikat għal assolutament kull ħaġa, inkluż innifsu. F'xi lingwi orjentati lejn l-oġġetti, huwa possibbli li tirrappreżenta xi ħaġa bħala oġġett, inklużi operazzjonijiet fuq oġġetti, li fil-prinċipju jagħtina tali livell ta 'astrazzjoni. Madankollu, fl-ipprogrammar l-analogu dirett bniedem pur Nru. Biex niċċekkjaw l-eżistenza ta 'oġġett, għandna bżonn niċċekkjaw l-assenza tiegħu.

if(obj != null);

Hija stramba li zokkor sintattiku bħal dan għadu ma jeżistix, peress li dan il-kontroll huwa popolari ħafna.

Xejn

Kif tista raden xejn hija n-nuqqas ta’ xejn. U l-analogu tiegħu jista 'jissejjaħ NULL. Ta 'min jinnota li fix-xjenza tal-loġika xejn huwa bniedem pur, għax teżisti wkoll. Din hija daqsxejn ta 'qabda; ma nistgħux naċċessaw NULL bħala oġġett fi kwalunkwe lingwa, għalkemm essenzjalment hija waħda wkoll.

Formazzjoni u mumenti

Issir hija transizzjoni minn xejn в qed u minn qed в xejn. Li tagħtina tnejn mument, l-ewwel wieħed jissejjaħ emerġenza, u t-tieni tgħaddi. Passaġġ tissejjaħ hekk minflok għajbien, għax l-essenza loġika essenzjalment ma tistax tisparixxi sakemm ma nkunux insewha. Irtirar bħala tali nistgħu nsejħu l-proċedura ta 'assenjazzjoni. Jekk l-oġġett tagħna huwa inizjalizzat, allura mument tal-okkorrenza, u fil-każ li jiġi assenjat valur ieħor jew NULL mument tal-mogħdija.

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

Eżistenza

Fil-qosor eżistenza huwa oġġett li m'għandux definizzjoni ċara, iżda għandu ċertezza. Xi tfisser. L-eżempju kanoniku huwa siġġu ordinarju. Jekk tipprova tagħtiha definizzjoni ċara, se tiltaqa' ma' ħafna diffikultajiet. Pereżempju, tgħid: "din hija biċċa għamara mfassla biex toqgħod bilqiegħda", iżda s-siġġu huwa wkoll maħluqa għal dan, eċċ. Iżda n-nuqqas ta’ definizzjoni ċara ma jwaqqafniex milli nenfasizzawh fl-ispazju u nużawha meta nittrasmettu informazzjoni dwarha, dan għaliex f’rasna hemm ċertezza president. Forsi xi wħud diġà ħasbu li n-netwerks newrali nħolqu biex jiżolaw oġġetti bħal dawn mill-fluss tad-dejta. Netwerk newrali jista 'jiġi indikat bħala funzjoni li tiddefinixxi dan ċertezza, iżda m'hemm l-ebda tip ta 'oġġetti li jinkludu definizzjonijiet ċari u fuzzy, għalhekk oġġetti bħal dawn ma jistgħux jintużaw fl-istess livell ta' astrazzjoni.

Il-liġi tat-tranżizzjoni tal-bidliet kwantitattivi f'dawk kwalitattivi

Din il-liġi ġiet ifformulata minn Friedrich Engels bħala riżultat tal-interpretazzjoni tal-loġika ta 'Hegel. Madankollu, jista 'jidher ċar fl-ewwel volum fil-kapitolu dwar miżura. L-essenza tagħha hija dik kwantitattivi bidliet f'oġġett jistgħu jaffettwawh kwalità. Pereżempju, għandna oġġett tas-silġ; bl-akkumulazzjoni tat-temperatura, jinbidel f'ilma likwidu u jibdel kwalità. Biex timplimenta din l-imġieba f'oġġett, hemm mudell tad-disinn tal-Istat. It-tfaċċar ta 'tali soluzzjoni hija kkawżata min-nuqqas fl-ipprogrammar ta' tali ħaġa bħala fondazzjoni għall- emerġenza oġġett. Fondazzjoni jiddetermina l-kundizzjonijiet li taħthom oġġett jista 'jidher, u fl-algoritmu aħna nfusna niddeċiedu f'liema punt għandna bżonn inizjalizzaw l-oġġett.

PS: Jekk din l-informazzjoni hija interessanti, se nirrevedi entitajiet oħra mix-Xjenza tal-Loġika.

Sors: www.habr.com