关其述语的命题，其中的命题则仍然需要由研究者来判断真伪。在上面的「图2」中，如连接着方格和椭圆间箭头的图像间之关系可以标示着述语。不同抽象化的等级可以以多层的箭头依序地连在一起来标记。
哲学里的抽象化.哲学中的抽象化是指认知某类个体内的普遍性质之概念形成及形成其性质概念之准则的过程。抽象化的概念对于了解某些围绕着经验主义和普遍论争之间的哲学争议是非常重要的。这在最近的述语抽象化之下之形式逻辑中变得很受欢迎。另一个讨论抽象化的哲学工具为思想空间。
本体状态.