Cet article est consacré à une analyse comparative des entités logiques tirées de l'œuvre du philosophe allemand Georg Wilhelm Friedrich Hegel « Les Sciences de la logiquе» avec leurs analogues ou leur absence en programmation.

Les entités de « Les Sciences de la logiquе» sont mises 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 d'être pur dans le livre, vous verrez une phrase intéressante « sans définition supplémentaire ». Mais pour ceux qui n'ont pas lu ou n'ont pas compris, ne vous dépêchez pas d'accuser l'auteur de démence. Être pur — c'est un concept de base dans la logique de Hegel signifiant qu'un objet existe ; ne pas le confondre avec l'existence de l'objet, un objet peut ne pas exister dans la réalité, mais s'il est défini d'une manière ou d'une autre dans notre logique, il existe. Si vous y réfléchissez, des choses comme cela d'être pur il est impossible de donner une définition, et toute tentative se réduira à des références à ses synonymes ou antonymes. Être pur si abstraite qu'elle peut s'appliquer à n'importe quoi, y compris elle-même. Dans certains langages orientés objet, il est possible de représenter tout comme un objet, y compris les opérations sur les objets, ce qui nous donne en principe ce niveau d'abstraction. Cependant, en programmation, il n'existe pas d'analogue direct à l'être pur . Pour vérifier l'existence d'un objet, nous devons vérifier son absence.

if(obj != null);

Il est étrange qu'il n'y ait pas encore de sucre syntaxique pour cela, étant donné que cette vérification est assez populaire.

Rien

Comme on pouvait s'y attendre rien est l'absence de quoi que ce soit. Son analogie peut être appelée NULL. Il est à noter qu'en logique scientifique rien est l'être pur, parce qu'il existe aussi. Il y a là un certain problème, car nous ne pouvons pas référencer NULL comme un objet dans aucun langage, bien qu'en essence il en soit un.

Devenir et moments

Devenir — c'est la transition de rien dans l'être et de de l'être. dans rienCela nous donne deux moments, le premier s'appelle l'émergence, et le second la précession. . La précession est nommée ainsi plutôt que disparition, car l'entité logique ne peut en fait pas disparaître, sauf si nous l'avons oubliée. La levée peut être appelée la procédure d'assignation. Dans le cas où nous initialisons un objet moment d'apparition, et en cas d'attribution d'une autre valeur ou de NULL moment de transition.

obj = new object(); // apparition
obj = null; // transition

Être actuel

En résumé être actuel — c'est un objet qui n'a pas de définition précise, mais qui a défini. Qu'est-ce que cela signifie ? Un exemple typique est une chaise ordinaire. Si vous essayez de lui donner une définition précise, vous rencontrerez de nombreuses difficultés. Par exemple, vous direz : « c'est un meuble destiné à s'asseoir », mais un fauteuil est également créé pour cela, etc. Cependant, l'absence de définition précise ne nous empêche pas de le distinguer dans l'espace et de l'utiliser pour transmettre des informations à son sujet, c'est parce que dans notre esprit il y a défini la chaise. Peut-être que certains ont déjà deviné que des réseaux neuronaux ont été créés pour distinguer de tels objets dans un flux de données. Un réseau neuronal peut être défini comme une fonction déterminant cette défini, mais il n'existe pas de types d'objets qui incluraient des définitions précises et floues, donc de tels objets ne peuvent pas être utilisés au même niveau d'abstraction.

Loi de la transition des modifications quantitatives en modifications qualitatives

Cette loi a été formulée par Friedrich Engels à la suite d'une interprétation de la logique de Hegel. Cependant, on peut bien la voir dans le premier volume dans le chapitre sur mesure. Son essence réside dans le fait que les modifications quantitatives dans un objet peuvent influencer sa qualité. Par exemple, nous avons un objet de glace, lorsqu'il accumulate de la chaleur, il se transforme en eau liquide et change ses qualités. Pour réaliser un tel comportement dans un objet, il existe un modèle de conception appelé « État ». L'émergence de cette solution a été provoquée par l'absence dans la programmation de quelque chose comme la base pour de l'apparition d'un objet. La base définit les conditions sous 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 cette information est intéressante, je ferai un examen d'autres entités de « La science de la logique ».

Source : habr.com