本文關(guān)鍵詞：優(yōu)先可廢止道義邏輯研究

  更多相關(guān)文章： 自適應(yīng)道義邏輯 優(yōu)先可廢止道義邏輯 規(guī)范沖突 關(guān)于規(guī)范的推理 適用規(guī)范的推理

【摘要】：道義邏輯，又被稱為規(guī)范邏輯或義務(wù)邏輯，是刻畫規(guī)范推理的形式結(jié)構(gòu)及有效推理模式的理論。道義邏輯被認(rèn)為是“最成問(wèn)題的”的一個(gè)哲學(xué)邏輯分支，主要是因?yàn)樵谝?guī)范推理中會(huì)經(jīng)常遇到不同類型的規(guī)范沖突問(wèn)題。解決規(guī)范沖突的最直接的方法是引入規(guī)范間的優(yōu)先關(guān)系和可廢止推理機(jī)制，根據(jù)特定優(yōu)先標(biāo)準(zhǔn)對(duì)相沖突的規(guī)范予以衡量，以更具優(yōu)先性的規(guī)范廢止較少優(yōu)先性的規(guī)范。這種優(yōu)先關(guān)系又可以區(qū)分為兩類，一類是規(guī)范適用條件的事實(shí)特異性關(guān)系，這類規(guī)范沖突可以借用人工智能與計(jì)算機(jī)領(lǐng)域發(fā)展起來(lái)的缺省邏輯技術(shù)，建立可廢止道義邏輯解決。一類是規(guī)范實(shí)現(xiàn)的事態(tài)（可能世界）的理想性關(guān)系，建立基于優(yōu)先語(yǔ)義的道義邏輯。但是，這兩類道義邏輯都有各自的局限性，可廢止道義邏輯只能處理例外義務(wù)推理，基于優(yōu)先語(yǔ)義的道義邏輯只能處理瀆職義務(wù)推理。而當(dāng)把二者結(jié)合起來(lái)的時(shí)候，由于彼此間相互影響會(huì)產(chǎn)生更復(fù)雜的優(yōu)先性問(wèn)題。后者還存在一系列技術(shù)問(wèn)題：第一，用于為規(guī)范排序的優(yōu)先關(guān)系通常要假定滿足反自反性、傳遞性和連通性。這個(gè)假定太強(qiáng)，無(wú)法處理強(qiáng)優(yōu)先問(wèn)題。第二，無(wú)法處理具有對(duì)稱性和無(wú)法比較的道義沖突。我們把這類規(guī)范沖突稱為道義困境，進(jìn)而導(dǎo)致嚴(yán)重的道義爆炸的產(chǎn)生，即使做任意事情都成為義務(wù)。處理規(guī)范沖突的另一種方法是構(gòu)建一個(gè)道義論證框架或者由用戶自主地判斷沖突之間的優(yōu)先關(guān)系，這種方法本質(zhì)上是一種非完全形式化的邏輯。 本文堅(jiān)持的一個(gè)基本觀點(diǎn)是道義邏輯所研究的規(guī)范推理不僅僅是基于規(guī)范之間的邏輯關(guān)系所進(jìn)行的推理（關(guān)于規(guī)范的推理），也不僅僅是當(dāng)現(xiàn)實(shí)情境符合規(guī)范適用條件時(shí)所進(jìn)行的推理（涵攝義務(wù)推理），它還要形式刻畫規(guī)范被違反時(shí)所進(jìn)行的推理（瀆職義務(wù)推理）、存在規(guī)范困境時(shí)所進(jìn)行的推理（道義困境推理）、存在例外規(guī)范時(shí)所進(jìn)行的推理（例外義務(wù)推理）。后面這四種推理模式我們統(tǒng)稱之為適用規(guī)范的推理。研究適用規(guī)范的推理不僅僅是因?yàn)橹饕囊?guī)范推理形式就是基于特定的事實(shí)情景觸發(fā)特定的規(guī)范適用，以實(shí)現(xiàn)規(guī)范對(duì)主體（自然人或者人工智能主體）的約束、指導(dǎo)、評(píng)價(jià)的功能，更重要的是規(guī)范本身具有語(yǔ)境依賴性，而語(yǔ)境的復(fù)雜性主要表現(xiàn)在規(guī)范適用的過(guò)程中，這也是導(dǎo)致道義沖突的根本原因。最早建立起來(lái)的標(biāo)準(zhǔn)道義邏輯恰恰是因?yàn)楹鲆暳诉@種語(yǔ)境依賴性，而導(dǎo)致所構(gòu)建的邏輯太強(qiáng)，出現(xiàn)了很多道義悖論，其后很多邏輯學(xué)家通過(guò)使某些道義原則無(wú)效所構(gòu)建的道義邏輯，如極小道義邏輯又太弱，使一些直觀有效的推理模式無(wú)效。問(wèn)題的癥結(jié)在于基于特定的語(yǔ)境，一些規(guī)范推理模式是有效的，而基于另一些語(yǔ)境，這些規(guī)范推理的模式又變得無(wú)效。因此，構(gòu)建可廢止道義邏輯刻畫規(guī)范推理的這種可廢止性特點(diǎn)就成為必然。而前面提到的諸類道義邏輯所具有特點(diǎn)決定了它們都不足以充分刻畫不同的規(guī)范推理模式。 本文借鑒了以上各種理論的優(yōu)點(diǎn)，并把它們結(jié)合起來(lái)。認(rèn)為規(guī)范沖突并不導(dǎo)致邏輯系統(tǒng)的坍塌，而是可以把包含沖突的道義規(guī)則的約束力解釋成為：如果不存在沖突，我們將直接適用規(guī)范推理的相應(yīng)規(guī)則。如果存在沖突則可以通過(guò)一定的技術(shù)限制相應(yīng)規(guī)則的適用，這種技術(shù)就是自適應(yīng)邏輯（adative logic）。 本文以自適應(yīng)邏輯為基礎(chǔ)，，構(gòu)建了一個(gè)自適應(yīng)二元道義邏輯系統(tǒng)（Adaptive Dyadic Deontic Logic，簡(jiǎn)稱ALCDPM）。ALCDPM被刻畫為一個(gè)三元組＜一個(gè)下限邏輯，一個(gè)異常集合Ω，一個(gè)極小異常集合＞，其中下限邏輯是在Lou Goble、Christian Stra er的二元道義邏輯系統(tǒng)的基礎(chǔ)上構(gòu)建的包含不同規(guī)范推理模式的事實(shí)分離規(guī)則的系統(tǒng)CDPM.2f。在此基礎(chǔ)上，我們又根據(jù)不同推理模式的特點(diǎn)和對(duì)固有性義務(wù)和指導(dǎo)性義務(wù)的區(qū)分構(gòu)建了一個(gè)刻畫不同事實(shí)分離規(guī)則的異常集合。所選擇的極小異常策略能夠保證在存在規(guī)范沖突的情況下建立規(guī)范推理的推理模型。其主要思想是“盡可能正常地”解釋前提集合，通過(guò)其動(dòng)態(tài)的證明過(guò)程，有條件地適用道義規(guī)則。當(dāng)沒有異常出現(xiàn)時(shí)，它能夠得出與標(biāo)準(zhǔn)道義邏輯同樣的結(jié)論，當(dāng)存在異常時(shí)，能夠根據(jù)其定義的標(biāo)記方法廢止非所欲的結(jié)論。該系統(tǒng)的特點(diǎn)是：第一，它能夠充分地刻畫瀆職義務(wù)推理、道義困境推理、例外義務(wù)推理和涵攝義務(wù)推理。第二，它是一個(gè)嚴(yán)格的形式系統(tǒng)，能夠?qū)⒌懒x原則的適用條件形式刻畫為其證明的一部分，由證明本身而非用戶自主地添加相應(yīng)的適用條件。第三，我們選擇的自適應(yīng)邏輯是標(biāo)準(zhǔn)格式的自適應(yīng)邏輯，在所選擇的下限邏輯具有自反性、傳遞性、緊致性的條件下，能夠較容易地證明它也具有相應(yīng)的性質(zhì)。相對(duì)于一個(gè)鄰域語(yǔ)義，ALCDPM具有可靠性、完全性等良好的性質(zhì)。第四，最大可能地保留了標(biāo)準(zhǔn)道義邏輯的優(yōu)點(diǎn)。同時(shí)又通過(guò)一個(gè)動(dòng)態(tài)證明程序刻畫了規(guī)范推理的可廢止性特點(diǎn)。第五，能夠充分地刻畫關(guān)于規(guī)范的推理和適用規(guī)范的推理。第六，通過(guò)引入兩個(gè)新的道義算子，界定了一個(gè)嚴(yán)格的道義邏輯后承關(guān)系，通過(guò)對(duì)不同異常的界定給出了適用不同規(guī)范推理模式的推理規(guī)則，能夠區(qū)分不同類型的規(guī)范推理。
【關(guān)鍵詞】：自適應(yīng)道義邏輯 優(yōu)先可廢止道義邏輯 規(guī)范沖突 關(guān)于規(guī)范的推理 適用規(guī)范的推理
【學(xué)位授予單位】：南開大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2011
【分類號(hào)】：B815.4
【目錄】：

• 中文摘要5-7
• Abstract7-15
• 第1章 導(dǎo)論15-47
• 1.1 道義邏輯及其面臨的主要問(wèn)題15-30
• 1.1.1 規(guī)范違反與瀆職義務(wù)推理問(wèn)題15-23
• 1.1.2 道義困境與道義爆炸問(wèn)題23-28
• 1.1.3 例外義務(wù)與例外義務(wù)推理問(wèn)題28-29
• 1.1.4 涵攝義務(wù)推理問(wèn)題29-30
• 1.1.5 簡(jiǎn)單評(píng)論30
• 1.2 道義邏輯研究的對(duì)象——關(guān)于規(guī)范的推理與適用規(guī)范的推理30-34
• 1.3 道義邏輯研究的意義及評(píng)價(jià)道義邏輯充分性的標(biāo)準(zhǔn)34-38
• 1.3.1 令人失望的道義邏輯研究34-35
• 1.3.2 評(píng)價(jià)道義邏輯充分性的標(biāo)準(zhǔn)35-38
• 1.4 優(yōu)先可廢止道義邏輯38-44
• 1.4.1 規(guī)范沖突推理的兩種方法：阻止與消除38-41
• 1.4.2 規(guī)范推理，優(yōu)先性與可廢止性41-44
• 1.5 本文創(chuàng)新及結(jié)構(gòu)安排44-47
• 1.5.1 本文的創(chuàng)新44-45
• 1.5.2 本文的結(jié)構(gòu)安排45-47
• 第2章 標(biāo)準(zhǔn)道義邏輯及其悖論47-73
• 2.1 基礎(chǔ)邏輯47-49
• 2.2 經(jīng)典道義邏輯系統(tǒng) CDL49-51
• 2.3 一元標(biāo)準(zhǔn)道義邏輯 SDL51-62
• 2.3.1 SDL 公理系統(tǒng)51-53
• 2.3.2 SDL 的定理、悖論及其分類和消解53-62
• 2.3.2.1 SDL 的定理、悖論53-58
• 2.3.2.2 SDL 的悖論的分類和消解58-62
• 2.4 二元標(biāo)準(zhǔn)道義邏輯 DSDL62-73
• 2.4.1 以一元道義邏輯表達(dá)條件義務(wù)62-63
• 2.4.2 von Wright 的新系統(tǒng) NS63-64
• 2.4.3 二元標(biāo)準(zhǔn)道義邏輯系統(tǒng) DSDL64-73
• 2.4.3.1 DSDL 的公理系統(tǒng)64-66
• 2.4.3.2 DSDL 的主要定理66
• 2.4.3.3 DSDL 的基于優(yōu)先的語(yǔ)義66-69
• 2.4.3.4 DSDL 存在的主要問(wèn)題69-73
• 第3章 優(yōu)先可廢止道義邏輯73-110
• 3.1 優(yōu)先可廢止道義邏輯的動(dòng)機(jī)與思路74-75
• 3.2 基于特異性的缺省道義邏輯75-81
• 3.2.1 Horty的基本思想和主要背景76-79
• 3.2.2 可廢止道義邏輯系統(tǒng) H79-80
• 3.2.3 評(píng)論80-81
• 3.3 可廢止道義邏輯論辯框架81-87
• 3.3.1 Prakken的基本思想與思路82
• 3.3.2 基于缺省邏輯的論辯框架82-85
• 3.3.3 評(píng)論85-87
• 3.4 基于偏好(優(yōu)先)的可廢止道義邏輯87-96
• 3.4.1 BGL系統(tǒng)的基本思想88-89
• 3.4.2 BGL 系統(tǒng)89-91
• 3.4.3 評(píng)論91-96
• 3.5 多重優(yōu)先的可廢止道義邏輯96-110
• 3.5.1 Yao Hua Tan和 van der Torre 的基本思想96-97
• 3.5.2 DIODE 系統(tǒng)97-100
• 3.5.3 瀆職義務(wù)推理與例外義務(wù)推理的結(jié)合100-105
• 3.5.4 評(píng)論105-110
• 第4章 處理道義困境推理的自適應(yīng)道義邏輯 ALDPM110-147
• 4.1 道義困境與道義爆炸111-115
• 4.1.1 道義困境的特征及形式刻畫111-113
• 4.1.2 道義爆炸及容納道義困境的道義邏輯的標(biāo)準(zhǔn)113-115
• 4.2 容納道義邏輯困境的各種可能進(jìn)路115-120
• 4.2.1 放棄 EFQ 原則116-117
• 4.2.2 放棄道義聚合原則 AND117-118
• 4.2.3 一致性聚合原則118-119
• 4.2.4 許可性聚合原則119-120
• 4.3 DPM 系統(tǒng)120-130
• 4.3.1 DPM系統(tǒng)的主要思想120-123
• 4.3.2 DPM 系統(tǒng)的公理體系123-124
• 4.3.3 DPM 的語(yǔ)義124-125
• 4.3.4 DPM 的相關(guān)定理125-129
• 4.3.5 DPM 存在的問(wèn)題129-130
• 4.4 標(biāo)準(zhǔn)格式的自適應(yīng)邏輯 SAL130-140
• 4.4.1 SAL的主要思想130-131
• 4.4.2 SAL 的一般結(jié)構(gòu)131-133
• 4.4.3 SAL 的證明論133-136
• 4.4.4 SAL 的語(yǔ)義模型136-137
• 4.4.5 SAL 的上限邏輯的性質(zhì)137
• 4.4.6 SAL 的可靠性和完全性137-139
• 4.4.7 SAL 的其他一些重要性質(zhì)139-140
• 4.5 自適應(yīng)道義邏輯 ALDPM140-147
• 4.5.1 ALDPM 的基本思想140-141
• 4.5.2 ALDPM 系統(tǒng)141-142
• 4.5.3 ALDPM 的一些重要定理142-143
• 4.5.4 ALDPM 對(duì)相關(guān)道義悖論的處理143-145
• 4.5.5 小結(jié)145-147
• 第5章 形式刻畫各種規(guī)范推理模式的自適應(yīng)道義邏輯 ALCDPM147-187
• 5.1 瀆職義務(wù)、例外義務(wù)、道義困境、涵攝義務(wù)推理模式的形式刻畫147-164
• 5.1.1 規(guī)范的事實(shí)語(yǔ)境依賴性與事實(shí)分離規(guī)則147-152
• 5.1.2 固有性義務(wù)與指導(dǎo)性義務(wù)152-158
• 5.1.2.1 不同的義務(wù)分類152-153
• 5.1.2.2 刻畫關(guān)于規(guī)范推理的多模態(tài)道義邏輯153-155
• 5.1.2.3 初始義務(wù)沖突與實(shí)際義務(wù)沖突155-157
• 5.1.2.4 固有性義務(wù)與指導(dǎo)性義務(wù)的特點(diǎn)和條件157-158
• 5.1.3 不同規(guī)范推理模式的形式結(jié)構(gòu)及推到規(guī)則158-164
• 5.1.3.1 瀆職義務(wù)推理的形式結(jié)構(gòu)及推導(dǎo)規(guī)則159-160
• 5.1.3.2 例外義務(wù)推理的形式結(jié)構(gòu)及推導(dǎo)規(guī)則160-161
• 5.1.3.3 道義困境推理的形式結(jié)構(gòu)及推導(dǎo)規(guī)則161-162
• 5.1.3.4 涵攝義務(wù)推理的形式結(jié)構(gòu)及推導(dǎo)規(guī)則162-164
• 5.2 ALCDPM 的下限邏輯 CDPM.2f164-178
• 5.2.1 下限邏輯的選擇標(biāo)準(zhǔn)164-165
• 5.2.2 CDPM系統(tǒng)及其存在的問(wèn)題165-167
• 5.2.2.1 CDPM 系統(tǒng)165-167
• 5.2.2.2 CDPM 系統(tǒng)存在的問(wèn)題167
• 5.2.3 CDPM2.e 系統(tǒng)及其存在的問(wèn)題167-175
• 5.2.3.1 CDPM2.e 系統(tǒng)167-170
• 5.2.3.2 CDPM2.e 系統(tǒng)存在的問(wèn)題170-175
• 5.2.4 CDPM.2f 系統(tǒng)175-178
• 5.2.4.1 CDPM.2f 的公理系統(tǒng)175-176
• 5.2.4.2 CDPM.2f 的鄰域語(yǔ)義176-177
• 5.2.4.3 CDPM.2f 的相關(guān)定理177-178
• 5.3 ALCDPM 的異常集合178-179
• 5.4 ALCDPM 的極小異常策略179-181
• 5.5 自適應(yīng)道義邏輯 ALCDPM181-182
• 5.5.1 ALCDPM的基本結(jié)構(gòu)181
• 5.5.2 ALCDPM 的一些重要性質(zhì)181-182
• 5.6 ALCDPM 系統(tǒng)對(duì)相關(guān)道義悖論的處理182-185
• 5.7 總結(jié)185-187
• 參考文獻(xiàn)187-195
• 致謝195-196
• 個(gè)人簡(jiǎn)歷196-197

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前6條

1 張傳新;;法律中的邏輯分析方法[J];甘肅社會(huì)科學(xué);2008年05期

2 張傳新;;法律思維的理性力量之源——論法律推理的形式性[J];海南大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2010年02期

3 周北海;毛翊;;一個(gè)關(guān)于常識(shí)推理的基礎(chǔ)邏輯[J];邏輯研究專輯;2003年00期

4 張傳新;;法律方法的普遍智力品格及其限度——從法律方法與法學(xué)方法稱謂爭(zhēng)論談起[J];求是學(xué)刊;2008年05期

5 張傳新;;法律邏輯研究三十年[J];山東社會(huì)科學(xué);2010年01期

6 張傳新;;法律論題學(xué)的邏輯基礎(chǔ)[J];山東大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2010年06期

本文編號(hào)：741340