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

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

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

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