“Philosophy of Logic and Philosophical Logic” Reading Group Season 1, Week 2, Total #2 董氏文史哲青年学术沙龙、西溪逻辑论坛第41期 “逻辑哲学与哲学逻辑”读书会第2次活动 主题：真的对应理论、还原论 领读人：庄玄朴 时间：2016年10月17日（周一） 18:45-20:30 地点：浙大西溪校区主楼710室（哲学系会议室） 本活动受第23届浙江大学“董氏文史哲研究奖励基金”资助。
Continue reading →The “Philosophy of Logic and Philosophical Logic” reading group will start its first event on 10 October 2016, and more are scheduled once per week. By this series of events we aim at better understanding the ideas of formal theories … Continue reading →
西溪逻辑论坛第40期 （本活动受中央高校基本科研业务费专项资金资助） 主题：公开宣告逻辑的混合化 报告人：何键枫 点评人：王轶 时间：2016年10月11日（周二） 13:00-15:00 地点：浙大西溪校区主楼259会议室 摘要：报告主要讨论公开宣告逻辑的混合化。为确保名字不会失去指称，采用保留状态并删除箭头的模型更新方式。通过在混合语言中添加公开宣告算子或间接宣告算子，结合不同的语义，我们得到了不同的逻辑，并考察不同逻辑之间表达力的强弱关系。通过归约公理或典范模型方法，我们为分别这些逻辑提供了可靠完全的公理系统。
Continue reading →