Verifying time, memory and communication bounds in systems of reasoning agents 时间：2012 年 9 月 28 日 (星期五） 2:30 — 4:00 pm 地点：清华大学 6 教 B407 主办：清华大学人文学院哲学系 报告人: Natasha Alechina 教授 (University of Nottingham, UK) 摘要： I will present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge […]

论先秦名学之本质及其反思－以墨辩及荀子之名学为例 时间：2012 年 10 月 19 日 (星期五） 3:30 — 4:30 pm 地点：清华大学 6 教 B407 主办：清华大学人文学院哲学系 报告人:李哲贤 教授 台湾国立云林科技大学 汉学资料整理研究所 摘要：先秦时期，在名学研究方面，其成就最大的当属墨家、名家和荀子。然而，历来有关先秦诸子之研究，多着重其心性、政治或伦理道德学说之阐发，而较疏于其名学思想之研究。近年来，由于大陆学界积极挖掘中国古代之逻辑思想，以免西方逻辑专美于前，于是有关中国逻辑史或逻辑思想之论著，如雨后春笋般出现。此等有关中国逻辑论著之研究对象主要为先秦时期讨论名实辩说之篇章，尤其是公孙龙、墨辩和荀子名学之研究。此外，由于一些国外学者之参与，使得中国古代逻辑之研究，尤其是关于先秦名学之研究，如今已成一较为普遍之现象。目前对于先秦名学本质之探讨，其中最重要之问题是先秦之名学是否即等同于西方亚里士多德所创之传统逻辑或形式逻辑。由于中、外学者对此一问题之理解与看法颇为分歧，因此，有关先秦名学本质之看法，实有待厘清，否则，将有碍吾人对先秦名学之理解与把握，因之，本文旨在探究先秦名学之本质。此外，本文并对此一议题予以反思，且提出未来可能之研究发展方向。

Methodological Separatism, Modal Pluralism and Metaphysical Nihilism   时间：2012 年 10 月 25 日 (星期四） 4:00 — 5:30 pm 地点：清华大学 新斋 105 会议室 主办：清华大学人文学院哲学系 报告人: Tom Stoneham 教授 （英国约克大学 哲学系主任) 摘要：In this paper, we aim to clarify the debate over whether there might have been nothing, in particular, and modality, in general, by introducing the concept […]

形式学习理论（Formal Learning Theory）   报告人：Dick de Jongh （荷兰 阿姆斯特丹大学 教授） 课程简介：形式学习理论是关于如何获得真知识的形式的研究。本课程的第一、二次报告主要讲授形式学习理论的基本知识，之后重点讲授两个专题：“利用递归函数的学习”和“学习理论与知识更新”。本课程适合对科学哲学、语言学习和形式认识论感兴趣的学生。 11月6日（周三） 下午 2:00-5:30 Lecture 1. Identification in the limit. Introduction to Formal learning Theory of Languages. 11月7日（周四） 下午 2:00-5:30 Lecture 2. Introduction to Recursion Theory. 11月13日（周三）下午 2:00-5:30 Lecture 3. Learning by recursive functions. 11月14日（周四）下午 2:00-5:30 Lecture 4. Finite identifiability and knowledge update. 11月15日 （周五） 下午 2:00-4:00  Lecture 5. Individual Meetings   上课地点：新斋335教室   参考文献： For literature and the structure of a longer course, see: http://www.ninagierasimczuk.com/flt2013/ The four lectures correspond at Tsinghua University more or less to (1) Lecture 1 and 2, (2) lecture 3, (3) Lecture 4-10, (4) lecture 11 and 12.  

Coalgebra and Modal Logic Time：3:00 – 4:30 pm, June 18, 2008 Place：Xinzhai Room 353, Tsinghua University ABSTRACT:In recent years, Universal Coalgebra has emerged as a general framework for modelling various kinds of state-based evolving systems. Whereas algebras have operations for constructing new elements from old, coalgebras provide means to observe or unfold objects. Thus coalgebras […]