考研網(wǎng) » 考試圖書 » 公共課教材征訂 » 邏輯學(xué)教程 » 全部考試圖書分類

圖書簡介

邏輯是一門既古老雙年輕的學(xué)科。說它古老，是因為它的歷史源遠(yuǎn)流長；說它年輕，是因為它今天仍然充滿著生機和活力，在人們現(xiàn)實的思維和交際中起著其他學(xué)科不可替代的重要作用。
　　依據(jù)“由抽象上升到具體”的理論建構(gòu)原則，我們分九章來安排本書的教學(xué)體系。
　　本書的第一章介紹邏輯的對象、作用和對象、作用和歷史，旨在為邏輯畫一個總的輪廓，使讀者對邏輯有一個概略的了解。
　　本書的第二章和第三章所討論的問題，屬于命題邏輯的范圍。就命題邏輯而言，最簡單、最基本的東西就是命題聯(lián)結(jié)詞，所以第二章就從聯(lián)結(jié)詞講起。第三章討論命題演算，它是命題邏輯的形式化、系統(tǒng)化。命題演算包括公理系統(tǒng)的自然推理系統(tǒng)，本章對這兩大系統(tǒng)都作了簡明扼要的介紹。
　　第四章、第五章和第六章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎(chǔ)上為現(xiàn)代邏輯體系中的“細(xì)胞”。依據(jù)這樣的分析思路，命題邏輯揭示了效推理，即以命題聯(lián)結(jié)詞為基礎(chǔ)的推理的規(guī)律。但是，還有一類有效推理，它們無法用命題邏輯的理論給以說明，因為它們的有效性植根于命題的內(nèi)部結(jié)構(gòu)。因此，必須深入命題的內(nèi)部；考察作為命題結(jié)構(gòu)成分的題詞、謂詞和個體詞，從而說明這一類推理的有效性，這便是謂詞邏輯任務(wù)。
　　第七章討論模態(tài)邏輯，模態(tài)邏輯是在命題邏輯和謂詞邏輯基礎(chǔ)上的進一步擴展。命題邏輯和謂詞邏輯對于折合明效性的討論是以現(xiàn)實世界為參照系的，而模態(tài)推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態(tài)邏輯有關(guān)更為寬廣的邏輯視野。本章的主要內(nèi)容涉及非形式的模態(tài)命題邏輯元理念等等。
　　第八章討論歸納邏輯，包括傳統(tǒng)的歸納邏輯與現(xiàn)代的歸納邏輯，其中前三節(jié)更多地屬于“傳統(tǒng)”的內(nèi)容，后兩節(jié)則較從一些“現(xiàn)代”的氣息。歸納邏輯與前面第二至第七章所討論的演繹邏輯屬于不同的邏輯類型，但它對于培養(yǎng)人們的邏輯分析與推理能力同樣是不可或缺的，因此，我們也在此作一個簡要的介紹。
　　第九章討論語用邏輯。語用邏輯的著眼點是人類言語活動的交際性，它力圖結(jié)合主體與語境來探討語句的具體意義，因而是最為復(fù)雜和具體的。雖然邏輯學(xué)界對語用邏輯的性質(zhì)、分類和核心概念有不少討論，但語用邏輯的體系和內(nèi)容至今還遠(yuǎn)遠(yuǎn)沒有成型。我們之氫要在最后介紹這些尚不成熟的理論，無非是想幫助讀者拓寬邏輯的視野，并在更廣泛的層面上引起大家對新的邏輯領(lǐng)域的興趣和關(guān)注。
目錄
第一章　緒論
　§1　邏輯的研究對象
　§2　邏輯的作用
　§3　邏輯的發(fā)展簡史
第二章　非開式的命題邏輯
　§1　命題的聯(lián)結(jié)詞
　§2　真值表方法　真值函數(shù)
　§3　真值函數(shù)可定義性　聯(lián)結(jié)詞的完全性與獨立性
　§4　重言式的邏輯分析
　§5　推理的有效性　重言后承
　§6　范式
　練習(xí)題
第三章　命題演算
　§1　形式系統(tǒng)概述
　§2　命題演算系統(tǒng)P的結(jié)構(gòu)
　§3　P的內(nèi)定理的證明
　§4　演繹定理及其應(yīng)用
　§5　P的定義式定理
　§6　P的元理論
　§7　命題演算自然推理的系統(tǒng)PN
　練習(xí)題
第四章　傳統(tǒng)謂詞邏輯
　§1　概念
　§2　性質(zhì)命題
　§3　性質(zhì)命題直接推理
　§4　三段論
　練習(xí)題
第五章　非形式的一階謂邏輯
　§1　從傳統(tǒng)謂詞邏輯到現(xiàn)代謂詞邏輯
　§2　命題的一階謂邏輯分析
　§3　一階謂詞語言L1的語法和語義
　§4　代入和字母變易
　§5　前束范式
練習(xí)題
第六章　一階謂詞演算
　§1　一階謂詞演算系統(tǒng)F的構(gòu)成
　§2　F的導(dǎo)出規(guī)則
　§3　演繹定理及其用
　§4　F的元理論
　§5　帶等詞的一階謂詞演算系統(tǒng)F
　練習(xí)題
第七章　模態(tài)邏輯
　§1　模態(tài)邏輯概述
　§2　非形式的模態(tài)命題邏輯
　§3　模態(tài)命題演算公理系統(tǒng)
　§4　可能世界語義學(xué)
　§5　模態(tài)命題邏輯元理論
　……
第八章　歸納邏輯
第九章　語用邏輯
主要參考書目
后記

同類熱銷圖書

書名	作者	出版社	價格	購買
藝術(shù)學(xué)概論（第三版）	彭吉象 著	北京大學(xué)出版社	￥38.00 ￥28.50	詳情
現(xiàn)代西方哲學(xué)十五講	張汝倫 著	北京大學(xué)出版社	￥29.50 ￥20.40	詳情
馬克思主義經(jīng)典著作選讀	中共中央馬..	人民出版社	￥25.00 ￥18.20	詳情
德國藝術(shù)歌曲字對字譯詞	趙慶閏 等..	中央音樂學(xué)院出版..	￥36.00 ￥26.10	詳情
馬克思主義經(jīng)典著作精選與導(dǎo)讀——碩士研究生馬克思主義理..	周向軍 等..	山東大學(xué)出版社	￥38.00 ￥27.60	詳情
音樂·藝術(shù)·人生：關(guān)于《音樂筆談》的講座（附DVD9光盤一..	李嵐清 著	高等教育出版社	￥29.80 ￥23.80	詳情
西方音樂通史教程——高等音樂（師范）院校音樂史論公共課..	姚亞平 主..	中央音樂學(xué)院出版..	￥30.00 ￥24.00	詳情
中國現(xiàn)代經(jīng)典短篇小說文本分析	劉俐俐 著	北京大學(xué)出版社	￥32.00 ￥25.60	詳情
中國傳統(tǒng)文化概論	張應(yīng)杭 主..	浙江大學(xué)出版社	￥38.00 ￥30.40	詳情
教育思想的革命——教育之思叢書	張先華 著	北京大學(xué)出版社	￥15.00 ￥10.50	詳情
毛澤東思想基本著作選讀	教育部社會..	人民出版社	￥20.00 ￥14.50	詳情
領(lǐng)導(dǎo)力：研究·實踐·技巧（第四版）	(美)杜伯林..	中國物價出版社	￥60.00 ￥45.00	詳情
教育學(xué)是什么-《人文社會科學(xué)是什么》叢書	勵雪琴 著	北京大學(xué)出版社	￥26.00 ￥18.00	詳情
思想政治教育方法論/面向21世紀(jì)課程教材	鄭永廷 (編..	高等教育出版社	￥20.70 ￥19.70	詳情
微觀經(jīng)濟學(xué)（第5版）	（美）泰勒..	中國市場出版社	￥48.00 ￥42.20	詳情
計算機信息技術(shù)基礎(chǔ)（第四版）（附CD-ROM光盤一張）	許駿 主編	科學(xué)出版社	￥38.00 ￥27.60	詳情
宏觀經(jīng)濟學(xué)（第5版）	（美）泰勒..	中國市場出版社	￥40.00 ￥26.80	詳情
西方美學(xué)經(jīng)典文本導(dǎo)讀	李衍柱 著	北京大學(xué)出版社	￥34.00 ￥28.20	詳情
普通話語音訓(xùn)練教程	季森嶺 編..	北京大學(xué)出版社	￥12.00 ￥9.60	詳情
西方音樂通史教程——高等音樂（師范）院校音樂史論公共課..	姚亞平 主..	中央音樂學(xué)院出版..	￥30.00 ￥24.00	詳情
鄧小平理論和“三個代表”重要思想概論	陳占安，孫..	北京大學(xué)出版社	￥28.00 ￥21.90	詳情
簡明中國文學(xué)史	孫靜，周先..	北京大學(xué)出版社	￥28.00 ￥21.90	詳情
美學(xué)基礎(chǔ)(修訂第2版)——高等院校素質(zhì)教育系列教材	許自強 編..	首都經(jīng)濟貿(mào)易大學(xué)..	￥27.00 ￥19.00	詳情
跨文化交流入門——大學(xué)素質(zhì)教育叢書	許力生 主..	浙江大學(xué)出版社	￥29.00 ￥21.90	詳情
簡明中國文學(xué)史	孫靜，周先..	北京大學(xué)出版社	￥28.00 ￥21.90	詳情