BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260606T005511Z
DTSTART;TZID=Europe/Berlin:20160604T050000
DTEND;TZID=Europe/Berlin:20160605T130000
SUMMARY:Higher-Order Metaphysics
UID:20260610T104759Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/Berlin
LOCATION:Blindernveien 31\, Oslo\, Norway\, 0371
DESCRIPTION:<p>Higher-order logic\, with its quantifiers binding variables in sentence position and predicate position\, provides an attractive way of formalizing talk of propositions\, properties and relations in metaphysics. In such a formalization\, these entities are naturally taken to be extra-linguistic just like the referents of singular terms. The topic of the workshop is the metaphysics of propositions\, properties and relations\, understood in such an extra-linguistic way\, whether formulated in higher-order or first-order terms.</p>\n<p>In particular\, the workshop will focus on how finely these entities are individuated\, asking for informative necessary and/or sufficient conditions for propositions\, properties or relations to be identical. For example\, do any two truth-functionally equivalent sentences express the same proposition? This issue might by summed up as the following question: how fine-grained is reality? Other key questions include:</p>\n<ul>\n<li>Should we formalize talk of propositions\, properties and relations using first- or higher-order quantifiers?</li>\n<li>How should one respond to the paradoxes of propositions and properties due to Russell\, Myhill and Prior\, as well as Frege's paradox of the concept horse?</li>\n<li>How does the fineness of grain of propositions\, properties and relations relate to other metaphysical vocabulary\, such as "metaphysically necessary"\, "fundamental"\, "ground" and "real definition"?</li>\n<li>What can philosophers learn about the metaphysics of propositions\, properties and relations from work in logic and computer science\, e.g.\, on algebraic models for non-classical logics?</li>\n<li>What applications does the metaphysics of propositions\, properties and relations have within metaphysics\, in philosophy\, and outside of philosophy\, and how do these applications inform it?</li>\n</ul>\n<p>In addition to talks by the two keynote speakers\, the following contributed talks were selected from anonymized submissions to an open call for papers:</p>\n<ul>\n<li>Andrew Bacon &amp\; Jeffrey Sanford Russell (University of Southern California): The Logic of Opacity</li>\n<li>Stephan Leuenberger (University of Glasgow): The Consistency of Non-reductive Supervenience Theses</li>\n<li>Jon Erling Litland (University of Texas at Austin): Exact Necessitation</li>\n<li>Robert Schwartzkopff (University of Hamburg): The Misconception of Number(word)s as Object(word)s</li>\n<li>Alexander Skiles (Universit&eacute\; de Neuch&acirc\;tel): Grounding\, Essence\, and Identity (joint work with Fabrice Correia)</li>\n<li>Dustin Tucker (Colorado State University): Hyperintensionality and the Paradox of the Knower</li>\n</ul>\n<p>The event is open to the public and free\; please register by emailing&nbsp\;peter.fritz@ifikk.uio.no by 1 May 2016.</p>\n<p>In connection with this workshop\, a workshop on "Paradoxes of Cardinality and Fineness of Grain" will take place in Oslo on 7-8 June 2016:</p>\n<p>http://www.st-andrews.ac.uk/arche/events/event?id=954</p>
ORGANIZER;CN=Peter Fritz:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR