为何不为何：向量本体论作为 truly 形式 本体论框架

自 Edmund Husserl 在 20 世纪初提出 "形式本体论" 这一术语以来，一个以此为标识的学科受到日益增长的关注。许多作者，甚至 Husserl 本人都发展了他们声称是形式本体论的作品。我认为，在细致的检视下，这些所谓的形式本体论都不真正符合 Husserl 所定义的形式本体论。更具体地说，我演示了这些所谓的形式本体论违反了 Husserl 在其 "Logical Investigations" 中发展的两个最重要的概念，即独立于感知的先验有效性以及形式主义即完全缺乏内容。因此，我提出重新定位此前所谓的本体论作为它真正的基础本体论。这就是认识到一种真正符合 Husserl 意义上的形式本体论的潜力。具体而言，我认为遵循其条件的形式本体论允许我们构建能够捕捉客观事物的本体论结构，而无需预设特定的框架，这种框架源自感知。我进一步认为，能够有意识地设计形式结构的能力，使我们能够创建高度可扩展且可互操作的信息制品。作为具体证据，我展示了一类形式本体论——即使用向量空间公理构成的本体论——能够表达大多数基础本体论中发现的概念化。最重要的是，我认为许多信息系统，特别是人工智能系统，很可能已经在某种方式下使用向量本体论来表示现实中的内部世界观，并且也表明人类如此做。因此，我提出对向量本体论能够作为人机可互操作本体论框架的能力进行彻底的调查，这种框架允许我们理解高度复杂的机器人，以及机器人理解我们。