BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Philosophy events - ECPv6.16.5.1//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:Philosophy events 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: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:20240403T150000 DTEND;TZID=Europe/London:20240403T170000 DTSTAMP:20240327T005152Z CREATED:20240327T005152Z LAST-MODIFIED:20240327T005152Z UID:10001981-1712156400-1712163600@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar DESCRIPTION: URL:/philevents/event/metaphysics-and-logic-seminar-17/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240403T150000 DTEND;TZID=Europe/London:20240403T170000 DTSTAMP:20240403T012824Z CREATED:20240328T004745Z LAST-MODIFIED:20240403T012824Z UID:10001995-1712156400-1712163600@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar: Sophie Nagler (University of 精东传媒 and University of Amsterdam) [pre-read discussion] DESCRIPTION:This will be a pre-read discussion. To obtain a copy of the discussed paper\, email the speaker via sen1@st-andrews.ac.uk. \nWe ask participants to read the discussion paper ahead of the session and to prepare questions. URL:/philevents/event/metaphysics-and-logic-seminar-sophie-nagler-university-of-st-andrews-and-university-of-amsterdam/ LOCATION:Edgecliffe G03 and via MS Teams CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240410T150000 DTEND;TZID=Europe/London:20240410T170000 DTSTAMP:20240327T005153Z CREATED:20240327T005153Z LAST-MODIFIED:20240327T005153Z UID:10001985-1712761200-1712768400@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar DESCRIPTION: URL:/philevents/event/metaphysics-and-logic-seminar-18/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240410T150000 DTEND;TZID=Europe/London:20240410T170000 DTSTAMP:20240410T015257Z CREATED:20240328T004745Z LAST-MODIFIED:20240410T015257Z UID:10001996-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:/philevents/event/metaphysics-and-logic-seminar-francesca-poggiolesi-centre-national-de-la-recherche-scientifique/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20240411 DTEND;VALUE=DATE:20240414 DTSTAMP:20240411T015453Z CREATED:20231109T140611Z LAST-MODIFIED:20240411T015453Z UID:10001787-1712793600-1713052799@www.st-andrews.ac.uk SUMMARY:Workshop: Proofs\, Rules\, and Meanings DESCRIPTION:The workshop 鈥楶roofs\, Rules\, and Meanings鈥櫬爄s set to take place at the University of 精东传媒 (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 (精东传媒) \n10:50-11:50 鈥 鈥淢eaning as Use\, Use as Meaning\,鈥 Sophie Nagler (精东传媒/ILLC Amsterdam) \n11:55-12:35 鈥 鈥淭hree 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 鈥 鈥淒ummett\, Hacking\, and Circularity in Logical Semantics\,鈥 Viviane Fairbank (精东传媒/Stirling) \n14:45-15:25 鈥 鈥淪peech Acts at the Dialogical Roots of Deduction\,鈥 Catarina Dutilh Novaes (VU Amsterdam/精东传媒) \n15:45-17:15 鈥 鈥淟ogical 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 鈥 鈥淧roof-Theoretic Validity Based on Elimination Rules\,鈥 Peter Schroeder-Heister (T眉bingen) \n10:50-11:50 鈥 鈥淪emantic Pollution and the Meaning of Connectives\,鈥 Robin Martinot (Utrecht) \n11:55-12:35 鈥 鈥溾楶roof 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 精东传媒 \n14:45-15:25 鈥 鈥淎n Ecumenical View of Proof-Theoretic Semantics\,鈥 Elaine Pimentel (UCL) \n15:40-16:40 鈥 鈥淏ilateral 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 (精东传媒) \n18:00 鈥 post-workshop drinks (open to all) \n\nAccessibility Information \nThe main venue (School V\, United College\, 精东传媒) 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 精东传媒 Metaphysics and Logic Research Group\, and the 精东传媒 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:/philevents/event/workshop-proofs-rules-and-meanings/ LOCATION:School V and via MS Teams\, United College\, St Salvator's Quad\, 精东传媒\, KY16 9AL\, United Kingdom CATEGORIES:Medieval Logic Research Group,Metaphysics and Logic group,Workshops ATTACH;FMTTYPE=image/jpeg:/philevents/wp-content/uploads/2023/11/branchy-cropped-1-QFF2n1.tmp_.jpg END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240417T150000 DTEND;TZID=Europe/London:20240417T170000 DTSTAMP:20240327T005207Z CREATED:20240327T005207Z LAST-MODIFIED:20240327T005207Z UID:10001989-1713366000-1713373200@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar DESCRIPTION: URL:/philevents/event/metaphysics-and-logic-seminar-19/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240417T150000 DTEND;TZID=Europe/London:20240417T170000 DTSTAMP:20240417T023030Z CREATED:20240328T004758Z LAST-MODIFIED:20240417T023030Z UID:10001997-1713366000-1713373200@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar: NO MEETING DESCRIPTION:No M&L meeting because of a concurrent School Council meeting. URL:/philevents/event/metaphysics-and-logic-seminar-21/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240424T150000 DTEND;TZID=Europe/London:20240424T170000 DTSTAMP:20240327T005207Z CREATED:20240327T005207Z LAST-MODIFIED:20240327T005207Z UID:10001993-1713970800-1713978000@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar DESCRIPTION: URL:/philevents/event/metaphysics-and-logic-seminar-20/ CATEGORIES:Metaphysics and Logic group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20240424T150000 DTEND;TZID=Europe/London:20240424T170000 DTSTAMP:20240424T035441Z CREATED:20240328T004824Z LAST-MODIFIED:20240424T035441Z UID:10001998-1713970800-1713978000@www.st-andrews.ac.uk SUMMARY:Metaphysics and Logic Seminar: Ayb眉ke 脰zg眉n (University of Amsterdam) DESCRIPTION:Title: Beliefs based on conflicting and uncertain evidence: connecting Dempster-Shafer theory and the topology of evidence \nAbstract:\nOne problem to solve in the context of information fusion\, decision-making\, and other artificial intelligence challenges is to compute justified beliefs based on evidence. In real-life examples\, this evidence may be inconsistent\, incomplete\, or uncertain\, making the problem of evidence fusion highly non-trivial. In this talk\, I will present a new model for measuring degrees of beliefs based on possibly inconsistent\, incomplete\, and uncertain evidence\, by combining tools from Dempster-Shafer Theory and Topological Models of Evidence. Our belief model is more general than the aforementioned approaches in two important ways: (1) it can reproduce them when appropriate constraints are imposed\, and\, more notably\, (2) it is flexible enough to compute beliefs according to various standards that represent agents鈥 evidential demands. The latter novelty allows to compute an agent鈥檚 (possibly) distinct degrees of belief\, based on the same evidence\, in situations when\, e.g\, the agent prioritizes avoiding false negatives and when it prioritizes avoiding false positives. Finally\, I will discuss further research directions and philosophical loose ends\, time permitting\, introduce a logic for comparing strengths of evidence and belief. \nThis talk is joint work between the speaker (Ayb眉ke 脰zg眉n)\, Daira Pinto Prieto and Ronald de Haan\, and is based on the underlying topological formalism developed in collaboration with Alexandru Baltag\, Nick Bezhanishvili\, and Sonja Smets. \nThe speaker notes that 鈥淭he talk will not assume any background in Dempster-Shafer theory or topological models for evidence.鈥 And that 鈥淸she] will focus on the motivation and overall structure of the proposed framework rather than the technical details.鈥 URL:/philevents/event/metaphysics-and-logic-seminar-aybuke-ozgun-university-of-amsterdam/ LOCATION:Edgecliffe G03 and via MS Teams CATEGORIES:Metaphysics and Logic group END:VEVENT END:VCALENDAR