咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 16 篇 期刊文献

馆藏范围

  • 16 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 8 篇 哲学
    • 7 篇 哲学
  • 3 篇 法学
    • 2 篇 社会学
    • 1 篇 法学
  • 3 篇 理学
    • 3 篇 数学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 历史学

主题

  • 16 篇 完全性定理
  • 4 篇 形式语言
  • 4 篇 形式系统
  • 3 篇 哥德尔
  • 3 篇 现代逻辑
  • 3 篇 模态逻辑
  • 2 篇 公理系统
  • 2 篇 公式集
  • 2 篇 可靠性定理
  • 2 篇 当且仅当
  • 1 篇 言语行为理论
  • 1 篇 《史》
  • 1 篇 数学哲学
  • 1 篇 代数模型
  • 1 篇 构造论者
  • 1 篇 哲学研究
  • 1 篇 语义原则
  • 1 篇 an-命题
  • 1 篇 分配格
  • 1 篇 模型结构

机构

  • 3 篇 中国社会科学院哲...
  • 1 篇 全国哲学社会科学...
  • 1 篇 中国社会科学院哲...
  • 1 篇 中共广州市直属机...
  • 1 篇 美国ibm公司
  • 1 篇 兰州大学
  • 1 篇 潍坊学院
  • 1 篇 哈尔滨工业大学
  • 1 篇 贵州大学
  • 1 篇 中国科技大学

作者

  • 3 篇 张清宇
  • 1 篇 陶景侃
  • 1 篇 高恒珊
  • 1 篇 石一日
  • 1 篇 f.帕特陶特
  • 1 篇 刘晓力
  • 1 篇 刘新文
  • 1 篇 任秋云
  • 1 篇 陈颖健
  • 1 篇 蔡曙山
  • 1 篇 孔晓明
  • 1 篇 吕健安
  • 1 篇 王路
  • 1 篇 季国清
  • 1 篇 陶渝苏
  • 1 篇 黄廷章
  • 1 篇 郭润玺

语言

  • 16 篇 中文
检索条件"主题词=完全性定理"
共 16 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Godcl的完全性定理与早期数学哲学思想
收藏
分享
引用
自然辩证法通讯 1996年 第6期18卷 9-15页
作者： 刘晓力
Ｇｏｄｅｌ以其三大数学贡献闻名于世，Ｇｏｄｅｌ定理甚至被各个领域的人津津乐道。然而很少有人关注在他的巨大数学成就背后丰富而深刻的哲学思想。本文借助原始资料，通过对完全性定理证明与Ｇｄｅｌ早期数学哲学思想的分析，试图揭... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
论“语言转向”的性质和意义
收藏
分享
引用
哲学研究 1996年 第10期 57-63页
作者： 王路 中国社会科学院哲学所
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
量词模态逻辑的代数语义学_(Ⅳ,下)──关于含Barcan公式的非正规模态系统情形
收藏
分享
引用
哲学研究 1999年 第3期 71-78页
作者： 高恒珊 吕健安 中国科技大学研究生院 美国IBM公司
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
不用联结词的经典命题逻辑系统
收藏
分享
引用
哲学研究 1995年 第5期 40-47页
作者： 张清宇 中国社会科学院哲学研究所
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
量化的语用逻辑
收藏
分享
引用
哲学研究 1999年 第2期 65-73页
作者： 蔡曙山 全国哲学社会科学规划办公室
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
论不确定性对于科学的积极意义
收藏
分享
引用
贵州社会科学 1995年 第4期 34-39页
作者： 陶渝苏 贵州大学马列主义教学部
科学追求确定性的特点早已被人们作为不言而喻的事实所接受。然而科学自身要求完全性吗?如果确定性与完全性不相容,那么,科学是否必须以牺牲完全性为代价而换取确定性?学术界对此众说纷纭。本文拟从考察科学的发生、发展及其结构入手,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
逻辑和哲学─—读张家龙著《数理逻辑发展史》
收藏
分享
引用
哲学研究 1994年 第9期 68-71页
作者： 石一日 中国社会科学院哲学所
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
标准模态逻辑的判定方法和完全性
收藏
分享
引用
兰州大学学报（社会科学版） 1993年 第3期21卷 62-70页
作者： 任秋云 陶景侃 兰州大学哲学系
本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
从形式系统的整体性看法规
收藏
分享
引用
现代哲学 1996年 第4期 122-124页
作者： 孔晓明 中共广州市直属机关党校
形式系统的整体性一般包括公理独立性、一致性和完全性,另外还有层次性的问题。独立性是指各公理间的不可推演性;一致性是指它们会不会导致矛盾的性质;完全性是指系统内的公理加推演规则能否演绎出系统内的所有定理的性质;层次性则要求... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
现代科学对形而上学的“最后诊断”
收藏
分享
引用
哈尔滨学院学报 1999年 第4期21卷 1-9页
作者： 季国清 哈尔滨工业大学人文学院 黑龙江哈尔滨150006
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >> 跳转到页 
回到顶部
执行限定条件