-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
結構推理 版權信息
- ISBN:9787549561971
- 條形碼:9787549561971 ; 978-7-5495-6197-1
- 裝幀:一般輕型紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
結構推理 本書特色
“智慧的探索叢書”收入了華東師范大學哲學學科幾代學人的哲學論著,展示了幾代學人的智慧之思。 《結構推理》系統地考察了命題邏輯的結構推理,是國內第1次系統關注并深入推進這一邏輯前沿的力作,填補了國內邏輯學在這一重要領域內的空白。全書內容豐富,信息量大;結構合理,層次感強;文字簡潔,符號精確;行之明快,條理清晰,充分體現了現代邏輯研究的“數理性”和“嚴格性”特點。
結構推理 內容簡介
《結構推理》研究命題邏輯的結構推理,分為四章:一、經典命題邏輯的結構推理;二、直覺主義命題邏輯的結構推理;三、相干命題邏輯及其線性片段的結構推理;四、和正結合演算的結構推理。內容涉及多種結構推理系統的建構,結構推理系統與相應公理系統的等價性,在語義理論的基礎上,證明了各個結構推理系統的可靠性與完全性,并考察了正結合演算結構推理系統BL-D的可判定性。 《結構推理》是教育部人文社會科學重點研究基地重大項目“結構推理及其應用研究”的*終成果。
結構推理 目錄
§1. 1 經典命題邏輯的結構推理系統PL
§1. 2 切割規則與其它導出規則
§1. 3 系統PL與相應公理系統P的等價性
第二章 直覺主義命題邏輯的結構推理
§2. 1 直覺主義命題邏輯的結構推理系統IL
§2. 2 系統IL與相應公理系統IP的等價性
§2. 3 二元關系語義
第三章 相干命題邏輯及其線性片段的結構推理
§3. 1 相干命題邏輯的結構推理系統RL及其線性片段BCL
§3. 2 系統RL、BCL與相應公理系統R、BC的等價性
§3. 3 三元關系語義
§3. 4 系統RL、BCL的完全性
第四章 正結合演算的結構推理
§4. 1 正結合演算的結構推理系統BL
§4. 2 系統BL與相應公理系統B的等價性
§4. 3 擇類語義
§4. 4 正結合演算結構推理系統BL-D的可判定性
參考文獻
符號表
索引
后記
結構推理 作者簡介
馮棉,華東師范大學終身教授,博士生導師,哲學系邏輯室主任,邏輯學博士點負責人,國務院特殊津貼獲得者,中國邏輯學會副會長,上海市邏輯學會會長。撰有專著《經典邏輯與直覺主義邏輯》、《廣義模態邏輯》、《哲學邏輯與邏輯哲學》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫《哲學大辭典》、《計算機科學技術百科全書》、《辭海》、《外國哲學大辭典》、《邏輯學大辭典》(副主編)、《大辭海》等辭書和《邏輯學導論》等多部教材。主要研究領域為“現代邏輯”和“邏輯哲學”。
- >
李白與唐代文化
- >
姑媽的寶刀
- >
上帝之肋:男人的真實旅程
- >
巴金-再思錄
- >
自卑與超越
- >
伯納黛特,你要去哪(2021新版)
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
名家帶你讀魯迅:朝花夕拾