本文關(guān)鍵詞：二元道義邏輯DDFS系統(tǒng)研究，，由筆耕文化傳播整理發(fā)布。

【摘要】： 在馮·賴特和J·F霍蒂工作的基礎(chǔ)上,J·漢森將建立了新的二元道義邏輯系統(tǒng)DDFS。 本文描述了DDFS系統(tǒng)的一些性質(zhì),采用與漢森略有不同的方法,證明了系統(tǒng)中的公理的有效性和部分定理,并且證明了系統(tǒng)的可靠性。 首先,本文簡要描述了現(xiàn)代道義邏輯興起的背景。對現(xiàn)代道義邏輯的發(fā)展史作了一個簡要的回顧,從而闡明了對本文所論述對象進行研究的必要性和可行性。 在第二章里面,簡要描述了一元道義邏輯系統(tǒng),這是進一步研究二元道義邏輯的基礎(chǔ)。也指出了一元道義邏輯的特性及局限。 第三章介紹了馮·賴特的兩個二元道義邏輯系統(tǒng),并闡述了由弗蘭岑和霍蒂分別提出的兩個道義算子“O~F”和“O~S”的理論背景,對于這兩個算子的語義,可以借用非單調(diào)邏輯的缺省理論來理解。 第四章集中介紹了二元道義邏輯系統(tǒng)DDFS的各個方面,包括其產(chǎn)生的緣由,其初始符號、形成規(guī)則、公理及定理等,還給出了關(guān)于DDFS可靠性的證明。DDFS是一個不允許含道義命題算子公式與命題邏輯中公式混合使用和不允許道義算子重疊的系統(tǒng),從這一點上,它與馮·賴特的二元道義邏輯系統(tǒng)類似,因而,其推理能力受到一定限制,不是非常強。這一部分,也可算是本文的重點,除了對重要的定理給出了簡要的證明外,還對DDFS系統(tǒng)的可靠性做了詳細的證明。 論文最后的第五章,用于闡述作者個人對DDFS系統(tǒng)在包括邏輯學(xué)和倫理學(xué)等各學(xué)科中的應(yīng)用價值。并且對懸疑未決的一些問題作了暢想,以期能在今后進一步的研究中得以逐步解決。
【關(guān)鍵詞】：道義邏輯 一元道義邏輯 二元道義邏輯 O~F O~S DDFS系統(tǒng)
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2008
【分類號】：B81
【目錄】：

• 內(nèi)容摘要6-7
• Abstract7-9
• 第一章、引言:道義邏輯的研究現(xiàn)狀及主要問題9-12
• 1.1 現(xiàn)代道義邏輯的產(chǎn)生9-11
• 1.2 經(jīng)典道義邏輯的二難和悖論11
• 1.3 道義邏輯研究的必要性和可行性。11-12
• 第二章、一元道義邏輯12-14
• 2.1 樸素道義邏輯系統(tǒng)OK和經(jīng)典道義邏輯系統(tǒng)SDL12-13
• 2.2 一元道義邏輯系統(tǒng)的特性及局限13-14
• 第三章、道義邏輯發(fā)展史上某些二元道義邏輯系統(tǒng)14-16
• 3.1 馮·賴特的二元道義模態(tài)系統(tǒng)14
• 3.2 另一個二元道義模態(tài)系統(tǒng)系統(tǒng)14
• 3.3 弗蘭岑的DF系統(tǒng)和非單調(diào)邏輯14-16
• 3.4 霍蒂的改進:懷疑算子O~S16
• 第四章、二元道義邏輯系統(tǒng)DDFS16-27
• 4.1 DDFS初始符號16-17
• 4.2 DDFS形成規(guī)則17
• 4.3 DDFS公理模式17-18
• 4.4 DDFS推理規(guī)則18-19
• 4.5 DDFS的推導(dǎo)及定理19
• 4.6 關(guān)于基本置換定理19
• 4.7 DDFS的直觀涵義19
• 4.8 DDFS中的若干定理19-20
• 4.9 DDFS的可靠性和完全性20-27
• 第五章、進一步探討27-35
• 5.1 DDFS對于道義邏輯的價值27-28
• 5.2 DDFS對哲學(xué)理論的貢獻28-29
• 5.3 DDFS解決現(xiàn)實生活問題29-30
• 5.4 對尚存在的問題所作的思考30-35
• 附錄35-44
• 后記44-45
• 參考文獻45

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 李春泰;可能世界為真的確認方式[J];安徽師范大學(xué)學(xué)報(自然科學(xué)版);2003年04期

2 方政,楊正群,劉英;休謨因果聯(lián)系的人性論基礎(chǔ)[J];安慶師范學(xué)院學(xué)報(社會科學(xué)版);2004年02期

3 徐孝霞;道德情感教育中的“同情”與“移情”[J];鞍山師范學(xué)院學(xué)報;2005年02期

4 陳波;;語句的真、真的語句、真的理論體系——“truth”的三重含義辨析[J];北京大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2007年01期

5 馬寧;;構(gòu)建社會主義和諧社會的道德思考[J];北京青年政治學(xué)院學(xué)報;2006年01期

6 吳堅;;批判性思維:邏輯的革命[J];北京理工大學(xué)學(xué)報(社會科學(xué)版);2007年05期

7 周玲,李永海;論休謨問題的邏輯解答[J];重慶大學(xué)學(xué)報(社會科學(xué)版);2003年06期

8 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問題的思考[J];重慶工學(xué)院學(xué)報;2006年01期

9 楊萬斌;閱讀理解水平層次試析[J];楚雄師范學(xué)院學(xué)報;1997年02期

10 陳志鋼;蔡澤輝;;非均衡性旅游地空間競爭中搭便車問題研究[J];地理與地理信息科學(xué);2006年05期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 戴昭銘;;語言功能和可能規(guī)范[A];世紀之交的中國應(yīng)用語言學(xué)研究——第二屆全國語言文字應(yīng)用學(xué)術(shù)研討會論文集[C];1998年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 費多益;論科學(xué)的合理性[D];中國社會科學(xué)院研究生院;2001年

2 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

3 劉勇;多Agent系統(tǒng)理論和應(yīng)用研究[D];重慶大學(xué);2003年

4 許身健;刑事程序現(xiàn)代性研究[D];中國政法大學(xué);2004年

5 堯新瑜;學(xué)校道德課程理解論[D];華東師范大學(xué);2004年

6 安斌;戰(zhàn)國與啟蒙時代的刑法思想研究[D];西南政法大學(xué);2004年

7 方秋明;漢斯·約納斯的責(zé)任倫理學(xué)研究[D];復(fù)旦大學(xué);2004年

8 李恒威;“生活世界”復(fù)雜性的動力模式[D];浙江大學(xué);2005年

9 李朝東;論教育啟蒙與公民人格建構(gòu)[D];西北師范大學(xué);2005年

10 關(guān)鋒;論馬克思的實踐理性[D];華南師范大學(xué);2005年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 楊家勝;現(xiàn)代俄語中的評價范疇[D];黑龍江大學(xué);2001年

2 韓宇勝;論法律的不確定性[D];中國政法大學(xué);2001年

3 李云飛;“解釋學(xué)境遇”的本體論意蘊[D];中共中央黨校;2002年

4 孫華程;言說的邏輯與沉默之域[D];西南師范大學(xué);2002年

5 施群麗;真之收縮論研究[D];華南師范大學(xué);2003年

6 劉國鋒;D·劉易斯的可能世界理論——模態(tài)實在論研究[D];華南師范大學(xué);2003年

7 焦志偉;決策過程中的邏輯應(yīng)用[D];河南大學(xué);2003年

8 張高宏;亞里士多德的存在學(xué)及其對海德格爾的影響[D];四川大學(xué);2003年

9 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

10 謝騰云;交往理性與話語政治[D];湖南師范大學(xué);2004年

  本文關(guān)鍵詞：二元道義邏輯DDFS系統(tǒng)研究，由筆耕文化傳播整理發(fā)布。

本文編號：329659