国产91麻豆一区二区久久久

        下午三点，来自新西兰奥克兰大学哲学系的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的主要贡献和其强烈的个人风格进行了总结。


(撰稿人：朱薇)