摘要
首先回顾命题联结词集合函数完备性的历史发展情况,然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题,以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。
After surveying the historical development of the functional completeness of the set of proposition connectives,this paper presents the problems of functional completeness in intuitionistic logic and first-order logic,which raise the problem of logical constants.The philosophical consequence of this kind of problems is the problem of logicality which plays a fundamental role in logic.
出处
《重庆理工大学学报（社会科学）》
CAS
2011年第8期44-47,93,共5页
Journal of Chongqing University of Technology（Social Science）
基金
国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)资助
关键词
函数完备性
逻辑常项
直觉主义逻辑
一阶逻辑
functional completeness
logical constants
intuitionistic logic
first-order logic
