當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究

第1篇 導(dǎo)論
第1章 前言
1.1 邏輯科學(xué)在現(xiàn)代科學(xué)中的地位
1.2 傳統(tǒng)形式邏輯與正統(tǒng)數(shù)理邏輯
1.3 研究當(dāng)代形式邏輯的目標(biāo)
1.4 當(dāng)代形式邏輯的研究領(lǐng)域、哲學(xué)思想和理論觀點(diǎn)
1.5 邏輯科學(xué)的定義
第2章 當(dāng)代形式邏輯語義學(xué)基礎(chǔ)
2.1 客觀世界的集——兼對所謂“羅素悖論”的剖析
2.1.1 對象、個(gè)體與集
2.1.2 集的共僅屬性
2.1.3 集的性質(zhì)
2.1.4 集的分類
2.1.5 集與集之間的關(guān)系
2.2 n目組、n目組集和n元關(guān)系——兼談數(shù)理邏輯頂多只能算k分之一的邏輯
2.3 n元函數(shù)關(guān)系
2.3.1 映射
2.3.2 n元函數(shù)關(guān)系
2.4 客觀世界的項(xiàng)
2.4.1 個(gè)體變元
2.4.2 n元函數(shù)的變值
2.4.3 項(xiàng)的定義
2.4.4 項(xiàng)的分類
2.5 客觀世界的原子事件
2.5.1 閉原子事件
2.5.2 開原子事件
2.5.3 原子事件
2.5.4 原子事件有、無的不矛盾律、排中律和選一律
2.6 真值函數(shù)關(guān)系與純真值復(fù)合事件
2.6.1 真值函數(shù)關(guān)系
2.6.2 真值表
2.6.3 純真值聯(lián)結(jié)關(guān)系
2.6.4 純真值復(fù)合事件
2.7 基本的非純真值聯(lián)結(jié)關(guān)系——充分條件關(guān)系及其兩個(gè)獨(dú)立性
2.7.1 充分條件關(guān)系與必然關(guān)系同義
2.7.2 充分條件事件的定義及充分條件關(guān)系的兩個(gè)獨(dú)立性
2.7.3 對“充分條件”的界說的歷史回顧
2.7.4 兩個(gè)獨(dú)立性從經(jīng)驗(yàn)進(jìn)到邏輯的歷史追溯
2.8 導(dǎo)出的非純真值聯(lián)結(jié)關(guān)系和非純真值復(fù)合事件
2.8.1 必要條件關(guān)系和必要條件事件
2.8.2 約合關(guān)系和約合事件
2.8.3 盡舉相容選擇關(guān)系和盡舉相容選擇事件
2.8.4 盡舉反相容選擇關(guān)系和盡舉反相容選擇事件
2.8.5 盡舉不相容選擇關(guān)系和盡舉不相容選擇事件
2.8.6 充分必要條件關(guān)系和充分必要條件事件
2.9 客觀世界的事件
2.9.1 事件的形成準(zhǔn)則
2.9.2 閉事件和開事件的交叉遞歸定義
2.9.3 事件的性質(zhì)
2.10 客觀世界的邏輯結(jié)構(gòu)
2.11 客觀世界的邏輯規(guī)律及其種類
2.12 客觀世界的邏輯定律
2.12.1 客觀世界的事件邏輯定律
2.12.2 客觀世界的項(xiàng)邏輯定律
2.13 客觀世界的邏輯法則
2.13.1 客觀世界的事件邏輯法則
2.13.2 客觀世界的項(xiàng)邏輯法則
第3章 邏輯規(guī)律是客觀世界的規(guī)律
3.1 邏輯規(guī)律概述
3.2 邏輯規(guī)律不是思維自身的規(guī)律
3.3 邏輯規(guī)律不是符號自身的規(guī)律
3.4 邏輯規(guī)律是且只能是客觀世界的規(guī)律
3.5 彪炳古今的韓非定律
第2篇 邏輯思考
第4章 邏輯思考概述
4.1 邏輯思考的定義
4.2 邏輯思維的內(nèi)容
4.2.1 邏輯思維的內(nèi)容
4.2.2 思維的內(nèi)容究竟是思維還是思維外的客觀物質(zhì)及其屬性
4.3 邏輯思維的形式化
4.4 邏輯思維、思維對象、語言載體的關(guān)系
4.5 當(dāng)代形式邏輯語義學(xué)、語構(gòu)學(xué)、語用學(xué)
4.6 當(dāng)代形式邏輯語用學(xué)1、2、3準(zhǔn)則
第5章 概念
5.1 概念的概述
5.2 概念的內(nèi)涵和外延
5.2.1 概念的外延
5.2.2 概念的內(nèi)涵
5.3 2元關(guān)系概念
5.3.1 性質(zhì)概念和關(guān)系概念
5.3.2 何謂2元關(guān)系概念
5.3.3 2元關(guān)系的性質(zhì)
5.4 傳統(tǒng)概念理論中存在的問題
5.4.1 關(guān)于概念的定義至今仍不能自圓其說
5.4.2 有些概念種類劃分不合理
5.4.3 “概念不明確”是一種自相矛盾或者模棱兩可的提法
5.4.4 值得推敲的其他問題
第6章 原子命題純真值復(fù)合命題
6.1 命題的概述
6.1.1 命題就是關(guān)于事件的思考
6.1.2 命題的真值
6.1.3 命題的分類
6.2 原子命題
6.2.1 閉原子命題
6.2.2 開原子命題
6.2.3 1元原子命題和多元原子命題
6.2.4 原子命題的真值
6.3 純真值復(fù)合命題
6.3.1 基本的純真值復(fù)合命題
6.3.2 導(dǎo)出的純真值復(fù)合命題
6.4 重言式的判定
6.4.1 真值表方法
……
第7章 非純真值復(fù)合命題
第8章 邏輯定理
第9章 邏輯證明與證實(shí)
第10章 關(guān)于邏輯證明哲學(xué)意義的深入探討
第3篇 當(dāng)代形式邏輯Cm系統(tǒng)
第11章 命題邏輯cm系統(tǒng)的形式語言
第12章 Cm的公理、導(dǎo)出公式、規(guī)則和元定理
第13章 關(guān)于Cm系統(tǒng)的討論（一）——Cm是夠用的無衍系統(tǒng)
第14章 關(guān)于Cm系統(tǒng)的討論（二）——Cm的判定問題
第4篇 當(dāng)代形式邏輯名詞演算Cn系統(tǒng)
第15章 名詞演算Cn系統(tǒng)的形式語言
第16章 Cn的公理模式、規(guī)則、導(dǎo)出公式和元定理
第17章 關(guān)于Cn系統(tǒng)的討論（一）——Cn與傳統(tǒng)形式邏輯
第18章 關(guān)于Cn系統(tǒng)的討論（二）——Cn與傳統(tǒng)的“必然”、“可能”、歸納、類比的推理
第19章 關(guān)于Cn系統(tǒng)的討論（三）——Cn的無限風(fēng)光：更精彩的形式定理
第20章 關(guān)于Cn系統(tǒng)的討論（四）——Cn與正統(tǒng)一階謂詞演算F
第五篇 人工智能機(jī)器推理和知識表示的邏輯理論工具探討
第21章 人工智能機(jī)器推理的邏輯理論工具研究
第22章 人工智能知識表示的邏輯理論工具研究
第23章 當(dāng)代形式邏輯在人工智能中又一應(yīng)用理論研究
附錄A
附錄B
參考文獻(xiàn)
后記