论数码物的存在

[79] Ibid.

[80] Harman, Tool-Being.

[81]“关系矩阵”这一翻译由理查德森（Richardson)提出，Heidegger：Through Phenomenology to Thought, 56

第三章 网络空间

论数码物的存在

264

250

Substance”命名的，5。

[28] Aristotle, Categories, 2a13—2a18.

[29] Decorte,“Relation and Substance".

注 释

265

251

Humeand Husserl, 70. [54]Ibid. [55] Ibid. [56]Ibid., 25. [57]Ibid.

[58]这段文字写于1893年到1917年之间；然而，海德格尔编辑的这本书在1928年才出版，是在《存在与时间》发行一年后才出版。

[60] Quoted by Deleuze, Empiricism and Subjectivity, 96.

[61] Hume, A Treatise of Human Nature, 23.

[62] Ibid.

[63] Quoted by Deleuze, Empiricism and Subjectivity, 99.

[64] Hausman, “Hume's Theory of Relations," 260—262.

[65] Deleuze, Empiricism and Subjectivity, 99.

[66] Kant and Pluhar, Critique of Pure Reason, B128.

[67] Ibid., B108.

[69] Ibid., section 64, 199.

[70]Ibid.

[71]Russell, Principles of Mathematics.

[72] Dreyfus, What Computers Can't Do, 211.

[73] Mugnai, Leibniz'Theory of Relations, 10.

[74]Frémont，Singularités(单—性)，2001.

[75] Mugnai, 19, quoted from Leibniz, “Notes to Temmik".

论数码物的存在

266

252

(2)关系的否定是一种关系，而一类关系的逻辑结果是一种关系；(3)两种关系的相对产物必然是一种关系；(4)实质条件是一种关系；(5)一个词与它所属的类的关系是一种关系。

[88] Grolingeret al., “DataManagementin Cloud Environments".

[89] Dourish,“NoSQL”.

[91]同时，我们看到这两者之间的融合。正如我们在第一章中所见，在语义网络的愿景中，智能代理在决策制定与逻辑推理中起着至关重要的作用。

[93] See McGuinness and van Harmelen, “OWL Web Ontology Language”,其中他们定义了“不同于”：一个人可能被说成与其他人不同。例如，个体弗兰克可能会被说成与个体底波拉和吉姆不同。因此，如果个体弗兰克和底波拉都是一个被陈述为功能的属性值(因此该属性最多只有一个值)，那么就存在矛盾。在使用网络本体语言(和资源定义框架)等语言时，明确指出个体不同可能会十分重要，它们并不假定个体只有一个名字。譬如，没有额外信息的情况下，推理机不会推断弗兰克与底波拉指不同的个人。

[94]Heidegger, Being and Time,97, section 68.

[96] Heidegger,Fundamental Concepts of Metaphysics, 198; GA 29/30,291.

[97]这在休伯特·德雷福斯关于海德格尔式人工智能的著作中非常重要：几位计算机科学家受到他的影响，包括特里，温诺格拉德和菲利普·阿格雷。

注 释

267

[106] Triclot，“Milieu Technique”（技术环境)。

[107]Leroi-Gourhan，Milieu et technique(技术与环境),334。

[108] Quoted by Triclot, “Milieu Technique" , 24, from Leroi-Gourhan, Milieu ettechnique, 332。

[109] Stiegler, Technics and Time, vol.1.

268

253

第四章 技术系统的时间

[1] Dreyfus, What Computers Can't Do, 196.

[2] Dreyfus, "Why Heideggerian AI Failed".

[3] Dreyfus, What Computers Still Can't Do,289.

[4] Wilks, “Semantic Web”, 42.

[5]Dreyfus,“Why Heideggerian AI Failed"

[9] Ibid., 100.

[10] Ibid., 72—74.

[16] Ibid., 175.

论数码物的存在

269

254

注释

255

第五章 逻辑与客体

[1] Simondon,“Technical Mentality”, 20.

[2]Simondon,Du mode d'existence des objets techniques, 276.

[3我们将在本章结尾再次考察客体间性与主体间性之间的关系。

[4] http://www.etymonline.com/index.php? term= traduce.

[5] Lokhorst, “Descartes and the Pineal Gland".

[16]Munn，“What Is OntologyFor?”，12.“存储在自动化系统中的信息构成了知识，这些知识是在我们有充分理由相信是真实的信念的意义上来讲的，但是如果我们得到理由推翻这些信念，我们就不会以教条的方式坚持它们。”

[19] Hayes, “Catching the Dreams"

[20]有关语法和语义修改的详细信息，请参阅Menzel，“KnowledgeRepresentation”。

[22]Berners-Lee,“Semantic Web as a Language of Logic”.在这一注释中，伯纳斯李讨论弗雷格的失误(罗素的悖论)并询问重新定义有效性的可能性：“当弗雷格尝试二阶逻辑时，我明白，罗素表明他的逻辑不一致。但是，我们可以制定一种一致的语言(你无法从它的公理中推导出矛盾)，但允许充足，例如：以现实的方式模拟人的信任，写下从可扩展标记语言到资源定义框架逻辑的映射，以允许定理可以从原始的可扩展标记语言中得到证明(并且类似地定义逻辑中的可扩展标记语言语法以允许从字节流中证明定理)，并使用它。”

[23] Davis, Engines of Logic, 52.

[24更确切地说，任务是证明可以将一阶逻辑的规则应用于自然数公理系统，现在被称为皮亚诺算法。

论数码物的存在

271

256

[35]Ibid.，133.弗雷格接受这样一个事实，即指称可能实际上并不存在，但他认为它必须是真实而客观的。例如，考虑这个表达方式：“熟睡中的奥德修斯被推向伊萨卡岛的岸边。”弗雷格声称：“只要我们将这首诗作为一件艺术品看待，奥德修斯的名字是否有指称对我们而言是无关紧要的。”当我们谈到奥德修斯时，一方面是在荷马时代可能存在的人，另一方面是只存在于荷马史诗中的人，那么我们如何指代同一个奥德修斯?我们如何保证这种专名的同一性?这种困境在伯特兰·罗素的著名文章《论指称》中被作为亲知理论的一部分得到进一步讨论。

272

注 释

257

273

论数码物的存在

258

础”作为第九章节第二部分的标题。

[76] Shirky, “Ontology Is Overrated".

[77]有关标注的早期实验，请参阅Teil and Latour，“HumeMachine”。

[78] Quoted by Flynn, "Living Body as the Origin of Culture”, 72.

[79]Quoted by Flynn, ibid., 68.

[80 Quoted by Flynn, ibid., 75, from Husserl, Ideas II(Hua IV, 333/345).

第六章 逻辑与时间

[1] Clark and Chalmers, “Extended Mind" .

[2]Nietzsche，Die Fröhliche Wissenschaft(快乐的科学),section 124:“我们离开了这个国家，上了船!有桥在我们身后另外，我们已经打破了我们身后的土地!但是，到那来临的时候你会知道，那非常无限，而且没有什么比无限更可怕。”http://www.textlog.de/nietzsche-wissen.html.

[3] Caputo, “Language, Logic, and Time".

[4] Vukicevic, Logik undZeit (逻辑与时间), 4. “Die Frage nach der Logik ist dieFrage der Vorlesungen，vom 25—26 bis zum SS1928”（逻辑的问题是演讲的问题，从1925至1926年到1928年夏季学期)(1925至1926年冬季学期，1927年夏季学期以及1927至1928年冬季学期)，但在这里作者似乎是忽略了非常重要的SS1925讲座，“Historyof theConcept of Time"。

[5]Heidegger，Gesamtausgabe(海德格尔全集),1:20。“弗雷格的逻辑—数学研究在我看来并没有得到真正意义上的领会，更不用说详细研究了。他在涵义与指称’的著作中关于概念与对象’的论述不能忽视任何数学哲学，但它对这个概念的一般理论同样有价值。”

[6] Caputo, “Language, Logic, and Time", 149.

[7]Heidegger, “My Way to Phenomenology”, in Time and Being, 76. “但是，我重复的开始也不尽如人意，因为我无法克服主要困难。它涉及一个简单的问题，即如何进行被称为‘现象学’的思考过程方式。”

[8]Mohanty, Logic, Truth, and the Modalities, 83.

[9]《语法思辨》的一半是由托马斯·冯·福(Thomas of Erfurt)而非邓斯·司各脱撰写的。海德格尔意识到这一点，但他仍满意于这部著作；在回复马丁·格拉布曼(MatrinGrabmann)(1917年1月7日)的一封信时，他说：“也许你有兴趣听说这一著作对胡塞尔的启发如此之大，令我感到满意。里克特现在也用不同的眼光看待学术。”Kusch, Language as Calculus, 143.

[10]胡塞尔在《形式逻辑和超验逻辑》中就是这样认为的，49n2。

[11] Heidegger, History of the Concept of Time, section 6, 56.

[12]海德格尔写道：“希腊人没有对应语言的字眼”；SeeBeing and Time，204。

注 释

259