10 November 2023, Philosophy of Mathematics (Φ-Math) Reading Group

The Phi-Math reading group continues the discussion on Higher-Order Logic (HOL). This time we focus specifically on arguments against adopting Higher-Order logics for various purposes. These arguments include HOL being set theory in disguise, the (lack of) applicability of HOL for its intended purposes, and the serious metalogical issues the logics face.

Students and faculty from all backgrounds are welcome to join. Even if you did not join for the first meeting, there is no issue in joining at this point! More information about readings and previous meetings can be found on our website.