Cet article est consacré à une analyse comparative des entités logiques issues des travaux du philosophe allemand Georg Wilhelm Friedrich Hegel « Science de la logique » avec leurs analogues ou leur absence dans la programmation.

Les entités de la science logique sont en italique pour éviter toute confusion avec les définitions généralement acceptées de ces mots.

Être pur

Si vous ouvrez la définition être pur dans le livre, vous verrez une ligne intéressante « sans autre définition ». Mais pour ceux qui n’ont pas lu ou ne comprennent pas, ne vous précipitez pas pour accuser l’auteur de démence. Être pur - c'est un concept fondamental dans la logique de Hegel, signifiant qu'un objet existe, ne le confondez pas avec l'existence d'un objet, l'objet peut ne pas exister dans la réalité, mais si nous le définissons d'une manière ou d'une autre dans notre logique, il existe. Si vous y réfléchissez, il existe vraiment des choses comme être pur il est impossible d'en donner une définition, et toute tentative de ce type se résumera au fait que vous vous référerez simplement à ses synonymes ou antonymes. Être pur un concept tellement abstrait qu’il peut s’appliquer à absolument tout, y compris lui-même. Dans certains langages orientés objet, il est possible de représenter n'importe quoi comme un objet, y compris des opérations sur des objets, ce qui nous donne en principe un tel niveau d'abstraction. Cependant, lors de la programmation de l'analogique directe être pur Non. Pour vérifier l’existence d’un objet, il faut vérifier son absence.

if(obj != null);

Il est étrange qu'un tel sucre syntaxique n'existe pas encore, étant donné que ce contrôle est très populaire.

Rien

Comment as-tu pu deviner rien c'est l'absence de quoi que ce soit. Et son analogue peut être appelé NULL. Il convient de noter que dans la science de la logique rien il est être pur, parce qu'il existe aussi. C'est un peu un piège : nous ne pouvons pas accéder à NULL en tant qu'objet dans aucun langage, même si, en substance, il en est également un.

Formation et moments

Devenir est une transition de rien в être et de la vie в rien. Cela nous donne deux le moment, le premier s'appelle émergenceet le second qui passe. Passage on l'appelle ainsi au lieu de disparition, parce que l'essence logique ne peut essentiellement disparaître que si nous l'oublions. Retrait en tant que tel, nous pouvons appeler la procédure d'affectation. Si notre objet est initialisé, alors moment de l'événement, et en cas d'attribution d'une autre valeur ou NULL moment de passage.

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

Existence

En bref existence est un objet qui n'a pas de définition claire, mais qui a certitude. Qu'est-ce que ça veut dire. L'exemple canonique est une chaise ordinaire. Si vous essayez de lui donner une définition claire, vous rencontrerez de nombreuses difficultés. Par exemple, vous dites : « ceci est un meuble conçu pour s'asseoir », mais la chaise est aussi créée pour cela, etc. Mais l'absence d'une définition claire ne nous empêche pas de le mettre en évidence dans l'espace et de l'utiliser pour transmettre des informations à son sujet, car dans notre tête il y a certitude chaise. Peut-être que certains ont déjà deviné que les réseaux de neurones ont été créés pour isoler ces objets du flux de données. Un réseau de neurones peut être désigné comme une fonction qui définit ce certitude, mais il n'existe aucun type d'objet qui inclurait des définitions claires et floues, ces objets ne peuvent donc pas être utilisés au même niveau d'abstraction.

La loi de transition des changements quantitatifs en changements qualitatifs

Cette loi a été formulée par Friedrich Engels à la suite de l'interprétation de la logique de Hegel. Cependant, cela apparaît clairement dans le premier volume du chapitre sur moins. Son essence est que quantitatif les modifications apportées à un objet peuvent l'affecter качество. Par exemple, nous avons un objet de glace ; avec l’accumulation de température, il se transformera en eau liquide et changera de forme. Qualité. Pour implémenter ce comportement dans un objet, il existe un modèle de conception State. L'émergence d'une telle solution est due à l'absence dans la programmation d'un élément tel que fondation pour occurrence objet. Rez-de- détermine les conditions dans lesquelles un objet peut apparaître, et dans l'algorithme, nous décidons nous-mêmes à quel moment nous devons initialiser l'objet.

PS: Si ces informations sont intéressantes, je passerai en revue d'autres entités issues de la Science de la Logique.

Source: habr.com