推理形式问题辨正──兼与龚启荣先生商榷

龚启荣先生在《贵州大学学报》１９９７年第２期发表文章，认为重言蕴涵式不是判定命题推理的有效方法，并认为不能用数理逻辑来“改造”或“取代”传统形式逻辑。这涉及传统逻辑中的一些重要问题，如推理的形式定义与判定问题、命题推理的有效性如何判定问题、蕴涵怪论的本质问题、传统逻辑与数理逻辑的关系问题等。这些问题不解决，将直接影响传统逻辑的地位、发展与教学。也有学者不同意龚先生的观点。本刊编发的倪荫林先生的文章即是一例，以期引起更多同志对这些问题的关注和研究，热忱欢迎大家参与讨论。