非經典邏輯的中文術語收錄於2003公布的《自然辯證法名詞》和2018公布的《計算機科學技術名詞 》 (第三版)。
基本介紹
- 中文名:非經典邏輯
- 所屬學科:邏輯學和哲學
- 英文名:non-classical logic
非經典邏輯的中文術語收錄於2003公布的《自然辯證法名詞》和2018公布的《計算機科學技術名詞 》 (第三版)。
非經典邏輯的中文術語收錄於2003公布的《自然辯證法名詞》和2018公布的《計算機科學技術名詞 》 (第三版)。定義非經典邏輯1泛指與經典邏輯2不同的邏輯系統。早期這類系統的發展是源自使邏輯更接近自然語言的需要,或者是使...
非古典邏輯 非古典邏輯即“非經典邏輯”。
多值邏輯(many-valued logic)一種非經典的邏輯系統。在經典邏輯中,每一個命題皆取真假二值之一為值 ,每一命題或者真或者假。但實際上,一個命題可以不是二值的。命題可以有三值,推而廣之,還可以有四值,五值。因此,對每一...
《經典邏輯與非經典邏輯基礎》是2006年7月1日高等教育出版社出版的圖書。作者是杜國平。本書比較系統地介紹了現代邏輯學的基本內容。內容簡介 邏輯是人類智慧型的核心。《經典邏輯與非經典邏輯基礎》主要包括三個部分。第一部分介紹集合論的...
非標準邏輯(non-standard logic)“非經典邏輯”的別稱。與“標準邏輯”相對。隨著現代邏輯的發展而產生的直覺主義邏輯、多值邏輯、模態邏輯、模糊(弗晰)邏輯等等。邏輯學家在稱經典邏輯為標準邏輯的同時,也就相應地將這些非經典邏輯...
《非經典邏輯系統發生學研究》是2011年南開大學出版社出版的圖書,作者是任曉明,桂起權。內容簡介 既然邏輯哲學的中心問題是恰當性問題,那么邏輯哲學研究實際上就成為一種邏輯系統發生學研究,尤其是非經典邏輯系統的發生學研究。邏輯哲學...
《非經典數理邏輯與近似推理》是2008年科學出版社出版的圖書,作者是王國俊。內容簡介 本書在第一版的基礎上修訂再版,全書較系統地講述了各種三值邏輯、n值邏輯以及連續值邏輯理論;為模糊命題演算建立了一套形式演繹系統;把模糊推理納入...
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹系統,但理論根據還不充分。許多複雜的常識推理問題如能直接用高階邏輯或非...
偏邏輯亦譯“部分邏輯”。處理不真不假命題(即真值空白)和無指稱的單稱詞項的一種非經典邏輯。尋根溯源,弗雷格即已發現,包含無指稱的單稱詞項的表達式本身就缺乏真值,因而包含無真值的組成部分的複合句就沒有真值。如果允許沒有指稱...
謂詞邏輯也分為經典的謂詞邏輯和非經典的謂詞邏輯,後者包括作為子系統的非經典的命題邏輯。經典的一階謂詞邏輯是謂詞邏輯的基本部分。第一個完整的謂詞邏輯系統是G.弗雷格在1879年建立的。K.哥德爾等人系統地研究了謂詞邏輯的元邏輯問題,...
邏輯架構,作為一門形式科學,通過對推論的形式系統和自然語言論證二者的研究,邏輯研究和分類語句和論證的結構。概念 邏輯架構 經典邏輯標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質;非經典邏輯缺乏一個或...
其實,在現今的非經典演繹邏輯中確實有一支是與辯證邏輯有很多相似之處的,這種邏輯就是次協調邏輯(又常稱為費協調邏輯、亞相容邏輯,也有人稱之為悖論邏輯、辯證邏輯)。這種邏輯承認經典演繹邏輯中的“矛盾律”並不普遍有效,試圖將...
《基於描述邏輯的複雜本體非經典知識表示和推理研究》是依託南京大學,由李言輝擔任項目負責人的青年科學基金項目。項目摘要 本體知識表示和推理是語義Web研究熱點,本項目中擬討論基於描述邏輯的當前本體語言OWL2的表示和推理研究。申請人將原...
整個邏輯學科的體系非常龐大複雜,如:傳統的、現代的和辯證的、演繹的、歸納的和類比的、經典的和非經典的,等等。但是,它再龐雜也有相通的地方,例如:構建判斷的方法;進行必然性推理;認同邏輯真理或邏輯規律等。邏輯學作為一門科學...
數理邏輯從20世紀30年代起進入發展時期,它一方面繼續沿著邏輯的軌道發展,建立了非經典邏輯的許多分支;另一方面,則向數學方向發展,在公理集合論、證明論、遞歸論和模型論的研究上取得很多結果,從而開始逐漸發展成為數學的分支,並與其他...
套用邏輯是現代邏輯中一類大的學科群體,在哲學邏輯、非經典邏輯的概念提出之前,套用邏輯基本上涵蓋了哲學邏輯和非經典邏輯的範圍。套用邏輯還是大學裡的一門選修課程,主要講公務員考試中行測的部分相關內容,主要有:概念辨析、命題理解、...
1977 年,Pnueli開創性地把時態邏輯引入計算機科學,他的時態邏輯是非經典邏輯中的一種,研究如何處理含有時間信息的事件的命題和謂詞。現在通常稱為時序邏輯的計算機系統,就出現在這一年,Pnueli 在子程式語言與系統驗證方面做出的傑出貢獻...
但是,有些經典邏輯中的證明依賴於排中律;因為在這種方案中不能使用排中律,有些命題就不能用這種方式來證明了。與模糊邏輯的關係 模糊邏輯是由盧菲特·澤德作為對模糊性的形式化而介入的;模糊就是謂詞可以非絕對性的套用於物體的現象...
經典邏輯標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質;非經典邏輯缺乏一個或多個這種特性,它們是:1:排中律;2:無矛盾律;3:蘊涵的單調性和蘊涵的冪等性;4:合取的交換性;De Morgan 對偶性: 所有邏輯...