相干与衍推谓词逻辑
全新正版 极速发货
¥
32.85
5.6折
¥
59
全新
库存2件
作者冯棉
出版社华东师大
ISBN9787567577763
出版时间2018-07
装帧其他
开本其他
定价59元
货号30244606
上书时间2024-05-26
商品详情
- 品相描述:全新
- 商品描述
-
作者简介
冯棉,华东师范大学终身教授,博士生导师,哲学系逻辑室主任,逻辑学博士点负责人,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长,《逻辑学研究》杂志编委,台湾大学客座教授(2013)。
撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》(副主编)、《大辞海》等辞书和《逻辑学导论》等多部教材。
先后承担多项国家和基金项目,著作和论文获“高等学校科学研究优秀成果奖”、上海市哲学社会科学优秀学术成果奖和“金岳霖学术奖”。主要研究领域为“现代逻辑”和“逻辑哲学”。
目录
前言
第一章 预备知识
§1.1 从经典逻辑谈起
§1.2 相干逻辑的发展动因
§1.3 相干与衍推命题逻辑概述
第二章 相干与衍推谓词逻辑系统
§2.1 相干与衍推谓词逻辑公理系统
§2.2 量化内定理与导出规则
§2.3 相干与衍推谓词逻辑自然推理系统
§2.4 相干谓词逻辑结构推理系统及其线性片断
第三章 三元关系变域语义与完全性
§3.1 系统LRQ*的三元关系变域语义
§3.2 理论与“不可推演对”
§3.3 典范框架与完全性
参考文献
内容摘要
冯棉著的《相干与衍推谓词逻辑》内容是研究相干与衍推谓词逻辑,涉及多种相干与衍推谓词逻辑弱系统和强系统的建构,包括公理系统、自然推理系统
和结构推理系统,在此基础上,建构了相干与衍推谓词逻辑弱系统的三元关系变域语义,并证明了各种相干与衍推谓词逻辑弱系统的可靠性与完全性。全书共分三章十节,书后列出了参考文献。
— 没有更多了 —
以下为对购买帮助不大的评价