略談高教出版社2017年出版的《邏輯學》教材中幾個問題

楊海波　邊云霞

【摘要】高等教育出版社在2017年7月出版了新版的《邏輯學》教材，意在推動全國高校邏輯學教材的現(xiàn)代化與統(tǒng)一，但本書在傳統(tǒng)的詞項邏輯部分與謂詞邏輯的自然演繹系統(tǒng)部分的編寫中存在一些偏頗。

【關(guān)鍵詞】高等教育出版社? 《邏輯學》教材? 傳統(tǒng)詞項邏輯? 謂詞邏輯自然演繹系統(tǒng)

【中圖分類號】G64 【文獻標識碼】A 【文章編號】2095-3089（2020）19-0004-02

2017年11月6日至9日，教育部在北京組織開展了對7月份高等教育新近出版的教材《邏輯學》任課教師的全國示范培訓，意在切實推進此系列教材在全國的統(tǒng)一使用工作。作者有幸與來自全國各個省市高校的130余位邏輯學教師接受了教材編寫組中部分專家的集中培訓。在三天的培訓里，筆者受益良多，也發(fā)現(xiàn)教材中存在一些偏頗之處。本評論意在指出其中幾個對理解會產(chǎn)生偏差的問題。幾個問題主要出在書中第一章傳統(tǒng)詞項邏輯與第五章謂詞邏輯的自然演繹系統(tǒng)中。

一、第一章傳統(tǒng)詞項邏輯部分存在的問題

傳統(tǒng)的詞項邏輯與現(xiàn)代邏輯在理解全稱命題時候有著明顯的差異。在現(xiàn)代邏輯看來SAP（即？坌x（Sx→Px））推不出來SIP（即？堝x（Sx∧Px）），當然也推不出來？堝xSx。但在傳統(tǒng)詞項邏輯中，如果詞項S是非空詞項的話，SAP既可以推理得到SIP，當然也可以得到？堝xSx;而如果詞項S是空詞項的話，SAP就推不出來SIP，也推不出來？堝xSx。除了“？坌xSx→？堝xSx”這樣的預設論域非空的邏輯原理外，現(xiàn)代謂詞邏輯拋棄了傳統(tǒng)詞項邏輯對詞項是否非空的區(qū)分，尋找的是對所有可能論域或世界都為真的，或不論詞項是否非空都為真的邏輯原理。……