第一章  緒  論(1)   第一節(jié)  現(xiàn)代邏輯概述(1)    一、邏輯學的研究對象、性質(zhì)和作用(1)    二、現(xiàn)代邏輯的基本特征和分類(5)  第二節(jié)  現(xiàn)代邏輯方法概述--邏輯語法學與語義學方法     一、現(xiàn)代邏輯方法論的研究對象和性質(zhì)(10)    二、現(xiàn)代邏輯的研究方法和表達方法(10)    三、現(xiàn)代邏輯的應用方法(22)  思考題(25)  閱讀書目(25)第二章  經(jīng)典命題邏輯(28)  第一節(jié)  復合命題的邏輯分析與表達方法(28)    一、命題  復合命題(28)    二、命題形式  復合命題形式(29)    三、復合命題的邏輯形式與其邏輯表達式(29)  第二節(jié)  真值函項  真值類型  永真式(30)    一、真值形式  真值聯(lián)結詞  真值函項(30)    二、常用真值函項  真值條件  真值表(30)    三、真值函項總數(shù)  真值類型  永真式(31)    四、真值函項的可定義性  聯(lián)結詞完全集與其獨        立性(34)  第三節(jié)  真值類型的判定方法(39)    一、判定方法的定義(39)    二、真值表方法(39)    三、真值樹方法(44)    四、范式方法(48)    五、命題邏輯推理有效式的判定方法(61)  第四節(jié)  命題邏輯語義推理方法(65)    一、命題邏輯與推理規(guī)則(65)    二、分離規(guī)則(65)    三、代入規(guī)則(66)    四、置換規(guī)則(66)    五、德·摩根規(guī)則(66)  第五節(jié)  形式公理化方法與P系統(tǒng)(67)    一、P的形式語言L0(67)    二、P的公理模式(67)    三、P的推理規(guī)則［分離規(guī)則］(68)    四、P內(nèi)形式定理和形式證明方法(68)    五、P內(nèi)導出規(guī)則及其應用方法(72)    六、形式演繹、演繹定理及其證明方法(76)    七、P內(nèi)縮寫式定理及其導出規(guī)則證明方法(84)    八、等值置換定理及其規(guī)則  等值式定理(89)    九、P的語義解釋  真值賦值(92)    十、P的元定理及其證明方法(94)  第六節(jié)  自然推理方法  PN系統(tǒng)(96)    一、PN的形式語言L0(97)    二、PN的推理規(guī)則(97)    三、PN的結構規(guī)則(97)    四、PN中推演、證明和定理的定義(98)    五、PN中定理及其證明方法(98)    六、PN與P的等價定理及其證明方法(100)  練習題(103)  閱讀書目(108)第三章  經(jīng)典謂詞邏輯(110)  第一節(jié)  簡單命題的邏輯分析與表達方法(110)    一、簡單命題與其邏輯分析方法(110)    二、簡單命題形式與其復合式的邏輯表達方法(113)〖ZK)〗    三、一階邏輯對于A、E、I、O的邏輯分析與邏輯表達方法(115) 〖ZK)〗    四、一階邏輯對于高階謂詞的邏輯表達方法(118)〖ZK)〗  第二節(jié)  一階語言L1的語法與語義(120)    一、一階語言的定義(120)    二、L1的語法(120)    三、L1的語義(123)  第三節(jié)  謂詞邏輯語義推理方法(127)    一、與語義推理相關的基本概念(127)    二、自由變項代入方法(128)    三、約束變項易名方法(132)  第四節(jié)  判定問題表列方法賦值方法(134)    一、謂詞邏輯的判定問題(134)    二、表列方法(135)    三、賦值方法(139)    四、關于判定問題與賦值方法的基本定理(141)  第五節(jié)  形式公理化方法F系統(tǒng)(144)    一、F的形式語言L1(144)    二、F的公理模式(144)    三、F的推理規(guī)則(145)    四、F的內(nèi)定理等相關基本概念的定義(145)    五、F命題和任意命題推演定理(146)    六、F量化公式推演定理(148)    七、F的內(nèi)定理及其證明方法(148)    八、F的元定理及其證明方法(151)  第六節(jié)  自然推理方法FN系統(tǒng)(153)    一、FN的形式語言L1(154)    二、FN的推理規(guī)則(154)    三、FN的結構規(guī)則(154)    四、FN中推演、證明和定理的定義(155)    五、FN內(nèi)定理及其證明方法(156)    六、FN與F的等價定理及其證明方法(159)  第七節(jié)  演繹定理限制推演(161)    一、限制推演相關概念的定義(161)    二、謂詞邏輯的演繹定理及其證明方法(163)  第八節(jié)  帶等詞的謂詞演算F′系統(tǒng)數(shù)量量詞摹狀詞(168)    一、帶等詞的謂詞演算F′系統(tǒng)(168)    二、數(shù)量公式和數(shù)量量詞的一階邏輯表達方法(174)    三、摹狀詞的定義、結構及其一階邏輯表達方        法(178)    四、含摹狀詞命題的真值和意義的解釋方法(180)  第九節(jié)  一階理論謂詞邏輯應用系統(tǒng)建構方法(187)    一、一階理論相關基本概念(188)    二、一階數(shù)學理論加法一階理論系統(tǒng)(191)    三、一階哲學理論《科學的唯物主義》本體論系統(tǒng)(196)〖ZK)〗   練習題(203)  閱讀書目(208)第四章  哲學邏輯(209)  第一節(jié)  邏輯  哲學  哲學邏輯(209)  第二節(jié)  模態(tài)命題與模態(tài)推理(213)    一、基本模態(tài)命題及其符號化(213)    二、復合模態(tài)命題及其符號化(214)    三、疊置模態(tài)命題及其符號化(215)    四、模態(tài)命題形式的特點(215)    五、基本模態(tài)命題之間的真假對當關系(215)    六、基本模態(tài)命題推理(216)    七、復合模態(tài)命題推理(219)    八、疊置模態(tài)命題推理(221)  第三節(jié)  模態(tài)邏輯語法學(221)    一、正規(guī)模態(tài)邏輯系統(tǒng)概觀(222)    二、T系統(tǒng)的定理及其證明(226)    三、模態(tài)邏輯語法學方法(234)  第四節(jié)  模態(tài)邏輯語義學(242)    一、模態(tài)詞的特征(242)    二、模態(tài)詞的解釋與模型(243)    三、真值條件和有效性(245)    四、解釋圖(250)    五、模態(tài)命題邏輯的判定方法(252)  第五節(jié)  模態(tài)邏輯的元理論(261)    一、一致性(262)    二、完全性(264)    三、可判定性(267)  第六節(jié)  道義命題與道義推理(267)    一、基本道義命題及其符號化(267)    二、復合道義命題及其符號化(270)    三、基本道義命題推理(270)    四、復合道義命題推理(274)  第七節(jié)  道義邏輯語法學(276)    一、樸素絕對道義邏輯系統(tǒng)(277)    二、真值絕對道義邏輯系統(tǒng)(282)    三、相對道義邏輯系統(tǒng)(285)  第八節(jié)  道義邏輯語義學(286)    一、模型(286)    二、真值條件(287)    三、可滿足性和有效性(288)    四、道義邏輯系統(tǒng)的語義一致性和語義完全性(290)  練習題(292)  閱讀書目(296)第五章  邏輯哲學(297)  第一節(jié)  研究對象、方法和意義(297)    一、邏輯哲學的研究對象(297)    二、邏輯哲學的研究方法和意義(312)  第二節(jié)  悖論(314)    一、什么是悖論(314)    二、悖論的類型(316)    三、解決悖論的努力(324)  第三節(jié)  形式化方法(329)    一、公理化和形式化(329)    二、形式化的基本概念(333)    三、形式化的方法論意義(336)    四、希爾伯特綱領和哥德爾不完全性定理(338)  第四節(jié)  有窮和無窮(342)    一、潛無窮和實無窮(342)    二、有窮、無窮和超窮(349)  第五節(jié)  類的邏輯哲學論(354)    一、類的定義與構成原則和基本特征(354)    二、類間關系與類的運算(357)    三、類的種類與關系的定義和論域(361)    四、關系的性質(zhì)與種類(364)    五、類與邏輯常項和非邏輯常項(367)    六、類與命題函項和真值函項(370)    七、類與演繹、歸納和類比推理(371)    八、類與邏輯真理、矛盾和悖論(372)    九、類與邏輯、數(shù)學和哲學方法(377)  思考題(385)  閱讀書目(387)