函数完备性问题

摘要：

　　首先回顾命题联结词集合函数完备性的历史发展情况，然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题，以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。

关键词： 函数完备性 逻辑常项 直觉主义逻辑 一阶逻辑 联结词

作者: 刘新文

作者单位: 中国社会科学院哲学研究所,北京100732

会议类型: 国内会议

会议名称: 2011语言逻辑和符号学学术会议

会议地点: 重庆

会议语种:中文

页码: 44-47,93

在线出版日期: 2011-06-11（万方平台首次上网日期，不代表论文的发表时间）