Este artículo está dedicado a un análisis comparativo de entidades lógicas del trabajo del filósofo alemán Georg Wilhelm Friedrich Hegel "La ciencia de la lógica" con sus análogos o su ausencia en la programación.

Las entidades de la Ciencia de la Lógica están en cursiva para evitar confusión con las definiciones generalmente aceptadas de estas palabras.

ser puro

Si abres la definición ser puro En el libro verás una línea interesante “sin más definición”. Pero para aquellos que no han leído o no entienden, no se apresuren a acusar al autor de demencia. ser puro - este es un concepto básico en la lógica de Hegel, lo que significa que algún objeto existe, no lo confunda con la existencia de un objeto, un objeto puede no existir en la realidad, pero si de alguna manera lo definimos en nuestra lógica, existe. Si lo piensas bien, realmente existen cosas como ser puro es imposible dar una definición, y cualquier intento de este tipo se reducirá al hecho de que simplemente se hará referencia a sus sinónimos o antónimos. ser puro Un concepto tan abstracto que se puede aplicar a absolutamente cualquier cosa, incluido él mismo. En algunos lenguajes orientados a objetos, es posible representar cualquier cosa como un objeto, incluidas las operaciones sobre objetos, lo que en principio nos da tal nivel de abstracción. Sin embargo, al programar el analógico directo ser puro No. Para comprobar la existencia de un objeto, debemos comprobar su ausencia.

if(obj != null);

Es extraño que tal azúcar sintáctico no exista todavía, dado que esta verificación es muy popular.

Nada

¿Cómo pudiste adivinar? nada es la ausencia de cualquier cosa. Y su análogo se puede llamar NULL. Vale la pena señalar que en la ciencia de la lógica. nada es ser puro, porque también existe. Esto es un poco complicado; no podemos acceder a NULL como un objeto en ningún lenguaje, aunque en esencia también lo es.

Formación y momentos

Llegando a ser es una transición de nada в ser y desde siendo в nada. Eso nos da dos tiempo, el primero se llama aparicióny el segundo paso. Paso se llama así en lugar de desaparición, porque la esencia lógica esencialmente no puede desaparecer a menos que la hayamos olvidado. Retiro como tal podemos llamar al procedimiento de asignación. Si nuestro objeto está inicializado, entonces momento de ocurrencia, y en caso de asignar otro valor o NULL momento de pasar.

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

Existencia

En breve existencia es un objeto que no tiene una definición clara, pero tiene certeza. Qué significa. El ejemplo canónico es una silla ordinaria. Si intentas darle una definición clara, encontrarás muchas dificultades. Por ejemplo, dices: “este es un mueble diseñado para sentarse”, pero la silla también está creada para esto, etc. Pero la falta de una definición clara no nos impide resaltarlo en el espacio y utilizarlo a la hora de transmitir información sobre él, esto se debe a que en nuestra cabeza hay certeza silla. Quizás algunos ya hayan adivinado que las redes neuronales se crearon para aislar dichos objetos del flujo de datos. Una red neuronal se puede denotar como una función que define esto. certeza, pero no existen tipos de objetos que incluyan definiciones claras y confusas, por lo tanto, dichos objetos no pueden usarse en el mismo nivel de abstracción.

La ley de transición de cambios cuantitativos a cualitativos.

Esta ley fue formulada por Friedrich Engels como resultado de la interpretación de la lógica de Hegel. Sin embargo, se puede ver claramente en el primer volumen del capítulo sobre menos. Su esencia es que cuantitativo Los cambios en un objeto pueden afectarlo. calidad. Por ejemplo, tenemos un objeto de hielo; con la acumulación de temperatura, se convertirá en agua líquida y cambiará su calidad. Para implementar este comportamiento en un objeto, existe un patrón de diseño de estado. La aparición de tal solución se debe a la ausencia en la programación de algo como fundación para ocurrencia objeto Planta determina las condiciones bajo las cuales puede aparecer un objeto, y en el algoritmo nosotros mismos decidimos en qué punto necesitamos inicializar el objeto.

PS: Si esta información es interesante, revisaré otras entidades de la Ciencia de la Lógica.

Fuente: habr.com