5月31日下午，国家社科项目“拟真势多主体认知逻辑研究”开题沙龙在闵行校区人文学术沙龙举行，沙龙由项目负责人、哲学系郝旭东教师主持。
郝旭东老师汇报内容的主要包括四个方面：弗完全的发展概况、弗完全命题逻辑系统P1、弗完全逻辑P1的可判定性及其拟真值表、P1作为解悖方案的逻辑机制。
主持人首先较为详细地址介绍了弗完全逻辑的发展概况和背景，指出弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统，即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上，对弗完全否定的逻辑涵义进行了直观解释，并分析了其逻辑语义特征；给出了弗完全逻辑拟真值表的具体列法，表明了系统P1的可判定性；利用拟真值表方法，表明了一般意义排中律在P1中的失效；对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析，并就此将弗协调逻辑C1和P1进行了容忍能力的比较。
弗完全逻辑可以容忍悖论的逻辑机制引起了与会老师广泛兴趣和热烈探讨，与会老师也对悖论产生的哲学、认知和逻辑根源进行了广泛而深入地探讨，并对作为解悖方案的弗完全逻辑在认知逻辑方向的发展方面完善提出了宝贵。主持人也将在这些宝贵的建议基础上，进一步完善弗完全逻辑的研究。
