人人澡人人爽人人人妻,无码国内精品久久综合88艾虎紫

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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