本文選題：多值邏輯系統(tǒng)　切入點(diǎn)：證明論　出處：《求是學(xué)刊》2007年06期

【摘要】：正一、多值邏輯概述西方邏輯的發(fā)展從一開始其主流觀點(diǎn)一直是:任何命題都有而且只有真假二值,即所謂"二值律"。但是"二值律"與"排中律"歷史上很早就受到質(zhì)疑。多值邏輯作為一門獨(dú)立的邏輯學(xué)分支是由波蘭邏輯學(xué)家哲學(xué)家Jan Lukasiewicz在1920年創(chuàng)立的。Lukasiewicz研究了模態(tài)在人類的本體論活動(dòng)中的作用,他試圖通過第三個(gè)真值來
[Abstract]:From the beginning, the mainstream view of western logic is that any proposition has only true and false binaries, that is, the so-called "binary law".However, the law of binary value and the law of exclusion have long been questioned in history.Multivalued logic, as an independent branch of logic, was founded by Polish logician philosopher Jan Lukasiewicz in 1920 to study the role of modes in human ontological activities.
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所
【分類號(hào)】：B812

【相似文獻(xiàn)】

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

1 梁彪;關(guān)于多值邏輯的解釋問題[J];現(xiàn)代哲學(xué);1990年04期

2 余二亮;;決定論與非決定論的是非探究[J];新學(xué)術(shù);2007年02期

3 霍書全;;多值邏輯的思想淵源和產(chǎn)生歷程[J];自然辯證法研究;2008年11期

4 董振華;非決定論批判與“兩個(gè)必然”——正確認(rèn)識(shí)兩種社會(huì)歷史進(jìn)程[J];長(zhǎng)春市委黨校學(xué)報(bào);2002年03期

5 茆素瓊;;決定性視野下的決定論與非決定論之爭(zhēng)[J];前沿;2007年06期

6 葉立國(guó);李笑春;;決定論概念研究述評(píng)[J];中國(guó)海洋大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年02期

7 楊克明;;對(duì)馬克思主義歷史決定論的思考[J];貴州商專學(xué)報(bào);1997年04期

8 龐元正,董振華;以辯證決定論認(rèn)識(shí)社會(huì)規(guī)律[J];許昌師專學(xué)報(bào);2002年04期

9 霍書全;;多值邏輯的烏拉姆博弈語(yǔ)義[J];哲學(xué)動(dòng)態(tài);2009年12期

10 張曙光，齊獻(xiàn)民;選擇論：實(shí)踐唯物主義的建構(gòu)思路及其基本原則[J];信陽(yáng)師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年02期

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

1 高源;;建立和諧自主的課堂論壇——作文講評(píng)課教學(xué)案例[A];國(guó)家教師科研基金“十一五”成果集（中國(guó)名校卷）（五）[C];2009年

2 史研;;第10屆國(guó)際邏輯、方法論和科學(xué)哲學(xué)大會(huì)[A];1995年邏輯研究專輯[C];1995年

3 張景萍;王榮順;王利祥;;設(shè)計(jì)具有穩(wěn)定高自旋基態(tài)多自由基體系的結(jié)構(gòu)規(guī)則[A];第三屆中國(guó)功能材料及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];1998年

4 高源;;建立和諧自主的課堂論壇——作文講評(píng)課教學(xué)案例[A];國(guó)家教師科研基金十一五階段性成果集（陜西卷）[C];2010年

5 李小五;;無窮邏輯簡(jiǎn)史[A];1997年邏輯研究專輯[C];1997年

6 沈亞生;;人學(xué)視域中的自由觀論爭(zhēng)[A];人學(xué)與現(xiàn)代化——全國(guó)第五屆人學(xué)研討會(huì)論文集[C];2002年

7 閆彬;方炎;;含水乙醇在CCVD法制備單壁碳納米管中的影響[A];第十四屆全國(guó)光散射學(xué)術(shù)會(huì)議論文摘要集[C];2007年

8 趙效洪;韓書華;閆欣;曾春梅;車紅衛(wèi);;無表面活性劑條件下無機(jī)-有機(jī)雜化介孔硅的合成[A];中國(guó)化學(xué)會(huì)第十一屆膠體與界面化學(xué)會(huì)議論文摘要集[C];2007年

9 盧天健;;超輕多孔金屬的多功能復(fù)合特性[A];中國(guó)力學(xué)學(xué)會(huì)學(xué)術(shù)大會(huì)'2005論文摘要集（上）[C];2005年

10 閆欣;韓書華;侯萬國(guó);曾春梅;;以三聚表面活性劑為模板劑合成高鋁含量的有序介孔硅鋁酸鹽材料[A];中國(guó)化學(xué)會(huì)第十一屆膠體與界面化學(xué)會(huì)議論文摘要集[C];2007年

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

1 云縣第一中學(xué) 徐家永;使用事例論據(jù)常犯的錯(cuò)誤[N];云南經(jīng)濟(jì)日?qǐng)?bào);2001年

2 姜奇平;海浪永遠(yuǎn)洶涌莫測(cè) 海鷗憑何應(yīng)付自如[N];上海證券報(bào);2008年

3 姜奇平;黑天鵝效應(yīng)與隨需應(yīng)變[N];電腦商報(bào);2008年

4 記者 黃興華;我大學(xué)生攻克國(guó)際數(shù)學(xué)難題[N];新華每日電訊;2011年

5 張浩 宋正海;令人深思的“蔣春暄現(xiàn)象”[N];南方周末;2003年

6 戴玉忠;證據(jù)法學(xué)研究的新探索[N];檢察日?qǐng)?bào);2008年

7 記者 安平印 王青萍;一股獨(dú)大不利企業(yè)發(fā)展[N];中國(guó)信息報(bào);2001年

8 楊學(xué)功;歷史哲學(xué)研究的新視角[N];人民日?qǐng)?bào);2007年

9 尼克;王浩和他的朋友們[N];東方早報(bào);2011年

10 程婉華;論英語(yǔ)語(yǔ)言知識(shí)的積累與交際能力的培養(yǎng)[N];安徽經(jīng)濟(jì)報(bào);2001年

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

1 石軍;基于XML的智能信息處理研究[D];西安電子科技大學(xué);2003年

2 張本祥;不可計(jì)算復(fù)雜性的機(jī)理與意義[D];華南師范大學(xué);2006年

3 程雪婷;基于CAS理論的石油企業(yè)適應(yīng)性機(jī)制研究[D];哈爾濱工業(yè)大學(xué);2006年

4 曾曉洋;高性能Reed-Solomon碼編譯碼方法及其相關(guān)技術(shù)的研究[D];中國(guó)科學(xué)院長(zhǎng)春光學(xué)精密機(jī)械與物理研究所;2001年

5 蔣篤恒;公證制度研究[D];中國(guó)政法大學(xué);2002年

6 謝愛華;“突現(xiàn)論”中的哲學(xué)問題[D];中國(guó)社會(huì)科學(xué)院研究生院;2000年

7 程瑞;當(dāng)代時(shí)空實(shí)在論研究[D];山西大學(xué);2010年

8 薄謀;新弗雷格算術(shù)的一致性和解釋性[D];復(fù)旦大學(xué);2011年

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

1 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問題的研究[D];山東大學(xué);2010年

2 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊(yùn)涵代數(shù)[D];陜西師范大學(xué);2007年

3 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

4 陽(yáng)建國(guó);人類自由的緒論：波普爾非決定論思想的道德之維[D];中南大學(xué);2003年

5 林元彪;上海市道路名稱英譯研究[D];華東師范大學(xué);2008年

6 黃云鵬;丹尼特自由觀探析[D];山西大學(xué);2010年

7 吳欣;內(nèi)嵌金屬富勒烯結(jié)構(gòu)和電子性質(zhì)的理論研究[D];廈門大學(xué);2008年

8 張保壘;表列演算探究[D];華東師范大學(xué);2011年

9 蘆珊;可公理化單射占優(yōu)模型類的研究[D];南京航空航天大學(xué);2006年

10 肖玲;早期兒童語(yǔ)言泛化現(xiàn)象研究[D];首都師范大學(xué);2007年

，

本文編號(hào)：1704060