论文部分内容阅读
在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的方法，不是判定推理式有效性的方法。所谓“反三段论”，只有当其中的基础命题为传统直言命题时才有效。数理逻辑演算技巧精确严密，但它是数学，与向人类提供从已知获取新知识的。具的逻辑科学殊异，不能用它来“改造”或“取代”传统形式逻辑。