BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260415T035832Z
DTSTART;TZID=Asia/Shanghai:20250707T090000
DTEND;TZID=Asia/Shanghai:20250708T170000
SUMMARY:Beijing International Summer Workshop on Formal Philosophy 2025 (BISForm2025)
UID:20260415T140817Z-iCalPlugin-Grails@philevents-web-f5d4878dd-x5n6c
TZID:Asia/Shanghai
LOCATION:Peking University\, Beijing\, China
DESCRIPTION:<p><u><strong>Pre-Workshop Lectures by Zach Goodsell and Snow Zhang</strong></u></p>\n<p><u><strong><br></strong></u></p>\n<p><strong>(a) Higher-Order Logic for Philosophers</strong></p>\n<p><strong>Lecturer</strong>&nbsp\; Zach Goodsell</p>\n<p><strong>Time</strong>&nbsp\;10:00 to 12:00 from July 4th to 6th</p>\n<p><strong>Place</strong>&nbsp\;Room 109\, Lee Shau Kee Humanities Buildings No.3</p>\n<p><strong>Description</strong></p>\n<p>The 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.</p>\n<p>Lecture 1: Introduction to Higher-Order Logic for Philosophers This lecture will introduce higher-order logic as a framework for logical theorising in general. &nbsp\;We will construct the simply typed lambda calculus\, the language of higher-order logic\, and formulate various higher-order logics of interest. We will then turn to some applications in philosophy\, specifically in the metaphysics of properties\, modal metaphysics\, the foundations of mathematics\, and the philosophy of language.</p>\n<p>Lecture 2: Modality in Higher-Order Logic Building on Lecture 1\, this lecture will explore how notions of possibility and necessity can be analysed in higher-order logic. We&rsquo\;ll derive the modal logic S4 for a logically defined notion of metaphysical necessity within the intensionalist framework of Bacon and Dorr&rsquo\;s 2022 paper &ldquo\;Classicism&rdquo\;\, and prove equivalences between principles of modal metaphysics and principles of higher-order logic.</p>\n<p>Lecture 3: Mathematics in Higher-Order Logic Next\, 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.</p>\n\n<p><strong>(b) Modelling Awareness</strong></p>\n<p><strong>Lecturer</strong>&nbsp\;Snow Zhang</p>\n<p><strong>Time</strong>&nbsp\;14:00 to 16:00 from July 4th to 6th</p>\n<p><strong>Place</strong>&nbsp\;Room 109\, Lee Shau Kee Humanities Buildings No.3</p>\n<p><strong>Description</strong></p>\n<p>We 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.</p>
ORGANIZER;CN=Yifeng Ding;CN=Yiwen Zhan:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR