作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
“可证”的算子用法与谓词用法是严格区分概念层次的结果.“可证”的算子用法是从命题外部来理解“可证”的,而它的谓词用法则是从命题内部来理解的.哥德尔自指命题是否导致悖论,关键在于如何理解“可证”概念.如果把“可证”理解为语句算子,那么哥德尔自指命题就不会导致悖论.否则,如果把它理解为谓词,那么哥德尔自指命题就会导致悖论.
推荐文章
哥德巴赫猜想简要证明与哥德尔计算机
偶数
素数
报废率
哥德尔计算机
形式本体论
哥德巴赫猜想简要证明与哥德尔计算机
偶数
素数
报废率
哥德尔计算机
形式本体论
基于哥德尔β函数的数据加密
数据加密
哥德尔β函数
加密流程
"哥德巴赫猜想"命题证明
哥德巴赫猜想
第一命题
第二命题
命题证明
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 哥德尔自指命题与悖论
来源期刊 重庆理工大学学报(社会科学版) 学科 哲学
关键词 可证 算子 谓词
年,卷(期) 2012,(6) 所属期刊栏目 逻辑学与科学方法论
研究方向 页码范围 8-10,27
页数 分类号 B81
字数 3297字 语种 中文
DOI 10.3969/j.issn.1674-8425.2012.06.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 贾国恒 华东师范大学哲学系 14 29 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (1)
参考文献  (2)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
可证
算子
谓词
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆理工大学学报(社会科学版)
月刊
1674-8425
50-1205/T
重庆杨家坪重庆理工大学期刊社
chi
出版文献量(篇)
5065
总下载数(次)
12
总被引数(次)
21156
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导