
1月3日下午🧝🏻♂️,國家社科一般項目“擬真勢多主體認知邏輯研究”第三次沙龍在閔行校區人文樓2102舉行,主題為“弗協調多主體置信邏輯及其實踐價值”。沙龍由項目負責人👨🏿💻、哲學系副教授郝旭東主持🦞。
郝旭東匯報內容的主要包括五個方面:弗協調邏輯的發展概況,弗協調置信邏輯的語法和語義,及其重要定理和推論,以及弗協調置信邏輯在認知領域的重要實踐價值😹。
主持人首先介紹了弗協調邏輯的發展概況🍸,指出弗協調邏輯有三種類型:相幹型🕥,即上文所述的弗協調相幹邏輯類型;棄合型,即雅思科瓦斯基所創立的商討邏輯;正加型,即達∙科斯塔及其合作者所創立的弗協調邏輯。而由於正加型弗協調邏輯盡量保留了經典邏輯的很多與矛盾律無關的重要推理模式👩🏿🎓,所以本課題的研究和討論興趣主要在正加型弗協調邏輯🧑🦳🧳。主持人還詳細解讀了弗協調多主體置信邏輯系統C1D的語法和語義,並講解了其可靠性和完全性的證明⛷。之後,又詳盡闡釋了其作為一種解悖方案的合理性與必要性,並討論了這種邏輯容忍信念沖突的邏輯機製。
弗協調置信邏輯的特殊性質引起了與會人員的探討🈷️🚉,在場師生也給為怎樣在認知領域解讀弗協調置信邏輯的實踐價值提出了很多建設性🎸✍🏻、完善性建議。主持人也將在這些寶貴的建議基礎上⛹🏿,進一步完善該研究內容,爭取保質保量、全面深入地完成主題的研究和討論。