, Volume 148, Issue 3, pp 659–673

A Proof-theoretic View of Necessity


DOI: 10.1007/s11229-004-6293-4

Cite this article as:
Kahle, R. Synthese (2006) 148: 659. doi:10.1007/s11229-004-6293-4


We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.CENTRIA, Universidade Nova de LisboaPortugal
  2. 2.Departamento de MatemáticaUniversidade de CoimbraCoimbraPortugal