豆瓣
扫码直接下载
只翻过。当年周北海老师给我们班上逻辑学。所以大家就出于好奇看他的书。
非经典逻辑初步，很有启发
粗略扫了一遍，相当不错的一本书。
没学下去，标一下纪念周老师给我的安慰。希望未来可以重新挑战模态逻辑。
集中反映了80年代以前这一领域的核心旨趣：对一元系统之间构成的逻辑格研究；可读性很高，周老师写作从来都是付出了相当心血的。有几个比较大的问题：1.关键证明中的实质性错误 2.成书年代尤其是材料整理的年代太早了 3.古典的句法-形式系统-形式语义三段式绝不是对逻辑好的处理方式，这种过于照顾读者知识背景与感受的写作最终只会遮蔽掉实质的数学内容反而害了他们，一开始就应将结构放置在中心地位。本书最终也没能说清modal consequence relation即是一证。
比较枯燥，看一半看递归论去了才回来继续看，忍耐看完最后一些完全性证明。其实这么多逻辑演算的证明陈列真的没有必要。
chap.1-4&9-10
周老师满分，课也满分，只是我少点慧根。解习题像魂游boss战
巴坎之前，严格化部分略过
适合入门。最后一章逻辑哲学的部分很有启发。
我有可能打四星。
有一些错误...
周北海老师亲自讲的，讲得超好，可惜我没有逻辑慧根😭
略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。
> 模态逻辑导论
2 有用 王璞一零一 2018-01-19 09:54:48
只翻过。当年周北海老师给我们班上逻辑学。所以大家就出于好奇看他的书。
1 有用 马蹄北去 2018-09-27 07:06:09
非经典逻辑初步，很有启发
1 有用 苹果梦 2021-06-25 22:40:53
粗略扫了一遍，相当不错的一本书。
1 有用 Pantope 2023-03-21 20:34:59 山西
没学下去，标一下纪念周老师给我的安慰。希望未来可以重新挑战模态逻辑。
0 有用 DestinHistoire 2020-01-08 21:39:09
集中反映了80年代以前这一领域的核心旨趣：对一元系统之间构成的逻辑格研究；可读性很高，周老师写作从来都是付出了相当心血的。有几个比较大的问题：1.关键证明中的实质性错误 2.成书年代尤其是材料整理的年代太早了 3.古典的句法-形式系统-形式语义三段式绝不是对逻辑好的处理方式，这种过于照顾读者知识背景与感受的写作最终只会遮蔽掉实质的数学内容反而害了他们，一开始就应将结构放置在中心地位。本书最终也没能说清modal consequence relation即是一证。
0 有用 岬. 2025-07-09 15:35:42 贵州
比较枯燥，看一半看递归论去了才回来继续看，忍耐看完最后一些完全性证明。其实这么多逻辑演算的证明陈列真的没有必要。
0 有用 椿澍 2021-05-26 22:43:34
chap.1-4&9-10
0 有用 骨头饼干 2025-01-06 03:50:39 山西
周老师满分，课也满分，只是我少点慧根。解习题像魂游boss战
0 有用 太阳照常升起 2025-10-04 22:23:44 吉林
巴坎之前，严格化部分略过
0 有用 桂朝颜 2023-04-22 01:05:19 辽宁
适合入门。最后一章逻辑哲学的部分很有启发。
0 有用 我自拔刀向昆仑 2022-05-10 09:22:33
我有可能打四星。
0 有用 beowulf 2019-12-26 22:25:51
有一些错误...
0 有用 终末的EVE 2024-11-21 19:56:13 山西
周北海老师亲自讲的，讲得超好，可惜我没有逻辑慧根😭
0 有用 AKA赤砂之蝎 2016-08-28 00:03:43
略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。