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

定　價(jià)：￥49.80

作　者：	翟玉章著
出版社：	河南人民出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥41.80)

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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