123,123

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

　　邏輯是人類智能的核心?！督?jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)》作者結(jié)合自己的研究成果比較系統(tǒng)地介紹了現(xiàn)代邏輯學(xué)的基本內(nèi)容。主要包括三個(gè)部分。第一部分介紹集合論的基本內(nèi)容。第二部分介紹經(jīng)典邏輯的基本內(nèi)容，主要包括命題邏輯和謂詞邏輯。第三部分介紹非經(jīng)典邏輯的基本內(nèi)容。主要包括模態(tài)邏輯、時(shí)態(tài)邏輯、弗協(xié)調(diào)邏輯和直覺主義邏輯。對(duì)現(xiàn)代邏輯的不同系統(tǒng)均采用嚴(yán)格的形式化、公理化方法進(jìn)行敘述，并詳細(xì)分析各系統(tǒng)的可靠性、完全性等系統(tǒng)的元性質(zhì)?！督?jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)》的內(nèi)容是自足的，不需要讀者其他特別的知識(shí)準(zhǔn)備。《經(jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)》既適合邏輯學(xué)專業(yè)的本科生、研究生使用，也可供計(jì)算機(jī)科學(xué)、人工智能、語言學(xué)、哲學(xué)等專業(yè)的學(xué)生使用，還可供對(duì)現(xiàn)代邏輯感興趣的讀者自學(xué)使用。

作者簡(jiǎn)介

暫缺《經(jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)（研究生教學(xué)用書）》作者簡(jiǎn)介

圖書目錄

第一章預(yù)備知識(shí)
1.1 集
1.2 集運(yùn)算
1.3 關(guān)系和映射
1.4 集合的基數(shù)
第二章命題邏輯
2.1 基于命題聯(lián)系的推理
2.2 命題語言
2.3 公理系統(tǒng)
2.4 命題邏輯自然推理系統(tǒng)
2.5 語義
2.6 真值表
2.7 真值連接詞的完全集
2.8 命題邏輯的元理論
第三章一階謂詞邏輯
3.1 自然語言的一階表示
3.2 一階語言
3.3 一階語義
3.4 一階謂詞邏輯公理系統(tǒng)
3.5 一階謂詞邏輯自然推理系統(tǒng)
3.6 一階謂詞邏輯系統(tǒng)元理論
第四章公理集合論基礎(chǔ)
4.1 ZFC簡(jiǎn)介
4.2 外延公理、空集公理和子集公理
4.3 偶集公理
4.4 并集公理和冪集公理
4.5 關(guān)系
4.6 等價(jià)關(guān)系和劃分
4.7 函數(shù)和選擇公理
4.8 無窮公理、歸納定義和正則公理
4.9 序數(shù)和替換公理
4.10 基數(shù)
第五章模態(tài)邏輯
5.1 模態(tài)語言
5.2 模態(tài)命題邏輯系統(tǒng)K
5.3 模態(tài)命題邏輯系統(tǒng)D、T
5.4 模態(tài)命題邏輯系統(tǒng)S4、B、S5
5.5 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B和S5的一致性
5.6 可能世界語義學(xué)
5.7 模態(tài)公式與一階公式的對(duì)應(yīng)
5.8 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B、S5的可靠性
5.9 反模型方法
5.10 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B、s5的完全性
第六章時(shí)態(tài)邏輯
6.1 時(shí)態(tài)語言
6.2 時(shí)態(tài)語義
6.3 時(shí)態(tài)邏輯極小系統(tǒng)K
6.4 K.的元理論
6.5 其他時(shí)態(tài)邏輯系統(tǒng)
第七章弗協(xié)調(diào)邏輯
7.1 弗協(xié)調(diào)邏輯的產(chǎn)生
7.2 形式語言
7.3 公理系統(tǒng)Cn(1≤n<ω)
7.4 Cn(1≤n<ω)的語義及可靠性
7.5 足道集與Cn(1≤n<ω)的完全性
7.6 Cn(1≤n<ω)的判定問題
7.7 Cn的語義
第八章直覺主義邏輯
8.1 直覺主義
8.2 直覺主義邏輯形式系統(tǒng)
8.3 直覺主義邏輯的語義
8.4 直覺主義邏輯元理論
參考書目