豆瓣
扫码直接下载
我们老师说这本书形式化程度太低,但我觉得这本书太好了,很多例子和讲解,特别适合文科底子的逻辑学生读。
很适合我这种底子差的= =
跟着david boylan的syllabus配合sider读的,讲得很清楚。但ch.15-17各种completeness and soundness proofs是真的提不起兴趣…如果只是想了解modal logic的basics的话可能到ch.13就可以了
补登记,现在对cresswell最深的印象就是某教授之前在课上说他在umass做visiting professor然后married one of the grad students(
记号是不怎么影响阅读的,有一些微小的错误,ad hoc的结果证明很细致。
层次上有一点点混杂感,但基础的东西都讲得清楚,经过自己整理的话会清晰。
符号有点旧哇……而且是元语言层面的理论……弃了
形式化低好啊,非逻辑学的论文里也用不到那么高的形式化内容
讲的清清楚楚是它的特点,入门是不错滴选择。进阶的不推荐。
忽然发现标签里还有个“浅显”……
算是读过吧,给哲学系学生写的
这学期的教材,对入门者很友好。
> A New Introduction to Modal Logic
2 有用 无能狂怒人 2010-06-30 21:46:37
我们老师说这本书形式化程度太低,但我觉得这本书太好了,很多例子和讲解,特别适合文科底子的逻辑学生读。
0 有用 切 2013-03-20 22:44:38
很适合我这种底子差的= =
0 有用 当时环佩留清响 2023-05-31 07:58:57 美国
跟着david boylan的syllabus配合sider读的,讲得很清楚。但ch.15-17各种completeness and soundness proofs是真的提不起兴趣…如果只是想了解modal logic的basics的话可能到ch.13就可以了
0 有用 初繁言 2023-05-31 08:16:59 美国
补登记,现在对cresswell最深的印象就是某教授之前在课上说他在umass做visiting professor然后married one of the grad students(
0 有用 换只猫 2023-10-28 14:48:04 中国香港
记号是不怎么影响阅读的,有一些微小的错误,ad hoc的结果证明很细致。
0 有用 TommieFloweron 2023-04-20 21:54:50 上海
层次上有一点点混杂感,但基础的东西都讲得清楚,经过自己整理的话会清晰。
1 有用 克莱采奏鸣曲 2020-04-28 11:04:57
符号有点旧哇……而且是元语言层面的理论……弃了
1 有用 Benedicite 2018-04-10 14:13:01
形式化低好啊,非逻辑学的论文里也用不到那么高的形式化内容
0 有用 伍岳轩 2017-08-09 16:37:16
讲的清清楚楚是它的特点,入门是不错滴选择。进阶的不推荐。
0 有用 你是葫芦我是娃 2014-05-24 20:37:56
忽然发现标签里还有个“浅显”……
0 有用 Urelement 2014-09-19 17:06:22
算是读过吧,给哲学系学生写的
0 有用 Apotheosis 2023-12-05 06:41:31 美国
这学期的教材,对入门者很友好。