數理邏輯基礎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）等。