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

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

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