论文部分内容阅读
国内第一个以形式化方法建立起矛盾命题（或者说恒假命题）形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的“证伪系统”概念和相关工作的学术来源,并给出初步的评价。
简论张清宇的证伪系统
【摘 要】
：
国内第一个以形式化方法建立起矛盾命题（或者说恒假命题）形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的“证伪系统”概念和相关工作的
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
重庆理工大学学报：社会科学版
【发表日期】
：
2017年5期
【基金项目】
：
基金项目：国家社会科学基金一般项目“逻辑基础问题研究”（16BZX079）,中国社会科学院创新工程项目“逻辑基础问题研究”（2017--2019）
其他文献
目的分析某医院病区药品管理中存在的问题和不足,探讨品管圈活动对病区药品管理质量的影响。方法针对我院2018年1月至2019年2月病区药品管理检查中存在的问题(如药物存储不当
狄更斯的小说《双城记》问世之后,其作品中的人道主义思想及其主张,一直颇受世人争议。本文对狄更斯本人的人道主义观念的内涵进行阐释,结合其作品中的有关人物进行分析,论述
心悸是指气血阴阳亏虚,或痰饮瘀血阻滞,心失所养,心脉不畅,引起心中急剧跳动,惊慌不安,不能自主为主要表现的一种病证.现代医学多见于各种器质性心脏病、病毒性心肌炎、心力
以人民为中心的发展思想创新了党的发展理念,成为新时代建设社会主义现代化强国的思想指引。它强调人民主体地位、公平正义、民生改善和党的领导,追求人的自由全面发展。这些
为了解决在闭环供应链的回收过程中各节点在非对称信息下回收信号传递的问题,运用委托代理理论,研究在销售商回收过程中将回收时的可再制造件回收水平和质量预防水平作为信号
句法与语义的关系在语言学研究与对于人工智能的哲学思考等方面占有重要地位。从著名的中文屋实验入手,通过探讨语言系统在完备化条件下句法与语义的关系,证明反映句法与语义
目的:通过构建野百合碱诱导合并腹主动脉-下腔静脉造瘘分流术的高肺血流量性肺动脉高压大鼠模型,探讨survivin抑制剂YM155是否能在体影响高肺血流量性肺动脉平滑肌细胞的增殖
目的通过对心理分析及护理使老年FD患者对疾病有全面的认识,消除不良心理的负面影响,采取有效的护理措施为疾病康复营造良好的环境。方法从消化内科专科的角度对于FD的老年患
目前,随着计算机技术的急速发展,辅助设计技术被应用在各个设计领域,特别是在计算机上基于产品模型进行数学化设计的虚拟样机技术。而装载机作为一种应用广泛的工程器械,在缩