本文選題：道義邏輯　切入點(diǎn)：真值模態(tài)邏輯　出處：《西南師范大學(xué)學(xué)報(bào)(人文社會科學(xué)版)》2001年02期 　論文類型：期刊論文

【摘要】：安德森認(rèn)為依靠歸約公式Op □ (～p→S)能把道義邏輯歸約為真值模態(tài)邏輯。但是 ,安德森的這種做法是不妥的。所有標(biāo)準(zhǔn)系統(tǒng)都不能把“幫助一名被搶劫者是應(yīng)當(dāng)?shù)?,并且禁止搶劫”這個(gè)命題形式化為系統(tǒng)的定理。善良的撒瑪利亞人悖論屬于這樣一類悖論 :一公式A為某一形式系統(tǒng)的定理 ,但A的一個(gè)代入實(shí)例卻是不可接受的。
[Abstract]:Anderson believed that the reduction formula of Op - (- P - S) to deontic logic logic to alethic modal logic. However, Anderson's approach is inappropriate. All standard systems are not able to be to help a man who is robbed and robbery is forbidden, "the formalization as a theorem. The good Samaritan paradox belongs to such a kind of paradox: the formula A is a theorem of a formal system, but an actual example of a A is not acceptable.

【作者單位】： 中國社會科學(xué)院研究生院!北京市100102
【分類號】：B81-06

【共引文獻(xiàn)】

相關(guān)期刊論文 前4條

1 馮棉;廣義模態(tài)邏輯研究中的若干問題[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2001年05期

2 金承光;從法律邏輯學(xué)的視角審視規(guī)范邏輯[J];昆明師范高等專科學(xué)校學(xué)報(bào);2005年03期

3 夏素敏;“羅斯悖論”研究述評及方法論思考[J];自然辯證法研究;2005年04期

4 陳波;從人工智能看當(dāng)代邏輯學(xué)的發(fā)展[J];中山大學(xué)學(xué)報(bào)論叢;2000年02期

相關(guān)博士學(xué)位論文 前4條

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

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

3 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

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

相關(guān)碩士學(xué)位論文 前2條

1 劉偉偉;克里普克語義學(xué)及其指稱理論研究[D];山西大學(xué);2007年

2 胡澤;格賴斯的會話含義理論研究[D];華南師范大學(xué);2005年

【相似文獻(xiàn)】

相關(guān)期刊論文 前2條

1 余俊偉;論道義邏輯系統(tǒng)的歸約及其相關(guān)問題[J];西南師范大學(xué)學(xué)報(bào)(人文社會科學(xué)版);2001年02期

2 余俊偉;什么是弗協(xié)調(diào)邏輯?[J];北京科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2001年02期

，

本文編號：1576009