Sequent Systems and Defining Rules - a podcast by MCMP Team

Greg Restall (Melbourne) gives a talk at the MCMP Colloquium (12 Apr, 2012) titled "Sequent Systems and Defining Rules". Abstract: In this talk I will explain how it can be that inference rules can be used to define a class of concepts, and why there are at least three grades of logical complexity (propositional connectives, quantifiers, and modals), depending on the kinds of discourse features exploited in those rules. I'll then explain how concepts characterised by "defining rules" (which I’ll precisely characterise) have a number of important features, such as admitting a uniform cut elimination argument.

Further episodes of MCMP – Mathematical Philosophy (Archive 2011/12)

Further podcasts by MCMP Team

Website of MCMP Team