Questo articolo è dedicato ad un'analisi comparativa delle entità logiche tratte dall'opera del filosofo tedesco Georg Wilhelm Friedrich Hegel “Scienza della logica” con i loro analoghi o la loro assenza nella programmazione.

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

Essere puro

Se apri la definizione puro essere nel libro vedrai una riga interessante “senza ulteriore definizione”. Ma per chi non ha letto o non capisce, non abbiate fretta di accusare l’autore di demenza. Essere puro - questo è un concetto base nella logica di Hegel, il che significa che un oggetto esiste, per favore non confonderlo con l'esistenza di un oggetto, l'oggetto potrebbe non esistere nella realtà, ma se in qualche modo lo definiamo nella nostra logica, esiste. Se ci pensi, esistono davvero cose come puro essere è impossibile dare una definizione e qualsiasi tentativo del genere si ridurrà al fatto che ti riferirai semplicemente ai suoi sinonimi o contrari. Essere puro un concetto così astratto che può essere applicato assolutamente a qualsiasi cosa, compreso se stesso. In alcuni linguaggi orientati agli oggetti, è possibile rappresentare qualsiasi cosa come un oggetto, comprese le operazioni sugli oggetti, che in linea di principio ci fornisce un tale livello di astrazione. Tuttavia, nella programmazione dell'analogico diretto puro essere NO. Per verificare l'esistenza di un oggetto, dobbiamo verificarne l'assenza.

if(obj != null);

È strano che questo zucchero sintattico non esista ancora, dato che questo controllo è molto popolare.

Niente

Come puoi indovinare? РЅРЁС Рос è l'assenza di qualcosa. E il suo analogo può essere chiamato NULL. Vale la pena notare che nella scienza della logica РЅРЁС Рос è puro essere, perché esiste anche. Questo è un po' complicato; non possiamo accedere a NULL come oggetto in nessun linguaggio, sebbene in sostanza lo sia anche lui.

Formazione e momenti

diventando è una transizione da РЅРЁС Рос в essere e da Р ± С <С,РЁСЏ в РЅРЁС Рос. Questo ci dà due il momento, si chiama il primo emergenzae il secondo passando. Passaggio si chiama così invece di scomparsa, perché l'essenza logica essenzialmente non può scomparire se non l'abbiamo dimenticata. Ritiro come tale possiamo chiamare procedura di assegnazione. Se inizializziamo un oggetto, questo accade momento dell'accadimentoe in caso di assegnazione di un altro valore o NULL momento del passaggio.

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

Esistenza

In breve esistenza è un oggetto che non ha una definizione chiara, ma ce l'ha certezza. Cosa significa. L'esempio canonico è una sedia ordinaria. Se provi a dargli una definizione chiara, incontrerai molte difficoltà. Ad esempio, tu dici: "questo è un mobile pensato per sedersi", ma la sedia è creata anche per questo, ecc. Ma la mancanza di una definizione chiara non ci impedisce di evidenziarlo nello spazio e di utilizzarlo per trasmettere informazioni su di esso, questo perché nella nostra testa c'è certezza sedia. Forse alcuni hanno già intuito che le reti neurali sono state create per isolare tali oggetti dal flusso di dati. Una rete neurale può essere denotata come una funzione che lo definisce certezza, ma non esistono tipi di oggetti che includano definizioni chiare e confuse, pertanto tali oggetti non possono essere utilizzati allo stesso livello di astrazione.

La legge di transizione dei cambiamenti quantitativi in ​​quelli qualitativi

Questa legge è stata formulata da Friedrich Engels come risultato dell'interpretazione della logica di Hegel. Tuttavia, può essere visto chiaramente nel primo volume nel capitolo su meno. La sua essenza è questa quantitativo le modifiche a un oggetto possono influenzarlo качество. Ad esempio, abbiamo un oggetto di ghiaccio; con l'accumulo di temperatura, si trasformerà in acqua liquida e cambierà la sua qualità. Per implementare questo comportamento in un oggetto, esiste un modello di progettazione State. L'emergere di una tale soluzione è causata dall'assenza nella programmazione di qualcosa come fondazione per aspetto oggetto. Terra determina le condizioni in cui un oggetto può apparire e nell'algoritmo decidiamo noi stessi a che punto dobbiamo inizializzare l'oggetto.

PS: Se queste informazioni sono interessanti, esaminerò altre entità della Scienza della Logica.

Fonte: habr.com