proof theory and meaning : on second order logic

Abstract

Second order quantification is puzzling. The second order quantifiers have natural and compelling inference rules, and they also have natural models. These do not match: the inference rules are sound for the models, but not complete, so either the proof rules are too weak or the models are too strong. Some, such as Quine, take this to be no real problem… (More)

Topics

  • Presentations referencing similar topics