大家好，我们准备办一个Higher-Order Metaphysics的reading group。内容是Ted Sider这个syllabus：http://tedsider.org/teaching/higher_order_20/higher_order_20_syllabus.pdf 从Grain到结束的论文。除了对于first-order logic有基本/比较好的理解外没有什么其它前置知识的需要。我们可能第一周会讨论一下基本的lambda-calculus。有兴趣的请私信我。
5 Likes