阿奇尔·瓦尔齐（Achille C.Varzi）。 关于空间的推理：洞的故事。 （英语） Zbl 0983.03008号 日志。日志。菲洛斯。 4, 3-39 (1996). 引言：我们关于空间的许多幼稚推理都涉及到关于洞和有洞物体的推理。我们把东西放在洞里，穿过洞，围绕着洞；我们跳出洞或掉进洞里；我们比较洞，测量洞，放大洞，填满洞。究竟什么是漏洞，甚至是否确实存在这样的可疑实体，这些当然是人们最终需要解决的问题，以便更好地理解这种推理形式。例如，将洞视为物质对象的一部分，例如，通过用洞线识别它们，就需要解释某些谓词或介词的改变意义。（“内部”和“外部”是什么意思？“扩大”漏洞意味着什么？）另一方面，非现实主义态度需要一些激进的消除策略，用一个没有提及或量化洞的句子（奶酪是有洞的，但里面没有洞）来解释每一个洞承诺的句子。这可能是一个有利的策略，前提是语言包含所有必要的形状-目的：毕竟，洞是虚无的范例。本书所依据的一般哲学假设是，人们应该抵制这些方法，转而采取现实主义的、常识性的态度。洞是谜一样的，可能很难为它们规定足够的身份和个性化标准。然而，如果在我们对世界的日常推理中有一个固有的本体论，那么这个本体论就包括洞（以及类似的实体，如裂缝、切口或裂缝）以及石头和奶酪块。此视图源于与罗伯托·卡萨蒂【空洞和其他肤浅现象。麻省理工学院出版社，马萨诸塞州剑桥和伦敦（1994）】，其中还引入了基本形式主义，以阐明现实主义理论的主要原则和后果。本文的目的是详细阐述这种形式主义，并说明如何利用它为更一般的定性空间推理模式提供框架。特别是，在大致概述之后，我将重点讨论与空间包含的建模、表示和分类有关的一些问题。这是一个在最近的空间推理工作中备受关注的主题，也涉及到从朴素物理到自然语言语义的各种应用。我的希望是表明对漏洞的明确承诺真诚地个人对这些问题也提出了一种新颖而富有启发性的观点（尽管肯定还远远不够完整）。 引用于三文件 MSC公司： 03B30型 经典理论基础（包括逆向数学） 54A99号 拓扑中的一般性 03A05号 逻辑和基础的哲学和批判性方面 关键词：空间推理;一阶语言;本体论;整分论;形态学;拓扑;关于空间的推理;洞;有孔的物体 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Varzi}，日志。日志。菲洛斯。4、3--39（1996年；Zbl 0983.03008） 全文： 内政部