{"id":10687,"date":"2023-11-09T14:06:11","date_gmt":"2023-11-09T14:06:11","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/workshop-proofs-rules-and-meanings\/"},"modified":"2024-04-11T02:54:53","modified_gmt":"2024-04-11T01:54:53","slug":"workshop-proofs-rules-and-meanings","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/workshop-proofs-rules-and-meanings\/","title":{"rendered":"Workshop: Proofs, Rules, and Meanings"},"content":{"rendered":"

The workshop ‘<\/span>Proofs, Rules, and Meanings’<\/span><\/strong>\u00a0is set to take place at the University of 58勛圖 (School V, United College<\/a>, and livestreamed via Microsoft Teams<\/a>) on 11 and 12 April 2024<\/strong><\/span>. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.<\/p>\n

\"event<\/p>\n

This workshop features:<\/p>\n

    \n
  1. the contemporary logical and philosophical dimensions <\/span>of proof-theoretic semantics;<\/li>\n
  2. its historical roots and precursors<\/span>; and<\/li>\n
  3. its fruitful applications <\/span>in philosophy, linguistics, computer science, mathematics, and beyond.<\/li>\n<\/ol>\n
    \n

    Registration<\/strong><\/span><\/p>\n

    This 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<\/a>.<\/p>\n

    \n
    \n

    Abstracts<\/span><\/b><\/span><\/p>\n

    For titles and abstracts, see here<\/a>. The schedule is below.<\/p>\n<\/div>\n

    \n
    \n

    Schedule<\/span><\/b>\u00a0<\/span><\/p>\n<\/div>\n

    \n

    Thursday, 11th April 2024\u00a0<\/span><\/p>\n

    09:30-10:00 \u2013 registration, refreshments, and welcome<\/p>\n

    10:00-10:40 \u2013 “\u03bb\u03bc: Relating Constructive, Classical and Substructural Logics,” Greg Restall<\/a> (58勛圖)<\/p>\n

    10:50-11:50 \u2013 “Meaning as Use, Use as Meaning,” Sophie Nagler<\/a> (58勛圖\/ILLC Amsterdam)<\/p>\n

    11:55-12:35 \u2013 “Three Kinds of Logical Expressivism,” Luca Incurvati<\/a> (ILLC Amsterdam)<\/p>\n

    12:35-13:35 \u2013 catered offline lunch (open to all attendees)<\/p>\n<\/div>\n

    \n

    13:40-14:40 \u2013 “Dummett, Hacking, and Circularity in Logical Semantics,” Viviane Fairbank<\/a> (58勛圖\/Stirling)<\/p>\n

    14:45-15:25 \u2013 “Speech Acts at the Dialogical Roots of Deduction,” Catarina Dutilh Novaes<\/a> (VU Amsterdam\/58勛圖)<\/p>\n

    15:45-17:15 \u2013 “Logical Metainferentialism” (keynote), Bogdan Dicher<\/a> (Witwatersrand)<\/p>\n

    18:30-21:00 \u2013 conference dinner at The Bothy<\/a> (speakers only)<\/p>\n<\/div>\n

    \n

     <\/p>\n

    Friday, 12th April 2024<\/span><\/p>\n

    from 09:30 \u2013 refreshments<\/p>\n

    10:00-10:40 \u2013 “Proof-Theoretic Validity Based on Elimination Rules,” Peter Schroeder-Heister<\/a> (T\u00fcbingen)<\/p>\n

    10:50-11:50 \u2013 “Semantic Pollution and the Meaning of Connectives,” Robin Martinot<\/a> (Utrecht)<\/p>\n

    11:55-12:35 \u2013 “\u2018Proof Theory\u2019 in Medieval Logic,” Sara Uckelman<\/a> (Durham)<\/p>\n

    12:35-13:35 \u2013 catered online lunch (open to all attendees)<\/p>\n<\/div>\n

    \n

    13:40-14:40 \u2013 optional walking tour of 58勛圖<\/p>\n

    14:45-15:25 \u2013 “An Ecumenical View of Proof-Theoretic Semantics,” Elaine Pimentel<\/a> (UCL)<\/p>\n

    15:40-16:40 \u2013 “Bilateral Derivability: How to Implement (Constructive) Notions of Proof and Refutation in a Sequent Calculus,” Sara Ayhan<\/a> (Bochum)<\/p>\n<\/div>\n

    \n

    16:45-17:15 \u2013 plenary discussion: Proofs, rules, and meanings \u2013 quo vaditis? <\/i>Chair: Stephen Read<\/a> (58勛圖)<\/p>\n

    18:00 \u2013 post-workshop drinks (open to all)<\/p>\n

    \n

    Accessibility<\/span> Information<\/span><\/strong><\/p>\n

    The main venue (School V, United College, 58勛圖) provides level access, gender-neutral toilets and a hearing loop. For more information, see the AccessAble guide<\/a> and the room details page<\/a>. The main door is access controlled, and we will see to having volunteers open the door as needed.<\/p>\n

    There will be a breakout and coffee room, dedicated as a quiet room, across the corridor from the main venue.<\/p>\n<\/div>\n

    The 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<\/a> and the room details page<\/a>.<\/p>\n

    The Teams call will be enabled for live captions. Online participant video will be visible to offline attendees at all times via an external monitor.<\/p>\n

    We are providing optional name badges, on which people may also include their pronouns.<\/p>\n

    \n
    \n<\/div>\n

    Student Travel Awards<\/span><\/strong><\/p>\n

    The 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<\/strong> student members of the ASL. Applications must be received by 10th January 2024<\/strong>. For more details, and to apply, see: https:\/\/aslonline.org\/meetings\/student-travel-awards\/.<\/a><\/p>\n

    The 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<\/strong>, and can be made as part of the general registration process<\/a>.<\/p>\n

    \n

    Partners<\/strong><\/span><\/p>\n

    The workshop is organised in partnership with the 58勛圖 Metaphysics and Logic Research Group<\/a>, and the 58勛圖 Medieval Logic Research Group<\/a>. It is funded by the Arch\u00e9 Research Centre<\/a>, the Scots Philosophical Association<\/a>, the British Logic Colloquium<\/a>, the Association for Symbolic Logic (ASL)<\/a>, and the Analysis Trust<\/a>.<\/p>\n

    This event is affiliated with the PTS Network<\/a>. Participants can join for updates on activities on Proof-Theoretic Semantics <\/span>here<\/span><\/a>.<\/span><\/p>\n

    \n

    Background<\/strong><\/span><\/p>\n

    Proof-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.<\/p>\n

    \n

    Contact<\/strong><\/span><\/p>\n

    If you have any questions, get in touch via proofs@st-andrews.ac.uk<\/a>.<\/p>\n

    \"\"<\/p>\n","protected":false},"excerpt":{"rendered":"

    The workshop ‘Proofs, Rules, and Meanings’\u00a0is set to take place at the University of 58勛圖 (School V, United College, and livestreamed via Microsoft Teams) on 11 and 12 April…<\/p>\n","protected":false},"author":1,"featured_media":10688,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","_tribe_events_is_hybrid":"","_tribe_events_is_virtual":"","_tribe_events_virtual_video_source":"","_tribe_events_virtual_embed_video":"","_tribe_events_virtual_linked_button_text":"","_tribe_events_virtual_linked_button":"","_tribe_events_virtual_show_embed_at":"","_tribe_events_virtual_show_embed_to":[],"_tribe_events_virtual_show_on_event":"","_tribe_events_virtual_show_on_views":"","_tribe_events_virtual_url":"","footnotes":""},"tags":[],"tribe_events_cat":[2,25,12],"class_list":["post-10687","tribe_events","type-tribe_events","status-publish","has-post-thumbnail","hentry","tribe_events_cat-medieval-logic-research-group","tribe_events_cat-metaphysics-and-logic-group","tribe_events_cat-workshops","cat_medieval-logic-research-group","cat_metaphysics-and-logic-group","cat_workshops"],"_links":{"self":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/10687","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/users\/1"}],"version-history":[{"count":4,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/10687\/revisions"}],"predecessor-version":[{"id":11483,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/10687\/revisions\/11483"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/media\/10688"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/media?parent=10687"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tags?post=10687"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events_cat?post=10687"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}