【摘要】：悖論具有挖掘背景知識(shí)中錯(cuò)誤預(yù)設(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.
【作者單位】： 武漢大學(xué)哲學(xué)系 浙江海寧市城建局
【分類號(hào)】：B815

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評(píng)[J];安徽大學(xué)學(xué)報(bào);2005年01期

2 張秉福;邏輯遞歸性簡(jiǎn)析[J];廣東行政學(xué)院學(xué)報(bào);2005年01期

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

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

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

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

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

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

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

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

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

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

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

3 饒國(guó)政;基于語(yǔ)義WIKI的本體知識(shí)庫(kù)研究[D];天津大學(xué);2009年

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

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

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

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

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

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

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

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

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

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

7 盧延鑫;邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用[D];上海社會(huì)科學(xué)院;2008年

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

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

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

【二級(jí)參考文獻(xiàn)】

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 朱慶華;語(yǔ)境邏輯初探[J];麗水師范�？茖W(xué)校學(xué)報(bào);1993年01期

9 劉蘇;;邏輯適用于規(guī)范嗎?——?jiǎng)P爾森后期規(guī)范邏輯思想初探[J];河南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年01期

10 孫明湘;規(guī)范邏輯簡(jiǎn)論[J];湘潭師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);1998年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2319548