基特里斯巴骨法律（三）

但是，在大多数情况下，这种严格的完成是不可能的。 对于我们的非物理示例（2）以及来自生物学的以下示例（6），这尤其清楚：

（6）专门CP，鸟类可以飞。

可能打扰鸟类飞行能力的可能因素的数量是可能的无限的。 换句话说，对于排除完整的法律“所有鸟类可以飞的所有鸟类可以飞的所有鸟类来”的各种条件C，这仍将面临进一步的例外 - 因此，严格完成这项法律是不可能的。 独家CP-法律称为无限期的独家CP法，或者在Earman，Roberts和Smith（2002）的术语中，非懒惰的CP法律。

哲学中广泛同意的是，独家共同法律的实际意义在于严格完成的情况（例如，CF.Rescher 1994,14; Pietroski＆Rey 1995,84,102; Horgan＆Tienson 1996,119f。）。 在这种情况下，独家共同法律是无限期的，这意味着它的独家CP-Clare在普遍的二阶条件下组成，不包括对法律的各种令人不安的因素，无论它们是什么。 正式的，也是一个无限期的独家CP-法律可以作为严格完成的形式的法律写成“如果排除令人不安的因素，那么将永远是CS” - “所有令人不安因素”的含义现在不清楚，这导致各种各样的下一节中讨论的缺陷。

4.挑战：虚假与琐事之间的独家别人巴厘类法律

单词的独家CP法则“独家CP，就像BS”承认例外，即其实例化的不是 - BS（Pietroski和Rey讲“异常”实例; 1995,88）。 独家共同法律的哲学重建 - 包括受限制的比较CP法律，因此，所有CP法律都会面临严重的问题。 这个问题可以以困境的形式阐明。 这种困境已由Lange（1993,235）制定，他们将其归因于Hempel（1988）。

第一个角：如果独家CP-法则重建为某种严格的法律，那么他们将往往是错误的。 通常，由于潜在扰动因子的范围通常是可靠的，因此不作为满足患者条件C的情况是BS的所有情况。 例如，随着供应法所说的（或者，似乎似乎认为prima face），供应和价格之间的关系并不总是如此，因为可能发生干扰因素。 换句话说，实例化完美规律性的特殊科学法是轻度的 - “稀缺”（Cartwright 1983,45）。 然而，如果假设法律是被形式化的普遍定量条件句子，那么一个反击（由于令人不安的因子）到普遍定量的句子意味着它是假的。

第二号：如果我们认为无限制的独家别人的公民条款依附于法律，以便这意味着“如果没有任何干扰的话，如果没有干扰”，那么有问题的CP-法则有缺乏经验内容的危险。 它缺乏经验内容，因为似乎只不过是“所有的BS或者不是 - （就像BS的所有）”。 如果这是真的，那么独家CP-法律是分析的真实句子，因此，琐碎的。 然而，这是一个不受欢迎的后果，因为特殊科学的法律应该被重建为经验陈述 - 而不是因为含义陈述是真实的。

对于任何寻求非严格法律理论的哲学家，两个角都是非常令人不愉快的结果。 要处理这种困境，这是对基特里斯巴伯斯法律理论的核心挑战（Lange 1993; Earman和Roberts 1999; Earman，Roberts和Smith 2002）。 在以下部分中，讨论了几次应对这种困境的尝试，并讨论了他们的顽强问题。

5.独家CP-法律：完成方案的方法

5.1。 语义和认知的完善者

随着独家共同法律的最佳方式，阐明了独家共同法律的最佳方式是增加缺失条件，以严格致力于法律声明的前进。 这样做有两种很不同的可能性。 第一种可能性是通过对法律所涉及的第一阶单个变量的适当描述来显式添加这些条件。 如果这是正确的账户，所有正确的CP法则都将成为明确的独家共同法律（或在Earman，Roberts和Smith 2002的术语中的懒惰CP-法律）。 第二种可能性是通过在第一阶谓词变量上通过二阶谓词变量来添加这些条件，这适用于法律的第一阶单个变量。 在本帐户中，CP-法律变成了无限期的独家CP法。

福索的CP-SIMAT账户的起点是戴维森的典型和异理学概括之间的区分（见2.2节）：

特殊科学的概括的例外通常可以从那科学的角度来看（即在词汇中）。 这是使其成为特殊科学的事情之一。 但是，当然，它可能是完全可以解释其他一些科学词汇的例外。 [...]。 一方面，[特殊科学']别可分之地是从其完全概念资源的角度造成的最重要的。 但是，另一方面，到目前为止，我们至少有理由怀疑他们可以在一些低级科学词汇（神经内科的词汇中，但在最糟糕的物理学中）。 （福戈1987,6）

因此，FODOR的想法是，独家CP-CLAEASE需要的额外因素不能完全在特殊科学的概念资源内完全指定，尽管这可以在一些更基本科学的词汇中（如神经生理或最终基础物理学。 FODOR调用缺失的因素“完成者”。 前一种条件A的物理微量可称为A的真实化器（相同A可以具有几种不同的变色器）。

（7）因子C是相对于A的现实化器R和随后的谓词B IFF：

R和C严格足以B

自身的r并不严格足以B

C同时不是严格足以适合B.

（1991,23岁）

第一个选择（福多认为不足）是定义CP-LAM的真理条件，如下：

（8）CP（A→B）是真正的IFF，每个识别器R都有一个带有杂志的C，这样A＆C→B（CF.Hausman 1992,133-139为类似的账户）。

Schiffer在理由上反对这个账户，如果A是一种（精神）的功能状态，可以通过非常不同的态Ri实现，因此每次实现都有一个带有的带子？福戈接受这种反对并提供以下帐户：

（9）CP（A→B）是真正的IFF（i）对于每种真实化器的每一个真实化器，如果没有这样的自行车，如果没有这样的交通率，则必须在网络中存在许多其他法律，因此ri拥有完整者（见Fodor 1991,27）。

虽然条件（9）（i）在（8）中重复更简单的定义，条件（9）（ii）表达了这样的想法，例如，如果A是有意状态并进入许多法律的前进状态，那么即使RI在有关的CP律中没有完整者。，CP（A→B）仍然是真的，如果RI确实在许多其他CP法中有完整者。

MOTT（1992）提供了以下实际条件陈述的条件（ii）的下列反例：CP，如果一个人口渴，那么她会吃盐。 这是一个真正的CP-法则，因为一方面，很可能很多，也许是所有人，也许是“口渴”缺乏的完善者（因为没有人倾向于在口渴时吃盐）。 另一方面，“口渴”可能很好地进入许多其他CP法律的前进，有这样的完整者。 如果有人增加（ii），可以避免摩托的反例，因为对于足够多的真实化者Rj的要求，就B的基于B（参见Silverberg 1996和Earman和Roberts 1999，第9条进行讨论）。

虽然福索开始希望独家CP法的缺失条件最终可以在基本科学中规定，但他对独有的CP-法律的定义涉及对独立异常解释者的变量（未指定）的分量（未指定）的分量量化。 因此，他对独有的CP-法律的陈述属于无限期的独家CP-法律。 由于这一事实福索和相关账户面临严重的问题，如第5.2节将讨论。[11]

Schiffer，FODOR和MOTT尝试通过普通的真理条件爆炸CP法律。 相比之下，彼得罗斯基和雷迪在认识和独立确认性等认识条件方面为他们称之为“不空虚真理”提供更强的条件。 Pietroski和Rey比较CP-Clauses来检查：

这些支票代表了“承诺”，以通过引用涉及该法律的因素来解释规定的法律的所有[反反应诉讼]。 如果承诺不能保留，检查是不好的。 （Pietroski和Rey 1995,89）

完成在此被认为是解释性完成，只需要岗位完成。 如果有一个符合法律的法律，我们致力于解释为什么法律没有实例化：

CP法律持有“封闭系统”，即，在其他，独立的现有因素中考虑的系统考虑。 这种系统化仅是不受空的，只有在那些因素中可以解释一组本构成的规律的程度。 （Pietroski和Rey 1995,89）

对于CP-法律，尽管有逆星，我们需要独立证据来存在令人不安的因素。 如果有令人不安因子存在的唯一证据是我们开始的反击，那么这将是不可接受的。

Pietroski和Rey（1995,92）采取CP-LAME不受保存的真实，因此认识到可接受的IFF（简化单词）满足以下条件：

（10）CP（A→B）是不受保证的IFF

“A”和'B'是否则的法学和

对于所有X，如果AX，那么（BX或存在一个解释为什么¬BX的因素）和

CP（a→b）至少在条件（ii）中假定的至少一些东西。

Pietroski＆Rey's（1995）账户涉及通过未指明的异常解释者进行二阶量化。 因此，如在语义过度的随意的情况下，他们的帐户透露了无限期的独家CP法，并面临下一节中的严重问题。

5.2。 批评：琐事和偶然性

若干作者独立地表明，随着带有手机的方法是不满意的。 Earman和Roberts（1999,454F）提供了论据，表明Pietroski和Rey感的独家CP-Law无法逃避真空问题。 他们的例子是所谓的CP-Law“CP，所有球体导电电力”。 这项法律的每一个失败都可以通过一个因素来解释，我们有一个独立证据，viz。 有问题的身体的分子结构。 施鲁茨（2001A）证明Pietroski＆Rey的独家CP法是不脏污的，但几乎是空缺。 更确切地说，在Pietroski和Rey的定义（10）的感觉中，“专门CP，和BS”的内容相当于声称，对于表单的每个事件“D是A和D是（或不是）A B”存在真实严格的30）条“全部（a∧c）是bs”或“全部（a∧c）s是¬bs”是一个严格的真正的法律。 这意味着对A的条件，每个B-effer或NOT-B-event都被假定了确定性和独立识别的原因，无论发生这种原因。 这种确定主义的预设既太强，太弱了：它太弱，因为它在A和B之间没有建立相关的批判性联系。它太强大，因为在涉及随机过程的所有地区，决定论没有持有。 伍德沃德（2002年，§2）表明类似的批评影响福索的账户。

有一个更严重的偶事问题，它与无限期独特的CP-法则相连。 虽然其先行者根本没有任何原因地或因因果关系，但它可能是正确的。 各种各样的事件通过无限期独家CP-法律连接，只要他们具有确定性原因，即Pietroski和Rey（1995）另外才能独立可测试，并且对于FODOR（1991）必须是批判性相关的（CF.POW.WOWWARD 2002,309，（II，III））。 例如，Woodward（2002,310）表明，根据Pietroski和Rey（1995），FODOR（1991）和Hausman（1992）的说明，所有带电粒子以n的速率加速米/秒2“是一个真正的独家CP-LAME，用于任意值。 Schurz（2002,364）展示了根据这些账户的“如果一个人向右看，她会看到一个袋鼠”是一个真正的独家共同法律。 此外，可以阅读Earman＆Robert的榜样，如展示“CP，所有球体导电电力”的偶然正常，尽管该示例最初用于表明该陈述是有力的。

6.不变性和稳定性理论

不变性或稳定性理论的共同指导思想是，法律在非法律上因其在反事实假设的不变性或稳定而异。

“稳定性”和“不变性”通常被认为是同义词。 为清楚起见，我们将使用“稳定性”来指兰奇的法律稳定性理论（第6.1节），我们将使用“不变性”来参考Woodward＆Hitchcock的不变性理论（第6.2节）。

在稳定性/不变性账户中，CP-CLEASAUSE合格的法律被认为是非严格的，因为它们仅在一个有限的反事实假设范围内保持真实。 不同版本的不变性或稳定性理论的不同之处在于它们如何确定这种有限的反事实假设。 从这个意义上讲，不变性或稳定性理论可以被理解为非严格法律的独家解释的替代方案，并试图处理琐事和虚假的困境。

6.1。 反诉稳定的法律和务实扰乱因素的务实知识

根据Lange（2000,2002,2005），物理学的普遍基本法律和不准确的特殊科学中的CP法律在学位上有所不同（对于不专注于单独稳定的相关账户，看米切尔（2000））。 普遍法律和CP法律的刑事状况是由于这些陈述的财产相同：他们的稳定性。 Lange的（2000,8F。）方法分为两个步骤。 首先，确定法律在科学推理中的作用是确定的：他们以解释和预测来实现，他们支持反事实，他们是禁用的。 其次，据称，由于其特征稳定，法律可以发挥此作用。 因此，为了了解Lange对CP法律的账户，我们必须首先澄清稳定的至关重要。

Lange的基本思想是法律是Lawlike，因为它们在各种可能的条件下是真实的。 最重要的是，法律不仅在任何（非Namic）实际条件中持有真实，而且在所有（非犹豫）反事实假设中也保持真实。 沿着这些线路，Lange（2000,48f .; CF.2009a，20）提出了在犹豫保存方面初步定义法律：

（11）一些命题L是法律IFF其真理在所有与每个物理必需品一致的所有这些反事实上都保留，即根据所有身体可能的反事实假设。

然而，这种定义提出了一个明显的问题：物理上可能意味着什么？ 粗略地，一个命题p是一个物理可能性iff，有一些可能的世界w，其中与实际世界中相同的自然定律保持在实际世界和p at w w。 但如果这是真的，兰格对守则的定义似乎是通函，因为与法律（实际世界）一致最终成为作为法律（实际世界）的职位的一部分。 Lange（2005年，2009A，25-28）认识到循环问题，并在稳定的概念方面提供替代法律账户。 它说，大致放：

（12）一组语句G是稳定的IFF为True，G是逻辑关闭的，并且G仍然是真实的（非Nomic）反事实假设P，这与G的每个成员一致（CF.Lange 2000,100,103; 2005，420; Lange 2009a，29）。

这种稳定性的概念又导致法律理论：

（13）命题L是法律IFF，它是非最大稳定组G的成员。

根据Lange（CF.2005，第4章; 2009A，第2章），存在几种不同的稳定集：例如，逻辑事实集，所有物理法律的集合，以及所有真理的集合（这是琐碎的）。 必须要求g是非最大的，即严格小于所有真理的规定，是必要的，以避免使用所有真理的一组法律识别。

Lange认为定义（13）不受循环问题的影响，因为稳定性不会预先假定法律的概念，并且它在法律之间提供了急剧区别，而是仅仅意外的非法性。 考虑一些意外的真正的普遍声明：

答：我篮子里的所有水果都是红色的。

根据Lange，这种概括是一种意外的真理，因为它不是（非最大）稳定集的成员。 对于假设A是一些非最大集合δ的成员（可能包含所有物理法则）。 通过非最大性，例如，存在一些进一步的意外的真相b，

B：我想把一个绿色的水果放入我的篮子里。

哪个不在δ中。 如果δ是稳定的，则在反事实假设中，Δ的每个成员必须保持真实，因为该假设与δ的每个成员兼容。 然而，Lange（2005,421）认为，至少有一些对话背景，其中A没有优先于B的优先级。因此，在反事实假设下Δ不稳定，¬a∨¬b。 相比之下，根据Lange，大自然法则优先于各种情况下的任何意外真理，因此自然法则形成稳定的集合。

甚至假设Lange的论点是有效的，重新出现在反事实的真实条件的水平，因为通常在法律方面制定（参见，例如，Goodman 1947; Lewis 1973; Maudlin 2007：21）。 Lange（2009A：第4章）通过争论虚拟事实是在本体原始的，反事实的真理条件不提及法律来回答这种反对。 因此，他的解释（12）和（13）不是通函。

我们现在可以转向问题，CP法与普遍法有何不同。 根据Lange，CP法律是稳定的（套装）命题，其申请被务实地限于科学纪律的目的。 他在特殊科学中的法律方面阐述了这个想法，或者因为他称之为：“只有当它在对科学的每次反事实假设的每个反事实假设下都是不变的，就可以稳定，因为只有在科学的每一个不变性下都是不变的。设置”（Lange 2002,416）。 Lange试图通过将“Ceteris Paribus”视为干扰因素的集合I的名称来避免虚假或琐事 - 困境的角。 请注意，我没有列出所有可能的干扰，防止在“CP”中的所有可能性，也只有BS'，而且只有那些相关的因素（对于学科）。 人们可以通过方式了解他提供两种策略[12]以确定第一款战略的方式：（a）非疏忽战略和（b）科学意图兴趣的战略。 两种策略都试图阐明特定学科中的科学家隐含地使用的方法（参见Lange 2000,170-174）。

（a）非疏忽的策略：而不是提供所有干扰因素的完整列表，科学家只是指那些经常出现的干扰因素，并且可能导致从G-敞篷的充分偏差，这是推断FS的策略[...]对于相关目的来说不会好转“（Lange 2002,411; Lange 2000,170f）。 例如，考虑经济法“CP，如果供应商品的增加，则价格下降”。 根据Lange的说法，可能发生的情况下，供应的增加是如此之小，没有降低价格结果。 但它可能也可能发生，虽然供应显着增加，但价格不会降低，因为一个巨大的彗星击中行星地球并摧毁其表面上的所有生命都扰乱了本法的实例化。 彗星导致足够大的偏差降低了良好的价格。 然而，由于经济学家的目的，彗星可以忽略不计，因为它们的发生不充分地算作CP条件中明确列出的干扰因素。

（b）科学的预期兴趣策略：如果在不属于法律范围的反事实假设下，法律可能仍然稳定，这是稳定的，这是不属于法律范围的预期目的和申请。 这一点是由岛屿生物地理学的示例最佳说明 - Lange提供的区域：

有人建议，岛上的岛屿（涉及生物）在岛上的给定分类学基团的物种的平衡数S增加[多项式] [13]与岛屿区域[a]：s = c×az。 （正值）常数C和Z特定于分类组和岛集团。 （Lange 2002,416f .; CF.Lange 2000,235f。）

有一个反事实假设，面积法不是真的。 例如，想象一个岛屿，物种的动物“鸡”专门生活在养鸡场。 旨在进一步假设在这些农场鸡在极其拥挤的条件下繁殖并保持。 因此，从这个例子中赋予的反事实假设是“在岛上的鸡肉在极其拥挤的人造条件下养殖的鸡巴”。