1月3日下午,国家社科一般项目“拟真势多主体认知逻辑研究”第三次沙龙在闵行校区人文楼2102举行,主题为“弗协调多主体置信逻辑及其实践价值”。沙龙由项目负责人、哲学系副教授郝旭东主持。
郝旭东汇报内容的主要包括五个方面:弗协调逻辑的发展概况,弗协调置信逻辑的语法和语义,及其重要定理和推论,以及弗协调置信逻辑在认知领域的重要实践价值。
主持人首先介绍了弗协调逻辑的发展概况,指出弗协调逻辑有三种类型:相干型,即上文所述的弗协调相干逻辑类型;弃合型,即雅思科瓦斯基所创立的商讨逻辑;正加型,即达∙科斯塔及其合作者所创立的弗协调逻辑。而由于正加型弗协调逻辑尽量保留了经典逻辑的很多与矛盾律无关的重要推理模式,所以本课题的研究和讨论兴趣主要在正加型弗协调逻辑。主持人还详细解读了弗协调多主体置信逻辑系统C1D的语法和语义,并讲解了其可靠性和完全性的证明。之后,又详尽阐释了其作为一种解悖方案的合理性与必要性,并讨论了这种逻辑容忍信念冲突的逻辑机制。
弗协调置信逻辑的特殊性质引起了与会人员的探讨,在场师生也给为怎样在认知领域解读弗协调置信逻辑的实践价值提出了很多建设性、完善性建议。主持人也将在这些宝贵的建议基础上,进一步完善该研究内容,争取保质保量、全面深入地完成主题的研究和讨论。