10.3969/j.issn.1000-8934.2002.z1.004
对推理规则在非经典逻辑中失效的分析
论文认为强化前件规则对虚拟条件句确实足失效的,但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件:对一个命题的某个部分实施替换,要求所利用的同一性在该命题的模态下也成立,则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。
强化前件规则、析取前件消去规则、问一性替换规则、存在概括规则
18
B813(逻辑学(论理学))
2006-09-29(万方平台首次上网日期,不代表论文的发表时间)
共4页
12-15