《相干與衍推謂詞邏輯》是2018年08月華東師範大學出版社出版的圖書，作者是馮棉。
基本介紹
- 書名：相干與衍推謂詞邏輯
- 作者：馮棉
- 出版社：華東師範大學出版社
- 出版時間：2018年8月
- 開本：16 開
- ISBN：9787567577763
內容簡介,圖書目錄,作者簡介,
內容簡介
《相干與衍推謂詞邏輯》研究了相干與衍推謂詞邏輯系統，包括公理系統、自然推理系統和結構推理系統的建構，重要內定理和導出規則的證明，並證明了公理系統與對應的自然推理系統、結構推理系統的等價性；同時研究相干與衍推謂詞邏輯弱系統的三元關係變域語義，並在此基礎上證明了各個系統的可靠性和完全性。研究的知識體系完整，概念表述明晰，內定理和元定理的證明嚴格而規範，具有理論的廣度和深度，在一些重要理論問題上有突破和創新。
圖書目錄
前言
第一章 預備知識
§1.1 從經典邏輯談起
§1.2 相干邏輯的發展動因
§1.3 相干與衍推命題邏輯概述
第二章 相干與衍推謂詞邏輯系統
§2.1 相干與衍推謂詞邏輯公理系統
§2.2 量化內定理與導出規則
§2.3 相干與衍推謂詞邏輯自然推理系統
§2.4 相干謂詞邏輯結構推理系統及其線性片斷
第三章 三元關係變域語義與**性
§3.1 系統LRQ*的三元關係變域語義
§3.2 理論與“不可推演對”
§3.3 典範框架與**性
作者簡介
馮棉，華東師範大學終身教授，博士生導師，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長，《邏輯學研究》雜誌編委，台灣大學客座教授（2013）。主要研究領域為“現代邏輯”和“邏輯哲學”。撰有《經典邏輯與直覺主義邏輯》(上海人民出版社,1989)、《廣義模態邏輯》(華東師大出版社,1990)、《相干與衍推邏輯》(上海人民出版社,1993)、《可能世界與邏輯研究》(華東師大出版社,1996)、《相干邏輯研究》(華東師大出版社,2010)、《結構推理》(廣西師大出版社,2015)等多部專著。參與編寫《哲學大辭典》、《辭海》、《外國哲學大辭典》、《邏輯學大辭典》、《大辭海（數理化力學卷）》等辭書和《邏輯學導論》等多部教材。先後承擔多項國家和教育部基金項目，著作和論文獲教育部“高等學校科學研究優秀成果獎”、上海市哲學社會科學優秀學術成果獎和“金岳霖學術獎”。
