简论张清宇的证伪系统.pdfVIP

　 　 ２０１７ ３１ ５ 重庆理工大学学报（社会科学） 年第 卷第 期 逻辑与科学方法论 Ｊｏｕｒｎａｌ ｏｆ Ｃｈｏｎｇｑｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ（Ｓｏｃｉａｌ Ｓｃｉｅｎｃｅ）Ｖｏｌ．３１Ｎｏ．５２０１７ ｄｏｉ：１０．３９６９／ ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１７．０５．００２ 主持人语： 中国逻辑学会会长　 邹崇理 研究员 　 　 《简论张清宇的证伪系统》一文，作者对张清宇先生提出的国内第一个以形式化方法建立起的矛盾命题（或者说恒假 命题）形式系统进行了评介，研究了张清宇提出的“证伪系统”概念和相关工作的学术来源，有望引起国内学界的关注，从 而推进这一领域的研究。 《“形式蕴涵”方案能解决蕴涵怪论问题吗》一文讨论了逻辑史上一个古老的问题，即“蕴涵怪论”。该文在分析了学 界对该问题的研究现状后，给出了自己的观点：形式蕴涵本质上无法解决蕴涵怪论问题。蕴涵怪论的根源不在于逻辑的 形式化语言，而在于实质蕴涵与日常条件句“若……则……”存在较大的差异。 《可废止逻辑中论证关系的一点辨析》一文分析了贝克斯和普拉肯等人的可废止逻辑论证思想，讨论了用该思想去构 建论证时可能存在的一些问题，并给出了这些问题产生的原因及可能的改进方法，可供学界同仁参考。 简论张清宇的证伪系统 刘新文 （中国社会科学院哲学研究所，北京 １００７３２） 摘要：国内第一个以形式化方法建立起矛盾命题（或者说恒假命题）形式系统的是张清宇研究 员。结合２０世纪八九十年代逻辑发展的背景，研究张清宇当时提出的“证伪系统”概念和相关 工作的学术来源，并给出初步的评价。 关键词：证伪系统；排斥；反驳系统 中图分类号：Ｂ８１３　 　 　 　 文献标识码：Ａ 文章编号：１６７４ －８４２５（２０１７）０５－０００７ －０３ Ｒｅｍａｒｋｓ ｏｎ Ｚｈａｎｇ Ｑｉｎｇｙｕ’ｓ Ｆａｌｓｉｆｉｃａｔｉｏｎ Ｓｙｓｔｅｍｓ ＬＩＵ Ｘｉｎｗｅｎ （Ｉｎｓｔｉｔｕｔｅ ｏｆ Ｐｈｉｌｏｓｏｐｈｙ，Ｃｈｉｎｅｓｅ Ａｃａｄｅｍｙ ｏｆ Ｓｏｃｉａｌ Ｓｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ １００７３２，Ｃｈｉｎａ） ： ， Ａｂｓｔｒａｃｔ Ｉｎ Ｃｈｉｎａ ｔｈｅ ｆｉｒｓｔ ｓｅｒｉｅｓ ｏｆ ｆｏｒｍａｌ ｓｙｓｔｅｍｓ ｔｈａｔ ｃｈａｒａｃｔｅｒｉｚｅ ｔｈｅ ｃｏｎｔｒａｄｉｃｔｉｖｅ ｐｒｏｐｏｓｉｔｉｏｎｓ ｉｎ ｌｏｇｉｃ ｗｅｒｅ ｅｓｔａｂｌｉｓｈｅｄ ｂｙ Ｐｒｏｆｅｓｓｏｒ Ｚｈａｎｇ Ｑｉｎｇｙｕ ｄｕｒｉｎｇ ｔｈｅ １９８０ｓ—１９９０ｓ． Ｔｈｅ ｐｒｅｓｅｎｔ ｐａｐｅｒ ｓｔｕｄｉｅｓｔｈｅ ａｃａｄｅｍｉｃ ｓｏｕｒｃｅｓ ｏｆ ｔｈｅ ｃｏｎｃｅｐｔ ｏｆ “ｆａｌｓｉｆｉｃａｔｉｏｎ ｓｙｓｔｅｍｓ”ａｎｄ ｉｔｓ ｒｅｌａｔｅｄ ａｃｈｉｖｅｍｅｎｔｓ ， ｐｒｅｓｅｎｔｅｄ ｂｙ ｈｉｍ ａｎｄ ｔｈｅｎ ｔｒｉｅｓ ｔｏ ｖａｌｕａｔｅ ｔｈｅｍ ｗｉｔｈ ｔｈｅ ｂａｃｋｇｒｏｕｎｄ ｏｆ ｔｈｅ ｄｅｖｅｌｏｐｍｅｎｔｓ ｏｆ ｌｏｇｉｃ ｔｈｅｎ． ： ； ； Ｋｅｙ ｗｏｒｄｓ ｆａｌｓｉｆｉｃａｔｉｏｎ ｓｙｓｔｅｍ ｒｅｊｅｃｔｉｏｎ ｒｅｆｕｔａｔｉｏｎ ｓｙｓｔｅｍ 收稿日期： 　 　 ２０１７－０１－０９ 基金项目： １６ＢＺＸ０７９ 国家社会科学基金一般项目“逻辑基础问题研究”（