论文部分内容阅读
实质蕴涵把命题间的关系看作真值关系，由此带来了“实质蕴涵怪论”。我们必须通过实质蕴涵加上量化的形式，即x(P(x)→ψ(x))，才能表达“如果，那么”所要联结的条件句。这里的量化变元表示的对象可以有多种，不只是实体对象，还可以是时间、空间等等的单位。尽管如此，规定条件句在前件为假时为真也与日常推理有所不同，因此经典逻辑不能直接表达传统逻辑的对当关系，在逻辑学教科书中应将实质蕴涵的这些不足给出清楚的说明。