邏輯學教程

內容概要

　　邏輯是一門既古老雙年輕的學科。說它古老，是因為它的歷史源遠流長；說它年輕，是因為它今天仍然充滿著生機和活力，在人們現(xiàn)實的思維和交際中起著其他學科不可替代的重要作用?！　∫罁?jù)“由抽象上升到具體”的理論建構原則，我們分九章來安排《邏輯學教程》的教學體系?！　　哆壿媽W教程》的第一章介紹邏輯的對象、作用和對象、作用和歷史，旨在為邏輯畫一個總的輪廓，使讀者對邏輯有一個概略的了解?！　　哆壿媽W教程》的第二章和第三章所討論的問題，屬于命題邏輯的范圍。就命題邏輯而言，最簡單、最基本的東西就是命題聯(lián)結詞，所以第二章就從聯(lián)結詞講起。第三章討論命題演算，它是命題邏輯的形式化、系統(tǒng)化。命題演算包括公理系統(tǒng)的自然推理系統(tǒng)，本章對這兩大系統(tǒng)都作了簡明扼要的介紹?！　〉谒恼?、第五章和第六章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎上為現(xiàn)代邏輯體系中的“細胞”。依據(jù)這樣的分析思路，命題邏輯揭示了效推理，即以命題聯(lián)結詞為基礎的推理的規(guī)律。但是，還有一類有效推理，它們無法用命題邏輯的理論給以說明，因為它們的有效性植根于命題的內部結構。因此，必須深入命題的內部；考察作為命題結構成分的題詞、謂詞和個體詞，從而說明這一類推理的有效性，這便是謂詞邏輯任務?！　〉谄哒掠懻撃B(tài)邏輯，模態(tài)邏輯是在命題邏輯和謂詞邏輯基礎上的進一步擴展。命題邏輯和謂詞邏輯對于折合明效性的討論是以現(xiàn)實世界為參照系的，而模態(tài)推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態(tài)邏輯有關更為寬廣的邏輯視野。本章的主要內容涉及非形式的模態(tài)命題邏輯元理念等等?！　〉诎苏掠懻摎w納邏輯，包括傳統(tǒng)的歸納邏輯與現(xiàn)代的歸納邏輯，其中前三節(jié)更多地屬于“傳統(tǒng)”的內容，后兩節(jié)則較從一些“現(xiàn)代”的氣息。歸納邏輯與前面第二至第七章所討論的演繹邏輯屬于不同的邏輯類型，但它對于培養(yǎng)人們的邏輯分析與推理能力同樣是不可或缺的，因此，我們也在此作一個簡要的介紹?！　〉诰耪掠懻撜Z用邏輯。語用邏輯的著眼點是人類言語活動的交際性，它力圖結合主體與語境來探討語句的具體意義，因而是最為復雜和具體的。雖然邏輯學界對語用邏輯的性質、分類和核心概念有不少討論，但語用邏輯的體系和內容至今還遠遠沒有成型。我們之氫要在最后介紹這些尚不成熟的理論，無非是想幫助讀者拓寬邏輯的視野，并在更廣泛的層面上引起大家對新的邏輯領域的興趣和關注。

書籍目錄

第一章 緒論§1 邏輯的研究對象§2 學習邏輯學的意義§3 邏輯學的起源和發(fā)展第二章 傳統(tǒng)命題邏輯§1 傳統(tǒng)命題邏輯概述§2 聯(lián)言命題及其推理§3 選言命題及其推理§4 假言命題及其推理§5 負命題及其推理§6 其他關于復合命題的推理§7 傳統(tǒng)命題邏輯的應用及案例分析練習題第三章 命題演算非形式理論§1 真值聯(lián)結詞§2 真值表方法真值函數(shù)§3 聯(lián)結詞的可定義性、完全性與獨立性§4 重言式的邏輯分析§5 推理的有效性重言后承§6 范式練習題第四章 命題演算公理系統(tǒng)與自然推理系統(tǒng)§1 形式系統(tǒng)概述§2 命題演算系統(tǒng)P的結構§3 P的內定理的證明§4 P的元理論§5 命題演算自然推理系統(tǒng)PN練習題第五章 傳統(tǒng)謂詞邏輯§1 關于概念的邏輯§2 直言命題的邏輯分析§3 直言命題直接推理§4 三段論§5 傳統(tǒng)謂詞邏輯的應用及案例分析練習題第六章 謂詞演算非形式理論§1 從傳統(tǒng)謂詞邏輯到現(xiàn)代謂詞邏輯§2 命題的謂詞邏輯分析§3 一階謂詞語言L1的語法和語義§4 代人和字母變易§5 前束范式練習題第七章 一階謂詞演算公理系統(tǒng)與自然推理系統(tǒng)§1 一階謂詞演算系統(tǒng)F的構成§2 F的導出規(guī)則§3 演繹定理及其應用§4 F的元理論§5 帶等詞的一階謂詞演算系統(tǒng)F'§6 一階謂詞演算自然推理練習題第八章 模態(tài)邏輯第九章 邏輯基本規(guī)律第十章 歸納邏輯第十一章 語用邏輯主要參考文獻后記

章節(jié)摘錄

版權頁：插圖：如果歐式打贏了這場官司，那么按照當初我和他簽訂的合同，他應該給我另一半學費。如果歐式打輸了這場官司，按照法庭的裁決，他也應該給我另一半學費。歐式或者打贏這場官司，或者打輸這場官司?？傊麘摳督o我另一半學費。只見歐氏不慌不忙，針鋒相對，做出了與老師的推理形式一樣結論卻截然相反的陳詞：如果這場官司我打贏了，那么按照法庭的裁決，我不應該給您另一半學費。如果這場官司我打輸了，那么按照當初我們簽訂的合同，我也不應該給您另一半學費。我或者打贏這場官司，或者打輸這場官司。總之，我不應該付另一半學費。這就是著名的“半費之訟”。有這么一個故事，清代學者紀曉嵐自幼勤奮好學，當他還是個孩子的時候，就經常到書攤上去看書，掌柜的對他總是只看不買有點不耐煩。一天，掌柜的對他說：“孩子，我們是靠賣書吃飯的，你要看，就買回去看好了。”紀曉嵐聽了，顯出不高興的樣子：“買書就得先看，不看，怎么知道哪本好？”掌柜的說：“你經常到我這看書，難道就沒有一本好的值得你買？”紀曉嵐見掌柜的發(fā)火了，就很和氣地說：“你這書攤上好的書倒是不少，不過，我看完后也就會背了，買它有何用？”“看完就能背？”掌柜顯出一副不相信的神態(tài)，順手拿起一本紀曉嵐剛看過的書說：“要是你當著我的面能把這本書背下來，我就把它送給你，要是你背不下來，就永遠別再來看我的書了！”“好，一言為定?！奔o曉嵐果然把那本書背了下來。掌柜大吃一驚，連連稱贊，并把那本書送給了紀曉嵐。

編輯推薦

《邏輯學教程》是由浙江大學出版社出版的。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    邏輯學教程 PDF格式下載

---