Artikulu hau Georg Wilhelm Friedrich Hegel filosofo alemaniaren "Logikaren Zientzia" laneko entitate logikoen analisi konparatiboari zuzenduta dago, haien analogoekin edo programazioan ez dutenekin.
Logikaren Zientziako entitateak letra etzanez daude, orokorrean onartutako hitz horien definizioekin nahasketa saihesteko.
Izaki hutsa
Definizioa irekitzen baduzu izate hutsa liburuan, "definizio gehiagorik gabe" lerro interesgarri bat ikusiko duzu. Baina irakurri ez duten edo ulertzen ez dutenentzat, ez izan presarik egileari dementzia leporatzeko. Izaki hutsa - Hau Hegel-en logikan oinarrizko kontzeptua da, hau da, objekturen bat existitzen dela, mesedez ez nahastu objektu baten existentziarekin, baliteke objektua errealitatean ez egotea, baina nolabait gure logikan definitzen badugu, existitzen da. Pentsatzen baduzu, benetan badaude horrelako gauzak izate hutsa ezinezkoa da definiziorik ematea, eta halako saiakera horren sinonimoak edo antonimoak aipatzea besterik ez da egingo. Izaki hutsa hain kontzeptu abstraktua, non erabat edozertara aplika daitekeela, bera barne. Objektuetara zuzendutako lengoaia batzuetan, posible da edozer objektu gisa irudikatzea, objektuen gaineko eragiketak barne, eta horrek printzipioz halako abstrakzio maila ematen digu. Hala ere, zuzeneko analogikoa programatzean izate hutsa Ez. Objektu baten existentzia egiaztatzeko, haren eza egiaztatu behar dugu.
if(obj != null);
Bitxia da halako azukre sintaktikoa oraindik ez egotea, txeke hau oso ezaguna dela kontuan hartuta.
Ezer
Nola asma dezakezu ezer ezer eza da. Eta bere analogikoa NULL deitu daiteke. Aipatzekoa da logikaren zientzian ezer da izate hutsa, existitzen baita ere. Hau apur bat harrapaketa da; ezin dugu NULL objektu gisa sartu edozein hizkuntzatan, nahiz eta funtsean hori ere izan.
Formazioa eta uneak
bilakatu trantsizio bat da ezer Π² izatea eta bertatik izatea Π² ezer. Horrek bi ematen dizkigu momentua, lehenengoari deitzen zaio agerpena, eta bigarrena igarotzen. Pasabidea hala deitzen zaio desagertzearen ordez, esentzia logikoa funtsean ezin baita desagertu ahaztu ez badugu. Erretiratzea hala, esleipen prozedura deitu dezakegu. Gure objektua hasieratzen bada, orduan agerraldi unea, eta beste balio bat edo NULL esleituz gero pasatzeko unea.
obj = new object(); //Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅
obj = null; //ΠΏΡΠ΅Ρ
ΠΎΠΆΠ΄Π΅Π½ΠΈΠ΅
Existentzia
Laburbilduz existentzia definizio argirik ez duen objektua da, baina badu ziurtasuna. Zer esan nahi du. Adibide kanonikoa aulki arrunta da. Definizio argi bat ematen saiatzen bazara, zailtasun ugari topatuko dituzu. Adibidez, esaten duzu: βesertzeko diseinatutako altzari bat daβ, baina aulkia ere horretarako sortua da, etab. Baina definizio argi baten faltak ez digu eragozten espazioan nabarmentzea eta horri buruzko informazioa transmititzerakoan erabiltzea, hau da gure buruan dagoelako. ziurtasuna aulkia. Agian batzuek dagoeneko asmatu dute sare neuronalak sortu zirela halako objektuak datu-korrontetik isolatzeko. Neurona-sare bat hau definitzen duen funtzio gisa adieraz daiteke ziurtasuna, baina ez dago definizio argi eta lausoak barne hartuko dituen objektu motarik, beraz, horrelako objektuak ezin dira abstrakzio maila berean erabili.
Aldaketa kuantitatiboen trantsizio legea kualitatiboetara
Lege hau Friedrich Engelsek formulatu zuen Hegelen logikaren interpretazioaren ondorioz. Hala ere, argi ikus daiteke kapituluko lehen liburukian neurria. Bere funtsa hori da kuantitatiboa objektu baten aldaketek eragina izan dezakete kalitatea. Adibidez, izotz objektu bat dugu; tenperatura metatzean, ur likido bihurtuko da eta aldatu egingo da kalitatea. Objektu batean portaera hori ezartzeko, Estatuaren diseinu-eredu bat dago. Irtenbide horren agerpena bezalako gauza baten programazioan ez egoteak eragiten du fundazioa egiteko agerpena objektua. fundazioa objektu bat zein baldintzatan ager daitekeen zehazten du, eta algoritmoan guk geuk erabakitzen dugu zein puntutan hasieratu behar dugun objektua.
PS: Informazio hau interesgarria bada, Logikaren Zientziako beste entitate batzuk aztertuko ditut.
Iturria: www.habr.com