亚洲sss无码整片在,一级无码片中文字幕免费,婷婷六月激情综合一区

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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