存在限定规则【英】

rule of existential instantiation; rule of existential elimination

译文来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001：193.
[2] Existential instantiation. via:
https://en.wikipedia.org/wiki/Existential_instantiation

定义

也称“存在量词消去规则（ －）。存在限定规则是某些自然演绎系统中的初始推演规则，一般记作ES。这一规则规定：“如果公式S这样得自公式R：把R中的变项v的每一自由出现都代之以该演绎中先前没有用过的歧义名称，那么S就是可从（ v）R推出的。这里要求歧义名称不得是先前用过的。所谓歧义名称是指一个不确定的，可以命名的个体的专名。引进歧义名称是为了用一个不确定的常项去代替存在量词。例如：据ES规则，则可从“（ x）H（x）”推得H（a），其中a为歧义名称”。在有些逻辑公理系统中，存在限定规则也作为导出公理出现（金炳华，2001：193-194）。在运用存在限定规则时，要尤其注意一个严格的限定，即存在限定规则中，“在代换A中V每一出现的e必须是个新的个体常项，e必须是在此之前从未出现在任何公式内的，也就是说，新名不能与推导中已经出现的任何变元相同”。例如，有两个公式①（ x）P（x)和②（ x）Q（x）。在证明过程中，先消去①中的量词，就可以得出P（a），而消去②中的量词时，则不能再用a去代换x而得Q（a），而必须使用新名，如用b去代换，否则就是错误的。因为①、②中的x不一定代表同一个东西，而P（a）和Q（a）却表示“a具有属性P和具有属性Q”，二者的意思当然有所不同。“因此，运用存在限定规则时，代入的常项名称必须是新的，是前面的公式未出现过的”（王耀坤，1992：104）。

定义来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
[2] 王耀坤.现代逻辑概论[M].上海社会科学院出版社，1992.

网络参考例句

例句 1：
尽管现实的指示词总是有穷的，但假定存在无穷多的不确定指示词（即言语行动的“可能产品”）是顺理成章的。这一点可从经典逻辑中的存在限定规则得到启示：存在限定得到的带标记变元实际上就可以理解为这样的“不确定指示词”。 ——“‘逻辑行动主义’视角下的量词解释理论”，载于《云南师范大学学报（哲学社会科学版）》2013年第5期