BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Arche - ECPv6.18.3//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:Arche X-ORIGINAL-URL:/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:20250330T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20251026T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20260329T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20261025T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20270328T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20271031T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20280326T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20281029T010000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;TZID=Europe/London:20261102T093000 DTEND;TZID=Europe/London:20261102T110000 DTSTAMP:20261012T110314Z CREATED:20260831T091131Z LAST-MODIFIED:20261012T110314Z UID:10019743-1793611800-1793617200@www.st-andrews.ac.uk SUMMARY:Medieval Logic Seminar: Marsilius of Inghen\, De Relativis DESCRIPTION:An online seminar URL:/arche/event/medieval-logic-seminar-9/2026-11-02/ CATEGORIES:Medieval Logic Research Group ORGANIZER;CN="Stephen Read":MAILTO:arche@st-andrews.ac.uk END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261102T130000 DTEND;TZID=Europe/London:20261102T150000 DTSTAMP:20261021T150233Z CREATED:20260909T091811Z LAST-MODIFIED:20261021T150233Z UID:10019757-1793624400-1793631600@www.st-andrews.ac.uk SUMMARY:Unity Seminar: WIP Session Alessandro Rossi DESCRIPTION:Title: Possibilist Quantification and Generalised Kripke Semantics \nAbstract: The standard Kripke semantics for predicate modal logic allows for actualist and possibilist interpretations of quantifiers. On an actualist interpretation\, the range of quantifiers is supplied by the domain associated to the world of evaluation. On a possibilist interpretation\, serving as the range of quantifiers is the union of all world domains. On the face of it\, possibilist quantifiers seem to exhibit a higher expressive power since they do not carry any restriction. In particular\, possibilist quantifiers allow us to draw a distinction\, seemingly unavailable with actualist quantifiers\, between what could exist and what merely could exist. However\, Correia (2007) has shown that such difference in expressive power is cancelled when we move to a two-dimensional semantics\, for a language expanded with infinitely many pairs of a certain kind of “rigidity operators’’. The result is secured by a new truth-preserving translation manual initially adumbrated by Fine (1977) and later developed by Forbes (1989).  The extreme fragility of this project is evidenced. For\, there is another distinction to be drawn\, concerning what could not exist. It is argued that\, in a Kripke framework suitably generalised\, both actualists and possibilists can afford to take talk of what could not exist in a non-metaphorical manner. However\, unless the actualist is prepared to license quantification over what could not exist\, their quantifiers are strictly less expressive than possibilist ones. To reach the expressive power conferred to a modal language by possibilist quantifiers\, the actualist must start speaking like a possibilist after all. URL:/arche/event/unity-seminar-27-9/ LOCATION:Edgecliffe G03 CATEGORIES:Unity Seminar END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261102T150000 DTEND;TZID=Europe/London:20261102T170000 DTSTAMP:20261020T145433Z CREATED:20260831T134827Z LAST-MODIFIED:20261020T145433Z UID:10019771-1793631600-1793638800@www.st-andrews.ac.uk SUMMARY:WIKI Seminar: Ethan Lai 'Knowledge Relative to Competence' DESCRIPTION:A less discussed aspect of the problem of logical omniscience is that standard epistemic logic also leads to conceptual omniscience: you know all the conceptual consequences of what you know. A conceptual consequence of what you know is anything that follows from it by a necessary\, a priori\, non-logical link between concepts. For example\, if you know that a knot is a trefoil\, the logic has you knowing that it is chiral (i.e. it cannot be deformed into its mirror image). In general\, since a necessary truth holds at every possible world\, knowledge is closed under conceptual consequence\, not just logical consequence. No real agent knows all of these. This is the problem of conceptual omniscience.\n\nThis problem matters because much of what separates an expert from a novice is conceptual\, not logical. Standard epistemic logic erases this difference. Most responses to omniscience target its logical side: how logical competence limits closure. My aim is to model how conceptual competence limits closure. I do so by extending standard epistemic logic with impossible worlds. Since Hintikka (1975)\, impossible worlds have been used to block closure. But the move is cheap if the modeller adds them just to fit the verdicts the model should explain. To do better\, I show that facts about an agent’s conceptual competence fix which impossible worlds she can rule out\, and that these facts can be established independently of what she knows. I call the resulting model KRC\, for knowledge relative to competence. URL:/arche/event/wiki-seminar-5-9/ LOCATION:Edgecliffe G03 CATEGORIES:WIKI Seminar END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261103T130000 DTEND;TZID=Europe/London:20261103T150000 DTSTAMP:20260914T092442Z CREATED:20260914T092442Z LAST-MODIFIED:20260914T092442Z UID:10019855-1793710800-1793718000@www.st-andrews.ac.uk SUMMARY:Representations of Science reading group DESCRIPTION:Reading Group sessions will take place on: \n15 Sept \n13 Oct \n27 Oct \n10 Nov \n24 Nov \n8 Dec URL:/arche/event/representations-of-science-reading-group/2026-11-03/ LOCATION:Edgecliffe G03 CATEGORIES:Representations of Science reading group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261103T150000 DTEND;TZID=Europe/London:20261103T170000 DTSTAMP:20260918T105353Z CREATED:20260918T105353Z LAST-MODIFIED:20260918T105353Z UID:10019785-1793718000-1793725200@www.st-andrews.ac.uk SUMMARY:FPST Seminar: Eva Kittay (Stony Brook University) - ONLINE DESCRIPTION: URL:/arche/event/fpst-seminar-18-7/ LOCATION:Edgecliffe G03 CATEGORIES:Feminist Philosophy and Social Theory END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261104T150000 DTEND;TZID=Europe/London:20261104T170000 DTSTAMP:20261030T095245Z CREATED:20261025T105054Z LAST-MODIFIED:20261030T095245Z UID:10019813-1793804400-1793811600@www.st-andrews.ac.uk SUMMARY:Metaphysics & Logic Seminar: Greg Restall - 'Will the Real Higher-Order Logic Please Stand Up?' DESCRIPTION:Abstract: In this work-in-progress talk\, I will attempt to clarify some of the issues surrounding second- and higher-order logics. How should we understand the relationship between the proof-theoretic inferentialist presentations of such logics and their model-theoretic truth conditional semantics? I will argue that in an important sense\, the so-called full semantics for second- and higher-order logics is too strong\, and that a wider class of models is not only necessary\, but is  mathematically and philosophically desirable.\n\nThe good news: such a class of models already exists and is well understood. (And no\, it’s not the Henkin semantics.) URL:/arche/event/metaphysics-logic-seminar-22/ LOCATION:Edgecliffe G03 CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261105T100000 DTEND;TZID=Europe/London:20261105T120000 DTSTAMP:20260831T095313Z CREATED:20260831T095313Z LAST-MODIFIED:20260831T095313Z UID:10019827-1793872800-1793880000@www.st-andrews.ac.uk SUMMARY:Special Seminar DESCRIPTION:Ad-hoc seminar bookings URL:/arche/event/special-seminar/2026-11-05/ LOCATION:Edgecliffe G03 CATEGORIES:Super Special Seminar series END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261105T140000 DTEND;TZID=Europe/London:20261105T153000 DTSTAMP:20260831T095429Z CREATED:20260831T095429Z LAST-MODIFIED:20260831T095429Z UID:10019841-1793887200-1793892600@www.st-andrews.ac.uk SUMMARY:ECT Seminar DESCRIPTION: URL:/arche/event/ect-seminar-19/2026-11-05/ LOCATION:Edgecliffe G03 CATEGORIES:Epistemology Seminar END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261130T110000 DTEND;TZID=Europe/London:20261130T170000 DTSTAMP:20260831T092943Z CREATED:20260804T145830Z LAST-MODIFIED:20260831T092943Z UID:10019734-1796036400-1796058000@www.st-andrews.ac.uk SUMMARY:WIKI Workshop DESCRIPTION:Further details TBC URL:/arche/event/wiki-workshop/2026-11-30/ LOCATION:Edgecliffe 104\, University of St ÌÇÐÄlogo\, St ÌÇÐÄlogo\, United Kingdom CATEGORIES:Workshops GEO:56.3416934;-2.7927522 X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Edgecliffe 104 University of St ÌÇÐÄlogo St ÌÇÐÄlogo United Kingdom;X-APPLE-RADIUS=500;X-TITLE=University of St ÌÇÐÄlogo:geo:-2.7927522,56.3416934 END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20261211T093000 DTEND;TZID=Europe/London:20261211T170000 DTSTAMP:20261028T112339Z CREATED:20261028T112339Z LAST-MODIFIED:20261028T112339Z UID:10019913-1796981400-1797008400@www.st-andrews.ac.uk SUMMARY:All Arche day DESCRIPTION:Further particulars TBC \n  URL:/arche/event/all-arche-day/ LOCATION:Edgecliffe G03 CATEGORIES:Workshops END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20270324T093000 DTEND;TZID=Europe/London:20270324T180000 DTSTAMP:20261006T073315Z CREATED:20260804T150121Z LAST-MODIFIED:20261006T073315Z UID:10019735-1805880600-1805911200@www.st-andrews.ac.uk SUMMARY:Arché Workshop - Logic/Liars/Indeterminacy DESCRIPTION:Further details including location TBC \nWorkshop will be held in ARB 220 – Arts Seminar room 5. \nPost workshop reception will held in Edgecliffe G03 from 6pm \n  URL:/arche/event/arche-workshop-logic-liars-indeterminacy/ LOCATION:Arts Seminar 5 CATEGORIES:Workshops END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20270416T090000 DTEND;TZID=Europe/London:20270417T170000 DTSTAMP:20260804T144939Z CREATED:20260804T144939Z LAST-MODIFIED:20260804T144939Z UID:10019733-1807866000-1807981200@www.st-andrews.ac.uk SUMMARY:ECT Spring Workshop DESCRIPTION:Further details TBC URL:/arche/event/ect-spring-workshop-2/ CATEGORIES:Workshops END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20270618T093000 DTEND;TZID=Europe/London:20270618T170000 DTSTAMP:20261027T133046Z CREATED:20261027T133000Z LAST-MODIFIED:20261027T133046Z UID:10019912-1813311000-1813338000@www.st-andrews.ac.uk SUMMARY:Arche Summer Workshop DESCRIPTION:Confirmed speakers include Huw Price & Arche Professorial Fellow\, Amie Thomasson. Further particulars TBC. URL:/arche/event/arche-summer-workshop/ CATEGORIES:Workshops END:VEVENT END:VCALENDAR