BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Arche - ECPv6.16.2//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: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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T093000
DTEND;TZID=Europe/London:20260511T110000
DTSTAMP:20260515T070125
CREATED:20260505T153017Z
LAST-MODIFIED:20260505T153017Z
UID:10019605-1778491800-1778497200@www.st-andrews.ac.uk
SUMMARY:Medieval Logic Seminar: Marsilius of Inghen: Appellation
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/medieval-logic-seminar-8-2-2/2026-05-11/
LOCATION:A virtual seminar by Zoom\, The University\, St Andrews\, KY16 9L\, United Kingdom
CATEGORIES:Medieval Logic Research Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T130000
DTEND;TZID=Europe/London:20260511T150000
DTSTAMP:20260515T070125
CREATED:20260402T132300Z
LAST-MODIFIED:20260403T084954Z
UID:10019620-1778504400-1778511600@www.st-andrews.ac.uk
SUMMARY:Unity Seminar [Talk: Tahko]
DESCRIPTION:Invited Speaker: Tahko (in-person) “Natural Kind Fundamentalism” \nABSTRACT: This paper defends Natural Kind Fundamentalism (NKF)\, the view that the ontological category of natural kind is fundamental. I develop a primitivist account of categorial fundamentality based on the Complete Categorial Basis (CCB) criterion\, which requires that fundamental categories form a complete and minimal system irreducible to other categories through ontological dependence relations. I argue against bundle-theoretic reductions and in favour of the view that natural kinds are substantial universals serving as principles of unity for property clusters. This framework distinguishes between the metaphysical ‘why’ question (answered by substantial universals as unifiers) and the empirical ‘how’ question (concerning specific unification mechanisms). I demonstrate that natural kinds and properties exhibit mutual but asymmetric dependence: properties depend generically on kinds for instantiation\, while kinds depend rigidly on their essential properties. The resulting formal ontological structure satisfies the CCB criterion and explains why certain property clusters are non-arbitrary without reducing kinds to properties or vice versa.
URL:https://www.st-andrews.ac.uk/arche/event/unity-seminar-26-6/
LOCATION:Edgecliffe G03
CATEGORIES:Unity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T150000
DTEND;TZID=Europe/London:20260511T170000
DTSTAMP:20260515T070125
CREATED:20260403T154619Z
LAST-MODIFIED:20260403T154619Z
UID:10019635-1778511600-1778518800@www.st-andrews.ac.uk
SUMMARY:WIKI: No Seminar
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/wiki-seminar-4-6/
LOCATION:Edgecliffe G03
CATEGORIES:WIKI Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T113000
DTEND;TZID=Europe/London:20260512T130000
DTSTAMP:20260515T070125
CREATED:20260219T100730Z
LAST-MODIFIED:20260325T142433Z
UID:10019713-1778585400-1778590800@www.st-andrews.ac.uk
SUMMARY:Philosophy of Language Seminar
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/language-mind-seminar/2026-05-12/
LOCATION:Edgecliffe G03
CATEGORIES:Philosophy of Language
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T150000
DTEND;TZID=Europe/London:20260512T170000
DTSTAMP:20260515T070125
CREATED:20260406T102228Z
LAST-MODIFIED:20260406T102229Z
UID:10019665-1778598000-1778605200@www.st-andrews.ac.uk
SUMMARY:FPST Seminar - Jen Ng (In person)
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/fpst-seminar-17-6/
LOCATION:Edgecliffe G03
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260513T150000
DTEND;TZID=Europe/London:20260513T170000
DTSTAMP:20260515T070125
CREATED:20260504T115649Z
LAST-MODIFIED:20260504T115649Z
UID:10019680-1778684400-1778691600@www.st-andrews.ac.uk
SUMMARY:Metaphysics & Logic Seminar: Greg Restall\, "The Logic of Paradox as a Substructural Logic"
DESCRIPTION:Graham Priest’s simple three-valued logic LP has many curious properties. It has the same valid formulas as classical logic\, but differs from classical logic when it comes to valid sequents. The valid sequents do not uniquely characterise the logic: it is possible to have more than one different LP-“negation”\, each of which satisfies all the LP-requirements\, without being equivalent. (The situation is not unlike modal operators in your favoured modal logic. A modal logic like S5 does not uniquely determine the meaning of the modal operators. The same goes for LP when characterised in terms of its consequence relation.)\n\n\n\nOne consequence of this fact is that extant proof-first characterisations of LP are unwieldy. In some systems\, connectives are given rules featuring negation and rules without; in others\, formulas occur positively or negatively signed\, and in others\, sequents have three positions in which formulas can occur instead of two. This makes relating LP to familiar logics on a proof-first basis difficult. \nThe simple three-valued logic ST (strict-tolerant logic) also has many curious properties. It has the same valid formulas and valid sequents as classical logic\, but differs from classical logic at the level of meta-inferential validity (rules obtaining between sequents). In ST\, the Cut rule is not generally valid: from A ⇒ B and B ⇒ C\, it need not follow that A ⇒ C. Understanding the distinctive behaviour of ST on an inferential level involves considering not only valid formulas and valid inferences but also valid meta-inferences. However\, keeping track of this ever-growing tower of consequence relations is also difficult. \nIn this talk\, I aim to address both of these issues in one go. I will exploit the relationship between LP and ST\, and some prior work on mildly bilateral treatments of natural deduction to provide a novel natural deduction proof system for both LP and ST that has the following features: \n\nEach connective rule is a standard natural deduction rule\, familiar from Gentzen.\nEach connective is uniquely characterised by rules governing it.\nThe difference between LP and ST on the one hand\, and classical logic on the other\, is the addition of a purely structural rule.\nThe relationship between the valid formulas\, the valid sequents\, and the valid meta-sequents in each of the logics in question (LP\, ST and classical logic) is uniquely and systematically determined by the rules governing the construction of proofs in the underlying calculus.\n\nThe aim of this exercise is not is to not only get a better understanding the breadth of the range of options for inferential presentations of logic LP and ST\, but to also deepen our understanding of the relationship between natural deduction and the sequent calculus (and meta-inferential relations above the level of the sequent)\, and the distinctive role of structural rules from each of these perspectives.
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-logic-seminar-6/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260514T130000
DTEND;TZID=Europe/London:20260514T143000
DTSTAMP:20260515T070125
CREATED:20260414T155740Z
LAST-MODIFIED:20260414T155805Z
UID:10019699-1778763600-1778769000@www.st-andrews.ac.uk
SUMMARY:ECT Seminar: Lilith Mace (Glasgow)
DESCRIPTION:Title TBA
URL:https://www.st-andrews.ac.uk/arche/event/ect-seminar-12/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
END:VCALENDAR