位置和情境（一）

实用主义者认为有空间或时空的区域。 许多具有实体的实体也认为，位于地区的各个实体（人，桌子，社会群体，电子，领域，漏洞，事件，Tropes，Universing）。 这些哲学家对实体之间的关系和他们所在地区的关系面临问题。 是与他们的位置相同的实体吗？ 他们是否完全与他们的位置分开，即，它们与他们共享没有零件？

在不妨碍这些形而上学问题的情况下，一些哲学家已经制定了位置的逻辑 - 通常是管理位置关系的公理组和与信息概念的相互作用。 这些逻辑旨在捕获所在实体之间的信息性质和关系的方式，必须镜像这些实体的位置之间的情病质和关系。

最近的文献侧重于四个问题，每个问题都对应于相关镜像可能失败的方式：

说两个实体互向，以防他们不共享零件，而是他们的确切位置。 是互相的吗？

例如，扩展简单是没有适当部件但完全位于具有适当部件的区域的实体。 延长了模拟可能吗？

相反，说明未扩展的复合体是具有适当部分但完全位于没有适当部件的区域的实体。 不可延伸复合物吗？

说，在恰好位于一个以上的区域的情况下，实体就是多当的。 多次是可能的吗？

本文调查了最近关于这些问题的工作，并沿途解决了其他问题。 该条目的目标不是提供所在地形而上学的总体叙述。 相反，它专注于关注地理位置及其与上市的互动（例如，在Kleinschmidt（2014）中收集的论文）。

1.预先提示：时尚和上下奏

2.位置

2.1哪个位置关系是基本的？

2.2位置的纯粹逻辑

2.2.1逻辑表格

2.2.2纯粹的位置原则

3.与上周表互动

4.互通

4.1用于Interpenetation＃1：来自普遍的或者

4.2用于互通＃2：从络合性

4.3用于互通＃3：来自玻色子

4.4用于互通＃4：重组

5.扩展的微型和未扩展的复合物

5.1用于扩展的SIMPLES＃1：从络合性中

5.2用于扩展的SIMPLES＃2：来自String理论

5.3延伸模拟＃3：重组

5.4对延伸的模拟＃1：从定性变异

5.5未延伸复合物

6.多层

6.1对于多层＃1：从络杂性

6.2对于多层＃2：重组

6.3对于多分配＃3：从示例中

6.3.1 Immanent州

6.3.2持久材料对象

6.4反对多层＃1：从定义

6.5对阵多分配＃2：从定性变异

6.6对多包＃3：从乘员的情境结构

6.6.1地面情绪和多重分配

6.6.2最小的模特科和多重分配

6.6.3一般回复

7.超级阶级和和谐

8.进一步的问题

参考书目

学术工具

其他互联网资源

相关条目

补充：位置系统

1.预先提示：时尚和上下奏

本文侧重于最近的位置和情境的文献。 关于这些主题的历史，参见Marmodoro（2017），Harte（2002），Sorabji（1983,1988），Pasnau（2011）和Holden（2004年），以及参赛作品，中世纪201世纪17世纪至20世纪的一体化学，原子学，和情绪。

在近期文献中，我们将专注于“实体到地区的”位置关系 - 即，那些在实体和地区之间占用的人。 我们将忽略在实体和非区域之间持有的位置关系。

自从我们的重点是在实体到地区的位置关系上，我们将根据以下争议但流行的假设工作。 有间隔区域，包括基本的四维舞台，时尚。 所有空间区域都同样真实，并且没有任何不可分配意义的区域绝对存在。 我们不认为有积分; 我们留下了开放的假设，即Spacetime是Gunky。 但是，我们确实假设如果有点，那么点数计数为地区 - 具体而言，它们将是简单的区域。

在整个条目中，我们将公寓作为原始，并考虑到几种标准的一层学定义。 我们使用p用于额度，pp是适当的上瘾，o用于重叠 - 参见入境信息，以及Cotnoir和Varzi（2021）。

我们以模态条款框架的问题解决。 延长了模拟可能吗？ 有必要多包吗？ 相关的偶数是形而上学的。 在与当前正统保持的情况下，我们假设是以逻辑的真理来确定所必需的（命题或句子的属性，是一个分析真理，是一个概念的真理，或者是一个先验的真理 - 看到进入品种模当。 尽管未经概念真理识别形而上学的必要性 - 并且，相关性，不认为不可思来地识别形而上学的可能性 - 人们仍然可以认为可以认为可以想象（或者附近的某些东西）是所在的表达的证据 - 看看模态的认识论。[1]

最后一个初步。 最近的位置和情境的文献倾向于括起来的模糊和不确定的概念（虽然看鹰2016年，伦纳德2022）和量子理论（尽管看了Pashby 2016，Calosi 2022a）。 我们会这样做。

2.位置

2.1哪个位置关系是基本的？

我们首先区分四个地点关系。 通常假设其中一个是基本的，并且很快就会参与其他人的定义。 目前，我们提供了四个关系的非正式光泽。

确切的位置：X恰好位于区域Y，如果x具有与y的所有相同的形状和尺寸完全相同的形状和尺寸，则只有与其他实体的所有相同的空间或时空关系中的（或ite-y-y）。[2] （见Casati＆Varzi 1999：119-120; Bittner，Donnelly，＆Smith 2004; Gilmore 2006：200-202; Sattig 2006：48）。 在符号中：l（x，y）

弱位置：X在区域Y弱，如果y是“不完全没有”x（Parsons 2007：203）。 wkl（x，y）

整个位置：x完全位于Region y，如果X'才在于'Y（Parsons 2007：203; Correia 2022：560）。 萨尔瓦多（x，y）

普遍存在的位置：X普遍存在于区域Y，如果y不大于x和x'完全填充'y（普通2008：429; correia 2022：560）。 pl（x，y）

图1说明了这四个关系的情况。

区域和对象的框图：链接到下面的扩展描述

图1：虚线表示区域（R1-R6）。 两个阴影方块表示两个方形对象，O1和O2，其构成更大的矩形对象O3。 [图1的扩展描述在补充中。]

表（图2）表示不完整，对象承担哪些关系到哪些区域。

r1的r2的r3 r4的r5的r6

o1准确

弱

完全

普遍地

弱

完全

弱

弱

普遍地

弱

完全

O2。究竟

弱

完全

普遍地弱

完全。弱

完全

o3

弱

普遍地

弱

普遍地准确

弱

完全

普遍地

弱

弱

普遍地

弱

完全

图2

直观地，O1正恰好位于一个且仅一个区域，R1具有相同的大小和形状，并且与其他物体相同的空间关系，如O1。 然而，O1完全位于其内部的每个区域，例如R1，R3和R6。 它是普遍存在的每个区域，它完全填充，例如R1和R5。 它位于不完全没有的每个区域，例如R1，R3，R5，R6以及R4，其既不完全也不普遍地定位。 然而，区域R2完全没有o1，因此O1甚至不弱位于R2。 同样，O2甚至不弱位于R1。 这应该足以让我们的四个目标关系的定理掌握。

通常，上面的关系之一被认为是基本的，并且用于定义其他关系。 这引起了各种可能的理论，每个理论都有自己的一组定义和公理。 其中一些理论在他们允许的位置模式中不同。 例如，如果假设确切的位置是基本的，那么一个是自由的，可以接受强烈多分积的可能性，这是一个完全位于两个非重叠区域的东西。 另一方面，帕森斯（2007）呈现了两个理论，一个理论，一个将确切的位置视为基本的基本，也可以将疲弱的位置视为根本。 在后一种情况下，确切的位置定义如下：

（ds2a.1）

x恰好位于y = df x，根本位于弱，只有那些重叠的实体

l（x，y）=df∀z[wkl（x，z）↔o（y，z）]

根据这个定义，它是分析的，因此不可能，没有任何东西是强烈的多包。 为了节省空间，我们将假设您认为确切的位置是独特的基本位数关系，并定义了另外三个关系，如下所示：

（ds1.1）

x弱位于y = df x，恰好位于与y重叠的东西。

wkl（x，y）=df∃z[l（x，z）和o（z，y）]

（ds1.2）

X完全位于Y = DF x，恰好位于Y的某个部分。

萨尔瓦多（x，y）=df∃z[l（x，z）和p（z，y）]

（ds1.3）

x普遍存在位于Y = DF x上，恰好位于其中Y是零件的东西。

pl（x，y）=df∃z[l（x，z）和p（y，z）]

对于来自其他关系所产生的一些理论的草图，以及如何定义关系以及如何，请参阅所在地的补充文档系统。

2.2位置的纯粹逻辑

大多数正式的工作工作都集中在地区如何与上班互动。 但人们可能会想到一些位置本身的逻辑。 我们为此逻辑提出两组问题。

2.2.1逻辑表格

我们将确切的位置作为我们独特的位置原始。 我们假设

这是一个双位关系

这两个关系的地方都是单数的。

但两（i）和（二）都受到质疑。

例如，一个人可能拒绝（i），支持确切的位置是一个三个关系，其在所处的实体，空间区域和时间瞬间（Thomson 1983;哥斯达2017）之间保持在一个三个关系。 这是那些将空间视为持久的三维实体的人的自然观点，并且与时间分开。 （这张照片是在2015年的Skow 2015和Gilmore，Costa，＆Calosi 2016中讨论的。R2，在时间t1，并且相同的物体恰好位于R2，而不是在R1处，在时间t2。 要允许时间冻结并且不包含瞬时的可能性，可以将“x恰好位于区间r内的x”中的确切位置。 不同的选择是拒绝（i）赞成认为确切的位置是可变的多adic，这是jones浮现的想法（2018：注29）。 这里的想法是，两个地方谓词（...）所表达的一个和相同的关系位于（...）'，并由（例如，）三个地方谓词（...）在（...）'处位于（...）'。 关系既不是两个地方的简单账户，也不是三个简单的账户，而是在某些命题和三个地方发生之后的两个地方。

或者，可以同意确切的位置是一个双位关系，但拒绝（ii）上面支持视图，例如，说，在确切位置的第二个参数位置（'位置'插槽）是多个。 一个想法是扩展物体可以恰好地定位在许多点，而不是单独地或在它们的设定或融合中完全位于其中任何一个的位置。 这是由哈德森（2005：17）的建议; 动机在Gilmore（2014B：25）中开发。 一个不同的想法是采取第一个参数（'乘客的槽）是复数的，并在一些情况下讲述一些统称在给定区域的情况下。 对于这样的方法，但应用于普遍存在位置的原始关系，请参阅丢失（2023）和地点的补充文档系统。

2.2.2纯粹的位置原则

如果我们假设确切的位置是一个基本的位置关系，这是它的两个地方，它的两个论点都是单数，我们应该怎么说行为？ 在这里，我们将注意力限制在纯粹的位置原则，即可以以一阶语言形式说出的原则，其具有唯一非逻辑谓词是'L'。

Casati和Varzi（1999：121）提出了两项原则：

功能：没有超过一个确切的位置。

∀x∀y∀z[（l（x，y）和l（x，z））→y = z]

条件反射性：确切的位置恰好位于自己。

∀x∀y[l（x，y）→l（y，y）]

功能禁止多包，我们在第6节中讨论了。它告诉我们，没有任何东西恰好位于一个以上的区域，或者确实在一个以上的实体。

条件反射性是关于地区位置的原则。 它归结为索赔区域所在的主张。 似乎是地区位置的另一种选择，即他们没有任何位置，只要它们是位置。 varzi（2007：1016）称这个原理条件空虚：

条件空虚：如果x恰好位于y，则Y没有确切的位置

∀x∀y∀z[l（x，y）→l（y，z）]

西蒙斯（2004b：345）认可条件空虚，而帕森斯（2007：224）和varzi（2007：1016）都声称两者之间的选择是有些常规的。 但是，正如我们所示，条件反射性和条件空虚可能与不同的定位原则不兼容。

根据条件反射性，确切的位置恰好位于自己。 （另见Donnelly（2004：158），他们介绍了一个系统，其中条件反射性是定理，尽管她用原始函数符号'r'替换了''r'的位置谓词'l'。）假设奥巴马恰好位于地区r。 与有条件的反射性一起，这需要r恰好位于自身。 这种冲突与西蒙斯赞同的纯粹地点原则（2004B：345）：

位置的不对称性：如果x恰好位于Y处，则Y不完全位于x。

∀x∀y[（l（x，y）→¬l（y，x）]

但请注意，该区域完全位于其本身的情况不会与之冲突

位置的反对称：没有两个实体彼此完全位于彼此。

∀x∀y[（l（x，y）和l（y，x））→x = y]

位置的反对称可能挽救一些位置的动机，同时仍然以条件反射性协调。 位置的反对称是功能性和条件反射性的逻辑后果（因为确切的位置是传递的视野）。

如果我们进一步假设奥巴马与他确切的位置r不相同，我们会得到结果，即有两种不同的实体恰好位于r-ca，r和奥巴马。 在这种情况下，我们对另一个纯粹的位置原则有一个反例，有些人发现有吸引力：

位置的注射性：没有两个实体共享确切的位置。

∀x∀y∀z[（l（x，z）和l（y，z））→x = y]

共同位置的反对者可能将其视为有条件反射性的还原。 其他人可能会认为是拒绝位置的一个原因，其中有利于较弱的变体，例如：

位置的条件的注射性：如果X NOR Y与Z不相同，则如果它们中的每一个精确位于Z，则X和Y彼此相同。

∀x∀y∀z[（¬x= z＆¬y= z）→（（l（x，z）和l（y，z））→x = y）]

条件的注射相当于索赔，每当两个不同的实体共享给定的确切位置时，其中一个位置与该位置相同。 这可能会挽救禁止共同位置的一些动机，同时仍然以条件反射性协调。

在条件反射性存在下，“区域谓词”可以定义为：

地区：R（x）= dfl（x，x）

也就是说，地区是自己的实体。 反过来这有助于制定限制的信息原理，例如“任何多个区域具有融合”。