相干与衍推谓词逻辑

图书标准信息

• 作者 冯棉
• 出版社 华东师范大学出版社
• 出版时间 2018-08
• 版次 1
• ISBN 9787567577763
• 定价 59.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 232页
• 字数 249千字

【内容简介】

《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整，概念表述明晰，内定理和元定理的证明严格而规范，具有理论的广度和深度，在一些重要理论问题上有突破和创新。

【作者简介】

冯棉，华东师范大学终身教授，博士生导师，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授（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 典范框架与**性

参考文献