BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:/philevents
X-WR-CALDESC:Events for Philosophy events
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;VALUE=DATE:20260430
DTEND;VALUE=DATE:20260502
DTSTAMP:20260611T122704
CREATED:20260415T020851Z
LAST-MODIFIED:20260430T173814Z
UID:10002864-1777507200-1777679999@www.st-andrews.ac.uk
SUMMARY:ECT workshop: Online Communication and Political Epistemology
DESCRIPTION:Co-organised by Brown\, Goldberg and Saul. \nSpeakers: Cepollaro\, Marsili\, Peet\, Popa-Wyatt\, Zakkou. \nFurther details from the arche website.
URL:/philevents/event/ect-workshop-online-communication-and-political-epistemology/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar,Workshops
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260501T110000
DTEND;TZID=Europe/London:20260501T120000
DTSTAMP:20260611T122704
CREATED:20260423T135312Z
LAST-MODIFIED:20260501T135316Z
UID:10002884-1777633200-1777636800@www.st-andrews.ac.uk
SUMMARY:CEPPA/Arché Seminar: Jennifer Saul
DESCRIPTION:We are delighted to invite you to a special joint CEPPA/Arché Seminar to introduce the new Professorial Fellow Jennifer Saul\, who will give a talk about her recent research\, entitled ‘When Norm Violations Come Out of the Shadows’.
URL:/philevents/event/ceppa-arche-seminar-jennifer-saul/
LOCATION:Edgecliffe 104
CATEGORIES:CEPPA Talk
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260501T110000
DTEND;TZID=Europe/London:20260501T140000
DTSTAMP:20260611T122704
CREATED:20260416T020827Z
LAST-MODIFIED:20260501T173814Z
UID:10002875-1777633200-1777644000@www.st-andrews.ac.uk
SUMMARY:Arché/CEPPA Special Seminar: Jennifer Saul “When Norm Violations Come Out of the Shadows”
DESCRIPTION:Prof. Jennifer Saul\, the new Arché/CEPPA Professorial Fellow\, will give a talk entitled “When Norm Violations Come out of the Shadows.” \nVenue: Edgfecliffe 104 \nThere will be lunch provided afterwards.
URL:/philevents/event/arche-ceppa-special-seminar-jennifer-saul-when-norm-violations-come-out-of-the-shadows/
LOCATION:Edgecliffe 104\, University of 58�Թ�\, 58�Թ�\, United Kingdom
CATEGORIES:Plenary session,Workshops
ATTACH;FMTTYPE=image/jpeg:/philevents/wp-content/uploads/2026/04/Jenni-Saul-lqMESu.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260504T093000
DTEND;TZID=Europe/London:20260504T110000
DTSTAMP:20260611T122704
CREATED:20260220T075346Z
LAST-MODIFIED:20260504T175313Z
UID:10002724-1777887000-1777892400@www.st-andrews.ac.uk
SUMMARY:Medieval Logic Seminar: Marsilius of Inghen: Ampliation
DESCRIPTION:
URL:/philevents/event/medieval-logic-seminar-87/
LOCATION:A virtual seminar by Zoom\, The University\, 58�Թ�\, KY16 9L\, United Kingdom
CATEGORIES:Medieval Logic Research Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260504T130000
DTEND;TZID=Europe/London:20260504T150000
DTSTAMP:20260611T122704
CREATED:20260220T075347Z
LAST-MODIFIED:20260401T230842Z
UID:10002725-1777899600-1777906800@www.st-andrews.ac.uk
SUMMARY:Unity Seminar
DESCRIPTION:
URL:/philevents/event/unity-seminar-40/
LOCATION:Edgecliffe G03
CATEGORIES:Unity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260504T130000
DTEND;TZID=Europe/London:20260504T150000
DTSTAMP:20260611T122704
CREATED:20260402T232355Z
LAST-MODIFIED:20260504T175313Z
UID:10002821-1777899600-1777906800@www.st-andrews.ac.uk
SUMMARY:Unity Seminar [Holiday]
DESCRIPTION:Bank Holiday
URL:/philevents/event/unity-seminar-52/
LOCATION:Edgecliffe G03
CATEGORIES:Unity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260504T150000
DTEND;TZID=Europe/London:20260504T170000
DTSTAMP:20260611T122704
CREATED:20260220T075347Z
LAST-MODIFIED:20260402T232356Z
UID:10002726-1777906800-1777914000@www.st-andrews.ac.uk
SUMMARY:WIKI Seminar
DESCRIPTION:
URL:/philevents/event/wiki-seminar-37/
LOCATION:Edgecliffe G03
CATEGORIES:WIKI Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260504T150000
DTEND;TZID=Europe/London:20260504T170000
DTSTAMP:20260611T122704
CREATED:20260403T233852Z
LAST-MODIFIED:20260504T175313Z
UID:10002827-1777906800-1777914000@www.st-andrews.ac.uk
SUMMARY:WIKI: No Seminar
DESCRIPTION:
URL:/philevents/event/wiki-no-seminar/
LOCATION:Edgecliffe G03
CATEGORIES:WIKI Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260505
DTEND;VALUE=DATE:20260507
DTSTAMP:20260611T122704
CREATED:20260318T165048Z
LAST-MODIFIED:20260318T165437Z
UID:10002800-1777939200-1778111999@www.st-andrews.ac.uk
SUMMARY:Care and Indifference in Ancient Philosophy
DESCRIPTION:The conference will investigate the notions of care and indifference in Ancient Philosophy\, broadly construed\, from Plato to post-Hellenistic Philosophical traditions. Papers will address a wide range of topics\, and especially how the notions of care and indifference shaped ethical\, theological\, cosmological\, and political thought in the ancient Greco-Roman world. \nProgramme\n\n\n\n\n5 May\n\n\n\n14.00-14.15\nIntroductions\n\n\n14.15-14.45\nFlora Nelson (Oxford) Caring about the Cicadas: Plato’s Phaedrus 258e6-259d9\n\n\n14.45-15.15\nFrantišek Špinka (Munich) Like Athletes Preparing for a Competition: Aristotle’s Notion of epimeleia and ameleia in the NE\n\n\n15.30-16.00\nCristiana Sessini (Oxford): Divine Justice and Human Evil. How Plato’s God Cares for Individuals and the Universe\n\n\n16.00-16.30\nSimonas Baliukonis (Vilnius) Care as a strategy of homoiōsis theōi: assimilation to the unidentified gods of the Phaedo\n\n\n16.45-17.45\n(Keynote) Shaul Tor (KCL) Aristotle on the most god-loved human being: an open-ended suggestion\n\n\n18.30\nDinner\n\n\n\n6 May\n\n\n\n10.00-10.30\nMatteo Ferrari (Pisa): Ignoring Deities\, Fearing Humans: The Lucianic Play on Divine Presence between Stoicism and Epicureanism\n\n\n10.30-11.00\nFani Goutsiou (Durham): Medea’s Ethical Mistake and Stoic Indifference\n\n\n11.15-12.15\n(Keynote) Frisbee Sheffield (Cambridge) Plato and the Ethics of Care\n\n\n13.30-14.00\nDavid Lepidi (58�Թ�): Caring for the Vegetal World? Aristotle and Theophrastus on Plant Life and Human-Plant Relations\n\n\n14.00-14.30\nJanset Cetinkaya (Nottingham): Aristotle on Maternal Care\n\n\n14.30-14.45\nClosing Remarks\n\n\n\nRegistration\nPlease email sp283@st-andrews.ac.uk by 20 April if you plan to attend\, noting any dietary requirements.
URL:/philevents/event/care-and-indifference-in-ancient-philosophy/
LOCATION:University of 58�Թ�\, School of Classics
CATEGORIES:Conference
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260505T113000
DTEND;TZID=Europe/London:20260505T130000
DTSTAMP:20260611T122704
CREATED:20260317T085348Z
LAST-MODIFIED:20260505T180810Z
UID:10002790-1777980600-1777986000@www.st-andrews.ac.uk
SUMMARY:Philosophy of Language Seminar
DESCRIPTION:
URL:/philevents/event/language-mind-seminar-14/
LOCATION:Edgecliffe G03
CATEGORIES:Language and Mind Seminar,Philosophy of Language
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260505T120000
DTEND;TZID=Europe/London:20260505T140000
DTSTAMP:20260611T122704
CREATED:20260220T075347Z
LAST-MODIFIED:20260316T085401Z
UID:10002727-1777982400-1777989600@www.st-andrews.ac.uk
SUMMARY:Language & Mind Seminar
DESCRIPTION:
URL:/philevents/event/language-mind-seminar-6/
LOCATION:Edgecliffe G03
CATEGORIES:Language and Mind Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260505T150000
DTEND;TZID=Europe/London:20260505T170000
DTSTAMP:20260611T122704
CREATED:20260220T075347Z
LAST-MODIFIED:20260405T235405Z
UID:10002728-1777993200-1778000400@www.st-andrews.ac.uk
SUMMARY:FPST Seminar
DESCRIPTION:
URL:/philevents/event/fpst-seminar-62/
LOCATION:Edgecliffe G03
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260505T150000
DTEND;TZID=Europe/London:20260505T170000
DTSTAMP:20260611T122704
CREATED:20260406T235346Z
LAST-MODIFIED:20260505T180810Z
UID:10002849-1777993200-1778000400@www.st-andrews.ac.uk
SUMMARY:FPST Seminar – Eva Feder Kittay (Online)
DESCRIPTION:
URL:/philevents/event/fpst-seminar-eva-feder-kittay-online/
LOCATION:Edgecliffe G03
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260506T090000
DTEND;TZID=Europe/London:20260506T170000
DTSTAMP:20260611T122704
CREATED:20260205T072625Z
LAST-MODIFIED:20260506T182311Z
UID:10002696-1778058000-1778086800@www.st-andrews.ac.uk
SUMMARY:Imagination Day
DESCRIPTION:A one-day workshop on the philosophy of imagination\, addressing such questions as: What is the epistemic role of imagination? How does it work in our engagement with fiction and in thought experiments? How does it help with planning ahead? How does it relate to inner speech and to other attitudes\, such as belief and desire? \nSponsored by the Arché projects: \nAesthetic Values and the Social Dimensions of Science (DFG Research Grant) \nWhat If… ? Knowing by Imagining (WIKI) (Leverhulme Trust Grant) \nWednesday\, 6 May 2026 @ 9am to 5pm\, Edgecliffe\, The Scores\, Room G03 \nSCHEDULE (Note: All times are in GMT): \n9:00 – [Welcome and coffee] \n9:30-10:20 – Nick Wiltsher (58�Թ�) ‘Fiction Without I-Belief’ \n10:30-11:20 – Petronella Randell (58�Թ�) ‘Imagining the Worst: on the Permissibility of Catastrophising’ \n11:30-12:20 – Justin d’Ambrosio (58�Թ�) ‘Inner Speech: An Attentional View’ \n[Lunch break] \n14:00-14:50 – Mike Stuart (York) ‘Epistemological Consequences of Defining Imagination as a Skill’ \n15:00-15:50 – Alice Murphy (58�Թ�) and William D’Alessandro (William & Mary) ‘Imagination\, Methodology and Ontology’ \n16:00-16:50 – Amy Kind (Claremont McKenna) ‘Imagination\, Fantasy\, and Desire’ \n 
URL:/philevents/event/imagination-day/
LOCATION:Edgecliffe G03
CATEGORIES:Workshops
ATTACH;FMTTYPE=image/jpeg:/philevents/wp-content/uploads/2026/03/4Chair-iPF65g.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260506T150000
DTEND;TZID=Europe/London:20260506T170000
DTSTAMP:20260611T122704
CREATED:20260220T075348Z
LAST-MODIFIED:20260430T173815Z
UID:10002729-1778079600-1778086800@www.st-andrews.ac.uk
SUMMARY:Metaphysics & Logic Seminar
DESCRIPTION:
URL:/philevents/event/metaphysics-logic-seminar-16/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260506T150000
DTEND;TZID=Europe/London:20260506T170000
DTSTAMP:20260611T122704
CREATED:20260501T173814Z
LAST-MODIFIED:20260506T182311Z
UID:10002888-1778079600-1778086800@www.st-andrews.ac.uk
SUMMARY:Metaphysics & Logic Seminar: NO MEETING THIS WEEK
DESCRIPTION:
URL:/philevents/event/metaphysics-logic-seminar-patrick-greenough-flexible-essence-and-flexible-identity/
LOCATION:Edgecliffe 104\, University of 58�Թ�\, 58�Թ�\, United Kingdom
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260507T130000
DTEND;TZID=Europe/London:20260507T143000
DTSTAMP:20260611T122704
CREATED:20260305T084305Z
LAST-MODIFIED:20260414T020907Z
UID:10002770-1778158800-1778164200@www.st-andrews.ac.uk
SUMMARY:ECT Seminar
DESCRIPTION:
URL:/philevents/event/ect-seminar-30/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260507T130000
DTEND;TZID=Europe/London:20260507T143000
DTSTAMP:20260611T122704
CREATED:20260415T020904Z
LAST-MODIFIED:20260507T183814Z
UID:10002865-1778158800-1778164200@www.st-andrews.ac.uk
SUMMARY:ECT Seminar: Alice Murphy and Sanford Goldberg on Scientific Testimony
DESCRIPTION:On testimony and science
URL:/philevents/event/ect-seminar-alice-murphy-and-sanford-goldberg/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260507T133000
DTEND;TZID=Europe/London:20260507T150000
DTSTAMP:20260611T122704
CREATED:20260220T075348Z
LAST-MODIFIED:20260304T083850Z
UID:10002730-1778160600-1778166000@www.st-andrews.ac.uk
SUMMARY:ECT Seminar
DESCRIPTION:
URL:/philevents/event/ect-seminar-23/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T093000
DTEND;TZID=Europe/London:20260511T110000
DTSTAMP:20260611T122704
CREATED:20260220T075359Z
LAST-MODIFIED:20260511T185310Z
UID:10002731-1778491800-1778497200@www.st-andrews.ac.uk
SUMMARY:Medieval Logic Seminar: Marsilius of Inghen: Appellation
DESCRIPTION:
URL:/philevents/event/medieval-logic-seminar-88/
LOCATION:A virtual seminar by Zoom\, The University\, 58�Թ�\, KY16 9L\, United Kingdom
CATEGORIES:Medieval Logic Research Group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T130000
DTEND;TZID=Europe/London:20260511T150000
DTSTAMP:20260611T122704
CREATED:20260220T075400Z
LAST-MODIFIED:20260401T230858Z
UID:10002732-1778504400-1778511600@www.st-andrews.ac.uk
SUMMARY:Unity Seminar
DESCRIPTION:
URL:/philevents/event/unity-seminar-41/
LOCATION:Edgecliffe G03
CATEGORIES:Unity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T130000
DTEND;TZID=Europe/London:20260511T150000
DTSTAMP:20260611T122704
CREATED:20260402T232408Z
LAST-MODIFIED:20260511T185310Z
UID:10002822-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:/philevents/event/unity-seminar-53/
LOCATION:Edgecliffe G03
CATEGORIES:Unity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T150000
DTEND;TZID=Europe/London:20260511T170000
DTSTAMP:20260611T122704
CREATED:20260220T075400Z
LAST-MODIFIED:20260402T232409Z
UID:10002733-1778511600-1778518800@www.st-andrews.ac.uk
SUMMARY:WIKI Seminar
DESCRIPTION:
URL:/philevents/event/wiki-seminar-38/
LOCATION:Edgecliffe G03
CATEGORIES:WIKI Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260511T150000
DTEND;TZID=Europe/London:20260511T170000
DTSTAMP:20260611T122704
CREATED:20260403T233905Z
LAST-MODIFIED:20260511T185310Z
UID:10002828-1778511600-1778518800@www.st-andrews.ac.uk
SUMMARY:WIKI: No Seminar
DESCRIPTION:
URL:/philevents/event/wiki-no-seminar-2/
LOCATION:Edgecliffe G03
CATEGORIES:WIKI Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T113000
DTEND;TZID=Europe/London:20260512T130000
DTSTAMP:20260611T122704
CREATED:20260317T085401Z
LAST-MODIFIED:20260512T185311Z
UID:10002791-1778585400-1778590800@www.st-andrews.ac.uk
SUMMARY:Philosophy of Language Seminar
DESCRIPTION:
URL:/philevents/event/language-mind-seminar-15/
LOCATION:Edgecliffe G03
CATEGORIES:Language and Mind Seminar,Philosophy of Language
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T120000
DTEND;TZID=Europe/London:20260512T140000
DTSTAMP:20260611T122704
CREATED:20260220T075400Z
LAST-MODIFIED:20260316T085413Z
UID:10002734-1778587200-1778594400@www.st-andrews.ac.uk
SUMMARY:Language & Mind Seminar
DESCRIPTION:
URL:/philevents/event/language-mind-seminar-7/
LOCATION:Edgecliffe G03
CATEGORIES:Language and Mind Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T150000
DTEND;TZID=Europe/London:20260512T170000
DTSTAMP:20260611T122704
CREATED:20260220T075400Z
LAST-MODIFIED:20260405T235417Z
UID:10002735-1778598000-1778605200@www.st-andrews.ac.uk
SUMMARY:FPST Seminar
DESCRIPTION:
URL:/philevents/event/fpst-seminar-63/
LOCATION:Edgecliffe G03
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260512T150000
DTEND;TZID=Europe/London:20260512T170000
DTSTAMP:20260611T122704
CREATED:20260406T235358Z
LAST-MODIFIED:20260512T185311Z
UID:10002850-1778598000-1778605200@www.st-andrews.ac.uk
SUMMARY:FPST Seminar – Jen Ng (In person)
DESCRIPTION:
URL:/philevents/event/fpst-seminar-jen-ng-in-person/
LOCATION:Edgecliffe G03
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260513T150000
DTEND;TZID=Europe/London:20260513T170000
DTSTAMP:20260611T122704
CREATED:20260220T075400Z
LAST-MODIFIED:20260503T175321Z
UID:10002736-1778684400-1778691600@www.st-andrews.ac.uk
SUMMARY:Metaphysics & Logic Seminar
DESCRIPTION:
URL:/philevents/event/metaphysics-logic-seminar-17/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20260513T150000
DTEND;TZID=Europe/London:20260513T170000
DTSTAMP:20260611T122704
CREATED:20260504T175326Z
LAST-MODIFIED:20260513T190825Z
UID:10002889-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:/philevents/event/metaphysics-logic-seminar-greg-restall-the-logic-of-paradox-as-a-substructural-logic/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
END:VCALENDAR