新闻报道

5月28日Dr. Jeremy Seligman 讲座:1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior

        下午三点,来自新西兰奥克兰大学哲学系的Jeremy Seligman老师带来了两场精彩讲座,分别为: Secret tweets and network discovery(隐秘信息与微博式社交网络探索),和Past, Present and Future: the logic and philosophy of Arthur Prior(过去、现在与未来:Arthur Prior的逻辑与哲学)。
        第一场讲座大致分为四部分:讲座第一部分从在微博上邀请朋友参加聚会为例,介绍了主体在微博上发布隐秘信息这一现象,并随之定义了微博式社交网络 (Dwitter Network);讲座第二部分围绕着微博式社交网络这一定义,介绍了微博式社交网络中主体类型( Dwitizen types):根据其接收和处理信息的模式,主体可分为四种类型:redweeter、confesser、slow  confesser、reporter;根据其对外来信息的信念状态分为:轻信者(credulous)与谨慎轻信者(cautiously credulous);随之讨论在一组credulous redweeters之间,任意一个信息($S$)能够隐秘地经由主体a通过发布信息($K$)传达给主体b的充要条件; 讲座第三部分首先给出一组主体的潜在社交信念(Potential social beliefs)的定义;围绕这一定义,分析了在一组credulous confessers之间,任意一个信息($S$)能够被隐秘地经由主体a通过发布信息($K$)传达给主体b的充要条件;随即引入credulous confessers承认(confess)一个信息($S$)为一个潜在社交信念需要满足的条件;讲座第四部分简要介绍了一系列与微博式社交网络相关的 有趣问题:零知识隐秘分享(Zero-knowledge secret sharing) 、谨慎可信性(Cautious Credibility)、可加性与时间问题(Aggregation & Timing issue)等。
        第二场讲座的分为四部分:讲座第一部分介绍了新西兰著名逻辑学家哲学家,时态逻辑的奠基者Arthur Prior 的生平履历;讲座第二部分介绍了Arthur Prior自受到John Findlay的启发进入逻辑研究领域以及成为道义逻辑的先驱、对时态逻辑的重要奠基性的工作,并穿插提到上个世纪早期逻辑学家之间的推理趣味;讲座第三 部分从早期人类对时空的观察形成的两种时间观念(环形、线性)出发,引入时态逻辑的主旨和构造;讲座的最后对Arthur Prior的主要贡献和其强烈的个人风格进行了总结。


(撰稿人:朱薇)

TOP