Este artigo está dedicado a unha análise comparativa de entidades lóxicas da obra do filósofo alemán Georg Wilhelm Friedrich Hegel “Ciencia da lóxica” cos seus análogos ou a súa ausencia na programación.

As entidades da Ciencia da Lóxica están en cursiva para evitar confusións coas definicións xeralmente aceptadas destas palabras.

Ser puro

Se abres a definición ser puro no libro, verás unha liña interesante "sen máis definición". Pero para quen non leu ou non entenda, non se apresure a acusar ao autor de demencia. Ser puro - Este é un concepto básico na lóxica de Hegel, o que significa que algún obxecto existe, por favor, non o confundas coa existencia dun obxecto, o obxecto pode non existir na realidade, pero se o definimos dalgún xeito na nosa lóxica, existe. Se pensas niso, realmente hai cousas como ser puro é imposible dar unha definición, e calquera intento deste tipo reducirase ao feito de que simplemente se referirá aos seus sinónimos ou antónimos. Ser puro un concepto tan abstracto que se pode aplicar a absolutamente calquera cousa, incluída a si mesma. Nalgunhas linguaxes orientadas a obxectos, é posible representar calquera cousa como un obxecto, incluídas as operacións sobre obxectos, o que en principio nos proporciona tal nivel de abstracción. Non obstante, na programación analóxica directa ser puro Non. Para comprobar a existencia dun obxecto, necesitamos comprobar a súa ausencia.

if(obj != null);

É estraño que tal azucre sintáctico non exista aínda, dado que este cheque é moi popular.

Nada

Como poderías adiviñar nada é a ausencia de nada. E o seu análogo pódese chamar NULL. Paga a pena sinalar que na ciencia da lóxica nada é ser puro, porque tamén existe. Isto é un pouco complicado; non podemos acceder a NULL como obxecto en ningún idioma, aínda que en esencia tamén o é.

Formación e momentos

Converterse é unha transición de nada в estar e de sendo в nada. Iso dános dous momento, o primeiro chámase emerxencia, e segundo pasando. Paso chámase así en lugar de desaparición, porque a esencia lóxica esencialmente non pode desaparecer a non ser que a esquezamos. Retirada como tal podemos denominar procedemento de asignación. Se o noso obxecto está inicializado, entón momento da aparición, e no caso de asignar outro valor ou NULL momento de paso.

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

Existencia

En resumo existencia é un obxecto que non ten unha definición clara, pero si ten certeza. Qué significa. O exemplo canónico é unha cadeira común. Se tentas darlle unha definición clara, atoparás moitas dificultades. Por exemplo, dis: "este é un moble pensado para sentar", pero a cadeira tamén está creada para iso, etc. Pero a falta dunha definición clara non nos impide resaltala no espazo e utilizala á hora de transmitir información sobre ela, isto é porque na nosa cabeza hai certeza cadeira. Quizais algúns xa adiviñou que as redes neuronais foron creadas para illar tales obxectos do fluxo de datos. Unha rede neuronal pódese denotar como unha función que o define certeza, pero non hai tipos de obxectos que inclúan definicións claras e difusas, polo que tales obxectos non se poden usar no mesmo nivel de abstracción.

A lei de transición dos cambios cuantitativos a cualitativos

Esta lei foi formulada por Friedrich Engels como resultado da interpretación da lóxica de Hegel. Porén, pódese ver claramente no primeiro volume do capítulo sobre medida. A súa esencia é iso cuantitativo cambios nun obxecto poden afectalo calidade. Por exemplo, temos un obxecto de xeo; coa acumulación de temperatura, transformarase en auga líquida e cambiará a súa calidades. Para implementar este comportamento nun obxecto, hai un patrón de deseño de estado. A aparición de tal solución é causada pola ausencia na programación de tal cousa como fundación para emerxencia obxecto. Fundación determina as condicións nas que pode aparecer un obxecto, e no algoritmo nós mesmos decidimos en que punto debemos inicializar o obxecto.

PS: Se esta información é interesante, revisarei outras entidades da Ciencia da Lóxica.

Fonte: www.habr.com