邏輯學(xué)

內(nèi)容概要

　　《邏輯學(xué)》包括七章和一個(gè)附錄。第一章緒言，介紹邏輯的總體內(nèi)容和歷史概況。第二章命題邏輯，其內(nèi)容與一般的邏輯教材比較接近，只是更加豐富、更加系統(tǒng)。第三章詞項(xiàng)邏輯，是用傳統(tǒng)方法講術(shù)有關(guān)直言命題的推理，為了與后面各章的內(nèi)容相銜接，在寫法上作了一些改變。第四章一元謂詞邏輯，是從傳統(tǒng)內(nèi)容向現(xiàn)代內(nèi)容過渡的一章。第五章謂詞邏輯是現(xiàn)代謂詞邏輯的一個(gè)比較系統(tǒng)的陳述。第六章歸納邏輯，是用比較現(xiàn)代的方法進(jìn)述歸納邏輯的基本內(nèi)容。第七章邏輯方法，是一些與邏輯有關(guān)但又不單純是推理的內(nèi)容，如定義、論證、論辯等。附錄中簡單介紹了現(xiàn)代邏輯學(xué)中被稱為“非經(jīng)典邏輯”或“應(yīng)用邏輯”的一些內(nèi)容。目的是讓讀者對現(xiàn)代邏輯學(xué)的情況有一個(gè)比較全面的了解，特別是使讀者了解到我們所講的經(jīng)典邏輯并不是唯一的邏輯理論，也不是無懈可擊的邏輯理論。

書籍目錄

前言第一章　緒言1.1 什么是邏輯1.2 邏輯和邏輯的類型1.3 現(xiàn)代邏輯的基本思想與方法1.4 邏輯的作用和意義1.5 預(yù)備知識第二章　命題邏輯2.1 聯(lián)結(jié)詞與復(fù)合命題2.2 真值聯(lián)結(jié)詞和真值形式2.3 真值函數(shù)重言式2.4 重言式的判定2.5 重言蘊(yùn)涵式和重言等值式2.6 范式2.7 聯(lián)結(jié)詞推理的形式證明2.8 命題演算習(xí)題第三章　詞項(xiàng)邏輯3.1 詞項(xiàng)3.2 直言命題3.3 直接推理3.4 三段論3.5 詞項(xiàng)邏輯中的主項(xiàng)存在問題習(xí)題第四章　一元謂詞邏輯4.1 詞項(xiàng)邏輯的不足4.2 一元謂詞邏輯的形式語言4.3 可滿足性和有效性4.4 代入和易字4.5 有效式的判定4.6 范式4.7 推理的形式證明習(xí)題第五章　謂詞邏輯第六章　歸納邏輯第七章　邏輯方法附錄　應(yīng)用邏輯簡介索引參考書目

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    邏輯學(xué) PDF格式下載

---