编程中的逻辑科学

编程中的逻辑科学

本文致力于对德国哲学家格奥尔格·威廉·弗里德里希·黑格尔《逻辑科学》著作中的逻辑实体与其类似物或它们在编程中的缺失进行比较分析。

逻辑科学中的实体以斜体显示,以避免与这些词的普遍接受的定义相混淆。

纯粹的存在

如果你打开定义 纯粹的存在 在书中,你会看到一句有趣的台词“没有进一步的定义”。 但没读过或者不明白的人,先别急着指责作者痴呆。 纯粹的存在 - 这是黑格尔逻辑中的一个基本概念,意思是某个对象存在,请不要将它与对象的存在混淆,该对象在现实中可能不存在,但如果我们以某种方式在逻辑中定义它,它就存在。 如果你仔细想想,确实有这样的事情 纯粹的存在 给出定义是不可能的,任何此类尝试都将归结为您将简单地引用其同义词或反义词。 纯粹的存在 这是一个抽象的概念,它可以应用于绝对任何事物,包括它本身。 在一些面向对象的语言中,可以将任何东西表示为对象,包括对对象的操作,原则上这给了我们这样一个抽象级别。 然而,在编程时直接模拟 纯粹的存在 不。 为了检查一个对象是否存在,我们需要检查它是否不存在。

if(obj != null);

奇怪的是,鉴于这种检查非常流行,这样的语法糖还不存在。

没什么

你怎么能猜到 没什么 就是什么都没有。 它的类似物可以称为NULL。 值得注意的是,在逻辑科学中 没什么 这是 纯粹的存在,因为它也存在。 这有点麻烦;我们不能在任何语言中将 NULL 作为对象来访问,尽管本质上它也是一个。

阵型和时刻

成为 是一个过渡 没什么 в 存在 并从 存在 в 没什么。 这给了我们两个 当下,第一个称为 紧急情况第二个 通过. 通道 之所以这样称呼它而不是消失,是因为逻辑本质本质上不会消失,除非我们忘记了它。 退出 因此我们可以调用赋值过程。 如果我们的对象被初始化,那么 发生的时刻,并且在分配另一个值或 NULL 的情况下 路过的瞬间.

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

存在

简而言之 存在 是一个没有明确定义的对象,但有 肯定。 这是什么意思。 典型的例子是一把普通的椅子。 如果你试图给它一个明确的定义,你会遇到很多困难。 例如,你说:“这是一件专为坐而设计的家具”,但椅子也是为此而设计的,等等。 但缺乏明确的定义并不妨碍我们在空间中突出它并在传递有关它的信息时使用它,这是因为在我们的头脑中存在着 肯定 椅子。 也许有些人已经猜测神经网络的创建是为了将此类对象与数据流隔离。 神经网络可以表示为定义此的函数 肯定,但不存在包含清晰和模糊定义的对象类型,因此此类对象不能在同一抽象级别上使用。

量变向质变转变的规律

这一定律是弗里德里希·恩格斯对黑格尔逻辑进行解释后提出的。 但从第一卷的章节中可以清楚地看到 至少。 其本质是 定量的 对对象的更改可能会影响它 质量。 比如我们有一个冰物体,随着温度的积累,它会变成液态水,改变它的性质。 质量。 为了在对象中实现此行为,有一个状态设计模式。 这种解决方案的出现是由于编程中缺乏这样的东西造成的 基金会发生 目的。 基金会 确定对象可以出现的条件,并且在算法中我们自己决定在什么时候需要初始化对象。

PS: 如果这些信息有趣,我将回顾逻辑科学中的其他实体。

来源: habr.com

添加评论