简介:论文认为强化前件规则对虚拟条件句确实足失效的,但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件:对一个命题的某个部分实施替换,要求所利用的同一性在该命题的模态下也成立,则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。
对推理规则在非经典逻辑中失效的分析