Aquest article està dedicat a una anàlisi comparativa d'entitats lògiques de l'obra del filòsof alemany Georg Wilhelm Friedrich Hegel "Ciència de la lògica" amb els seus anàlegs o la seva absència en la programació.

Les entitats de la Ciència de la Lògica estan en cursiva per evitar confusions amb les definicions generalment acceptades d'aquestes paraules.

Pur ésser

Si obriu la definició ésser pur al llibre, veureu una línia interessant "sense més definició". Però per a aquells que no han llegit o no ho entenen, no s'afanyin a acusar l'autor de demència. Pur ésser - Aquest és un concepte bàsic en la lògica de Hegel, és a dir, que existeix algun objecte, si us plau, no el confongueu amb l'existència d'un objecte, l'objecte pot no existir en la realitat, però si d'alguna manera el definim a la nostra lògica, existeix. Si hi penses bé, realment hi ha coses com ara ésser pur és impossible donar una definició, i qualsevol intent d'aquest tipus es reduirà al fet que simplement us referireu als seus sinònims o antònims. Pur ésser un concepte tan abstracte que es pot aplicar a absolutament qualsevol cosa, inclòs a si mateix. En alguns llenguatges orientats a objectes, és possible representar qualsevol cosa com a objecte, incloses les operacions sobre objectes, que en principi ens proporciona aquest nivell d'abstracció. No obstant això, en la programació analògica directa ésser pur No. Per comprovar l'existència d'un objecte, hem de comprovar la seva absència.

if(obj != null);

És estrany que aquest sucre sintàctic encara no existeixi, donat que aquest xec és molt popular.

Res

Com ho podries endevinar res és l'absència de res. I el seu anàleg es pot anomenar NULL. Val la pena assenyalar que en la ciència de la lògica res és ésser pur, perquè també existeix. Això és una mica complicat; no podem accedir a NULL com a objecte en cap idioma, encara que en essència també ho és.

Formació i moments

Esdevenir és una transició de res в estar i des de ésser в res. Això ens dóna dos moment, el primer es diu emergència, i segon passant. Passatge s'anomena així en lloc de desaparició, perquè l'essència lògica essencialment no pot desaparèixer si no l'hem oblidat. Retirada com a tal podem anomenar procediment d'assignació. Si el nostre objecte està inicialitzat, aleshores moment de l'ocurrència, i en cas d'assignar un altre valor o NULL moment del pas.

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

Existència

En resum existència és un objecte que no té una definició clara, però sí certesa. Què vol dir. L'exemple canònic és una cadira normal. Si intenteu donar-li una definició clara, trobareu moltes dificultats. Per exemple, dius: "aquest és un moble dissenyat per seure", però la cadira també està creada per a això, etc. Però la manca d'una definició clara no ens impedeix ressaltar-lo a l'espai i utilitzar-lo a l'hora de transmetre informació sobre ell, això és perquè al nostre cap hi ha certesa cadira. Potser alguns ja han endevinat que es van crear xarxes neuronals per aïllar aquests objectes del flux de dades. Una xarxa neuronal es pot denotar com una funció que ho defineix certesa, però no hi ha tipus d'objectes que incloguin definicions clares i difuses, per tant, aquests objectes no es poden utilitzar al mateix nivell d'abstracció.

La llei de transició dels canvis quantitatius als qualitatius

Aquesta llei va ser formulada per Friedrich Engels com a resultat de la interpretació de la lògica de Hegel. Tanmateix, es pot veure clarament al primer volum del capítol sobre almenys. La seva essència és això quantitativa els canvis a un objecte poden afectar-lo качество. Per exemple, tenim un objecte de gel; amb l'acumulació de temperatura, es convertirà en aigua líquida i la canviarà Qualitat. Per implementar aquest comportament en un objecte, hi ha un patró de disseny d'estat. L'aparició d'aquesta solució és causada per l'absència en la programació d'una cosa com fundació per emergència objecte. fundació determina les condicions en què pot aparèixer un objecte, i en l'algorisme decidim nosaltres mateixos en quin punt hem d'iniciar l'objecte.

PS: Si aquesta informació és interessant, revisaré altres entitats de la Ciència de la Lògica.

Font: www.habr.com