logo
分类于: 云计算&大数据 互联网

简介

符号逻辑讲义

符号逻辑讲义 9.3分

资源最后更新于 2020-08-18 15:46:50

作者:徐明

出版社:武汉大学出版社

出版日期:2008-01

ISBN:9787307065536

文件格式: pdf

标签: 逻辑学 数理逻辑 逻辑 哲学 数学 分析哲学 徐明 一阶逻辑

简介· · · · · ·

这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。

无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容(如完全性定理),其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一,就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材,不能不提一种现象:越来越多的这类教材是由逻辑界之外的人撰写的。有一次,美国哲学界的几位同事谈起部分学生逻辑水平很低,其中一人开玩笑说,那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢?西方人写的逻辑教科书,有的很好,有的也很糟。所以,选用这类...

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录