Este artigo é dedicado a uma análise comparativa de entidades lógicas da obra do filósofo alemão Georg Wilhelm Friedrich Hegel “Ciência da Lógica” com seus análogos ou sua ausência na programação.

As entidades da Ciência da Lógica estão em itálico para evitar confusão com as definições geralmente aceitas dessas palavras.

Ser puro

Se você abrir a definição ser puro no livro, você verá uma linha interessante “sem maiores definições”. Mas para quem não leu ou não entende, não se apresse em acusar o autor de demência. Ser puro - este é um conceito básico na lógica de Hegel, significando que algum objeto existe, por favor não o confunda com a existência de um objeto, o objeto pode não existir na realidade, mas se de alguma forma o definimos em nossa lógica, ele existe. Se você pensar bem, realmente existem coisas como ser puro é impossível dar uma definição, e qualquer tentativa desse tipo se resumirá ao fato de você simplesmente se referir a seus sinônimos ou antônimos. Ser puro um conceito tão abstrato que pode ser aplicado a absolutamente qualquer coisa, inclusive a si mesmo. Em algumas linguagens orientadas a objetos, é possível representar qualquer coisa como um objeto, incluindo operações sobre objetos, o que, em princípio, nos dá esse nível de abstração. Contudo, na programação do sinal analógico direto ser puro Não. Para verificar a existência de um objeto, precisamos verificar a sua ausência.

if(obj != null);

É estranho que tal açúcar sintático ainda não exista, visto que esta verificação é muito popular.

Nada

Como você poderia adivinhar nada é a ausência de qualquer coisa. E seu análogo pode ser chamado de NULL. É importante notar que na ciência da lógica nada é ser puro, porque também existe. Isso é um pouco complicado; não podemos acessar NULL como um objeto em qualquer linguagem, embora em essência ele também o seja.

Formação e momentos

Tornando-se é uma transição de nada в sendo e de sendo в nada. Isso nos dá dois o momento, o primeiro é chamado emergênciae o segundo passagem. Passagem é assim chamado em vez de desaparecimento, porque a essência lógica essencialmente não pode desaparecer a menos que a esqueçamos. Cancelamento como tal, podemos chamar o procedimento de atribuição. Se nosso objeto for inicializado, então momento da ocorrência, e no caso de atribuir outro valor ou NULL momento de passagem.

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

Existência

Resumidamente existência é um objeto que não possui uma definição clara, mas possui certeza. O que isso significa. O exemplo canônico é uma cadeira comum. Se você tentar dar uma definição clara, encontrará muitas dificuldades. Por exemplo, você diz: “este é um móvel feito para sentar”, mas a cadeira também foi criada para isso, etc. Mas a falta de uma definição clara não nos impede de destacá-lo no espaço e utilizá-lo na transmissão de informações sobre ele, isso porque na nossa cabeça existe certeza cadeira. Talvez alguns já tenham adivinhado que as redes neurais foram criadas para isolar tais objetos do fluxo de dados. Uma rede neural pode ser denotada como uma função que define esta certeza, mas não existem tipos de objetos que incluam definições claras e confusas; portanto, tais objetos não podem ser usados ​​no mesmo nível de abstração.

A lei da transição das mudanças quantitativas para as qualitativas

Esta lei foi formulada por Friedrich Engels como resultado da interpretação da lógica de Hegel. No entanto, isso pode ser visto claramente no primeiro volume do capítulo sobre menos. Sua essência é que quantitativo alterações em um objeto podem afetá-lo qualidade. Por exemplo, temos um objeto de gelo; com o acúmulo de temperatura, ele se transformará em água líquida e mudará sua forma. Qualidade. Para implementar esse comportamento em um objeto, existe um padrão de design State. O surgimento de tal solução é causado pela ausência na programação de algo como fundação para ocorrência objeto. Chão determina as condições sob as quais um objeto pode aparecer e, no algoritmo, nós mesmos decidimos em que ponto precisamos inicializar o objeto.

PS: Se esta informação for interessante, revisarei outras entidades da Ciência da Lógica.

Fonte: habr.com