發(fā)布時(shí)間：2017-08-23 13:41

  本文關(guān)鍵詞：道義邏輯的新發(fā)展

  更多相關(guān)文章： 道義邏輯 行動(dòng)語(yǔ)句 動(dòng)態(tài)邏輯 偏好

【摘要】：道義邏輯研究的是關(guān)于"應(yīng)當(dāng)"、"允許"等規(guī)范模態(tài)的邏輯,屬于廣義模態(tài)邏輯。道義邏輯在發(fā)展過(guò)程中借鑒動(dòng)態(tài)邏輯、認(rèn)知邏輯、類型模態(tài)等領(lǐng)域的研究成果及方法,呈現(xiàn)出動(dòng)態(tài)化的發(fā)展趨勢(shì)。
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;
【關(guān)鍵詞】： 道義邏輯 行動(dòng)語(yǔ)句 動(dòng)態(tài)邏輯 偏好
【分類號(hào)】：B815.4
【正文快照】： 道義邏輯研究的是關(guān)于“應(yīng)當(dāng)”、“允許”等規(guī)范模態(tài)的邏輯,它屬于廣義模態(tài)邏輯。1951年,馮·賴特(G.H.von Wright)在模態(tài)邏輯的基礎(chǔ)上構(gòu)造了第一個(gè)可行的道義邏輯系統(tǒng),標(biāo)志著經(jīng)典道義邏輯的誕生。在經(jīng)典道義邏輯系統(tǒng)中,不允許道義算子的重疊,道義命題也不能聯(lián)結(jié)經(jīng)典命題。為

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

1 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年

【相似文獻(xiàn)】

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

1 陳銳;20世紀(jì)國(guó)外道義邏輯研究進(jìn)展[J];哲學(xué)動(dòng)態(tài);2001年02期

2 李毓英;陳波談道義邏輯的發(fā)展概況[J];哲學(xué)動(dòng)態(tài);1992年08期

3 陳道德;一本追尋道德哲學(xué)邏輯基礎(chǔ)的新著──評(píng)《道義邏輯──倫理行為和規(guī)范的推理理論》[J];現(xiàn)代哲學(xué);1999年04期

4 ;《道義邏輯》專著一九九九年七月出版[J];哲學(xué)研究;1999年08期

5 陳波;道義邏輯與倫理學(xué)研究[J];中國(guó)人民大學(xué)學(xué)報(bào);1989年03期

6 黃紹汪;倫理學(xué)理論的新基礎(chǔ)——讀《道義邏輯》[J];學(xué)術(shù)研究;1999年11期

7 周禎祥;實(shí)踐推理基礎(chǔ)上生成的道義邏輯——道義邏輯發(fā)展源流初探[J];廣東社會(huì)科學(xué);1998年03期

8 R.希爾庇恩 ,張清宇;關(guān)于語(yǔ)用、道義邏輯和模態(tài)性[J];哲學(xué)研究;1988年12期

9 李毓英;北京市邏輯學(xué)會(huì)討論“道義邏輯與思想道德和法制建設(shè)”問(wèn)題[J];哲學(xué)研究;1997年02期

10 陳銳;意愿的邏輯初步——馬利的道義邏輯思想[J];黔南民族師范學(xué)院學(xué)報(bào);2003年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 周禎祥;;規(guī)范、動(dòng)態(tài)道義邏輯和法律規(guī)范知識(shí)表達(dá)[A];第一屆全國(guó)非形式邏輯與法律邏輯學(xué)術(shù)研討會(huì)論文集[C];2004年

2 柳祥美;;對(duì)馮·萊特關(guān)于道義邏輯起源問(wèn)題的探討[A];1997年邏輯研究專輯[C];1997年

3 樊明亞;;意愿邏輯[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

4 余俊偉;;弗協(xié)調(diào)真值道義邏輯分析[A];2003年邏輯研究專輯[C];2003年

5 余俊偉;;道義邏輯中的“悖論”及道義系統(tǒng)的歸約問(wèn)題[A];1997年邏輯研究專輯[C];1997年

6 周禎祥;;道義邏輯不是壞邏輯——與金承光先生商榷[A];第十四屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2006年

7 劉鴻鈞;;關(guān)于建構(gòu)法律邏輯的思考[A];1993年邏輯研究專輯[C];1993年

8 周禎祥;;真性模態(tài)、道義模態(tài)和現(xiàn)代道義邏輯的經(jīng)典系統(tǒng)[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

9 夏素敏;;“反義務(wù)命令悖論”探析[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

10 柳祥美;;對(duì)馮·萊特關(guān)于允許規(guī)范的獨(dú)立地位問(wèn)題的探討[A];1998年邏輯研究專輯[C];1998年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 童銘;IBM i890定義了什么？[N];中國(guó)計(jì)算機(jī)報(bào);2002年

2 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢(shì)及其對(duì)我們的啟示[N];光明日?qǐng)?bào);2008年

3 趙海軍;為什么總是鐘情i[N];中國(guó)計(jì)算機(jī)報(bào);2003年

4 王曉豐;容量隨需應(yīng)變[N];中國(guó)計(jì)算機(jī)報(bào);2003年

5 呈雁;給AIX 5L加一個(gè)“D”[N];計(jì)算機(jī)世界;2002年

6 王曉豐;IBM DCC重點(diǎn)行業(yè)力推“隨需應(yīng)變”[N];中國(guó)計(jì)算機(jī)報(bào);2003年

7 賈春華 北京中醫(yī)藥大學(xué);“以方測(cè)證法”不可行[N];中國(guó)中醫(yī)藥報(bào);2006年

8 ;IBM eServer p5 550服務(wù)器[N];電腦商報(bào);2005年

9 中山大學(xué)邏輯與認(rèn)知研究所 熊明輝;邏輯與認(rèn)知[N];社會(huì)科學(xué)報(bào);2002年

10 本報(bào)記者 江波;勇者無(wú)懼[N];網(wǎng)絡(luò)世界;2003年

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

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

2 彭海朋;可重構(gòu)的動(dòng)態(tài)邏輯計(jì)算研究[D];北京郵電大學(xué);2010年

3 郝清賦;邏輯系統(tǒng)動(dòng)態(tài)結(jié)構(gòu)演化研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

4 張鵬飛;Agent通信的全信息形式語(yǔ)用方法[D];北京郵電大學(xué);2007年

5 謝鴻波;安全協(xié)議形式化分析方法的關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2011年

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

1 盛億妍;基于非線性系統(tǒng)的動(dòng)態(tài)邏輯門的設(shè)計(jì)與實(shí)現(xiàn)[D];南京航空航天大學(xué);2011年

2 張法清;馮·賴特道義邏輯研究[D];西南大學(xué);2010年

3 張春霞;基于動(dòng)態(tài)邏輯的Agent的形式化模型[D];云南師范大學(xué);2000年

4 段宏立;道義邏輯[D];西南大學(xué);2006年

5 邱劍鋒;基于語(yǔ)義的自動(dòng)化服務(wù)組合研究[D];浙江大學(xué);2008年

6 劉冬;基于動(dòng)態(tài)邏輯的語(yǔ)義Web服務(wù)組合研究[D];蘭州理工大學(xué);2012年

7 張靜波;高性能浮點(diǎn)乘加部件的優(yōu)化設(shè)計(jì)[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

8 黃慎;政策驅(qū)動(dòng)的Agent行為模型研究[D];湖南大學(xué);2009年

9 劉棟偉;多Agent系統(tǒng)合作邏輯的研究[D];南京航空航天大學(xué);2007年

10 王小靜;墨經(jīng)邏輯學(xué)之模態(tài)詞分析[D];燕山大學(xué);2008年

，

本文編號(hào)：725358