国产成人无码一区,国产精品欧美日韩精品V∧久久

內(nèi)容簡介

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

作者簡介

暫缺《邏輯學(xué)》作者簡介

圖書目錄

前言
第一章緒言
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 重言蘊涵式和重言等值式
2.6 范式
2.7 聯(lián)結(jié)詞推理的形式證明
2.8 命題演算
習(xí)題
第三章詞項邏輯
3.1 詞項
3.2 直言命題
3.3 直接推理
3.4 三段論
3.5 詞項邏輯中的主項存在問題
習(xí)題
第四章一元謂詞邏輯
4.1 詞項邏輯的不足
4.2 一元謂詞邏輯的形式語言
4.3 可滿足性和有效性
4.4 代入和易字
4.5 有效式的判定
4.6 范式
4.7 推理的形式證明
習(xí)題
第五章謂詞邏輯
第六章歸納邏輯
第七章邏輯方法
附錄應(yīng)用邏輯簡介
索引
參考書目
【媒體評論】