Þessi grein er helguð samanburðargreiningu á rökréttum einingar úr verkum þýska heimspekingsins Georg Wilhelm Friedrich Hegel „Rökfræðivísindi“ með hliðstæðum þeirra eða fjarveru þeirra í forritun.

Aðilar úr rökfræðivísindum eru skáletraðir til að forðast rugling við almennt viðurkenndar skilgreiningar þessara orða.

Hrein vera

Ef þú opnar skilgreininguna hrein tilvera í bókinni muntu sjá áhugaverða línu „án frekari skilgreiningar“. En fyrir þá sem hafa ekki lesið eða skilja ekki, ekki flýta sér að saka höfundinn um heilabilun. Hrein vera - þetta er grundvallarhugtak í rökfræði Hegels, sem þýðir að einhver hlutur er til, vinsamlegast ekki rugla því saman við tilvist hlutar, hlutur er kannski ekki til í raunveruleikanum, en ef við skilgreinum hann einhvern veginn í rökfræði okkar, þá er hann til. Ef þú hugsar um það, þá eru í raun hlutir eins og hrein tilvera það er ómögulegt að gefa skilgreiningu, og allar slíkar tilraunir munu ganga út á þá staðreynd að þú vísar einfaldlega í samheiti eða andheiti þess. Hrein vera er svo óhlutbundið hugtak að það er hægt að nota það á nákvæmlega hvað sem er, þar með talið sjálft. Í sumum hlutbundnum tungumálum er hægt að tákna hvað sem er sem hlut, þar með talið aðgerðir á hlutum, sem í grundvallaratriðum gefur okkur slíkt abstraktstig. Hins vegar, í forritun beina hliðrænu hrein tilvera Nei. Til að athuga hvort hlutur sé til þurfum við að athuga hvort hann sé ekki til.

if(obj != null);

Það er undarlegt að slíkur setningafræðilegur sykur sé ekki til ennþá, í ​​ljósi þess að þessi ávísun er mjög vinsæl.

Ekkert

Hvernig gastu giskað ekkert er skortur á neinu. Og hliðstæða þess má kalla NULL. Það er rétt að taka fram að í vísindum rökfræði ekkert er hrein tilvera, því það er líka til. Þetta er smá grípa; við getum ekki nálgast NULL sem hlut á hvaða tungumáli sem er, þó að það sé það í rauninni líka.

Myndun og augnablik

Verða er umskipti frá ekkert в vera og frá vera в ekkert. Það gefur okkur tvo augnablik, heitir sá fyrsti tilkoma, og annað framhjá. Yfirferð það er kallað svo í stað þess að hverfa, vegna þess að rökræni kjarninn getur í rauninni ekki horfið nema við höfum gleymt því. Afturköllun sem slík getum við kallað úthlutunarferlið. Ef hlutur okkar er frumstilltur, þá augnablik atburðar, og ef úthlutað er öðru gildi eða NULL líðandi stund.

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

Tilveran

Í stuttu máli tilveru er hlutur sem hefur ekki skýra skilgreiningu, en hefur vissu. Hvað þýðir það. Kanóníska dæmið er venjulegur stóll. Ef þú reynir að gefa það skýra skilgreiningu muntu lenda í mörgum erfiðleikum. Til dæmis segirðu: "þetta er húsgagn hannað til að sitja," en stóllinn er líka búinn til fyrir þetta o.s.frv. En skortur á skýrri skilgreiningu kemur ekki í veg fyrir að við leggjum áherslu á það í geimnum og notum það þegar við sendum upplýsingar um það, þetta er vegna þess að í hausnum á okkur er vissu stóll. Kannski hafa sumir þegar giskað á að tauganet hafi verið búið til til að einangra slíka hluti frá gagnastraumnum. Hægt er að tákna tauganet sem fall sem skilgreinir þetta vissu, en það eru engar tegundir af hlutum sem myndu innihalda skýrar og óljósar skilgreiningar, þess vegna er ekki hægt að nota slíka hluti á sama abstraktstigi.

Lögmálið um umskipti magnbreytinga í eigindlegar

Þetta lögmál var mótað af Friedrich Engels sem afleiðing af túlkun á rökfræði Hegels. Það sést þó vel í fyrsta bindinu í kaflanum um mæla. Kjarni þess er sá magnbundið breytingar á hlut geta haft áhrif á hann качество. Til dæmis höfum við íshlut; með hitasöfnun mun hann breytast í fljótandi vatn og breyta því eiginleika. Til að innleiða þessa hegðun í hlut er til staðar hönnunarmynstur. Tilkoma slíkrar lausnar stafar af fjarveru í forritun á slíku eins og grunnur í tilkoma mótmæla. Stofnunin ákvarðar við hvaða aðstæður hlutur getur birst og í reikniritinu ákveðum við sjálf á hvaða tímapunkti við þurfum að frumstilla hlutinn.

PS: Ef þessar upplýsingar eru áhugaverðar mun ég endurskoða aðrar einingar frá Science of Logic.

Heimild: www.habr.com