proof theory and meaning : on second order logic

@inproceedings{Restall2007proofTA,
  title={proof theory and meaning : on second order logic},
  author={Greg Restall},
  year={2007}
}
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, since they take “second order logic” to be a misnomer. It is not logic but set theory in sheep’s clothing [7, page 66–68], so one would not… CONTINUE READING
35 Citations
5 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-5 of 5 references

prior . “ The Runabout InferenceTicket ”

  • arthur n.
  • Analysis Philosophy of Logic
  • 2006

brandom. Articulating Reasons: an introduction to inferentialism

  • robert b
  • 2000
2 Excerpts

Foundations without Foundationalism: A case for second-order logic

  • stewart shapiro
  • Greg Restall, restall@unimelb.edu.au december
  • 1991
2 Excerpts

Similar Papers

Loading similar papers…