| 命题逻辑的证伪系统 |
| |
| 引用本文： | 刘新文.命题逻辑的证伪系统[J].湖南科技大学学报(社会科学版),2011,14(3):23-25. |
| |
| 作者姓名： | 刘新文 |
| |
| 作者单位： | 中国社会科学院,哲学研究所,北京,100732 |
| |
| 基金项目： | 中国社会科学院2006年重大项目"模态逻辑"资助 |
| |
| 摘 要： | 一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。
|
| 关 键 词： | 证伪系统 古典命题逻辑 直觉主义命题逻辑 模态命题逻辑 |
Refutation Systems in Propositional Logic |
| |
| LIU Xin-wen.Refutation Systems in Propositional Logic[J].journal of hunan university of science&technology,2011,14(3):23-25. |
| |
| Authors: | LIU Xin-wen |
| |
| Institution: | LIU Xin-wen (Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China) |
| |
| Abstract: | A refutation system is an inference system consisting of refutation axioms and refutation rules.Refutation axioms are non-valid formulas,and refutation rules are rules preserving non-validity.This paper generalizes the works in 1986 and 1996 by Zhang Qingyu to include propositional intuitionistic logic and propositional modal logic. |
| |
| Keywords: | refutation system classical propositional logic propositional intuitionistic logic propositional modal logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
