Theory, Equivalence, and Interpretation in Logic, Mathematics, and Science
(August 1st 2024, University of Bristol)
(August 1st 2024, University of Bristol)
This conference brings together scholars focused on formal theories in logic, mathematics and the sciences.
Date: 1st August 2024
Location: Room 2.04, Fry Building, University of Bristol https://maps.app.goo.gl/mLzyCor6prYHvNq99
How to get here: https://www.bristol.ac.uk/maps/directions/
Contact: will.stafford@bristol.ac.uk
Funding provided by: the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101024393.
Part of the PTS Network. Participants can join for updates on activities on Proof-Theoretic Semantics here.
Click here to register for attendance. (Registration is free but needed for catering numbers.)
11am Introduction and Coffee
11:30am Sam Clark The Biggie Smalls Problem in Infant Number Research
12:10pm Lunch
1:30pm David Freeborn Effective Theories as a form of Algorithmic Compression
2:20pm Elenor March On some examples from first-order logic as motivation for categorical equivalence of KPMs
3pm Break
3:30pm Stella Moon Intended Interpretations and Justifications of Logical Rules
4:20pm TBA
6:30pm Dinner and drinks at ZeroDegrees