Questo articolo è dedicato all'analisi comparativa delle entità logiche dall'opera del filosofo tedesco Georg Wilhelm Friedrich Hegel "La scienza della logica" e delle loro controparti o della loro assenza nella programmazione.

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

Essere puro

Se apri la definizione essere puro nel libro, vedrai una frase interessante "senza ulteriore definizione". Ma per coloro che non hanno letto o non hanno capito, non affrettatevi ad accusare l'autore di demenza. Essere puro — è un concetto di base nella logica di Hegel che significa che un certo oggetto è, per favore non confondetelo con l'esistenza dell'oggetto; un oggetto potrebbe non esistere nella realtà, ma se lo abbiamo in qualche modo definito nella nostra logica, esso esiste. Se ci pensate, ci sono davvero cose come essere puro impossibile dare una definizione, e qualsiasi tentativo in tal senso si ridurrebbe al fatto che semplicemente fareste riferimento ai suoi sinonimi o antonimi. Essere puro un concetto così astratto che può essere applicato a qualsiasi cosa, incluso se stesso. In alcuni linguaggi di programmazione orientati agli oggetti c'è la possibilità di rappresentare come oggetto tutto ciò che si desidera, comprese le operazioni sugli oggetti, il che, di fatto, ci dà tale livello di astrazione. Tuttavia, nella programmazione, non esiste un equivalente diretto di essere puro . Per verificare l'esistenza di un oggetto, dobbiamo controllarne l'assenza.

if(obj != null);

È strano che non ci sia ancora un tale zucchero sintattico, considerando che questa verifica è piuttosto comune.

Niente

Come si poteva immaginare niente è l'assenza di qualsiasi cosa. Il suo analogo può essere considerato NULL. Vale la pena notare che nella logica scientifica niente è l'essere puro, perché esso esiste anch'esso. Qui sta un certo inghippo, a NULL non possiamo riferirci come a un oggetto in nessun linguaggio, anche se in sostanza è anch'esso un oggetto.

Diventare e momenti

Diventare è la transizione da niente in essere e da essere in niente. Questo ci dà due momenti, il primo si chiama emergenza, e il secondo prevenzione. Prevenzione è chiamato così invece di scomparsa, perché l'entità logica in sostanza non può scomparire, solo se non l'abbiamo dimenticata. Rimozione si può definire come la procedura di assegnazione. Nel caso in cui venga inizializzato un oggetto si verifica il momento dell'emergere, mentre nel caso dell'assegnazione di un altro valore o NULL il momento della scomparsa.

obj = new object(); //emergere
obj = null; //scomparsa

Essere attuale

In breve essere attuale — è un oggetto che non ha una definizione chiara, ma ha una definizione. Cosa significa? Un esempio canonico è una comune sedia. Se provi a darle una definizione chiara, ti troverai di fronte a molte difficoltà. Ad esempio, potresti dire: «è un oggetto di arredamento destinato a sedersi», ma la poltrona è anch'essa progettata per questo, e così via. Ma l'assenza di una definizione chiara non ci impedisce di identificarla nello spazio e di utilizzarla per trasferire informazioni su di essa, questo perché nella nostra mente c'è una definizione la sedia. Forse alcuni hanno già intuito che per identificare tali oggetti dal flusso di dati sono state create reti neurali. Una rete neurale può essere definita come una funzione che determina questa una definizione, ma non esistono tipi di oggetti che comprendano definizioni chiare e indistinte, quindi tali oggetti non possono essere utilizzati sullo stesso livello di astrazione.

Legge del passaggio da cambiamenti quantitativi a qualitativi

Questa legge è stata formulata da Friedrich Engels a seguito dell'interpretazione della logica di Hegel. Tuttavia, può essere chiaramente vista nel primo volume nel capitolo su misura. La sua essenza consiste nel fatto che cambiamenti quantitativi in un oggetto possono influenzare la sua qualità. Ad esempio, abbiamo un oggetto ghiaccio, quando accumula temperatura si trasformerà in acqua liquida e cambierà le sue qualità. Per implementare questo comportamento nell'oggetto esiste un modello di design chiamato «Stato». L'emergere di questa soluzione è stato causato dall'assenza in programmazione di qualcosa come la base per dell'emergere di un oggetto. Base determina le condizioni in cui un oggetto può emergere, e nell'algoritmo decidiamo noi stessi in quale momento dobbiamo inizializzare l'oggetto.

PS: Se queste informazioni saranno interessanti, farò una rassegna di altre entità dalla «Scienza della logica».

Fonte: habr.com