多值邏輯的思想淵源和產(chǎn)生歷程
本文選題:多值邏輯 + 真值 ; 參考:《自然辯證法研究》2008年11期
【摘要】:現(xiàn)在的多值邏輯已成為內(nèi)容豐富的邏輯學(xué)分支,在計算機(jī)和人工智能中有著廣泛的應(yīng)用,這種發(fā)展與其早期的思想有著一定的聯(lián)系。從亞里士多德開始邏輯學(xué)家們就提出了各種不同的多值邏輯思想,本文將對多值邏輯早期思想的提出和后來的發(fā)展歷程給以回顧。
[Abstract]:Nowadays, multivalued logic has become a branch of logic with rich contents, and has been widely used in computer and artificial intelligence. This development is related to its early ideas. From the beginning of Aristotle, many kinds of multivalued logic ideas have been put forward by logicians. This paper will review the early ideas of multivalued logic and the later development of multivalued logic.
【作者單位】: 安徽大學(xué)哲學(xué)系;
【分類號】:B81-05
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問題的思考[J];重慶工學(xué)院學(xué)報;2006年01期
2 周德義;論“一分為三”與思維規(guī)律的辯證關(guān)系[J];長沙電力學(xué)院學(xué)報(社會科學(xué)版);2002年01期
3 李安;;歸納法在判例主義法律推理中的有效性與論證[J];法律科學(xué)(西北政法學(xué)院學(xué)報);2007年02期
4 蘇富忠;論抽象思維——自然語言基本思維方式系列研究之二[J];哈爾濱學(xué)院學(xué)報;2002年03期
5 滕定明;論亞里士多德邏輯的起源[J];江西教育學(xué)院學(xué)報;2003年04期
6 林正;論克里普克的本質(zhì)主義[J];蘭州學(xué)刊;2004年06期
7 滕定明;語言邏輯還是哲學(xué)邏輯——為亞里士多德邏輯正名[J];南通師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2004年03期
8 劉明明;反思中西邏輯比較研究的前提性問題[J];黔南民族師范學(xué)院學(xué)報;2004年05期
9 谷振詣;“論辯術(shù)”與希臘邏輯的傳統(tǒng)[J];求是學(xué)刊;2000年06期
10 張力鋒;模態(tài)邏輯的哲學(xué)歸宿[J];四川大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2004年02期
相關(guān)會議論文 前2條
1 張四化;葛宇寧;;從對集合論悖論的剖析看制約邏輯的客體性[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年
2 江怡;;胡塞爾是如何反對心理主義的?——對《邏輯研究》第一卷的一種解釋[A];現(xiàn)代德國哲學(xué)與歐洲大陸哲學(xué)學(xué)術(shù)研討會論文匯編[C];2007年
相關(guān)博士學(xué)位論文 前5條
1 彭靈勇;法律推理的確定性與不確定性[D];中國社會科學(xué)院研究生院;2001年
2 方剛;維特根斯坦之命題意義的確定性問題研究[D];復(fù)旦大學(xué);2004年
3 代金宏;會計邏輯研究[D];天津財經(jīng)大學(xué);2008年
4 李菁;海德格爾與維特根斯坦存在思想的一種嘗試比較[D];浙江大學(xué);2008年
5 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年
相關(guān)碩士學(xué)位論文 前10條
1 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年
2 唐玉斌;本質(zhì)主義和必然性問題的研究[D];華南師范大學(xué);2005年
3 張焱;什么是命題——從兩種命題處理方案來看[D];華東師范大學(xué);2005年
4 劉衛(wèi)花;對蒯因邏輯中“本體論承諾”的探討[D];西南師范大學(xué);2005年
5 郭建萍;亞里士多德真理觀及其現(xiàn)實意義[D];山西大學(xué);2005年
6 張明娜;語義悖論消解研究[D];河北大學(xué);2006年
7 鮑建竹;馬克思主義哲學(xué)本體論問題溯源[D];華中師范大學(xué);2006年
8 王新峰;數(shù)學(xué)視野中邏輯與語言的成功融合[D];山西大學(xué);2006年
9 史t,
本文編號:1881389
本文鏈接:http://sikaile.net/shekelunwen/ljx/1881389.html