發(fā)布時(shí)間：2018-10-30 08:48

【摘要】：在經(jīng)典命題邏輯的系統(tǒng)內(nèi),增加一個(gè)一元算子*,通過(guò)定義引入兩個(gè)一元算子2和△,可以建立一個(gè)經(jīng)典命題邏輯的擴(kuò)充系統(tǒng)——哲思邏輯系統(tǒng)。在該擴(kuò)充系統(tǒng)內(nèi),有遵守矛盾律和排中律的經(jīng)典否定算子,有遵守矛盾律而不遵守排中律的構(gòu)造性否定算子,有不遵守矛盾律而遵守排中律的弗協(xié)調(diào)否定算子,還有既不遵守矛盾律又不遵守排中律的辯證否定算子。通過(guò)引入關(guān)于*的一個(gè)形式語(yǔ)義,可以證明哲思邏輯系統(tǒng)具有可靠性和完全性。在哲思邏輯中,A和A之間是矛盾關(guān)系,A和2A之間是反對(duì)關(guān)系,A和△A之間是下反對(duì)關(guān)系,A和*A之間是差等關(guān)系。所以,哲思邏輯又可以稱為對(duì)當(dāng)關(guān)系邏輯。
[Abstract]:In the system of classical propositional logic, we add a univariate operator *, by introducing two univariate operators 2 sum, we can establish an extension system of classical propositional logic called philosophy logic system. In the extended system, there are classical negative operators that obey the law of contradiction and the law of middle exclusion, constructive negative operators that obey the law of contradiction but do not obey the law of center of exclusion, and operators of Free-coordinate negation which obey the law of exclusion without complying with the law of contradiction. There is also a dialectical negative operator that neither obeys the law of contradiction nor the law of exclusion. By introducing a formal semantics about *, it is proved that the philosophical logic system is reliable and complete. In philosophical logic, there is a contradiction between A and A, an opposition relationship between A and 2A, a lower opposition relationship between A and A, and a difference relationship between A and * A. Therefore, philosophic logic can also be called the logics of relation.
【作者單位】： 南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所
【基金】：國(guó)家社科基金項(xiàng)目(02CZX0080) 教育部人文社會(huì)科學(xué)重點(diǎn)研究基地重大項(xiàng)目“邏輯哲學(xué)重大問(wèn)題研究”(05JJD720.40002)成果之一
【分類號(hào)】：B812

【相似文獻(xiàn)】

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

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

2 張清宇;;弗協(xié)調(diào)邏輯[J];哲學(xué)動(dòng)態(tài);1987年02期

3 郝旭東;;論弗協(xié)調(diào)邏輯的特異性質(zhì)[J];學(xué)術(shù)論壇;2011年04期

4 楊武金;弗協(xié)調(diào)邏輯及其理論特征[J];中共南京市委黨校南京市行政學(xué)院學(xué)報(bào);2004年02期

5 郝旭東;李娜;;弗協(xié)調(diào)單主體認(rèn)知邏輯系統(tǒng)C_nEK及其擴(kuò)張[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年02期

6 杜國(guó)平;;不協(xié)調(diào)理論的邏輯基礎(chǔ)——讀張清宇先生的《弗協(xié)調(diào)邏輯》[J];哲學(xué)動(dòng)態(tài);2007年10期

7 郝旭東;;弗協(xié)調(diào)多主體認(rèn)知邏輯系統(tǒng)C_nE_mK[J];云南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2010年05期

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

9 馮艷;論經(jīng)典否定、直覺(jué)主義否定和弗協(xié)調(diào)否定[J];自然辯證法研究;2005年02期

10 趙偉莉;;關(guān)于弗協(xié)調(diào)邏輯的否定與矛盾[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年01期

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

1 蘇愉仁;賈春華;;弗協(xié)調(diào)邏輯與《金匱要略》“方證論治系統(tǒng)”[A];仲景醫(yī)學(xué)求真（續(xù)三）[C];2009年

2 張清宇;;弗協(xié)調(diào)邏輯[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

3 楊武金;;弗協(xié)調(diào)邏輯及其哲學(xué)意義[A];2004年邏輯研究專輯[C];2004年

4 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

5 杜國(guó)平;;哲思邏輯[A];第三次金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];2005年

6 陳自立;;直覺(jué)主義邏輯的新公理系統(tǒng)RH[A];1995年邏輯研究專輯[C];1995年

7 張清宇;;弗協(xié)調(diào)邏輯系統(tǒng)Zn和ZnUS[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

8 張學(xué)立;;從邏輯哲學(xué)的觀點(diǎn)看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

9 熊明;;古典命題演算的直覺(jué)主義語(yǔ)義分析[A];2000年邏輯研究專輯[C];2000年

10 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

相關(guān)重要報(bào)紙文章 前10條

1 李德順 孫偉平;傳統(tǒng)“官本位”：人對(duì)自己的否定[N];社會(huì)科學(xué)報(bào);2001年

2 葉扁舟;90秒能否定“生死”[N];中國(guó)教育資訊報(bào);2002年

3 蔡振興;感悟權(quán)力[N];西南電力報(bào);2000年

4 馮東書;恩格斯何以否定自己[N];北京日?qǐng)?bào);2002年

5 本報(bào)記者 賈學(xué)穎;單一稅：體現(xiàn)公平還是否定公平[N];中國(guó)財(cái)經(jīng)報(bào);2002年

6 本報(bào)記者 周靜;第四屆全國(guó)性邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議在筑召開(kāi)[N];貴州日?qǐng)?bào);2008年

7 劉霖;先于對(duì)手否定自己[N];解放軍報(bào);2002年

8 翟義;如何玩轉(zhuǎn)“生物醫(yī)藥項(xiàng)目”[N];中國(guó)高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2002年

9 朱健;科學(xué)社會(huì)主義理論不可能否定[N];社會(huì)科學(xué)報(bào);2001年

10 ;退贓并不能否定犯罪行為[N];人民法院報(bào);2001年

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

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

2 馮彥波;合并邏輯方法研究[D];南開(kāi)大學(xué);2010年

3 徐正龍;文學(xué)長(zhǎng)河論[D];南京師范大學(xué);2007年

4 許國(guó)萍;現(xiàn)代漢語(yǔ)差比范疇研究[D];復(fù)旦大學(xué);2005年

5 彭利貞;現(xiàn)代漢語(yǔ)情態(tài)研究[D];復(fù)旦大學(xué);2005年

6 王曉凌;論非現(xiàn)實(shí)語(yǔ)義范疇[D];復(fù)旦大學(xué);2007年

7 王興斌;歷史事實(shí)的結(jié)構(gòu)[D];華東師范大學(xué);2008年

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

9 何松旭;為什么需要道德？[D];浙江大學(xué);2011年

10 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

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

1 郝旭東;次協(xié)調(diào)邏輯初探[D];河南大學(xué);2004年

2 夏夢(mèng);金岳霖邏輯與邏輯系統(tǒng)思想述評(píng)[D];西南師范大學(xué);2002年

3 胡丹;現(xiàn)代西方元倫理學(xué)的開(kāi)端[D];廈門大學(xué);2007年

4 王小剛;彭加勒的科學(xué)哲學(xué)思想[D];武漢大學(xué);2005年

5 陳潔;G.E.摩爾元倫理直覺(jué)主義研究[D];大連理工大學(xué);2007年

6 劉旭峰;直覺(jué)的位置[D];湖南師范大學(xué);2004年

7 張曉華;直覺(jué)主義價(jià)值論[D];西南大學(xué);2007年

8 李愛(ài)國(guó);羅斯義務(wù)論直覺(jué)主義倫理思想研究[D];西南大學(xué);2008年

9 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

10 金慧敏;“嚴(yán)肅的游戲”[D];鄭州大學(xué);2006年

，

本文編號(hào)：2299527