Repository | Journal | Volume | Articles

(2006) Synthese 148 (3).
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 ϕ”.
Publication details
DOI: 10.1007/s11229-004-6293-4
Full citation:
Kahle, R. (2006). A proof-theoretic view of necessity. Synthese 148 (3), pp. 659-673.
This document is unfortunately not available for download at the moment.