|Coffee Talks are meetings between faculty and graduate students from different academic departments within the University of Colorado, Boulder. At each meeting, one researcher presents his or her recent work in progress in an informal, constructive atmosphere that allows the speaker to receive critical feedback from faculty in other fields. In addition, the audience is provided an opportunity to learn about critical research being done in other departments.
Recent Coffee Talk topics have included climate change, models in historical science, origin of life, science and religion, and biology education.
Fall 2016 - Spring 2017 Talks:
Coffee Talks are usually held in HLMS 269 Morris Reading Room at 3:30pm.
Sept 13, 2016: Zach Weber (University of Otago), "The Case for Non-classical Logic"
3:30–5:00pm, Hellems 269
In this introductory level talk, I lay out the main motivations for adopting non-classical logics, from the 'naive' theory of truth: such logics promise to let us keep Tarski's unrestricted truth schema. Pros and cons are considered, for example weighing the gain in expressive power against the (apparent) loss of inferential power. Symmetries between theories with truth value gaps and truth value gluts are considered. I then survey some recent developments in substructural logic, and point to ongoing challenges and prospects for these projects.
For more information, please email email@example.com