第二章由两组对立开篇：一是本体对本体论，二是语义对语法。本章通过汤姆·格鲁伯(TomGruber)的研究以及巴里·史密斯、尼古拉·高利诺以及鲍里斯·海宁格(BorisHennig)等对形式本体论的研究，概述了计算领域的多种本体与物体概念。形式本体论是由胡塞尔在他的《逻辑研究》以及后来的《形式逻辑和先验逻辑》中提出的概念，后来被信息系统领域的当代哲学家采用。我们必须意识到，此处提及胡塞尔其实忽略了胡塞尔研究的根本目的，即对逻辑的现象学研究方法。本章提议从全新视角看待物体概念以及本体论。本章关注计算机与认知科学家布赖恩·坎特韦尔·史密斯的研究，他的著作《论物的起源》强烈批判计算机科学家研究本体的教条主义方法，并提出计算的基础形而上学。我们将会看到，坎特韦尔·史密斯的方法其实接近于胡塞尔的方法，特别是后者被形式本体论家所忽略的方面。本章随后引进另一个本体论概念，即海德格尔的基本本体论，或本体论(Ontology)。本章结尾提出这些对立可由第三个术语化解，即关系。
第二部分旨在发展唯物主义的关系论。第三章通过研究哲学史上(特别是亚里士多德、莱布尼茨、休谟、海德格尔以及伯特兰·罗素)的关系论概述了该理论。本章提出以两种形式理解关系：话语关系与存在关系。本章随后说明话语关系如何在计算中—首先通过关系演算，然后通过埃德加·科德提出的关系数据库，最终在当下语义网的发展中—执行。本章提出，要理解数码物的个体化，就必须化解话语
导言数码物研究提纲
41
35