Synthese

, Volume 148, Issue 3, pp 659–673

A Proof-theoretic View of Necessity

Article

DOI: 10.1007/s11229-004-6293-4

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

Abstract

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