論聯(lián)合演算

定　價：￥88.00

作　者：	馬雷著
出版社：	科學出版社
叢編項：
標　簽：	邏輯學哲學/宗教

購買這本書可以去

ISBN：	9787030389282	出版時間：	2013-10-01	包裝：	平裝
開本：	16開	頁數(shù)：	314	字數(shù)：

內容簡介

　　聯(lián)合演算是希爾伯特和阿克曼為從現(xiàn)代邏輯的演算觀把傳統(tǒng)邏輯推理理論系統(tǒng)化而特構的一種新的邏輯工具，但聯(lián)合演算在解釋傳統(tǒng)邏輯和亞里士多德邏輯中存在根本缺陷。馬雷所著的《論聯(lián)合演算》系統(tǒng)研究和發(fā)展了聯(lián)合演算的理論與方法，廢棄了聯(lián)合演算的原初判定標準，提出解決判定問題的結構判定法和范式判定法；并在此基礎上提出聯(lián)合演算對傳統(tǒng)邏輯和亞氏邏輯的等價翻譯方案，構建了形式化的傳統(tǒng)直言推論系統(tǒng)和三段論化歸系統(tǒng)，構造了亞氏模態(tài)三段論的推演系統(tǒng)和化歸系統(tǒng)，從而最大限度地證明傳統(tǒng)邏輯和亞氏邏輯在其所適用的范圍內所具有的嚴密性和完備性?！墩撀?lián)合演算》適合邏輯學、哲學及相關專業(yè)的研究者和學生參閱。

作者簡介

　　馬雷，1965年生，安徽舒城人（祖籍霍邱）。哲學博士，東南大學哲學與科學系教授、博士生導師。國家社會科學基金項目特約通訊評委，中國博士后基金項目特約通訊評委，中國邏輯學會科學邏輯專業(yè)委員會委員，國家“985工程”哲學社會科學創(chuàng)新基地“科技、倫理與藝術”高級研究中心兼職研究員，南京大學現(xiàn)代邏輯與邏輯應用研究所兼職研究員，江蘇省邏輯學會常務理事，江蘇省自然辯證法研究會理事，東南大學人文學院學術委員會委員。主要從事邏輯學、科學哲學、外國哲學等領域的研究，在科學哲學領域提出和建構了科學進步的協(xié)調合理性理論。主持完成和承擔國家社會科學基金課題各一項，代表作有：《進步、合理性與真理》（人民出版社，2003年）、《沖突與協(xié)調——科學合理性新論》（商務印書館，2006年，2008年）。

圖書目錄

聯(lián)合演算理論的構建及其奠基意義(序)
前言
第一章傳統(tǒng)詞項邏輯的一般特征
第一節(jié) 傳統(tǒng)詞項邏輯語言的基本詞匯
    一、變項
    二、邏輯常項
第二節(jié) 傳統(tǒng)詞項邏輯的直言命題形式
    一、命題和命題形式
    二、真值條件
第三節(jié) 傳統(tǒng)詞項邏輯的直言推理形式
    一、推理和推理形式
    二、亞里士多德三段論式和傳統(tǒng)三段論式
第二章亞里士多德的模態(tài)三段論
第一節(jié) 模態(tài)詞與模態(tài)命題形式
第二節(jié) 亞里士多德的模態(tài)三段論
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
第三章聯(lián)合演算的構建
第一節(jié) 詞項邏輯、謂詞邏輯、類邏輯和命題邏輯
    一、詞項邏輯與謂詞邏輯
    二、詞項邏輯與類邏輯
    三、詞項邏輯與命題邏輯
第二節(jié) 命題演算與一元謂詞演算或類演算的聯(lián)合
    一、命題演算與一元謂詞演算的聯(lián)合
    二、命題演算與類演算的聯(lián)合
第四章聯(lián)合演算的原初判定標準
第一節(jié) 原初判定標準及其應用
第二節(jié) 對原初判定標準的考察
    一、隱蔽的矛盾
    二、理論謬誤和癥結所在
第五章聯(lián)合演算的結構判定方法
第一節(jié) 希爾伯特和阿克曼的審定法
第二節(jié) 結構判定方法
    一、對豎號的重新解釋
    二、結構判定方法及其應用
第六章聯(lián)合演算的范式判定方法
第一節(jié) 運用范式判定方法的可能性
第二節(jié) 范式判定方法及其一般應用
    一、基本概念和定理
    二、判定方法及其應用
第三節(jié) 豪伯定理的證明
第七章聯(lián)合演算對傳統(tǒng)詞項邏輯的等價描述
第一節(jié) 問題的提出
第二節(jié) 新的翻譯模式
第三節(jié) 傳統(tǒng)直言推理式的簡化
第八章聯(lián)合演算對傳統(tǒng)直言推理的系統(tǒng)化
第一節(jié) 聯(lián)合演算的出發(fā)點
    一、初始符號
    二、形成規(guī)則
    三、定義
    四、公理
    五、基本推理規(guī)則
第二節(jié) 定理的推演
    一、傳統(tǒng)直接推理的系統(tǒng)化
    二、直言三段論推理的系統(tǒng)化
第三節(jié) 傳統(tǒng)直言三段論的化歸
    一、化歸原理和方法
    二、三段論的化歸——歸于第一格AAA式
第九章亞里士多德模態(tài)三段論的形式系統(tǒng)
第一節(jié) 對亞里士多德模態(tài)三段論的等價表述
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
第二節(jié) 模態(tài)三段論演算的出發(fā)點
    一、初始符號
    二、形成規(guī)則
    三、定義
    四、公理
    五、變形規(guī)則
    六、定理的推演
第三節(jié) 亞里士多德模態(tài)三段論的化歸
    一、化歸原理和方法
    二、亞里士多德模態(tài)三段論的化歸
    三、余論：亞里士多德的模態(tài)悖論
參考文獻
后記