半符號邏輯

內容介紹

該書是作者在多年教學、科研的基礎上探索構建的一種新的邏輯推理體系――半符號化推理演繹體系．該體系集形式邏輯（傳統邏輯）和數理邏輯（符號邏輯）二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，藉助數理邏輯的符號演算體系進行邏輯推理。這是教學科研中的創新。全書共分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博弈邏輯--田忌賽馬
附錄邏輯趣味題和邏輯難題
參考書目

作者介紹

張靄珠，復旦大學國際關係與公共事務學院教授，上海市檢察官培訓中心客座教授。1962年畢業於復旦大學數學系．曾從事計算機總體設計、系統工程總體設計、自動跟蹤系統數模設計；時態邏輯研究、高等教育管理研究及教學等工作。主編或參與撰寫《定量分析方法》、《離散數學》、《獅城舌戰》、《謀略之戰》等教材和專著。曾任某工程總體設計組組長、復旦大學計算機科學系副系主任、法學院副院長和復旦大學副教務長等職務。

半符號邏輯

基本介紹

內容介紹

目錄

作者介紹

相關詞條

熱門詞條