道義邏輯的新發(fā)展
本文關(guān)鍵詞:道義邏輯的新發(fā)展
更多相關(guān)文章: 道義邏輯 行動語句 動態(tài)邏輯 偏好
【摘要】:道義邏輯研究的是關(guān)于"應當"、"允許"等規(guī)范模態(tài)的邏輯,屬于廣義模態(tài)邏輯。道義邏輯在發(fā)展過程中借鑒動態(tài)邏輯、認知邏輯、類型模態(tài)等領(lǐng)域的研究成果及方法,呈現(xiàn)出動態(tài)化的發(fā)展趨勢。
【作者單位】: 華南師范大學政治與行政學院;
【關(guān)鍵詞】: 道義邏輯 行動語句 動態(tài)邏輯 偏好
【分類號】:B815.4
【正文快照】: 道義邏輯研究的是關(guān)于“應當”、“允許”等規(guī)范模態(tài)的邏輯,它屬于廣義模態(tài)邏輯。1951年,馮·賴特(G.H.von Wright)在模態(tài)邏輯的基礎(chǔ)上構(gòu)造了第一個可行的道義邏輯系統(tǒng),標志著經(jīng)典道義邏輯的誕生。在經(jīng)典道義邏輯系統(tǒng)中,不允許道義算子的重疊,道義命題也不能聯(lián)結(jié)經(jīng)典命題。為
【參考文獻】
中國博士學位論文全文數(shù)據(jù)庫 前1條
1 余俊偉;弗協(xié)調(diào)邏輯應用于道義邏輯的研究[D];中國社會科學院研究生院;2001年
【共引文獻】
中國碩士學位論文全文數(shù)據(jù)庫 前1條
1 劉飛;非單調(diào)推理及其應用[D];河南大學;2011年
【相似文獻】
中國期刊全文數(shù)據(jù)庫 前10條
1 陳銳;20世紀國外道義邏輯研究進展[J];哲學動態(tài);2001年02期
2 李毓英;陳波談道義邏輯的發(fā)展概況[J];哲學動態(tài);1992年08期
3 陳道德;一本追尋道德哲學邏輯基礎(chǔ)的新著──評《道義邏輯──倫理行為和規(guī)范的推理理論》[J];現(xiàn)代哲學;1999年04期
4 ;《道義邏輯》專著一九九九年七月出版[J];哲學研究;1999年08期
5 陳波;道義邏輯與倫理學研究[J];中國人民大學學報;1989年03期
6 黃紹汪;倫理學理論的新基礎(chǔ)——讀《道義邏輯》[J];學術(shù)研究;1999年11期
7 周禎祥;實踐推理基礎(chǔ)上生成的道義邏輯——道義邏輯發(fā)展源流初探[J];廣東社會科學;1998年03期
8 R.希爾庇恩 ,張清宇;關(guān)于語用、道義邏輯和模態(tài)性[J];哲學研究;1988年12期
9 李毓英;北京市邏輯學會討論“道義邏輯與思想道德和法制建設(shè)”問題[J];哲學研究;1997年02期
10 陳銳;意愿的邏輯初步——馬利的道義邏輯思想[J];黔南民族師范學院學報;2003年01期
中國重要會議論文全文數(shù)據(jù)庫 前10條
1 周禎祥;;規(guī)范、動態(tài)道義邏輯和法律規(guī)范知識表達[A];第一屆全國非形式邏輯與法律邏輯學術(shù)研討會論文集[C];2004年
2 柳祥美;;對馮·萊特關(guān)于道義邏輯起源問題的探討[A];1997年邏輯研究專輯[C];1997年
3 樊明亞;;意愿邏輯[A];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年
4 余俊偉;;弗協(xié)調(diào)真值道義邏輯分析[A];2003年邏輯研究專輯[C];2003年
5 余俊偉;;道義邏輯中的“悖論”及道義系統(tǒng)的歸約問題[A];1997年邏輯研究專輯[C];1997年
6 周禎祥;;道義邏輯不是壞邏輯——與金承光先生商榷[A];第十四屆全國法律邏輯學術(shù)討論會論文集[C];2006年
7 劉鴻鈞;;關(guān)于建構(gòu)法律邏輯的思考[A];1993年邏輯研究專輯[C];1993年
8 周禎祥;;真性模態(tài)、道義模態(tài)和現(xiàn)代道義邏輯的經(jīng)典系統(tǒng)[A];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年
9 夏素敏;;“反義務(wù)命令悖論”探析[A];第二屆海峽兩岸邏輯教學學術(shù)會議專輯[C];2006年
10 柳祥美;;對馮·萊特關(guān)于允許規(guī)范的獨立地位問題的探討[A];1998年邏輯研究專輯[C];1998年
中國重要報紙全文數(shù)據(jù)庫 前10條
1 童銘;IBM i890定義了什么?[N];中國計算機報;2002年
2 華南師范大學政治與行政學院 胡澤洪;哲學邏輯的發(fā)展趨勢及其對我們的啟示[N];光明日報;2008年
3 趙海軍;為什么總是鐘情i[N];中國計算機報;2003年
4 王曉豐;容量隨需應變[N];中國計算機報;2003年
5 呈雁;給AIX 5L加一個“D”[N];計算機世界;2002年
6 王曉豐;IBM DCC重點行業(yè)力推“隨需應變”[N];中國計算機報;2003年
7 賈春華 北京中醫(yī)藥大學;“以方測證法”不可行[N];中國中醫(yī)藥報;2006年
8 ;IBM eServer p5 550服務(wù)器[N];電腦商報;2005年
9 中山大學邏輯與認知研究所 熊明輝;邏輯與認知[N];社會科學報;2002年
10 本報記者 江波;勇者無懼[N];網(wǎng)絡(luò)世界;2003年
中國博士學位論文全文數(shù)據(jù)庫 前5條
1 余俊偉;弗協(xié)調(diào)邏輯應用于道義邏輯的研究[D];中國社會科學院研究生院;2001年
2 彭海朋;可重構(gòu)的動態(tài)邏輯計算研究[D];北京郵電大學;2010年
3 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學技術(shù)大學;2006年
4 張鵬飛;Agent通信的全信息形式語用方法[D];北京郵電大學;2007年
5 謝鴻波;安全協(xié)議形式化分析方法的關(guān)鍵技術(shù)研究[D];電子科技大學;2011年
中國碩士學位論文全文數(shù)據(jù)庫 前10條
1 盛億妍;基于非線性系統(tǒng)的動態(tài)邏輯門的設(shè)計與實現(xiàn)[D];南京航空航天大學;2011年
2 張法清;馮·賴特道義邏輯研究[D];西南大學;2010年
3 張春霞;基于動態(tài)邏輯的Agent的形式化模型[D];云南師范大學;2000年
4 段宏立;道義邏輯[D];西南大學;2006年
5 邱劍鋒;基于語義的自動化服務(wù)組合研究[D];浙江大學;2008年
6 劉冬;基于動態(tài)邏輯的語義Web服務(wù)組合研究[D];蘭州理工大學;2012年
7 張靜波;高性能浮點乘加部件的優(yōu)化設(shè)計[D];國防科學技術(shù)大學;2007年
8 黃慎;政策驅(qū)動的Agent行為模型研究[D];湖南大學;2009年
9 劉棟偉;多Agent系統(tǒng)合作邏輯的研究[D];南京航空航天大學;2007年
10 王小靜;墨經(jīng)邏輯學之模態(tài)詞分析[D];燕山大學;2008年
,本文編號:725358
本文鏈接:http://sikaile.net/shekelunwen/ljx/725358.html