群体推理的逻辑与群体理性问题(1)(2)
2016-02-19 01:02
导读：举一个例子。我们假定，对“所有”受过小学以上教育的人来说，他们中的每一个均知道，“4能够被2整除”，即我们假定“4能够被2整除”是所有受过小
举一个例子。我们假定，对“所有”受过小学以上教育的人来说，他们中的每一个均知道，“4能够被2整除”，即我们假定“4能够被2整除”是所有受过小学以上教育的人的知识；并且我们假定，这也是任何群体的公共知识：如果某个人受过小学以上的教育，他应当知道“4能够被2整除”。对于一个由有限个受过小学以上教育的人所组成的群体而言，“4能够被2整除”尽管是他们的每个人的知识，但不是该群体的公共知识。原因在于，他们均受过小学以上的教育不是该群体的公共知识。很有可能的是，其中有人不知道其他某个人受过小学以上的教育，或者，某人不知道对方知道他受过小学以上的教育……。
所谓公共知识逻辑就是某个群体中的所有人“共同知道”的逻辑。公共知识逻辑其实刻画的就是群体作为一个总体的推理系统，公共知识逻辑有下面这些特征公理：
C1：CK(G，p)→p(若p是群体G的公共知识，p是真的)；
C2：CK(G，p)∧CK(G，q)→CK(G，p∧q)(若p和q是公共知识，p且q也是公共知识)；
C3：CK(G，p→q)∧CK(G，p)→CK(G，q)(若p蕴涵q是公共知识，并且p是公共知识，那么q也是公共知识)；
C4：～CK(G，～p∧p)(矛盾式不是公共知识)；
C5：CK(G，p)→CK(G，CK(G，p))(若p是公共知识，“p是公共知识”也是公共知识)。
C6：～CK(G，p)→CK(G，～CK(G，p))(若p不是公共知识，“p不是公共知识”是公共知识)。
对公共知识逻辑的研究是多主体(multi—a-gent)认知逻辑学研究的内容，但它同时是多个学科如计算机、人工智能、博弈论、社会科学关心并研究的内容。
认知逻辑中的公共信念逻辑(common belief log-ic)同样研究群体的推理和论证，在研究群体信念的逻辑中，没有如C1这样的公理，因为信念不必为真。
（科教论文网 lw.nseaC.Com编辑发布） 三、研究群体推理的科学逻辑
科学是理性的活动，但同时是集体性的活动。科学
哲学家努力研究科学家的群体推理规则。
那么是否存在适合“所有”科学家的推理规则吗?传统哲学家认为存在这样的东西，这便是“科学方法”，方法论专家的任务即是找到这个方法。这个科学方法包括发现的方法——根据这个方法科学家能够发现真的科学理论和辩护的方法——根据这个方法，某个理论能够得到“证明”。然而，上世纪20年代兴起的逻辑经验主义认为要严格区分发现的范围和辩护的范围。他们认为，不存在发现的方法，但存在辩护的方法。逻辑经验主义试图给出对理论或假说进行归纳辩护的方法。 共2页: 1 [2] 下一页 论文出处(作者):潘天群
从《逻辑史手册》看逻辑史研究与逻辑学发展的新趋势
