BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Arche - ECPv6.17.4.1//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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240409T120000
DTEND;TZID=Europe/London:20240409T140000
DTSTAMP:20240407T210559Z
CREATED:20240407T210408Z
LAST-MODIFIED:20240407T210559Z
UID:10018919-1712664000-1712671200@www.st-andrews.ac.uk
SUMMARY:Language and Mind seminar: Organisational Meeting
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/language-and-mind-seminar-26/
LOCATION:Edgecliffe G03 and via MS Teams
CATEGORIES:Language and Mind Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240409T150000
DTEND;TZID=Europe/London:20240409T170000
DTSTAMP:20240408T101818Z
CREATED:20240408T101817Z
LAST-MODIFIED:20240408T101818Z
UID:10018985-1712674800-1712682000@www.st-andrews.ac.uk
SUMMARY:FPST Seminar - Dr Jemima Repo (Newcastle)
DESCRIPTION:April 9\, 3pm-5pm\, St Salvator’s Quad\, School II \nThe Lecture will be followed by a wine reception in Edgecliffe. \nTitle: Commodification and the Economics of Feminist Activism \nAbstract: The resurgence of feminist activism in recent years has been accompanied by the emergence of feminist commodities\, some by small feminist businesses\, others mass-marketed by chains\, some sold purely for profit\, others attached to donations to feminist and other social justice causes. This entails two shifts in feminist activism: first\, the increasing reliance on charitable giving through commodity consumption as a means of feminist political action and second\, the transfer of the work of feminist activism from movements to enterprises. This paper examines the implications of such feminist practices by juxtaposing them with past instances of feminist activism engaged with the commodities. Selling things has been a part of funding feminist activism since the women’s suffrage movement. During the second wave\, feminists likewise had to make various compromises or take political risks in order to secure funding for activism. I examine the parallels between contemporary and past economic modes of feminist activism\, and in so doing analyse how the intensified turn to commodification and the enterprise form change the politics of feminism itself. \nJoint event with the St Andrews Institute for Gender Studies. For more info go here: https://staigs.wp.st-andrews.ac.uk/event/second-annual-st-andrews-institute-for-gender-studies-lecture/
URL:https://www.st-andrews.ac.uk/arche/event/fpst-seminar-12-2/
CATEGORIES:Feminist Philosophy and Social Theory
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240410T150000
DTEND;TZID=Europe/London:20240410T170000
DTSTAMP:20240328T142206Z
CREATED:20240327T150922Z
LAST-MODIFIED:20240328T142206Z
UID:10018853-1712761200-1712768400@www.st-andrews.ac.uk
SUMMARY:Metaphysics and Logic Seminar: Francesca Poggiolesi (Centre National de la Recherche Scientifique)
DESCRIPTION:Title: Explanations in logic\n\nAbstract: To explain phenomena in the world is a central human activity and one of the main goals of rational inquiry. There are several types of explanation: one can explain by drawing an analogy\, as one can explain by dwelling on the causes (e.g. see Woodward (2004)). Amongst these different kinds of explanation\, in the last decade philosophers have become receptive to those explanations which explain by providing the reasons why a statement is true; these explanations are often called conceptual explanations (e.g. see Betti (2010)\, Huneman (2018)). The main aim of the paper is  to propose a logical account of conceptual explanations. We will do so by using the resources of proof theory\, in particular the sequent calculus. The results we provide not only shed light on conceptual explanations themselves\, but also on the role that logic and logical tools might play in the burgeoning field of inquiry concerning explanations.
URL:https://www.st-andrews.ac.uk/arche/event/metaphysics-and-logic-seminar-19-3/
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240411
DTEND;VALUE=DATE:20240414
DTSTAMP:20241009T130506Z
CREATED:20231030T204346Z
LAST-MODIFIED:20241009T130506Z
UID:10018750-1712826000-1712998799@www.st-andrews.ac.uk
SUMMARY:Workshop: Proofs\, Rules\, and Meanings
DESCRIPTION:The workshop ‘Proofs\, Rules\, and Meanings’ is set to take place at the University of St Andrews (School V\, United College\, and livestreamed via Microsoft Teams) on 11 and 12 April 2024. It explores the relationship between proofs\, rules\, and meanings through the lens of proof-theoretic semantics. \n \nThis workshop features: \n\nthe contemporary logical and philosophical dimensions of proof-theoretic semantics;\nits historical roots and precursors; and\nits fruitful applications in philosophy\, linguistics\, computer science\, mathematics\, and beyond.\n\n\nRegistration \nThis is a hybrid workshop\, and there are no registration fees. Registration is now closed; if you would like to attend the workshop online\, please email proofs@st-andrews.ac.uk. \n\n\nAbstracts \nFor titles and abstracts\, see here. The schedule is below. \n\n\n\nSchedule  \n\n\nThursday\, 11th April 2024  \n09:30-10:00 – registration\, refreshments\, and welcome \n10:00-10:40 – “λμ: Relating Constructive\, Classical and Substructural Logics\,” Greg Restall (St Andrews) \n10:50-11:50 – “Meaning as Use\, Use as Meaning\,” Sophie Nagler (St Andrews/ILLC Amsterdam) \n11:55-12:35 – “Three Kinds of Logical Expressivism\,” Luca Incurvati (ILLC Amsterdam) \n12:35-13:35 – catered offline lunch (open to all attendees) \n\n\n13:40-14:40 – “Dummett\, Hacking\, and Circularity in Logical Semantics\,” Viviane Fairbank (St Andrews/Stirling) \n14:45-15:25 – “Speech Acts at the Dialogical Roots of Deduction\,” Catarina Dutilh Novaes (VU Amsterdam/St Andrews) \n15:45-17:15 – “Logical Metainferentialism” (keynote)\, Bogdan Dicher (Witwatersrand) \n18:30-21:00 – conference dinner at The Bothy (speakers only) \n\n\n  \nFriday\, 12th April 2024 \nfrom 09:30 – refreshments \n10:00-10:40 – “Proof-Theoretic Validity Based on Elimination Rules\,” Peter Schroeder-Heister (Tübingen) \n10:50-11:50 – “Semantic Pollution and the Meaning of Connectives\,” Robin Martinot (Utrecht) \n11:55-12:35 – “‘Proof Theory’ in Medieval Logic\,” Sara Uckelman (Durham) \n12:35-13:35 – catered online lunch (open to all attendees) \n\n\n13:40-14:40 – optional walking tour of St Andrews \n14:45-15:25 – “An Ecumenical View of Proof-Theoretic Semantics\,” Elaine Pimentel (UCL) \n15:40-16:40 – “Bilateral Derivability: How to Implement (Constructive) Notions of Proof and Refutation in a Sequent Calculus\,” Sara Ayhan (Bochum) \n\n\n16:45-17:15 – plenary discussion: Proofs\, rules\, and meanings – quo vaditis? Chair: Stephen Read (St Andrews) \n18:00 – post-workshop drinks (open to all) \n\nAccessibility Information \nThe main venue (School V\, United College\, St Andrews) provides level access\, gender-neutral toilets and a hearing loop. For more information\, see the AccessAble guide and the room details page. The main door is access controlled\, and we will see to having volunteers open the door as needed. \nThere will be a breakout and coffee room\, dedicated as a quiet room\, across the corridor from the main venue. \n\nThe lunch room is the Stewart Room in Younger Hall. This is a two minute walk from the main venue and also has level access via an elevator. For more details\, see the AccessAble guide and the room details page. \nThe Teams call will be enabled for live captions. Online participant video will be visible to offline attendees at all times via an external monitor. \nWe are providing optional name badges\, on which people may also include their pronouns. \n\n\n\nStudent Travel Awards \nThe Association of Symbolic Logic (ASL) is offering (limited) student travel awards to attend this ASL-sponsored workshop. The ASL strongly encourages applications from women and members of minority groups. Applicants must be student members of the ASL. Applications must be received by 10th January 2024. For more details\, and to apply\, see: https://aslonline.org/meetings/student-travel-awards/. \nThe Analysis Trust is also offering (limited) student bursaries\, covering up to 50% of the full cost of accommodation and subsistence. Postgraduate students and under-employed recent postgraduates are eligable to apply. Travel costs are not covered by this bursary. Applications must be received by 10th February 2024\, and can be made as part of the general registration process. \n\nPartners \nThe workshop is organised in partnership with the St Andrews Metaphysics and Logic Research Group\, and the St Andrews Medieval Logic Research Group. It is funded by the Arché Research Centre\, the Scots Philosophical Association\, the British Logic Colloquium\, the Association for Symbolic Logic (ASL)\, and the Analysis Trust. \nThis event is affiliated with the PTS Network. Participants can join for updates on activities on Proof-Theoretic Semantics here. \n\nBackground \nProof-theoretic semantics is a research programme that aims to determine the meaning of linguistic expressions by analysing their inferential use. It was inspired by general proof theory\, the logical research programme that led to the development of the sequent calculus and natural deduction systems. Proof-theoretic semantics was subsequently given its name by Peter Schroeder-Heister (one of our speakers) in 1987. Since then\, it has become a vibrant research field in philosophical\, mathematical\, computational and linguistic logic. \n\nContact \nIf you have any questions\, get in touch via proofs@st-andrews.ac.uk.
URL:https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/
LOCATION:School V and via MS Teams\, United College\, St Salvator's Quad\, St Andrews\, KY16 9AL\, United Kingdom
CATEGORIES:Medieval Logic Research Group,Metaphysics and Logic group,Workshops
ATTACH;FMTTYPE=image/jpeg:https://www.st-andrews.ac.uk/arche/wp-content/uploads/2023/10/branchy-cropped-1.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240411T100000
DTEND;TZID=Europe/London:20240411T120000
DTSTAMP:20240521T093518Z
CREATED:20240326T160125Z
LAST-MODIFIED:20240521T093518Z
UID:10019051-1712829600-1712836800@www.st-andrews.ac.uk
SUMMARY:Plenary Seminar
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/plenary-seminar-3/2024-04-11/
CATEGORIES:Plenary session
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240411T130000
DTEND;TZID=Europe/London:20240411T143000
DTSTAMP:20240320T133545Z
CREATED:20240320T133544Z
LAST-MODIFIED:20240320T133545Z
UID:10018773-1712840400-1712845800@www.st-andrews.ac.uk
SUMMARY:Epistemology Seminar: CANCELLED
DESCRIPTION:Cancelled due to conflicting event – Workshop: Proofs\, Rules\, and Meanings
URL:https://www.st-andrews.ac.uk/arche/event/epistemology-seminar-7-9/
LOCATION:Edgecliffe G03
CATEGORIES:Epistemology Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240411T150000
DTEND;TZID=Europe/London:20240411T170000
DTSTAMP:20240320T134840Z
CREATED:20240320T134812Z
LAST-MODIFIED:20240320T134840Z
UID:10018771-1712847600-1712854800@www.st-andrews.ac.uk
SUMMARY:Unity: No Seminar
DESCRIPTION:
URL:https://www.st-andrews.ac.uk/arche/event/no-seminar/
CATEGORIES:Unity Seminar
END:VEVENT
END:VCALENDAR