论文部分内容阅读
排除归纳法是一种重要的归纳方法;如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题。培根奠定了排除归纳法的基础,穆勒将这种方法系统化并整理出它的推理模式,布罗德用条件概念分析因果关系。冯·赖特以现代符号逻辑的眼光审视排除归纳法,在一阶逻辑的层次上讨论它,用全称条件句表达因果关系,从而揭示出这种方法的逻辑性质。