10.3969/j.issn.1674-8425(s).2017.05.002
简论张清宇的证伪系统
国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员.结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价.
证伪系统、排斥、反驳系统
31
B813(逻辑学(论理学))
国家社会科学基金一般项目"逻辑基础问题研究"16BZX079;中国社会科学院创新工程项目"逻辑基础问题研究"2017-2019
2017-07-03(万方平台首次上网日期,不代表论文的发表时间)
共4页
7-9,15