【摘要】：在經(jīng)典命題邏輯的系統(tǒng)內(nèi),增加一個一元算子*,通過定義引入兩個一元算子2和△,可以建立一個經(jīng)典命題邏輯的擴(kuò)充系統(tǒng)——哲思邏輯系統(tǒng)。在該擴(kuò)充系統(tǒng)內(nèi),有遵守矛盾律和排中律的經(jīng)典否定算子,有遵守矛盾律而不遵守排中律的構(gòu)造性否定算子,有不遵守矛盾律而遵守排中律的弗協(xié)調(diào)否定算子,還有既不遵守矛盾律又不遵守排中律的辯證否定算子。通過引入關(guān)于*的一個形式語義,可以證明哲思邏輯系統(tǒng)具有可靠性和完全性。在哲思邏輯中,A和A之間是矛盾關(guān)系,A和2A之間是反對關(guān)系,A和△A之間是下反對關(guān)系,A和*A之間是差等關(guān)系。所以,哲思邏輯又可以稱為對當(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)用研究所
【基金】：國家社科基金項(xiàng)目(02CZX0080) 教育部人文社會科學(xué)重點(diǎn)研究基地重大項(xiàng)目“邏輯哲學(xué)重大問題研究”(05JJD720.40002)成果之一
【分類號】：B812

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 陳自立;;直覺主義邏輯的新公理系統(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 熊明;;古典命題演算的直覺主義語義分析[A];2000年邏輯研究專輯[C];2000年

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

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

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

2 葉扁舟;90秒能否定“生死”[N];中國教育資訊報;2002年

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

4 馮東書;恩格斯何以否定自己[N];北京日報;2002年

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

6 本報記者 周靜;第四屆全國性邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議在筑召開[N];貴州日報;2008年

7 劉霖;先于對手否定自己[N];解放軍報;2002年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2299527