期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
公理化组合真之理论研究述评
被引量：
2
1
作者
韦雷雷
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016年第3期38-43,共6页
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理...
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。
展开更多
关键词
公理化
真
之
理论
组合
真
类型
无类型
原文传递
题名
公理化组合真之理论研究述评
被引量：
2
1
作者
韦雷雷
机构
南开大学哲学院
出处
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016年第3期38-43,共6页
文摘
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。
关键词
公理化
真
之
理论
组合
真
类型
无类型
Keywords
theories of axiomatic truth
compositional truth
type
type-free
分类号
B81 [哲学宗教—逻辑学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
公理化组合真之理论研究述评
韦雷雷
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016
2
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
