再论实质蕴涵对条件句的刻画
实质蕴涵把命题间的关系看作真值关系，由此带来了“实质蕴涵怪论”。我们必须通过实质蕴涵加上量化的形式，即x(P(x)→ψ(x))，才能表达“如果，那么”所要联结的条件句。这里的量化变元表示的对象可以有多种，不只是实体对象，还可以是时间、空间等等的单位。尽管如此，规定条件句在前件为假时为真也与日常推理有所不同，因此经典逻辑不能直接表达传统逻辑的对当关系，在逻辑学教科书中应将实质蕴涵的这些不足给出清楚的说明。
逻辑教学 实质蕴涵 形式蕴涵 量化变元
霍书全
安徽大学哲学系， 安徽合肥 230039
国内会议
重庆
中文
160-162
2012-04-27（万方平台首次上网日期，不代表论文的发表时间）