《半符號邏輯：傳統邏輯與符號邏輯的橋樑》是2004年出版的圖書，作者是張靄珠。
基本介紹
- 書名：半符號邏輯：傳統邏輯與符號邏輯的橋樑
- 作者：張靄珠 著
- ISBN：7-309-04237-9/B.224
- 頁數：219頁
- 定價：20.00元
- 出版時間：2004年12月
- 裝幀：平裝
- 開本：32 開
- 字數：264千字
內容簡介,目錄,
內容簡介
該書是作者在多年教學、科研的基礎上探索構建的一種新的邏輯推理體系——半符號化推理演繹體系．該體系集形式邏輯（傳統邏輯）和數理邏輯（符號邏輯）二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，藉助數理邏輯的符號演算體系進行邏輯推理．這是教學科研中的創新．
全書共分7章，20餘萬字．可作為高校相關專業的教材，也可作為MPA、MBA等考前參考書以及自學用書．
目錄
第一章 邏輯及其基本規律
1.1 傳統邏輯、符合邏輯和半符號邏輯
1.2 邏輯學與思維的形式結構
1.3 邏輯的基本規律
第二章 半符號命題演算基礎
2.1 命題與連線詞
2.2 自然語言半符號化
2.3 命題形式
2.4 論證形式和演繹推理
第三章 半符號命題演算
3.1 常見命題演算實例
3.2 邏輯結掏分析解題法
3.3 關係表解題法
3.4 其他演繹方法
第四章 半符號謂詞演算
4.1 概念
4.2 直言命題及其半符號化
4.3 關係命題及其半符號化
4.4 謂詞形式
4.5 有效式
4.6 有效式、永真式、對當關係
4.7 半符合謂詞演算
第五章 半符號化謂詞演算的套用
5.1 關係謂詞
5.2 謂詞邏輯演繹推理
5.3 半符號謂詞與三段論的變形推理
第六章 半符號邏輯的某些理論問題
6.1 半符號命題邏輯系統Ls
6.2 半符號謂詞邏輯系統Ks
第七章 一例一議
7.1 蘊涵怪論——羅素就是教皇
7.2 悖論——誰給理髮師刮鬍子
7.3 詭辯——人有角和谷堆
7.4 兩難推理——上帝是萬能的嗎
7.5 模態邏輯與規範邏輯——塞翁失馬焉知非福
7.6 時態邏輯與動態邏輯——阿凡提賣樹蔭
7.7 模糊邏輯和多值邏輯——禿子理論
7.8 博弈邏輯——田忌賽馬
附錄 邏輯趣味題和邏輯難題
參考書目
1.1 傳統邏輯、符合邏輯和半符號邏輯
1.2 邏輯學與思維的形式結構
1.3 邏輯的基本規律
第二章 半符號命題演算基礎
2.1 命題與連線詞
2.2 自然語言半符號化
2.3 命題形式
2.4 論證形式和演繹推理
第三章 半符號命題演算
3.1 常見命題演算實例
3.2 邏輯結掏分析解題法
3.3 關係表解題法
3.4 其他演繹方法
第四章 半符號謂詞演算
4.1 概念
4.2 直言命題及其半符號化
4.3 關係命題及其半符號化
4.4 謂詞形式
4.5 有效式
4.6 有效式、永真式、對當關係
4.7 半符合謂詞演算
第五章 半符號化謂詞演算的套用
5.1 關係謂詞
5.2 謂詞邏輯演繹推理
5.3 半符號謂詞與三段論的變形推理
第六章 半符號邏輯的某些理論問題
6.1 半符號命題邏輯系統Ls
6.2 半符號謂詞邏輯系統Ks
第七章 一例一議
7.1 蘊涵怪論——羅素就是教皇
7.2 悖論——誰給理髮師刮鬍子
7.3 詭辯——人有角和谷堆
7.4 兩難推理——上帝是萬能的嗎
7.5 模態邏輯與規範邏輯——塞翁失馬焉知非福
7.6 時態邏輯與動態邏輯——阿凡提賣樹蔭
7.7 模糊邏輯和多值邏輯——禿子理論
7.8 博弈邏輯——田忌賽馬
附錄 邏輯趣味題和邏輯難題
參考書目
