数理逻辑基础pdf

A. 有哪些比较好的逻辑类书籍

《逻辑学导论》

《逻辑基础》这本书其实还是有挺多数理逻辑（现代逻辑？）内容，大概因为王路老师本来就认为“数理逻辑基础=逻辑基础”吧。总的来说也是适合作为文科生的初阶（自学）教材，例子挺多，加上作者的文风，还是比较便于理解。这本书的章节安排是比较“避免争议”的，分出了命题逻辑，词项逻辑（三段论），谓词逻辑，一阶逻辑等部分，其中命题逻辑和谓词逻辑都侧重语义上的讲解，一阶逻辑中的公理系统则和汉密尔顿的那本《数理逻辑》一样。即便是词项逻辑和语言思维这些非数理逻辑内容，看看也还有意思。这本书有一个优点是习题有答案。平心而论，这本书更像是一本基础教材而非纯粹的数理逻辑教材。最后，这本书好像出新版了。
《逻辑学教程》这本书并不怎么常见，里面的内容主要还是偏数理逻辑，不过也有些导论性质的内容，采取了略不同的公理系统，质量还是可以。
《逻辑新引.怎样判别是非》很宏观的入门，没有像十五讲那样分章，但是殷海光的论述非常到位，适合就是想一般了解的人，引起他们的兴趣。很可惜这本书已经缺货，所以并未列在第一本。书中有些错误，但是能区分是编辑的问题而不是作者的问题。

B. 《数学.计算.逻辑》pdf下载在线阅读，求百度网盘云资源

《数学.计算.逻辑》（陆汝钤）电子书网盘下载免费在线阅读

链接：https://pan..com/s/1j3Ix4F4YxxEOFpgUUWi2dQ

书名：数学.计算.逻辑

作者：陆汝钤

出版社：湖南教育出版社

出版年份：1993年04月

页数：132 页

内容简介：

本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

C. 北京大学哲学系考研

他们的辅导班老师请的都是北京大学哲学系专业的讲师和考研状元以及出题老师助教！
听同学说口碑还不错，毕竟别人专注做北大，资源肯定是其他机构比不了的！

北京大学哲学系硕士研究生入学考试参考书目

马克思主义哲学：
1、马克思主义哲学主要着作：（包括《1944年经济学哲学手稿》、《关于费尔巴哈的提纲》、《德意志意识形态》第一卷第一章、《共产党宣言》等）
2、《马克思主义哲学史》（一卷本），黄楠森主编，高等教育出版社
3、《马克思主义哲学教程》，赵家祥、聂锦芳、张立波着，北京大学出版社

中国哲学：
1中国哲学史（第二版），北京大学出版社，北京大学哲学系中国哲学教研室编
2中国哲学史教学资料选辑（上下），中华书局，北京大学哲学系中国哲学史教研室编
3中国哲学史（上下），冯友兰着，中华书局或华东师范大学出版社。

西方哲学：
(哲学系非西方哲学专业考生只参考带***号者)
1***《西方哲学原着选读》（上下卷），商务印书馆，2002年北京
2《现代西方哲学论着选读（上册）》，洪谦主编，商务印书馆，1993年北京
3《现代西方哲学论着选读》，陈启伟主编，北京大学出版社，1992年北京
4《存在主义哲学资料选集（上）》，熊伟主编，商务印书馆，1997年北京
5***《西方哲学简史》，赵敦华着，北京大学出版社2000年5月。
6《新现代西方哲学》，刘放桐等编着，人民出版社
7《现代西方哲学新编》赵敦华着，北京大学出版社2000年8月。
8施皮格伯格《现象学运动》商务印书馆
9《西方哲学通史（第一卷）》,赵敦华着，北京大学出版社
10《西方哲学史》（增补修订版），（美）梯利着，商务印书馆，1995年版

中国现代哲学：
①《中国现代哲学史》（教材）北大出版社。
②《中国现代哲学史教学资料选编》北大出版社。
③《马克思主义哲学史》第6、7卷北大出版社。
④《毛泽东哲学思想精髓》北大出版社。

伦理学原理：
①《伦理学简明教程》魏英敏、金可溪编，84年北大出版社。
②《伦理、道德问题再认识》北大出版社90年版，魏英敏编。
③《新编伦理学教程》北大出版社93年版，魏英敏主编。
④《伦理学》人民出版社89年，罗国杰主编。
⑤《良心论》上海三联书店，1994版，何怀宏着。
⑥《中国伦理思想研究》上海人民出版社 89年，张岱年编。

美学：
叶朗，《现代美学体系》，北京大学出版社
彭锋，《美学的感染力》，中国人民大学出版社
叶朗，《中国美学史大纲》，上海人民出版社
朱光潜，《西方美学史》，商务印书馆
章启群，《西方美学史新编》，商务印书馆
张法，《20世纪西方美学史》，四川人民出版社
周 宪，《20世纪西方美学》，南京大学出版社

逻辑学：
陈慕泽、余俊伟：《数理逻辑基础——一阶逻辑与一阶理论》，
中国人民大学出版社，2003年9月
叶峰：《一阶逻辑和一阶理论》，中国社会科学出版社，1994年9月
刘壮虎：《逻辑演算》，中国社会科学出版社，1992年9月

宗教学原理：
序号 书名 作者 出版社 出版时间 版本号 备注
01 宗教学通论新编 吕大吉 中国社会科学出版社 1998
02 走向神圣—现代宗教学的问题与方法 张志刚 人民出版社 1995
03 宗教学是什么 张志刚 北京大学出版社 2002
04 宗教社会学 孙尚扬 北京大学出版社 2001
05 基督教会史 沃尔克 中国社会科学出版社 1991
06 基督教哲学1500年 赵敦华 人民出版社 1994
07 基督教与明末儒学 孙尚扬 东方出版社 1994，1996
08 东正教 布尔加科夫 商务印书馆 2001
09 当代东正教神学思想 张百春 上海三联书店 2000
10 伊斯兰教概论 金宜久 青海人民出版社 1987
11 伊斯兰哲学 沙宗平 中国社会科学出版社 1995
12 佛学概论 姚卫群 宗教文化出版社 2002
13 中国佛学源流略讲 吕澄 中华书局 2002
14 印度佛学源流略讲 吕澄 上海人民出版社 Sept 1 2002
15 中国道教史 任继愈 上海人民出版社 1990
16 中国道教史（四册） 卿希泰 四川人民出版社 1989-1994

科学技术史：

麦克莱伦等：《世界史上的科学技术》，上海科技教育出版社2003年版

科学哲学：

1，亨普耳：《自然科学的哲学》，三联书店1987年版，网上下载提要
2，查尔默斯：《科学究竟是什么》，商务印书馆1982年版，网上下载全文

二、北京大学哲学系博士研究生入学考试参考书

科学技术哲学专业：

导师吴国盛：详见导师个人网页。

导师刘华杰： 科学哲学与科学传播方向

专业考两门：

A.《自然哲学》，参考书两种：
（1）柯林武德着，吴国盛译，《自然的观念》，北京大学出版社2006年。
（2）刘华杰编，《自然二十讲》，天津人民出版社2008年。

B.《科学哲学与科学传播》，参考书两种：
（1）罗森堡着，刘华杰译，《科学哲学：当代进阶教程》，上海科技教育出版社2006年。
（2）刘华杰编，《科学传播读本》，上海交通大学出版社2008年。

详见导师个人网页：

http://blog.sina.com.cn/s/blog_485ea87901000884.html

科学技术史专业：

导师任定成：

《科学技术史》
1、斯蒂芬•F•梅森着，周熙良等译，《自然科?史》，上海译文出版社，1980年版。
2、李佩珊,许良英主编，《20世纪科学技术简史》，科学出版社，1999年版。
3、李约瑟着，陈立夫等译，《中国古代科学思想史》，江西人民出版社，1999年版。

《科技史理论与方法》
1、赫尔奇•克拉夫着，任定成译，《科学史学导论》，北京大学出版社，2005年版。
2、席泽宗着，《科学史十论》，复旦大学出版社，2003年版。
3、赵万里着，《科学的社会建构》，天津人民出版社，2002年版。

D. 逻辑学习经典入门书有哪些

我学习过的逻辑学入门书：<br><br><ul><li>宋文坚的《新逻辑教程》（ <a href=" http://book.douban.com/subject/1677723/"> http://book.douban.com/subject/1677723/</a> ）<br></li><li>胡世华的《数理逻辑基础》（ <a href=" http://book.douban.com/subject/2146885/"> http://book.douban.com/subject/2146885/</a> ）</li></ul><br><br>但这两本都比较老，而且胡世华的《数理逻辑基础》太纠缠于逻辑的语法层面，论证很罗嗦。后来读到了王浩的《数理逻辑通俗讲话》才对有些议题恍然大悟，比如可靠性和完备性，才觉得逻辑很有意思。<br><br>现在已经有很多新书了，比如<br><ul><li>李未的《数理逻辑：基本原理与形式演算》（<a href=" http://book.douban.com/subject/2364517/"> http://book.douban.com/subject/2364517/</a>）<br></li><li> 艾宾浩斯的《数理逻辑》（<a href=" http://book.douban.com/subject/3132271/"> http://book.douban.com/subject/3132271/</a>）<br></li></ul> 查看原帖>>

E. 《数学逻辑与现象学》pdf下载在线阅读全文，求百度网盘云资源

《数学逻辑与现象学》网络网盘pdf最新全集下载:
链接: https://pan..com/s/1oW5UnkUmAhQrcexeALWGVA

F. 数理逻辑的介绍

形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。12数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

G. 《逻辑学导论》pdf下载在线阅读，求百度网盘云资源

《逻辑学导论》（熊明辉）电子书网盘下载免费在线阅读

链接：https://pan..com/s/18ETuLICq4652peJoE8fnog

书名：逻辑学导论

作者：熊明辉

豆瓣评分：7.3

出版社：复旦大学出版社

出版年份：2011-9

页数：271

内容简介：

《逻辑学导论》讲述了：亚里士多德说：“人是社会的动物”。作为社会动物，在社会生活中人必须经常进行论证。证成、反驳和说服是论证的三大目标，而说服是论证的最终目标。亚里土多德认为，说服有三种工具：理性（Iogos）、情感（pathos）和道德（ethos）。逻辑学家给出了评，价论证好坏的标准，认为只有建立在好论证之基础上的主张或行动才是合乎理性的。自亚里士多德提出词项逻辑以来，逻辑学家曾提出了众多逻辑类型。莱布尼兹梦想导致了符号逻辑产生，追求普遍性和必然性曾一度成为逻辑学家的最高目标。哥德尔不完全性定理给数理逻辑学家一个沉重打击，现实生活对数理逻辑家们的理想提出了挑战，、非形式逻辑学家群体应运而生。将这一历史脉络体现在当代逻辑学导论教科书之中，把传统逻辑与现代逻辑、形式逻辑与非形式罗辑：演绎逻辑与归纳逻辑有机整合在一起，正是《逻辑学导论》的基本宗旨。

《逻辑学导论》适合哲学专业、逻辑学专业及其他专业作为专业基础课教材使用，也适合作为全校性通识课的“罗辑学概论”教材。

作者简介：

熊明辉，1968年生于贵州省遵义市务川仡佬族苗族自治县，逻辑学博士。现任教育部人文社会科学重点研究基地中山大学逻辑与认知研究所副所长，中山大学哲学系教授和逻辑学专业博士生导师，中山大学法学院理论法学专业博士生导师，中山大学法学理论与法律实践研究中心研究员，荷兰阿姆斯特丹大学言语交际、论辩理论与修辞学系客座研究员，加拿大温莎大学推理、论辩与修辞研究中心访问研究员，教育部“新世纪优秀人才支持计划”入选者，广东省高等学校“干百十工程”省级培养对象入选者，中国逻辑学会形式逻辑专业委员会副主任，中国逻辑学会法律逻辑专业委会副主任。主要研究领域非形式逻辑、法律逻辑、论辩理论等。代表性论文《论法律逻辑中的推论规则》（载《中国社会科学》2008年第4期；Soctal Sciences in China，Autumn，2009）和《自然语言论证评价的逻辑分析》（载《哲学研究》2006年第10期）。代表性专着：《诉讼论证：诉讼博奔的逻辑分析》（中国政法大学出版社，2010年）。

H. 《从逻辑的观点看》pdf下载在线阅读，求百度网盘云资源

《从逻辑的观点看》（蒯因）电子书网盘下载免费在线阅读

资源链接：

链接：https://pan..com/s/1_cSDTnMIBSrBp3ho5R11GA

书名：从逻辑的观点看

作者：蒯因

译者：江天骥

豆瓣评分：9.1

出版社：上海译文出版社

出版年份：1987年9月

页数：167页

内容简介：

本书是W.V.O．蒯因的第一部哲学论着，由九篇论文结集而成。文中提出了一系列具有独创性和挑战性的观点，如关于何物存在的本体论许诺的学说，关于共相（抽象物）问题上唯名论和实在论之争的折中解决方案（概念论），关于经验论“两个教条”（分析命题和综合命题之分与还原论）的批评和整体主义的知识观，关于意义和指称的区别和对“意义”观念的否定，关于数理逻辑的新基础（NF）以及对内涵（模态）逻辑的批评等，都曾引起广泛而热烈的争论，对当代西方哲学的发展产生了重大的影响。

作者简介：

蒯因（1908—2000），20世纪下半叶最有影响的美国着名哲学家、数理逻辑学家、现代分析哲学的主要代表人物之一。1932年毕业于哈佛大学哲学系，获博士学位。1932—1933年赴欧洲（维也纳、布拉格、华沙等地）做访问研究。1936年开始作为讲师在哈佛大学任教，1941年升为副教授。第二次世界大战期间曾在美国海军服役，战后返回哈佛大学任教，1948年升为教授。此后多次在其他大学讲学，1978年退休。主要哲学着作有：《从逻辑的观点看》（1953）、《语词和对象》（1960）、《悖论方法及其他论文》（1966）、《本体论的相对性及其他论文》（1969）、《逻辑哲学》（1970）、《理论和事物》（1981）等。