經典邏輯視野下的非經典否定,哲學動態雜誌,哲學動態雜誌線上閱讀,哲學動態雜誌訂閱,《哲學動態》2010年第07期電子雜誌,哲學動態雜誌文章,余俊偉;。
基本介紹
- 中文名:非經典邏輯
- 時間:2010年第07期
- 作者:余俊偉
- 類別:哲學動態雜誌文章
經典邏輯視野下的非經典否定,哲學動態雜誌,哲學動態雜誌線上閱讀,哲學動態雜誌訂閱,《哲學動態》2010年第07期電子雜誌,哲學動態雜誌文章,余俊偉;。
經典邏輯視野下的非經典否定,哲學動態雜誌,哲學動態雜誌線上閱讀,哲學動態雜誌訂閱,《哲學動態》2010年第07期電子雜誌,哲學動態雜誌文章,余俊偉;。...
《經典邏輯與非經典邏輯基礎》是2006年7月1日高等教育出版社出版的圖書。作者是杜國平。本書比較系統地介紹了現代邏輯學的基本內容。...
可計算性邏輯是可計算性的語義構造的形式理論,相對於是真值的形式理論的經典邏輯;它整和並擴展了經典、線性和直覺邏輯;模態邏輯向經典邏輯擴展了非真值泛函("模態...
《非經典邏輯系統發生學研究》是2011年南開大學出版社出版的圖書,作者是任曉明,桂起權。...
《非經典邏輯系統發生學研究:兼論邏輯哲學的中心問題》作為“天津市哲學社會科學規劃研究項目:非經典邏輯系統發生學研究——邏輯哲學的中心問題”的結項成果,系在...
自由邏輯是一種能夠處理空專名的非經典邏輯。有多種帶等號或不帶等號的謂詞演算系統。所謂“空專名”,即不指稱任何實存個體的專名(例如專名“孫悟空”是小說《...
又稱非標準邏輯。與“經典邏輯”相對。在一些基本點上不同於經典邏輯的一些邏輯分支的總稱。...
構造邏輯是一種非經典的邏輯系統。它主要由對數學持直覺主義、構造主義或致力於構造性數學研究和發展的數學家和邏輯學家建立和使用。在數理邏輯和數學基礎中,“構造...
一種非經典的邏輯系統。在經典邏輯中,每一個命題皆取真假二值之一為值 ,每一命題或者真或者假。但實際上,一個命題可以不是二值的。命題可以有三值,推而廣之...
它後來為另一個非經典邏輯,最重要的直覺邏輯所接受。Kripke 語義的發現是非經典邏輯開發中重大突破,因為這種邏輯的模型論在 Kripke 之前實際上是不存在的。...
另外,在認知邏輯、語言邏輯、非經典邏輯等方面也有一些有影響的研究成果。最近的研究集中在與認知、語言有關的分支。劉壯虎認為,數理邏輯為現在邏輯研究提供了基本和...
不確定性理論、方法與套用,包括基礎理論、套用理論與工程技術三個方面,涉及序結構、拓撲結構、代數結構、動力系統、經典與非經典邏輯、計算理論、形式語言、計算智慧型...
《否定詞研究》系統地論述了各種形態否定詞,包括直覺主義邏輯、相干邏輯及弗協調邏輯這三種非經典邏輯中的否定,以及比直覺主義更弱的一些系統中的否定,其中包括作者...
中介公理集合論(medium axiomatic set theory)一種公理集合論系統.是以中介邏輯演算MI,為邏輯推理工具的非經典的公理集合論系統。...
中介真值程度的度量方法在處理模糊現象中的套用,如在計算機系統結構、數字圖像、數據挖掘、智慧型計算、信息處理和性能評價等領域的套用;非經典邏輯理論的研究。...