圖書標籤: 邏輯學 哲學 邏輯學 非經典邏輯 邏輯 這書能在五年內學完學懂也算牛人#~tableau 課本 模態邏輯
发表于2024-12-25
An Introduction to Non-Classical Logic pdf epub mobi txt 電子書 下載 2024
This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
誤人子弟,不可讀
評分非常詳細全麵,logiker 必讀瞭,就差關於Hintikka If Logik的內容
評分誤人子弟,不可讀
評分太淺瞭 沒講什麼東西
評分這本書挺重視Tableau方法。沒看完,沒時間看瞭,以後慢慢備查吧
評分
評分
評分
評分
An Introduction to Non-Classical Logic pdf epub mobi txt 電子書 下載 2024