模态逻辑导论在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

周北海作者

北京大学出版社

译者

1997 出版日期

466 页数

21.00 价格

平装

丛书系列

9787301033944 图书编码

模态逻辑导论在线电子书图书标签: 逻辑学模态逻辑分析哲学哲学数理逻辑周北海著作集逻辑周北海

喜欢模态逻辑导论在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-21

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

模态逻辑导论在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

模态逻辑导论在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

模态逻辑导论在线电子书用户评价

评分☆☆☆☆☆

只翻过。当年周北海老师给我们班上逻辑学。所以大家就出于好奇看他的书。

评分☆☆☆☆☆

略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。

评分☆☆☆☆☆

读了第1.2.3.9.10章，好吧，题还有好多做不了

评分☆☆☆☆☆

关爱学生，深入浅出，写法上基本是为只预设基本命题逻辑知识的自学者设计的。按照形式系统-形式语义学-完全性的标准框架展开，末尾又回到哲学问题，尤其是作为无心插柳成果的模态逻辑最初面对的严格蕴含问题。模态命题逻辑的完全性证明由语义图方法给出，在模态谓词逻辑部分给出了典范模型以及各种必要的铺垫，却只差一步没有证明强完全性，算是一个小遗憾。部分个人色彩比较强的定义上有些小瑕疵，如定义为公式集上全函数的推理规则并不是一个良定义；代入规则的框架有效性处给出的赋值以及整个证明完全是错误的；模态逻辑错杂的可靠性与完全性定义的选择上用了很多篇幅来探讨思路，最终效果仍然不佳。可以结合chellas一起食用。

评分☆☆☆☆☆

略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。