一元道義邏輯及其中一些悖論

1、蘇州大學(xué)學(xué)位論文獨創(chuàng)性聲明本人鄭重聲明：所提交的學(xué)位論文是本人在導(dǎo)師的指導(dǎo)下，獨立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不含其他個人或集體已經(jīng)發(fā)表或撰寫過的研究成果，也不含為獲得蘇州大學(xué)或其它教育機(jī)構(gòu)的學(xué)位證書而使用過的材料。對本文的研究作出重要貢獻(xiàn)的個人和集體，均已在文中以明確方式標(biāo)明。本人承擔(dān)本聲明的法律責(zé)任。論文作者簽名：童≥至竭 日一元道義邏輯及其中一些悖論 摘要摘 要道義邏輯是上世紀(jì)五十年代創(chuàng)立的關(guān)于研究

2、義務(wù)、允許、禁止等道義概念的符號邏輯，是廣義模態(tài)邏輯的一個分支，也被稱為規(guī)范邏輯或義務(wù)邏輯。現(xiàn)代道義邏輯自1 9 5 1 年由馮·賴特創(chuàng)立至今，經(jīng)過了從語形學(xué)到語義學(xué)，從絕對道義邏輯到相對道義邏輯，從命題道義邏輯到謂詞道義邏輯的迅速發(fā)展，很多知名邏輯學(xué)家為此做出過不懈地努力。它的創(chuàng)立和發(fā)展深受早期真勢模態(tài)邏輯的影響，也具有模態(tài)邏輯那樣的理論重要性，而它的實踐重要性甚至更突出。道義邏輯根據(jù)研究內(nèi)容的不同可以分為絕對道義邏輯和相對

3、道義邏輯兩大類，其中絕對道義邏輯又可分為樸素絕對道義邏輯和真勢絕對道義邏輯兩部分。本文將通過闡述道義邏輯的發(fā)展歷程和背景知識，以及分別對在樸素絕對道義邏輯和在真勢絕對道義邏輯中最具代表性的一元道義邏輯系統(tǒng)進(jìn)行分析，來探討絕對道義邏輯，并對一元道義邏輯的系統(tǒng)中存在的一些主要問題提出一些看法。本文主要分為三個部分：一、道義邏輯綜述。這部分主要從1 ) 道義邏輯的發(fā)展歷程，2 ) 真勢模態(tài)邏輯，3 ) 類似模態(tài)的傳統(tǒng)道義模式，以及4 ) 道義

4、邏輯的命題語言和一些預(yù)設(shè)原則這四個方面對道義邏輯研究的知識背景作出必要闡述。二、具有代表性的一元道義邏輯系統(tǒng)。這部分分別從語形和語義方面，詳細(xì)分析了在樸素絕對道義邏輯和真勢絕對道義中分別具有代表性的標(biāo)準(zhǔn)道義邏輯系統(tǒng)( S D L ) 和安德森——康格爾還原以及一些與其相關(guān)的附加系統(tǒng)。三、一些難題及對其的反思。這部分根據(jù)S D L 中不同的可行原則，將道義邏輯中出現(xiàn)的一些主要悖論進(jìn)行了歸類整理，并且通過分析來尋求初步地解決方法。這些悖論主