首页 > 《中国哲学年鉴》 > 2014年1期 > 塔尔斯基论题

塔尔斯基论题

在线阅读下载PDF 导出详情

摘要古典命题逻辑的函数完备性定理是说，每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此，我们可以说古典命题逻辑就是真值函数的逻辑。但是，对于作为现代逻辑的主要研究对象的一阶逻辑，我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准，即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”，这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后，我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。

DOI n4983yq9dy/1765911

作者刘新文

机构地区不详

出处《中国哲学年鉴》 2014年1期

关键词塔尔斯基论题命题逻辑真值函数一阶逻辑逻辑常项

分类 [哲学宗教][中国哲学]

出版日期 2014年01月11日（中国期刊网平台首次上网日期，不代表论文的发表时间）