半符號邏輯

內(nèi)容概要

該書是作者在多年教學(xué)、科研的基礎(chǔ)上探索構(gòu)建的一種新的邏輯推理體系——半符號化推理演繹體系。該體系集形式邏輯（傳統(tǒng)邏輯）和數(shù)理邏輯（符號邏輯）二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，借助數(shù)理邏輯的符號演算體系進行邏輯推理。這是教學(xué)科研中的創(chuàng)新。   全書共分7章，20余萬字?？勺鳛楦咝Ｏ嚓P(guān)專業(yè)的教材，也可作為MPA、MBA等考前參考書以及自學(xué)用書。

作者簡介

張靄珠，復(fù)旦大學(xué)國際關(guān)系與公共事務(wù)學(xué)院教授，上海市檢察官培訓(xùn)中心客座教授。
    1962年畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系。曾從事計算機總體設(shè)計、系統(tǒng)工程總體設(shè)計、自動跟蹤系統(tǒng)數(shù)模設(shè)計；時態(tài)邏輯研究、高等教育管理研究及教學(xué)等工作。
    主編或參與撰寫《定量分析方法》、《

書籍目錄

第一章 邏輯及其基本規(guī)律  1.1 傳統(tǒng)邏輯、符合邏輯和半符號邏輯  1.2 邏輯學(xué)與思維的形式結(jié)構(gòu)  1.3 邏輯的基本規(guī)律第二章 半符號命題演算基礎(chǔ)  2.1 命題與連接詞  2.2 自然語言半符號化  2.3 命題形式  2.4 論證形式和演繹推理第三章 半符號命題演算  3.1 常見命題演算實例  3.2 邏輯結(jié)掏分析解題法  3.3 關(guān)系表解題法  3.4 其他演繹方法第四章 半符號謂詞演算  4.1 概念  4.2 直言命題及其半符號化  4.3 關(guān)系命題及其半符號化  4.4 謂詞形式  4.5 有效式  4.6 有效式、永真式、對當關(guān)系  4.7 半符合謂詞演算第五章 半符號化謂詞演算的應(yīng)用  5.1 關(guān)系謂詞  5.2 謂詞邏輯演繹推理  5.3 半符號謂詞與三段論的變形推理第六章 半符號邏輯的某些理論問題  6.1 半符號命題邏輯系統(tǒng)Ls  6.2 半符號謂詞邏輯系統(tǒng)Ks第七章 一例一議  7.1 蘊涵怪論——羅素就是教皇  7.2 悖論——誰給理發(fā)師刮胡子  7.3 詭辯——人有角和谷堆  7.4 兩難推理——上帝是萬能的嗎  7.5 模態(tài)邏輯與規(guī)范邏輯——塞翁失馬焉知非福  7.6 時態(tài)邏輯與動態(tài)邏輯——阿凡提賣樹蔭  7.7 模糊邏輯和多值邏輯——禿子理論  7.8 博弈邏輯——田忌賽馬附錄 邏輯趣味題和邏輯難題參考書目

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    半符號邏輯 PDF格式下載

---