搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
相干与衍推谓词逻辑
0.00     定价 ¥ 59.00
图书来源: 浙江图书馆(由JD配书)
此书还可采购25本,持证读者免费借回家
  • 配送范围:
    浙江省内
  • ISBN:
    9787567577763
  • 作      者:
    冯棉
  • 出 版 社 :
    华东师范大学出版社
  • 出版日期:
    2018-08-01
收藏
编辑推荐
《相干与衍推谓词逻辑》由华东师范大学出版社出版。
展开
作者简介
冯棉,华东师范大学终身教授,博士生导师,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长,《逻辑学研究》杂志编委,台湾大学客座教授(2013)。主要研究领域为“现代逻辑”和“逻辑哲学”。
撰有《经典逻辑与直觉主义逻辑》(上海人民出版社,1989)、《广义模态逻辑》(华东师大出版社,1990)、《相干与衍推逻辑》(上海人民出版社,1993)、《可能世界与逻辑研究》(华东师大出版社,1996)、《相干逻辑研究》(华东师大出版社,2010)、《结构推理》(广西师大出版社,2015)等多部专著。参与编写《哲学大辞典》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》、《大辞海(数理化力学卷)》等辞书和《逻辑学导论》等多部教材。
先后承担多项国家和教育部基金项目,著作和论文获教育部“高等学校科学研究优秀成果奖”、上海市哲学社会科学优秀学术成果奖和“金岳霖学术奖”。
展开
内容介绍
《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统,包括公理系统、自然推理系统和结构推理系统的建构,重要内定理和导出规则的证明,并证明了公理系统与对应的自然推理系统、结构推理系统的等价性;同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义,并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整,概念表述明晰,内定理和元定理的证明严格而规范,具有理论的广度和深度,在一些重要理论问题上有突破和创新。
展开
目录
前言
第一章 预备知识
§1.1 从经典逻辑谈起
§1.2 相干逻辑的发展动因
§1.3 相干与衍推命题逻辑概述
第二章 相干与衍推谓词逻辑系统
§2.1 相干与衍推谓词逻辑公理系统
§2.2 量化内定理与导出规则
§2.3 相干与衍推谓词逻辑自然推理系统
§2.4 相干谓词逻辑结构推理系统及其线性片断
第三章 三元关系变域语义与**性
§3.1 系统LRQ*的三元关系变域语义
§3.2 理论与“不可推演对”
§3.3 典范框架与**性
参考文献
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证