圖書簡介
邏輯是一門既古老雙年輕的學科。說它古老,是因為它的歷史源遠流長;說它年輕,是因為它今天仍然充滿著生機和活力,在人們現實的思維和交際中起著其他學科不可替代的重要作用。
依據“由抽象上升到具體”的理論建構原則,我們分九章來安排本書的教學體系。
本書的第一章介紹邏輯的對象、作用和對象、作用和歷史,旨在為邏輯畫一個總的輪廓,使讀者對邏輯有一個概略的了解。
本書的第二章和第三章所討論的問題,屬于命題邏輯的范圍。就命題邏輯而言,最簡單、最基本的東西就是命題聯結詞,所以第二章就從聯結詞講起。第三章討論命題演算,它是命題邏輯的形式化、系統化。命題演算包括公理系統的自然推理系統,本章對這兩大系統都作了簡明扼要的介紹。
第四章、第五章和第六章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎上為現代邏輯體系中的“細胞”。依據這樣的分析思路,命題邏輯揭示了效推理,即以命題聯結詞為基礎的推理的規律。但是,還有一類有效推理,它們無法用命題邏輯的理論給以說明,因為它們的有效性植根于命題的內部結構。因此,必須深入命題的內部;考察作為命題結構成分的題詞、謂詞和個體詞,從而說明這一類推理的有效性,這便是謂詞邏輯任務。
第七章討論模態邏輯,模態邏輯是在命題邏輯和謂詞邏輯基礎上的進一步擴展。命題邏輯和謂詞邏輯對于折合明效性的討論是以現實世界為參照系的,而模態推理的有效性則涉及可能世界。所以,與命題邏輯和謂詞邏輯相比,模態邏輯有關更為寬廣的邏輯視野。本章的主要內容涉及非形式的模態命題邏輯元理念等等。
第八章討論歸納邏輯,包括傳統的歸納邏輯與現代的歸納邏輯,其中前三節更多地屬于“傳統”的內容,后兩節則較從一些“現代”的氣息。歸納邏輯與前面第二至第七章所討論的演繹邏輯屬于不同的邏輯類型,但它對于培養人們的邏輯分析與推理能力同樣是不可或缺的,因此,我們也在此作一個簡要的介紹。
第九章討論語用邏輯。語用邏輯的著眼點是人類言語活動的交際性,它力圖結合主體與語境來探討語句的具體意義,因而是最為復雜和具體的。雖然邏輯學界對語用邏輯的性質、分類和核心概念有不少討論,但語用邏輯的體系和內容至今還遠遠沒有成型。我們之氫要在最后介紹這些尚不成熟的理論,無非是想幫助讀者拓寬邏輯的視野,并在更廣泛的層面上引起大家對新的邏輯領域的興趣和關注。
目錄
第一章 緒論
§1 邏輯的研究對象
§2 邏輯的作用
§3 邏輯的發展簡史
第二章 非開式的命題邏輯
§1 命題的聯結詞
§2 真值表方法 真值函數
§3 真值函數可定義性 聯結詞的完全性與獨立性
§4 重言式的邏輯分析
§5 推理的有效性 重言后承
§6 范式
練習題
第三章 命題演算
§1 形式系統概述
§2 命題演算系統P的結構
§3 P的內定理的證明
§4 演繹定理及其應用
§5 P的定義式定理
§6 P的元理論
§7 命題演算自然推理的系統PN
練習題
第四章 傳統謂詞邏輯
§1 概念
§2 性質命題
§3 性質命題直接推理
§4 三段論
練習題
第五章 非形式的一階謂邏輯
§1 從傳統謂詞邏輯到現代謂詞邏輯
§2 命題的一階謂邏輯分析
§3 一階謂詞語言L1的語法和語義
§4 代入和字母變易
§5 前束范式
練習題
第六章 一階謂詞演算
§1 一階謂詞演算系統F的構成
§2 F的導出規則
§3 演繹定理及其用
§4 F的元理論
§5 帶等詞的一階謂詞演算系統F
練習題
第七章 模態邏輯
§1 模態邏輯概述
§2 非形式的模態命題邏輯
§3 模態命題演算公理系統
§4 可能世界語義學
§5 模態命題邏輯元理論
……
第八章 歸納邏輯
第九章 語用邏輯
主要參考書目
后記
同類熱銷圖書
書名 | 作者 | 出版社 | 價格 | 購買 |
藝術學概論(第三版) | 彭吉象 著 | 北京大學出版社 | ¥38.00¥28.50 |
詳情 |
現代西方哲學十五講 | 張汝倫 著 | 北京大學出版社 | ¥29.50¥20.40 |
詳情 |
馬克思主義經典著作選讀 | 中共中央馬.. | 人民出版社 | ¥25.00¥18.20 |
詳情 |
德國藝術歌曲字對字譯詞 | 趙慶閏 等.. | 中央音樂學院出版.. | ¥36.00¥26.10 |
詳情 |
馬克思主義經典著作精選與導讀——碩士研究生馬克思主義理.. | 周向軍 等.. | 山東大學出版社 | ¥38.00¥27.60 |
詳情 |
音樂·藝術·人生:關于《音樂筆談》的講座(附DVD9光盤一.. | 李嵐清 著 | 高等教育出版社 | ¥29.80¥23.80 |
詳情 |
西方音樂通史教程——高等音樂(師范)院校音樂史論公共課.. | 姚亞平 主.. | 中央音樂學院出版.. | ¥30.00¥24.00 |
詳情 |
中國現代經典短篇小說文本分析 | 劉俐俐 著 | 北京大學出版社 | ¥32.00¥25.60 |
詳情 |
中國傳統文化概論 | 張應杭 主.. | 浙江大學出版社 | ¥38.00¥30.40 |
詳情 |
教育思想的革命——教育之思叢書 | 張先華 著 | 北京大學出版社 | ¥15.00¥10.50 |
詳情 |
毛澤東思想基本著作選讀 | 教育部社會.. | 人民出版社 | ¥20.00¥14.50 |
詳情 |
領導力:研究·實踐·技巧(第四版) | (美)杜伯林.. | 中國物價出版社 | ¥60.00¥45.00 |
詳情 |
教育學是什么-《人文社會科學是什么》叢書 | 勵雪琴 著 | 北京大學出版社 | ¥26.00¥18.00 |
詳情 |
思想政治教育方法論/面向21世紀課程教材 | 鄭永廷 (編.. | 高等教育出版社 | ¥20.70¥19.70 |
詳情 |
微觀經濟學(第5版) | (美)泰勒.. | 中國市場出版社 | ¥48.00¥42.20 |
詳情 |
計算機信息技術基礎(第四版)(附CD-ROM光盤一張) | 許駿 主編 | 科學出版社 | ¥38.00¥27.60 |
詳情 |
宏觀經濟學(第5版) | (美)泰勒.. | 中國市場出版社 | ¥40.00¥26.80 |
詳情 |
西方美學經典文本導讀 | 李衍柱 著 | 北京大學出版社 | ¥34.00¥28.20 |
詳情 |
普通話語音訓練教程 | 季森嶺 編.. | 北京大學出版社 | ¥12.00¥9.60 |
詳情 |
西方音樂通史教程——高等音樂(師范)院校音樂史論公共課.. | 姚亞平 主.. | 中央音樂學院出版.. | ¥30.00¥24.00 |
詳情 |
鄧小平理論和“三個代表”重要思想概論 | 陳占安,孫.. | 北京大學出版社 | ¥28.00¥21.90 |
詳情 |
簡明中國文學史 | 孫靜,周先.. | 北京大學出版社 | ¥28.00¥21.90 |
詳情 |
美學基礎(修訂第2版)——高等院校素質教育系列教材 | 許自強 編.. | 首都經濟貿易大學.. | ¥27.00¥19.00 |
詳情 |
跨文化交流入門——大學素質教育叢書 | 許力生 主.. | 浙江大學出版社 | ¥29.00¥21.90 |
詳情 |
簡明中國文學史 | 孫靜,周先.. | 北京大學出版社 | ¥28.00¥21.90 |
詳情 |