書單推薦 新書推薦 |
可容忍沖突的信念邏輯研究
本書第一章主要介紹弗協(xié)調(diào)和弗完全邏輯概況,使讀者可以初步了解弗協(xié)調(diào)和弗完全邏輯的基本思想及其發(fā)展情況。第二章給出簡化的弗協(xié)調(diào)命題邏輯系統(tǒng)Cn(1≤n<ω)的簡化系統(tǒng)C1,以此為基礎(chǔ),通過邏輯擴(kuò)充的方式給出弗協(xié)調(diào)信念邏輯系統(tǒng),并證明其可靠性、完全性等。第三章給出弗協(xié)調(diào)命題邏輯系統(tǒng)P1;針對(duì)現(xiàn)有的弗完全邏輯沒有給出必要的內(nèi)定理和元定理的缺陷,本書對(duì)弗完全邏輯補(bǔ)充了必要的內(nèi)定理,證明了其可靠性和完全性;針對(duì)弗完全邏輯的賦值定義設(shè)計(jì)了其擬真值表的判定方法,從而表明了其公式是否有效的可判定性;然后,將之進(jìn)行邏輯擴(kuò)充得到了弗完全信念邏輯系統(tǒng),并證明了元定理。第四章深入探討了弗協(xié)調(diào)邏輯到底有沒有對(duì)矛盾律構(gòu)成否定的問題,并從邏輯基礎(chǔ)的角度探討了弗協(xié)調(diào)和弗完全信念邏輯在容忍信念沖突中的作用。
你還可能感興趣
我要評(píng)論
|