Annual Logic Lecture
The Logic Group funds an annual Spring event in which a visiting logician gives a talk (open to the public) and, in general, engages in various working sessions with the group. Material for the talk is distributed early in the Spring semester (with the actual talk happening late in the semester), giving the group sufficient time to work on the target issues.
2008/2009 Annual Speaker: Greg Restall, University of Melbourne.
Normative Inferentialist Modal Logic: from pragmatics
to two-dimensional semantics.
January 30, 2:00pm
Class of 1947 Room, Homer Babbidge Library
Background Reading:
“Multiple Conclusions,” in Logic, Methodology and
Philosophy of Science: Proceedings of the Twelfth International
Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag
Westerstahl, Kings’ College Publications, 2005, 189–205.
<http://consequently.org/papers/multipleconclusions.pdf>
“Proof Theory and Meaning: the context of deducibility,”
to appear in the Proceedings of Logic Colloquium 2007, Cambridge
University Press. <http://consequently.org/papers/ptm-context.pdf>
Greg Restall will be visiting the week prior to his talk.
Greg Restall is Associate Professor of Philosophy at the University
of Melbourne. Restall's research interests are in logic, metaphysics,
and related fields. Recent books include Logic, An
Introduction to Substructural Logics, and Logical Pluralism,
and his in-progress monograph Proof Theory & Philosophy.
Greg is the editor of the Australasian
Journal of Logic, and on the editorial board of the Review
of Symbolic Logic. For more on Restall, go to consequently.org.
|