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