【摘要】：悖論具有挖掘背景知識中錯誤預設(shè)的方法論功效,羅斯悖論則暴露了早期規(guī)范邏輯系統(tǒng)中某些關(guān)于析取的公理與規(guī)則的非有效性。本文以較短的篇幅展示了為規(guī)范邏輯奠基的純形式系統(tǒng)RA的基本輪廓,并刻畫了它的主要特征。RA一舉消解了懸而未決的羅斯悖論。
[Abstract]:Paradoxes have the methodological effect of mining false presupposition in background knowledge, while Ross paradox exposes the ineffectiveness of some axioms and rules about disjunctions in the early normative logic system. In this paper, the basic outline of the pure form system RA, which is the foundation of the normative logic, is shown in a short space, and its main features are described. RA resolves the outstanding Ross paradox at once.
【作者單位】： 武漢大學哲學系 浙江海寧市城建局
【分類號】：B815

【參考文獻】

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

1 莫紹揆;模態(tài)系統(tǒng)與蘊涵系統(tǒng)[J];數(shù)學學報;1959年02期

2 劉云豐;模糊布爾代數(shù)[J];自然雜志;1982年03期

【共引文獻】

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

1 李秀敏;論亞相容邏輯中的“矛盾”——達科斯塔的亞相容邏輯思想述評[J];安徽大學學報;2005年01期

2 張秉福;邏輯遞歸性簡析[J];廣東行政學院學報;2005年01期

3 張秉福;邏輯遞歸性及其哲學思考[J];桂海論叢;2004年06期

4 周禎祥;邏輯敘事:歷史的比較和學科的比擬——兼評馬佩老師的邏輯觀[J];廣州大學學報(社會科學版);2005年03期

5 楊武金;;弗協(xié)調(diào)邏輯的理論淵源和歷史發(fā)展[J];貴州師范大學學報(社會科學版);2007年06期

6 陳自立;;正規(guī)經(jīng)典邏輯BFc的次協(xié)調(diào)性及推理悖論的解決(上)[J];河池學院學報(哲學社會科學版);2006年03期

7 陳自立;;正規(guī)經(jīng)典邏輯BFc的次協(xié)調(diào)性及推理悖論的解決(下)[J];河池學院學報(哲學社會科學版);2006年04期

8 杜國平;;經(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯[J];華南師范大學學報(社會科學版);2007年05期

9 桂起權(quán);;關(guān)于互補性邏輯、辯證邏輯及次協(xié)調(diào)邏輯——對馬佩教授挑戰(zhàn)的一種回應[J];河南社會科學;2010年02期

10 彭媚娟;;論經(jīng)典邏輯的局部修正——以弗協(xié)調(diào)邏輯為例[J];廣西社會科學;2010年12期

相關(guān)博士學位論文 前6條

1 張池平;多傳感器信息融合方法及其在空間目標識別中的應用[D];哈爾濱工業(yè)大學;2006年

2 吳暾華;面向中醫(yī)面診診斷信息提取的若干關(guān)鍵技術(shù)研究[D];廈門大學;2008年

3 饒國政;基于語義WIKI的本體知識庫研究[D];天津大學;2009年

4 張小旺;超協(xié)調(diào)描述邏輯[D];北京大學;2011年

5 陳佳林;柔性邏輯的健全性研究與應用[D];北京郵電大學;2011年

6 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學;2011年

相關(guān)碩士學位論文 前10條

1 伍曉敏;基于VSK-t邏輯的Agent形式化模型[D];云南師范大學;2004年

2 琚喬月;法律專家系統(tǒng)的邏輯學探析[D];河南大學;2005年

3 蔡家琴;論司法推理[D];河南大學;2005年

4 丁永強;規(guī)范邏輯的法律思考[D];河南大學;2005年

5 應毅;次協(xié)調(diào)數(shù)據(jù)庫研究[D];南京航空航天大學;2006年

6 章江花;基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究[D];云南師范大學;2006年

7 盧延鑫;邏輯學在計算機科學中的應用[D];上海社會科學院;2008年

8 王連英;從實踐必然性看歸納邏輯的合理性[D];山西大學;2008年

9 李鐵;也析科恩的否定原理及其嘗試性修正[D];華中師范大學;2011年

10 趙胥yN;醫(yī)療器械發(fā)展評估方法的研究[D];重慶大學;2011年

【二級參考文獻】

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

1 沈有鼎;初基演算[J];數(shù)學學報;1957年01期

【相似文獻】

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

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

2 劉邦凡;規(guī)范邏輯的應用功能[J];廣西社會科學;2005年05期

3 陶景侃;規(guī)范邏輯的產(chǎn)生和演進[J];甘肅社會科學;1996年03期

4 丁德良;在規(guī)范邏輯中引入提倡P、限制P的構(gòu)想[J];南昌大學學報(人文社會科學版);2004年05期

5 夏素敏;“羅斯悖論”研究述評[J];哲學動態(tài);2005年04期

6 陶景侃;用法律的觀點評價現(xiàn)代規(guī)范邏輯[J];蘭州學刊;1997年03期

7 陶景侃;法律規(guī)范的邏輯演算Q_s系統(tǒng)[J];蘭州大學學報(社會科學版);1997年02期

8 朱慶華;語境邏輯初探[J];麗水師范專科學校學報;1993年01期

9 劉蘇;;邏輯適用于規(guī)范嗎?——凱爾森后期規(guī)范邏輯思想初探[J];河南師范大學學報(哲學社會科學版);2008年01期

10 孫明湘;規(guī)范邏輯簡論[J];湘潭師范學院學報(社會科學版);1998年02期

相關(guān)會議論文 前10條

1 陶景侃;;行為規(guī)范邏輯Qd系統(tǒng)[A];1993年邏輯研究專輯[C];1993年

2 孔紅;;一個法律規(guī)范邏輯的形式語言及語義[A];和諧社會：社會公正與風險管理——2005學術(shù)前沿論壇論文集（下卷）[C];2005年

3 金承光;;從法律邏輯學的視角審視規(guī)范邏輯[A];第十四屆全國法律邏輯學術(shù)討論會論文集[C];2006年

4 金承光;;從法律邏輯學的視角審視規(guī)范邏輯[A];邊緣法學論壇[C];2005年

5 任曉明;崔清田;;邏輯多元論與邏輯在人文科學中的應用研究——兼談《次協(xié)調(diào)邏輯與人工智能》[A];2003年邏輯研究專輯[C];2003年

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

7 錢鷺生;;特種紙范疇的高榷[A];中國造紙學會第十二屆涂布加工紙學術(shù)年會暨包裝紙板技術(shù)交流會論文集[C];2004年

8 錢鷺生;;特種紙范疇的商榷[A];中國造紙學會第十二屆學術(shù)年會論文集（上）[C];2005年

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

10 張鷹;;論法律規(guī)范語詞的不一致性[A];第十四屆全國法律邏輯學術(shù)討論會論文集[C];2006年

相關(guān)碩士學位論文 前1條

1 武騰;反壟斷法學研究方法的重心轉(zhuǎn)換[D];吉林大學;2010年

，

本文編號：2319548