Repositorium | Zeitschrift | Band | Zeitschriftartikel

COPR BookmarkLink
236909

(2006) Synthese 148 (3).

A proof-theoretic view of necessity

Reinhard Kahle

pp. 659-673

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 ϕ”.

Publikationsangaben

DOI: 10.1007/s11229-004-6293-4

Quellenangabe:

Kahle, R. (2006). A proof-theoretic view of necessity. Synthese 148 (3), pp. 659-673.

Dieses Dokument ist derzeit leider nicht zum Runterladen verfügbar.