摘要
国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价。
In China, the first series of formal systems that characterize the contradictive propositions in logic were established by Professor Zhang studies the academic sources of the concept presented by him, and then tries to valuate then. Qingyu during the 1980s--1990s. The present paper of "falsification systems" them with the background and its related achivements of the developments of logic
出处
《重庆理工大学学报(社会科学)》
CAS
2017年第5期7-9,15,共4页
Journal of Chongqing University of Technology(Social Science)
基金
国家社会科学基金一般项目"逻辑基础问题研究"(16BZX079)
中国社会科学院创新工程项目"逻辑基础问题研究"(2017-2019)
关键词
证伪系统
排斥
反驳系统
falsification system
rejection
refutation system