約翰·範本特姆,當代世界著名邏輯學傢,阿姆斯特丹大學的大學教授、斯坦福大學哲學教授,兼任中山大學客座教授。荷蘭皇傢藝術與科學院、歐洲科學院和國際哲學院院士,多個雜誌編輯。撰寫瞭約300篇論文和6部專著,主編瞭4部具有權威性的邏輯手冊。由於他的卓越成就,荷蘭政府於1996年授予他斯賓諾莎奬。
《邏輯、信息和互動》既有關於邏輯數學基礎的探索,又有對邏輯應用領域的拓展,適閤從事邏輯學研究的學生和教師閱讀。也適閤從事其他邏輯相關學科專業的學生和教師參閱。“邏輯之門”是當代世界著名的邏輯學傢約翰,範本特姆經典著作的中文翻譯。叢書收集瞭他的經典論文和主要專著,其涵蓋的主題有:關於信息、進程和智能互動的模態邏輯,自然語言中範疇語法和量詞語義的邏輯:邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現瞭現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。
發表於2024-11-25
邏輯、信息和互動 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯學 邏輯 模態邏輯 數學 思維 哲學 邏輯學發燒友 科學
重看
評分重看
評分重看
評分重看
評分可是人人生來就有邏輯,難道還需要“法律”的證據和證明邏輯的正確性嗎?
邏輯、信息和互動 2024 pdf epub mobi 電子書 下載