BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Arche - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Arche
X-ORIGINAL-URL:https://www.st-andrews.ac.uk/arche
X-WR-CALDESC:Events for Arche
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20130331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20131027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20140330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20141026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20150329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20151025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20160327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20161030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20171029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20181028T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171106T150000
DTEND;TZID=Europe/London:20171106T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171104T102552Z
UID:10016652-1509980400-1509987600@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: Inman's 'Against Constitutionalism'
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-11-06/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171103T140000
DTEND;TZID=Europe/London:20171103T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20171025T161021Z
UID:10016739-1509717600-1509724800@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: No Meeting.
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29-2017-11-03/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171101T130000
DTEND;TZID=Europe/London:20171101T143000
DTSTAMP:20260511T061743
CREATED:20170123T160944Z
LAST-MODIFIED:20171024T150045Z
UID:10016699-1509541200-1509546600@www.st-andrews.ac.uk
SUMMARY:Epistemology Seminar: Daniel Star: Knowing Better presented by Jessica Brown
DESCRIPTION:Please read chapter 4. From Jessica: \n  \nI thought this chapter might interest us as it ties together what seem to be two distinct topics: the norm for practical reasoning and the nature of evidence. Some have argued that one ought to rely on p in one’s practical reasoning if and only if one knows that p. Separately\, some have argued that only what’s known is evidence. The arguments are typically entirely distinct. But\, here\, Daniel argues from the knowledge norm for practical reasoning to the idea that only knowledge is evidence.
URL:https://www.st-andrews.ac.uk/arche/event/epistemology-seminar-2017-10-18-2017-11-01/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171030T150000
DTEND;TZID=Europe/London:20171030T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171027T125756Z
UID:10016651-1509375600-1509382800@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: S. J. Evnine on some contemporary varieties of Hylomorphism
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-10-30/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171027T140000
DTEND;TZID=Europe/London:20171027T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20171018T211843Z
UID:10016738-1509112800-1509120000@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: Discussion Group on M. Sainsbury (1996)\, "Concepts Without Boundaries"
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29-2017-10-27/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171024T120000
DTEND;TZID=Europe/London:20171024T140000
DTSTAMP:20260511T061743
CREATED:20170123T152054Z
LAST-MODIFIED:20171023T165312Z
UID:10016662-1508846400-1508853600@www.st-andrews.ac.uk
SUMMARY:Language and Mind Seminar: Savvas Ioannou on 'Against arguments from references' by Mallon et al.
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/language-and-mind-seminar-2017-10-24/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171023T150000
DTEND;TZID=Europe/London:20171023T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171019T085918Z
UID:10016650-1508770800-1508778000@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: Bennett on Spatio-Temporal Coincidence and the Grounding Problem
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-10-23/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171020T140000
DTEND;TZID=Europe/London:20171020T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20171008T154531Z
UID:10016737-1508508000-1508515200@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: No Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29-2017-10-20/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171018T130000
DTEND;TZID=Europe/London:20171018T143000
DTSTAMP:20260511T061743
CREATED:20170123T160944Z
LAST-MODIFIED:20221020T111348Z
UID:10016698-1508331600-1508337000@www.st-andrews.ac.uk
SUMMARY:Epistemology Seminar: Lisa Bastian on Reasons Without Persons by Brian Heddon
DESCRIPTION:We will be looking at Reasons Without Persons by Brian Heddon. Specifically focus on 1-1.2 and 3-3.2. \n  \nThis book is an extended defense of Time-Slice Rationality\, the view that for purposes of rational evaluation\, the relationship between two time-slices of the same person is not importantly different from the relationship between time-slices of distinct persons. The locus of rationality is the time-slice rather than the temporally extended agent. What you rationally ought to believe\, desire\, or do at a time depends only on your mental states at that time. It does not depend on what you believe\, desire\, or do at other times. Time-Slice Rationality is motivated by two goals. The first is to insulate the theory of rationality from thorny issues in the metaphysics of personal identity over time\, which\, it is argued\, are irrelevant to what rationality requires of you. The second is to vindicate the thought that being rational is about believing and behaving in ways that are sensible\, given your perspective on the world. Time-Slice Rationality conflicts with some well-known Bayesian principles of rationality\, but these principles are independently problematic\, and they can be replaced by time-slice-centric principles that do all the work that the old principles were supposed to do while avoiding their pitfalls. In this way\, we can put the theory of rationality on firmer foundations by taking seriously Parfit’s claim that personal identity is of no great significance.
URL:https://www.st-andrews.ac.uk/arche/event/epistemology-seminar-2017-10-18/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171016T150000
DTEND;TZID=Europe/London:20171016T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171014T164535Z
UID:10016649-1508166000-1508173200@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: Yang on Defending constituent ontology
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-10-16/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171013T140000
DTEND;TZID=Europe/London:20171013T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20171006T154641Z
UID:10016736-1507903200-1507910400@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: Discussion Group on Fuzzy Set Theory
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29-2017-10-13/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171010T120000
DTEND;TZID=Europe/London:20171010T140000
DTSTAMP:20260511T061743
CREATED:20170123T152054Z
LAST-MODIFIED:20171006T193857Z
UID:10016661-1507636800-1507644000@www.st-andrews.ac.uk
SUMMARY:Language and Mind Seminar: "Synonymy between Token-Reflexive Expressions" Alex Radulescu (Missouri)
DESCRIPTION:Synonymy between Token-Reflexive Expressions
URL:https://www.st-andrews.ac.uk/arche/event/language-and-mind-seminar-2017-10-10/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171009T150000
DTEND;TZID=Europe/London:20171009T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171007T095601Z
UID:10016648-1507561200-1507568400@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: P. Van Inwagen on Relational vs Constituent Ontologies
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-10-09/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171006T140000
DTEND;TZID=Europe/London:20171006T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20171006T151206Z
UID:10016735-1507298400-1507305600@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: No Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29-2017-10-06/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171003T120000
DTEND;TZID=Europe/London:20171003T140000
DTSTAMP:20260511T061743
CREATED:20170123T152054Z
LAST-MODIFIED:20170926T144359Z
UID:10016660-1507032000-1507039200@www.st-andrews.ac.uk
SUMMARY:Language and Mind Seminar: Maria Jimena Clavel Vazquez  Ramsey’s 2015 article: ‘Must cognition be representational?’
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/language-and-mind-seminar-2017-10-03/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20171002T150000
DTEND;TZID=Europe/London:20171002T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20171002T080412Z
UID:10016647-1506956400-1506963600@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: Planning Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-10-02/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170929T140000
DTEND;TZID=Europe/London:20170929T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20221020T100101Z
UID:10016734-1506693600-1506700800@www.st-andrews.ac.uk
SUMMARY:Arché Logic & Semantics Seminar: tba
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar-2017-09-29/2017-09-29/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170927T130000
DTEND;TZID=Europe/London:20170927T143000
DTSTAMP:20260511T061743
CREATED:20170123T160944Z
LAST-MODIFIED:20170928T142439Z
UID:10016695-1506517200-1506522600@www.st-andrews.ac.uk
SUMMARY:Epistemology Seminar: Dan Healey The Evidence for your Evidence; A Positivist Solution to the Infinite Regress
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/epistemology-seminar-2017-09-27/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170925T150000
DTEND;TZID=Europe/London:20170925T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20170921T104336Z
UID:10016646-1506351600-1506358800@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: L. A. Paul\, 'Logical Parts'\, 2002
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group-2017-09-25/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170925T100000
DTEND;TZID=Europe/London:20170925T120000
DTSTAMP:20260511T061743
CREATED:20170824T145540Z
LAST-MODIFIED:20170928T142333Z
UID:10016754-1506333600-1506340800@www.st-andrews.ac.uk
SUMMARY:Conceptual Engineering Seminar: Introduction and Planning Session
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/conceptual-engineering-seminar-2017-09-25/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170922T140000
DTEND;TZID=Europe/London:20170922T160000
DTSTAMP:20260511T061743
CREATED:20170123T163436Z
LAST-MODIFIED:20170915T131341Z
UID:10016733-1506088800-1506096000@www.st-andrews.ac.uk
SUMMARY:ASG Semantics Seminar: No meeting this week
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/asg-semantics-seminar/
LOCATION:Edgecliffe G03
CATEGORIES:ASG Semantics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170919T120000
DTEND;TZID=Europe/London:20170919T140000
DTSTAMP:20260511T061743
CREATED:20170123T152054Z
LAST-MODIFIED:20170917T132028Z
UID:10016658-1505822400-1505829600@www.st-andrews.ac.uk
SUMMARY:Language and Mind Seminar: Planning Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/language-and-mind-seminar/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170918T150000
DTEND;TZID=Europe/London:20170918T170000
DTSTAMP:20260511T061743
CREATED:20170123T151741Z
LAST-MODIFIED:20170915T125925Z
UID:10016645-1505746800-1505754000@www.st-andrews.ac.uk
SUMMARY:Metaphysics Reading Group: Planning Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-reading-group/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics Reading Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170628T100000
DTEND;TZID=Europe/London:20170628T120000
DTSTAMP:20260511T061743
CREATED:20170123T152546Z
LAST-MODIFIED:20221020T100133Z
UID:10016693-1498644000-1498651200@www.st-andrews.ac.uk
SUMMARY:Arché Logic Group
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/arche-logic-group/2017-06-28/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20170627T150000
DTEND;TZID=Europe/London:20170627T170000
DTSTAMP:20260511T061743
CREATED:20170123T152404Z
LAST-MODIFIED:20221020T100141Z
UID:10016679-1498575600-1498582800@www.st-andrews.ac.uk
SUMMARY:HPLM Seminar
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/hplm-seminar/2017-06-27/
LOCATION:Edgecliffe G03
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20150622
DTEND;VALUE=DATE:20150625
DTSTAMP:20260511T061743
CREATED:20210310T164656Z
LAST-MODIFIED:20210315T141206Z
UID:10017472-1434963600-1435136399@www.st-andrews.ac.uk
SUMMARY:The Philosophical Significance of Conceptual History
DESCRIPTION:The aim of this workshop is to explore the philosophical significance of historical facts about our use of concepts\, such as facts about when and why people started using certain concepts\, or facts about what people have done with those concepts in the past.\nConfirmed participants are: David Braddon-Mitchell (Sydney)\, Herman Cappelen (St Andrews and Oslo)\, Brian Epstein (Tufts)\, Sally Haslanger (MIT)\, Bob Pasnau (Colorado)\, Alejandro Pérez Carballo (U-Mass Amherst)\, David Plunkett (Dartmouth)\, Josh Schechter (Brown) \, Katia Vavova (Mt. Holyoke)\, Steve Yablo (MIT) \nSchedule\nMonday 22nd June\n10:00-11:30 Sally Haslanger (MIT) Title: “Histories of Concepts as Histories of Practices.”\n11:30-11:45. Break\n11:45-13:15. David Braddon-Mitchell (Sydney) Title: Conceptual Change\, Conceptual History and the Vindication of Ethics\n13:15-14:15 Lunch\n14:15-15:45 Herman Cappelen (St Andrews and Oslo) Title: Externalism and Genealogy\n15:45-16:15 Tea/coffee\n16:15-17:45. Bob Pasnau (Colorado) Title: After Certainty\nReply by: Katia Vavova (Mt. Holyoke): Title: Evident Certainties\nTuesday 23rd June\n10:00-11:30 Alejandro Pérez Carballo (U-Mass Amherst): Title: New Boundaries\n11:30-11:45 Break\n11:45-13:15 Brian Epstein (Tufts): Title: Title: The Uses of Genealogy\n13:15-14:30 Lunch\n14:30-16:00 Josh Schechter (Brown) Title: The Rational Significance of Etiological Information\nThis workshop is organised by David Plunkett and Herman Cappelen. For more information\, please send an email to the workshop organisers at arche@st-andrews.ac.uk \n 
URL:https://www.st-andrews.ac.uk/arche/event/the-philosophical-significance-of-conceptual-history/
LOCATION:Edgecliffe G03
CATEGORIES:Workshops
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20140619
DTEND;VALUE=DATE:20140622
DTSTAMP:20260511T061743
CREATED:20210310T121734Z
LAST-MODIFIED:20210315T102024Z
UID:10017463-1403168400-1403341199@www.st-andrews.ac.uk
SUMMARY:Philosophy of Logic
DESCRIPTION:Provisional Programme:\nThursday 19 June \n14.00 Jc Beall (University of Connecticut): The knower as spandrel of truth\nI am a glut theorist who thinks that gluts arise as spandrels — or unintended side-effects — of our transparent truth predicate (our see-through device)\, which we introduced for familiar practical reasons. But is this so for *all* gluts — that all are due to the truth predicate’s introduction into our language? In previous work\, I have backed away from this stronger claim\, maintaining a weaker claim that gluts are due\, one and all\, to ‘semantic notions’. In this paper\, I explore the stronger (and I think enticing) position\, namely\, that all gluts\, one and all\, are due to the truth predicate. In doing so\, I meet some concerns (about symmetry\, simplicity) and possible objections voiced by Toby Meadows about the ’simply semantic’ glut (or\, if you want\, gap) picture.\n15.45 Tea/coffee \n16.15 Greg Restall (University of Melbourne): Modal Definedness\nThe distinction between defined terms and undefined terms provides a metaphysically “light” way to give a semantics for free logic. Singular terms may be undefined\, and if they are undefined\, they are not appropriate substitution instances for inference rules for the quantifiers. Sol Feferman\, in “Definedness” (Erkenntnis\, 1995)\, provides an elegant system for an extensional negative free logic with undefined terms: it is a very natural model for mathematical reasoning in which we allow undefined terms (like 1/0) and we keep track of the behaviour of such terms by talking of when they are defined and when they are not.\nFree logics also see use when it comes to quantified modal logic. It is very tempting to conceive of the domain of quantification as varying from world to world\, that what exists in one world might fail to exist in another. This seems to be a very different motivation for free logics—terms which denote in this world and which do not denote in another are not undefined at that world. They are defined all too well—defined to denote something that fails to exist at that world.\nIn this talk\, I will explain the motivations for these two different approaches to free logic\, and show that a sequent calculus for Feferman’s own system (with a metaphysically ‘light’ interpretation\, that eschews all talk of an outer domain of quantification of non-existent objects) can\, with one small change\, be naturally extended into a modal hypersequent calculus for a quantified modal logic with a non-constant domain. This\, too\, has a metaphysically ‘light’ interpretation. The result is a natural proof-theoretical account of a modal logic with varying domain\, in which the Barcan formula not only fails\, but fails straightforwardly\, in a well motivated way.\nAfter introducing the modal system\, I will consider what this might mean\, about the nature of quantification\, and the role of defining rules in characterising logical constants.\nFriday 20 June\n09.00 Oystein Linnebo (University of Oslo): Indefinite extensibility\nAccording to Russell\, Dummett\, and many others\, various concepts that play an important role in the foundations of mathematics and semantics (such as set\, ordinal\, cardinal\, proposition\, property) are indefinitely extensible. By this they mean\, very roughly\, that whenever we have a “definite totality” of instances of the concept\, we can define a further instance of the concept. This talk will canvass some attempts to provide a precise analysis of the concept of indefinite extensibility and put it to philosophical and mathematical use.\n10.45 Tea/coffee \n11.15 Gabriel Uzquiano (Arché and University of Southern California): On Bernays’ Generalization of Cantor’s Theorem\nCantor’s theorem states that there is no one-to-one correspondence between the members of a set a and the subsets of a. Paul Bernays showed how to encode the claim that there is no one-to-one correspondence between the members of a class A and the subclasses of A by means of a sentence of the language of class theory. Moreover\, he proved his generalization of Cantor’s theorem by means of a diagonal argument: given a one-to-one assignment of subclasses of A to members of A\, he defined a subclass of A\, which\, on pain of contradiction\, is not assigned to any member of A. It follows from Bernays’ observation that if one assigns a member of A to every subclass of A\, then the assignment is not one-one. Unfortunately\, familiar arguments for this claim fail to provide an explicit characterization of two different subclasses of A to which one and the same member of A is assigned by the assignment. George Boolos showed how to specify explicit counterexamples to the claim that a function from the power set of a set a onto the set a is one-one. Similar constructions turn out to be available in the case of classes\, but they are sensitive to the presence of global choice and impredicative class comprehension. We explore some ramifications of this observation for traditional philosophical puzzles raised by the likes of Russell’s paradox of propositions in Appendix B of The Principles of Mathematics and Kaplan’s paradox.
URL:https://www.st-andrews.ac.uk/arche/event/philosophy-of-logic/
LOCATION:Edgecliffe G03
CATEGORIES:Workshops
END:VEVENT
END:VCALENDAR