期刊文献+

简论张清宇的证伪系统

Remarks on Zhang Qingyu's Falsification Systems
下载PDF
导出
摘要 国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合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
  • 相关文献

参考文献2

二级参考文献13

  • 1卢卡西维茨.《亚里士多德的三段论》,李真等译,商务印书馆,1981年,第10页.
  • 2张清宇:《古典命题逻辑的证伪系统》,《全国中青年哲学工作者最新成果交流会入选论文》,1986,发表于1996年《自然辩证法研究》(逻辑学增刊).
  • 3T. Skura, "Refutation Systems in Propositional Logc," in D. Gabbay and F. Guenthner eds. , Handbook of Philosophical Logic, vol. 16, 2011, p. 123.
  • 4J. Lukasiewicz, Selected Works, North-Holland, 1970, p. 89.
  • 5J. Lukasiewicz, Selected Papers, Warszawa, 1961, p. 220.
  • 6J. S~upecki, "The Lukasiewicz Function," ZNUW, 3, 1959, pp. 30 - 40.
  • 7B. Iwanu~, "Proof of Decidability of the Traditional Calculus of Names," Studia Logica, 32, 1973, pp. 73 -90.
  • 8B. Iwanfi, "Investigations on Aristotle's Syllogistic," Metematyka, 28, 1992, pp. 41 - 56.
  • 9B. Iwami, "On Lesniewski's Elementary Ontology," Studia Logica, 31, 1972, pp. 73 -147.
  • 10T. Skura, "Refutation Calculi for Certain Intermediate Propositional Logics," NDJFL, 35, 1992, pp. 552 -560.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部