Dear all,

We will have our next LIRa session tomorrow, on Thursday, 24 November 16:30.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

Speaker: Thomas Schindler (University of Amsterdam)

Date and Time: Thursday, November 24th 2022, 16:30-18:00

Venue: ILLC seminar room F1.15 in Science Park 107 and online.

Title: Unrestricted quantification, higher order logic, and type-free theories

Abstract. Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory (higher order logic) as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed (e.g. Williamson 2003). However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way.

Hope to see you there!

The LIRa team