发表于2024-12-22
A New Introduction to Modal Logic 2024 pdf epub mobi 电子书
图书标签: 逻辑学 模态逻辑 Logic 逻辑 哲学 计算机 modal 英文原版
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.
我们老师说这本书形式化程度太低,但我觉得这本书太好了,很多例子和讲解,特别适合文科底子的逻辑学生读。
评分形式化低好啊,非逻辑学的论文里也用不到那么高的形式化内容
评分形式化低好啊,非逻辑学的论文里也用不到那么高的形式化内容
评分算是读过吧,给哲学系学生写的
评分符号有点旧哇……而且是元语言层面的理论……弃了
A New Introduction to Modal Logic 2024 pdf epub mobi 电子书