123,123

內(nèi)容簡(jiǎn)介

　　邏輯是保證人類(lèi)正確思維的根本。本書(shū)作者在自己學(xué)習(xí)和研究的基礎(chǔ)上比較系統(tǒng)地介紹了現(xiàn)代邏輯學(xué)的基本內(nèi)容。主要包括四個(gè)部分：第一部分簡(jiǎn)略地介紹了傳統(tǒng)邏輯學(xué)的基本內(nèi)容，主要包括對(duì)邏輯學(xué)學(xué)科的基本介紹和命題邏輯的基本內(nèi)容；第二部分介紹了數(shù)理邏輯的基本內(nèi)容，主要包括命題演算、謂詞邏輯和謂詞演算；第三部分介紹了模態(tài)邏輯的基本內(nèi)容，主要包括對(duì)模態(tài)邏輯學(xué)的性質(zhì)、模態(tài)命題演算的基本內(nèi)容的介紹；第四部分是對(duì)現(xiàn)代邏輯的現(xiàn)代發(fā)展情況的一些簡(jiǎn)略的介紹，主要包括時(shí)態(tài)邏輯、認(rèn)知邏輯、自然語(yǔ)言邏輯的基本內(nèi)容。本書(shū)既可供專(zhuān)門(mén)的邏輯學(xué)工作者閱讀和使用，也可供哲學(xué)、語(yǔ)言學(xué)、人工智能、計(jì)算機(jī)科學(xué)等方面的工作者閱讀和使用，還可供對(duì)現(xiàn)代邏輯學(xué)感興趣的讀者自學(xué)使用。

作者簡(jiǎn)介

暫缺《現(xiàn)代邏輯導(dǎo)引》作者簡(jiǎn)介

圖書(shū)目錄

緒論
A．1　邏輯學(xué)的對(duì)象和性質(zhì)
A．2　邏輯思維的基本規(guī)律
A．3　邏輯思想與學(xué)習(xí)邏輯的方法
1　命題邏輯
1．1　詞項(xiàng)與命題
1．2　簡(jiǎn)單命題及其推理
1．3　復(fù)合命題及其推理
練習(xí)題
2　命題演算
　2．1　命題演算概述
　2．2　命題演算系統(tǒng)LP
　2．3　命題演算系統(tǒng)LP的可靠性和完全性
　練習(xí)題
3　謂詞邏輯
　3．1　謂詞和量詞
　3．2　形式語(yǔ)言
　3．3　命題的量化形式結(jié)構(gòu)
　3．4　謂詞邏輯推理的規(guī)則
　練習(xí)題
4　謂詞演算
4．1　謂詞演算
4．2　演繹定理
4．3　謂詞演算的可靠性與完全性
　練習(xí)題
5　模態(tài)邏輯
　5．1　模態(tài)邏輯概述
　5．2　可能世界語(yǔ)義學(xué)
　5．3　框架、模型和有效性
　練習(xí)題
6　模態(tài)命題演算
6．1　形式語(yǔ)言LPM
6．2　K，D和T系統(tǒng)
6．3 S4，S5和B系統(tǒng)
6．4　模態(tài)系統(tǒng)的可靠性與完全性
練習(xí)題
7　現(xiàn)代邏輯的現(xiàn)代發(fā)展
7．1 時(shí)態(tài)邏輯
7．2　認(rèn)知邏輯
7．3 自然語(yǔ)言邏輯
參考文獻(xiàn)
后記