掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
買過本商品的人還買了
論聯(lián)合演算 版權(quán)信息
- ISBN：9787030389282
- 條形碼：9787030389282 ; 978-7-03-038928-2
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
論聯(lián)合演算 本書特色
馬雷所著的《論聯(lián)合演算》通過對傳統(tǒng)詞項邏輯的一般特征的分析,抓住聯(lián)合演算的實質(zhì)特點,劃分了聯(lián)合演算的兩個層次,在此基礎(chǔ)上提出結(jié)構(gòu)分析的方法作為判明或建構(gòu)永真式的一個依據(jù),同時提出一個極近似于命題邏輯的范式判定方法,用于在有窮步驟內(nèi)解決一聯(lián)合演算的判定問題。本書認(rèn)為現(xiàn)行的聯(lián)合演算對傳統(tǒng)推論的刻畫,僅就變項而言,就沒有窮盡其全部特征,因而初步嘗試構(gòu)造了一個新的等價翻譯的模式。本書還運用聯(lián)合演算的理論構(gòu)建了一個形式化的傳統(tǒng)推論系統(tǒng),并通過三段論化歸進(jìn)一步探討了這一系統(tǒng)的優(yōu)美性。本書的全部努力旨在說明:傳統(tǒng)詞項邏輯在其自身所把握的范圍內(nèi),確如康德所說,是封閉的和完備的。
論聯(lián)合演算 內(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é)生參閱。
論聯(lián)合演算 目錄
聯(lián)合演算理論的構(gòu)建及其奠基意義(序)
前言
**章 傳統(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)合演算理論的構(gòu)建及其奠基意義(序)
前言
**章 傳統(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)合演算的構(gòu)建
**節(jié) 詞項邏輯、謂詞邏輯、類邏輯和命題邏輯
一、詞項邏輯與謂詞邏輯
二、詞項邏輯與類邏輯
三、詞項邏輯與命題邏輯
第二節(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é) 運用范式判定方法的可能性
第二節(jié) 范式判定方法及其一般應(yīng)用
一、基本概念和定理
二、判定方法及其應(yīng)用
第三節(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)悖論
參考文獻(xià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)合演算理論的構(gòu)建及其奠基意義(序)
前言
**章 傳統(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)合演算的構(gòu)建
**節(jié) 詞項邏輯、謂詞邏輯、類邏輯和命題邏輯
一、詞項邏輯與謂詞邏輯
二、詞項邏輯與類邏輯
三、詞項邏輯與命題邏輯
第二節(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é) 運用范式判定方法的可能性
第二節(jié) 范式判定方法及其一般應(yīng)用
一、基本概念和定理
二、判定方法及其應(yīng)用
第三節(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)悖論
參考文獻(xiàn)
后記
展開全部
論聯(lián)合演算 節(jié)選
馬雷所著的《論聯(lián)合演算》通過對傳統(tǒng)詞項邏輯的一般特征的分析,抓住聯(lián)合演算的實質(zhì)特點,劃分了聯(lián)合演算的兩個層次,在此基礎(chǔ)上提出結(jié)構(gòu)分析的方法作為判明或建構(gòu)永真式的一個依據(jù),同時提出一個極近似于命題邏輯的范式判定方法,用于在有窮步驟內(nèi)解決一聯(lián)合演算的判定問題。本書認(rèn)為現(xiàn)行的聯(lián)合演算對傳統(tǒng)推論的刻畫,僅就變項而言,就沒有窮盡其全部特征,因而初步嘗試構(gòu)造了一個新的等價翻譯的模式。本書還運用聯(lián)合演算的理論構(gòu)建了一個形式化的傳統(tǒng)推論系統(tǒng),并通過三段論化歸進(jìn)一步探討了這一系統(tǒng)的優(yōu)美性。本書的全部努力旨在說明:傳統(tǒng)詞項邏輯在其自身所把握的范圍內(nèi),確如康德所說,是封閉的和完備的。
論聯(lián)合演算 作者簡介
1965年生,安徽舒城人(祖籍霍邱)。哲學(xué)博士,東南大學(xué)哲學(xué)與科學(xué)系教授、博士生導(dǎo)師。國家社會科學(xué)基金項目特約通訊評委,中國博士后基金項目特約通訊評委,中國邏輯學(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é)基金課題各一項,代表作有:《進(jìn)步、合理性與真理》(人民出版社,2003年)、《沖突與協(xié)調(diào)——科學(xué)合理性新論》(商務(wù)印書館,2006年,2008年)。
書友推薦
- >
小考拉的故事-套裝共3冊
- >
名家?guī)阕x魯迅:朝花夕拾
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
伯納黛特,你要去哪(2021新版)
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
唐代進(jìn)士錄
- >
名家?guī)阕x魯迅:故事新編
本類暢銷
