{"id":4811,"date":"2022-09-30T09:20:50","date_gmt":"2022-09-30T07:20:50","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4811"},"modified":"2022-11-18T10:47:13","modified_gmt":"2022-11-18T09:47:13","slug":"lira-session-thomas-schindler-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2022\/09\/lira-session-thomas-schindler-2\/","title":{"rendered":"LIRa session: Thomas Schindler"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/www.thomasschindler.org\/\">Thomas Schindler<\/a> (University of Amsterdam)<\/p>\n<p>Date and Time: Thursday, November&nbsp;24th 2022, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107 <strong>and<\/strong> <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title: <strong>Unrestricted quantification, higher order logic, and type-free theories<\/strong><\/p>\n<p><em>Abstract.<\/em> Call a quantifier \u2018unrestricted\u2019 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.<em><br \/>\n<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Thomas Schindler (University of Amsterdam)<br \/>\nDate and Time: Thursday, November&nbsp;24th 2022, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online.<br \/>\nTitle: Unrestricted quantification, higher order logic, and type-free theories<br \/>\nAbstract. Call a quantifier \u2018unrestricted\u2019 if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4811","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4811","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4811"}],"version-history":[{"count":6,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4811\/revisions"}],"predecessor-version":[{"id":4849,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4811\/revisions\/4849"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4811"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4811"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4811"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}