芬兰赫尔辛基大学Jouko Vaananen 教授应逻辑学学会邀请，于6月17日15：00—17:00在北京师范大学教二107教室进行了名为Dependence and Independence - A Logical Approach的讲座。

　　Jouko Vaananen教授在集合论、模态逻辑、哲学逻辑方向都有所研究，并对数学的基础、计算机科学中的逻辑、自然语言的语义等方面有着个人理解，尤其对Dependence Logic 有着开创性的研究。Dependence 与 Independence概念在人文科学的各个领域都很重要，特别是在逻辑学领域，在看似无关的变元之间其实存在着千丝万缕的联系。Jouko Vaananen教授在2007年将Dependence Logic引入一阶语言，这次的讲座就围绕这一点给出了一个基础性的讲授。

　　讲座内容很艰深，但带来的启发是巨大的，让同学们更深刻地感受到逻辑思维的魅力，感谢Jouko Vaananen教授带来的智慧碰撞。

　　哲学学院新闻工作室 刘紫薇 供稿