Questo articolo è dedicato a un'analisi comparativa delle entità logiche dell'opera del filosofo tedesco Georg Wilhelm Friedrich Hegel "Scienza della logica" con i loro analoghi o l'assenza di essi nella programmazione.

Le entità dalla "Scienza della logica" sono evidenziate in corsivo per evitare confusione con le definizioni generalmente accettate di queste parole.

Essere puro

Se aprite la definizione essere puro nel libro, vedrete una frase interessante "senza ulteriore definizione". Ma per coloro che non hanno letto o non hanno compreso, non affrettatevi ad accusare l'autore di demenza. Essere puro — è un concetto di base nella logica di Hegel che significa che un certo oggetto esiste, da non confondere con l'esistenza dell'oggetto; l'oggetto potrebbe non esistere nella realtà, ma se lo abbiamo in qualche modo definito nella nostra logica, esso esiste. Se ci pensate, davvero, cose come essere puro è impossibile dare una definizione, e qualsiasi tentativo di farlo si ridurrà al fatto che farete semplicemente riferimento ai suoi sinonimi o antonimi. Essere puro un concetto così astratto che può applicarsi a qualsiasi cosa, incluso se stesso. In alcuni linguaggi orientati agli oggetti, è possibile rappresentare sotto forma di oggetto qualsiasi cosa, comprese le operazioni sugli oggetti, il che ci dà essenzialmente un tale livello di astrazione. Tuttavia, nella programmazione non esiste un'analogia diretta per essere puro . Per verificare l'esistenza di un oggetto, dobbiamo controllarne l'assenza.

if(obj != null);

È strano che non esista ancora una tale dolcezza sintattica, considerando che questa verifica è piuttosto popolare.

Niente

Come si poteva indovinare niente è l'assenza di qualsiasi cosa. La sua controparte può essere chiamata NULL. Vale la pena notare che nella logica scientifica niente è l'essere puro, perché esso esiste anch'esso. Ecco dove si trova un certo inghippo, a NULL non possiamo accedere come a un oggetto in nessun linguaggio, sebbene in sostanza anche esso sia un oggetto.

Diventare e momenti

Diventare — è il passaggio da niente in essere e uno di a in niente. Questo ci fornisce due momenti, il primo è chiamato insorgenza, e il secondo precessione. La precessione è così chiamata invece di scomparsa, perché l'entità logica in sostanza non può scomparire, solo se l'abbiamo dimenticata. La sottrazione può essere chiamata la procedura di assegnazione. Nel caso in cui inizializziamo un oggetto, si verifica il momento dell'insorgenza, mentre nel caso di assegnazione di un altro valore o NULL il momento della precessione.

obj = new object(); //insorgenza
obj = null; //precessione

Essere presente

In sintesi, essere presente è un oggetto che non ha una definizione chiara, ma ha una definizione. Cosa significa questo. Un esempio canonico è una sedia ordinaria. Se provate a darle una definizione chiara, vi troverete ad affrontare molte difficoltà. Ad esempio, potreste dire: "è un oggetto di arredamento destinato a sedersi", ma anche la poltrona è stata creata per questo, e così via. Ma l'assenza di una definizione chiara non ci impedisce di identificarlo nello spazio e di utilizzarlo per trasmettere informazioni su di esso, perché nella nostra mente c'è definizione una sedia. È possibile che alcuni abbiano già intuito che per distinguere tali oggetti dal flusso di dati sono state create reti neurali. Una rete neurale può essere definita come una funzione che definisce questa definizione, ma non esistono categorie di oggetti che includano sia definizioni chiare che indistinte, quindi tali oggetti non possono essere utilizzati a un livello di astrazione congruente.

Legge del passaggio da modifiche quantitative a qualitative

Questa legge è stata formulata da Friedrich Engels in seguito all'interpretazione della logica di Hegel. Tuttavia, può essere facilmente vista nel primo volume nel capitolo su misura. La sua essenza risiede nel fatto che modifiche quantitative nell'oggetto possono influenzare la sua qualità. Ad esempio, abbiamo un oggetto ghiaccio; accumulando calore, esso si trasformerà in acqua liquida e cambierà le sue qualità. Per implementare questo comportamento nell'oggetto, esiste un modello di progettazione chiamato “Stato”. L'emergere di questa soluzione è stata causata dall'assenza in programmazione di qualcosa come fondamento per dell'emergere di un oggetto. Fondazione definisce le condizioni sotto le quali un oggetto può emergere, e nell'algoritmo decidiamo noi stessi quando dobbiamo inizializzare l'oggetto.

PS: Se queste informazioni vi sembrano interessanti, condurrò un'analisi di altre entità dalla "Scienza della logica".

Fonte: habr.com