图书标签: 邏輯學 哲学 逻辑学 非经典逻辑 逻辑 这书能在五年内学完学懂也算牛人#~tableau 課本 模态逻辑
发表于2024-11-09
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方法。没看完,没时间看了,以后慢慢备查吧
评分这本书挺重视Tableau方法。没看完,没时间看了,以后慢慢备查吧
评分误人子弟,不可读
评分
评分
评分
评分
An Introduction to Non-Classical Logic pdf epub mobi txt 电子书 下载 2024