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

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

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

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