Atik sa a se konsakre nan yon analiz konparatif nan antite lojik nan travay la nan filozòf Alman Georg Wilhelm Friedrich Hegel "Syans nan lojik" ak analogue yo oswa absans yo nan pwogramasyon.

Antite ki soti nan Syans Lojik yo an italik pou evite konfizyon ak definisyon jeneral yo aksepte nan mo sa yo.

Pi bon kalite

Si ou louvri definisyon an pi bon kalite nan liv la, ou pral wè yon liy enteresan "san plis definisyon." Men, pou moun ki pa te li oswa ki pa konprann, pa prese akize otè a nan demans. Pi bon kalite - sa a se yon konsèp debaz nan lojik Hegel a, sa vle di ke kèk objè egziste, tanpri pa konfonn li ak egzistans yon objè, objè a ka pa egziste an reyalite, men si nou yon jan kanmenm defini li nan lojik nou an, li egziste. Si ou panse osijè de sa, vrèman genyen bagay konsa tankou pi bon kalite li enposib bay yon definisyon, ak nenpòt tantativ sa yo pral desann nan lefèt ke ou pral tou senpleman refere a sinonim oswa antonim li yo. Pi bon kalite tankou yon konsèp abstrè ke li ka aplike nan absoliman anyen, ki gen ladan tèt li. Nan kèk lang oryante objè, li posib pou reprezante nenpòt bagay kòm yon objè, ki gen ladan operasyon sou objè, ki nan prensip ba nou tankou yon nivo nan abstraksyon. Sepandan, nan pwogramasyon analòg dirèk la pi bon kalite Non. Pou tcheke egzistans yon objè, nou bezwen tcheke pou absans li.

if(obj != null);

Li etranj ke sik sentaktik sa a pa egziste ankò, bay chèk sa a trè popilè.

Pa gen anyen

Ki jan ou ta ka devine Pa gen anyen se absans anyen. Ak analogue li yo ka rele NULL. Li se vo anyen ke nan syans nan lojik Pa gen anyen se pi bon kalite, paske li egziste tou. Sa a se yon ti kras nan yon trape; nou pa ka jwenn aksè nan NULL kòm yon objè nan nenpòt lang, byenke nan sans li se youn tou.

Fòmasyon ak moman

Fòmasyon se yon tranzisyon soti nan Pa gen anyen в se ak soti nan ke yo te в Pa gen anyen. Sa ban nou de moman, premye a rele aparisyon, ak dezyèm lan pase. Pasaj yo rele l konsa olye pou yo disparisyon, paske sans lojik esansyèlman pa ka disparèt sof si nou bliye li. Retrè kòm sa yo nou ka rele pwosedi plasman an. Si objè nou inisyalize, lè sa a moman ensidan an, ak nan ka ta gen yon lòt valè oswa NULL moman pase.

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

Egzistans

An rezime egzistans se yon objè ki pa gen yon definisyon klè, men ki genyen sètitid. Sa sa vle di. Egzanp kanonik la se yon chèz òdinè. Si w eseye bay li yon definisyon klè, w ap rankontre anpil difikilte. Pou egzanp, ou di: "sa a se yon moso mèb ki fèt pou chita," men chèz la tou kreye pou sa a, elatriye. Men, mank de yon definisyon klè pa anpeche nou mete aksan sou li nan espas ak itilize li lè transmèt enfòmasyon sou li, sa a se paske nan tèt nou gen sètitid chèz. Petèt kèk te deja devine rezo neral yo te kreye pou izole objè sa yo nan kouran done yo. Yon rezo neral ka endike kòm yon fonksyon ki defini sa a sètitid, men pa gen okenn kalite objè ki ta gen ladan definisyon klè ak flou, kidonk objè sa yo pa ka itilize nan menm nivo abstraksyon.

Lwa a nan tranzisyon nan chanjman quantitative nan kalitatif yo

Lwa sa a te fòmile pa Friedrich Engels kòm yon rezilta nan entèpretasyon an nan lojik Hegel la. Sepandan, li ka byen klè nan volim nan premye nan chapit la sou mezi. Sans li se sa quantitative chanjman nan yon objè ka afekte li bon jan kalite. Pou egzanp, nou gen yon objè glas; ak akimilasyon tanperati, li pral tounen nan dlo likid epi chanje li kalite. Pou aplike konpòtman sa a nan yon objè, gen yon modèl konsepsyon Eta. Aparisyon yon solisyon konsa te koze pa absans nan pwogramasyon yon bagay tankou baz pou ensidan objè. Fondasyon detèmine kondisyon yo nan ki yon objè ka parèt, ak nan algorithm a nou menm nou deside nan ki pwen nou bezwen inisyalize objè a.

PS: Si enfòmasyon sa yo enteresan, mwen pral revize lòt antite ki soti nan Syans lojik.

Sous: www.habr.com