大學(xué)邏輯教程

內(nèi)容概要

《大學(xué)邏輯教程》試圖適應(yīng)邏輯教學(xué)現(xiàn)代化和現(xiàn)代邏輯實用化的雙重要求，吸取傳統(tǒng)邏輯的精華，通過自然推理的橋梁，一方面使邏輯理論現(xiàn)代化，另方面把邏輯理論引向?qū)嶋H應(yīng)用，構(gòu)造成協(xié)調(diào)的、完整的邏輯學(xué)體系。        《大學(xué)邏輯教程》試圖適應(yīng)高等學(xué)校中邏輯教學(xué)的不同要求，使得章節(jié)可以靈活組合，使用于不同的專業(yè)和不同的程度的學(xué)員。第一至四章講思維形式的結(jié)構(gòu)，是以后各章的預(yù)備知識；第五至七章借不十分嚴格的自然推理，講思維形式的規(guī)律，強調(diào)規(guī)律的應(yīng)用；第八至十章用公理化方法整理思維形式的規(guī)律，側(cè)重于經(jīng)典邏輯規(guī)律和幾種模態(tài)邏輯規(guī)律的理論研究；第十一章講歸納邏輯。這一體系，適用于哲學(xué)等需要完整掌握邏輯基礎(chǔ)的專業(yè)。在目前情況下，其他文科專業(yè)可以使用前七章和第十一章；從中省略加*號的部分，適用于大學(xué)專科；這一組合的特點是強調(diào)自然推理和邏輯規(guī)律的應(yīng)用。如果邏輯教學(xué)界達到共識，也可以這樣組合使用教材：?？谱x前五章和第八、十一章，但省略加*號的部分；本科加讀有*號的部分和第九章；其余各章留作自學(xué)參考；這一組合的特點是強調(diào)邏輯規(guī)律的理論研究，更大地發(fā)揮學(xué)生的學(xué)習(xí)積極性，把規(guī)律的應(yīng)用留待學(xué)生自行研究。本教材不僅適用于哲學(xué)和文科專業(yè)，也可在理工科專業(yè)中用作數(shù)學(xué)邏輯導(dǎo)論，它強調(diào)了數(shù)學(xué)邏輯的歷史淵源。

書籍目錄

序編著者序第一章　緒論  第一節(jié)　邏輯學(xué)的發(fā)展簡況  第二節(jié)　形式邏輯的研究對象  第三節(jié)　學(xué)習(xí)形式邏輯的意義和方法　〔習(xí)題〕第二章　概念  第一節(jié)　詞項和概念  第二節(jié)　概念的種類  第三節(jié)　概念外延問的關(guān)系和運算　第四節(jié)　  集合和集合的運算  第五節(jié)　定義和劃分　〔習(xí)題〕第三章　命題  第一節(jié)　命題和命題形式  第二節(jié)　直言命題的傳統(tǒng)理論  第三節(jié)　關(guān)系命題的基礎(chǔ)知識  第四節(jié)　基本的復(fù)合命題  第五節(jié)　基本的復(fù)合命題形式和真值表  第六節(jié)　復(fù)雜的復(fù)合命題及其形式　第七節(jié)　簡單命題的謂詞公式　〔習(xí)題〕第四章　演繹推理和證明的結(jié)構(gòu)  第一節(jié)　演繹推理的結(jié)構(gòu)  第二節(jié)　演繹證明的結(jié)構(gòu)  第三節(jié)　關(guān)于證明的傳統(tǒng)規(guī)則  第四節(jié)　關(guān)于反駁　〔習(xí)題〕第五章　思維形式規(guī)律總論  第一節(jié)　思維形式規(guī)律的概述  第二節(jié)　同一律  第三節(jié)　矛盾律  第四節(jié)　排中律　〔習(xí)題〕第六章　復(fù)合命題的自然推理  第一節(jié)　聯(lián)言推理和選言推理  第二節(jié)　假言直言推理  第三節(jié)　純假言推理  第四節(jié)　假言聯(lián)言推理和二難推理  第五節(jié)　常真蘊涵式和常真等值式  第六節(jié)　命題邏輯的自然推理　〔習(xí)題〕第七章　簡單命題和謂詞公式的自然推理  第一節(jié)　直言命題的直接推理  第二節(jié)　三段論  第三節(jié)　  省略三段論和復(fù)合三段論  第四節(jié)　關(guān)于三段論的公理  第五節(jié)　關(guān)系命題的推理　第六節(jié)　謂詞公式的自然推理　〔習(xí)題〕第八章　命題演算第九章　謂詞演算第十章　模態(tài)邏輯第十一章　歸納與假說

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---