現(xiàn)代邏輯基本概念和技術

定　價：￥49.80

作　者：	翟玉章著
出版社：	河南人民出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

京東 (￥41.80)

ISBN：	9787215126558	出版時間：	2020-12-01	包裝：	平裝
開本：	16開	頁數(shù)：	109	字數(shù)：

內(nèi)容簡介

　　本書介紹了有效推理和與此相關的一系列概念（矛盾句、有效句、語句間的蘊涵關系和等價關系），這些語句層面上的概念最終都可以借助語句模式的概念加以說明。本書還介紹了檢驗和證明語句模式有效性的技術，特別是主要運用于真值函項模式的真值分析法和運用于一般的量化模式的純存在式方法和奎因方法。本書糾正了一些因襲性的概念錯誤并給予了正確解釋，如相容選言句和不相容選言句的含義，蘊涵關系和條件句之間的區(qū)別和聯(lián)系，等等。特別值得一提的是，本書花了三章的篇幅，從日常語言著手，將謂詞、變項和量詞這幾個專業(yè)概念的來龍去脈交代得清清楚楚。本書適合用作各大院校的邏輯教材，也可供邏輯愛好者自修之用。

作者簡介

　　翟玉章，1965年出生，江蘇鹽城人。1995年7月獲北京大學哲學博士學位。南京師范大學哲學系副教授。曾在世界知識出版社和中國駐外使館工作。從事分析哲學（特別是羅素、卡爾納普和奎因的哲學）的教學和研究工作。

圖書目錄

第一章有效推理和矛盾
第二章矛盾句和矛盾模式、邏輯結(jié)構(gòu)的層次性
第三章真值函項聯(lián)結(jié)詞和真值函項模式
第四章真值函項模式矛盾性和有效性的檢驗：真值分析法
第五章真函有效推理的檢驗方法
第六章模式間的蘊涵關系和等價關系
第七章中場總結(jié)和預告
第八章謂詞和謂詞字母
第九章謂詞提取和變項
第十章量詞
第十一章量化模式及其有效性
第十二章量化模式的替換規(guī)則
第十三章移置規(guī)則和量化模式的前置化處理
第十四章量化模式有效性的檢驗方法：純存在式方法
第十五章量化模式有效性的證明方法：奎因方法
第十六章奎因方法的完全性和其他
第十七章單獨詞項和“=”
附錄一奎因論現(xiàn)代邏輯(英漢對照)
附錄二復習思考題參考答案
附錄三專業(yè)術語索引
出版后記