“Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010.
I examine Belnap’s two criteria of existence and uniqueness for evaluating putative definitions of logical concepts in inference rules, by determining how they apply in four different examples: conjunction, the universal quantifier, the indefinite choice operator and the necessity in the modal logic S5. This illustrates the ways that definitions may be evaluated relative to a background theory of consequence, and the ways that different accounts of consequence provide us with different resources for making definitions.
Author: Greg Restall
Status: Published in 2010
Local file: ptm-context.pdf (273KB)