Beijing
International
Summer Workshop on Formal Philosophy 2025

Registration

Please fill in the registration form.

Mini-Lectures

Higher-Order Logic for Philosophers

by Zach Goodsell
10:00 to 12:00 from July 4th to 6th
Room 109, Lee Shau Kee Humanities Buildings No.3The series of three lectures will introduce higher-order logics, and will illustrate their importance to philosophical theorising by way of a range of applications and examples. The first lecture will introduce higher-order logic as a framework for logical theorising in general, with some applications in philosophy, specifically in the metaphysics of properties, modal metaphysics, the foundations of mathematics, and the philosophy of language. The second lecture will explore how notions of possibility and necessity can be analysed in higher-order logic. In the third lecture, we will turn to applications of higher-order logic in the foundations of mathematics. We will formulate mathematical theories in higher-order logic, making sure that these theories explain the applicability of mathematics to other domains. Then, we will illustrate how these theories can be reduced to pure logic, thereby vindicating a form of mathematical logicism.

Modelling Awareness

by Snow Zhang
14:00 to 16:00 from July 4th to 6th
Room 109, Lee Shau Kee Humanities Buildings No.3We are unaware of many things, and unaware that we are unaware of them. But what is (un)awareness, and how does it relate to other epistemic notions such as belief, knowledge and uncertainty? In this lecture series, we will introduce models of awareness that have been developed in philosophy, computer science and economics. The topics that we will discuss include: the problem of logical omniscience, the Dekel-Lipman-Rustichini impossibility result, syntactic vs. semantic models of awareness and their respective sound and complete axiomatizations. If time permits, we will also discuss awareness dynamics, (un)awareness and decision theory and reverse Bayesianism.

tentative schedule