現代邏輯導引

作　者：楊長福　編著

出 版 社：重慶大學出版社

出版時間：2011-5-1

版　次：1

頁　數：240

字　數：253000

印刷時間：2011-5-1

開　本：16開

紙　張：膠版紙

IS B N：9787562460824

包　裝：平裝

邏輯是保證人類正確思維的根本。本書作者在自己學習和研究的基礎上比較系統地介紹了現代邏輯學的基本內容。主要包括四個部分：第一部分簡略地介紹了傳統邏輯學的基本內容，主要包括對邏輯學學科的基本介紹和命題邏輯的基本內容；第二部分介紹了數理邏輯的基本內容，主要包括命題演算、謂詞邏輯和謂詞演算；第三部分介紹了模態邏輯的基本內容，主要包括對模態邏輯學的性質、模態命題演算的基本內容的介紹；第四部分是對現代邏輯的現代發展情況的一些簡略的介紹，主要包括時態邏輯、認知邏輯、自然語言邏輯的基本內容。本書既可供專門的邏輯學工作者閱讀和使用，也可供哲學、語言學、人工智慧、計算機科學等方面的工作者閱讀和使用，還可供對現代邏輯學感興趣的讀者自學使用。

緒論

A．1　邏輯學的對象和性質

A．2　邏輯思維的基本規律

A．3　邏輯思想與學習邏輯的方法

1　命題邏輯

1．1　詞項與命題

1．2　簡單命題及其推理

1．3　複合命題及其推理

練習題

2　命題演算

2．1　命題演算概述

2．2　命題演算系統LP

2．3　命題演算系統LP的可靠性和完全性

練習題

3　謂詞邏輯

3．1　謂詞和量詞

3．2　形式語言

3．3　命題的量化形式結構

3．4　謂詞邏輯推理的規則

練習題

4　謂詞演算

4．1　謂詞演算

4．2　演繹定理

4．3　謂詞演算的可靠性與完全性

練習題

5　模態邏輯

5．1　模態邏輯概述

5．2　可能世界語義學

5．3　框架、模型和有效性

練習題

6　模態命題演算

6．1　形式語言LPM

6．2　K，D和T系統

6．3 S4，S5和B系統

6．4　模態系統的可靠性與完全性

練習題

7　現代邏輯的現代發展

7．1 時態邏輯

7．2　認知邏輯

7．3 自然語言邏輯

參考文獻

後記