, Volume 148, Issue 3, pp 659–673 | Cite as

A Proof-theoretic View of Necessity

  • Reinhard Kahle


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson, A. and N. Belnap: 1975, Entailment, Volume I. Princeton University Press.Google Scholar
  2. Anderson, A., N. Belnap, and M. Dunn: 1992, Entailment, Volume II. Princeton University Press.Google Scholar
  3. Anderson, C. A.: 1995, ‘Proposition, State of Affairs’, in J. Kim and E. Sosa (eds.), A Companion to Metaphysics, Blackwell, pp. 419–421.Google Scholar
  4. Alferes, J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T. 2000‘Dynamic Updates of Non-monotonic Knowledge Bases’Journal of Logic Programming.454370CrossRefGoogle Scholar
  5. Bull, R. and K. Segerberg: 1984, ‘Basic Modal Logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume II, Kluwer, pp. 1–88.Google Scholar
  6. Chellas, B.: 1980, Modal Logic: An Introduction, Cambridge University Press.Google Scholar
  7. Copeland, B.J. 2002‘The Genesis of Possible Worlds Semantics’Journal of Philosophical Logic.3199137CrossRefGoogle Scholar
  8. Kleer, J. 1986‘An Assumption-based TMS’Artificial Intelligence.28127162CrossRefGoogle Scholar
  9. Doyle, J. 1979‘A Truth Maintenance System’Artificial Intelligence.12231272CrossRefGoogle Scholar
  10. Facchinetti, R., M. Krug, and F. Palmer (eds.): 2003, Modality in Contemporary English, de Gruyter.Google Scholar
  11. Fagin, R., J. Halpern, Y. Moses, and M. Vardi: 1995, Reasoning about Knowledge, MIT Press.Google Scholar
  12. Forster, Th.: 200x, ‘The Modal Aether’, in R. Kahle (ed.), Intensionality, A K Peters.Google Scholar
  13. Frege, G.: 1892, ‘Über Sinn und Bedeutung’, Zeitschrift für Philosophie und philosophische Kritik (NF 100), 25–50.Google Scholar
  14. Frege, G.: 1952, ‘Sense and Meaning’, in P. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, 1952. English translation of (Frege, 1892).Google Scholar
  15. Fuhrmann, A. 1991‘Theory Contraction Through Base Contraction’Journal of Philosophical Logic.20175203CrossRefGoogle Scholar
  16. Hansson, S.O.: 1998, ‘Revision of Belief Sets and Belief Bases’, in D. Dubois and H. Prade (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 3: Belief Change, Kluwer pp. 16–75.Google Scholar
  17. Hughes, G., Cresswell, M. 1968An Introduction to Modal LogicMethuenLondonGoogle Scholar
  18. Kahle, R.: 2002, ‘Structured Belief Bases’, Logical and Logical Philosophy 10, 45–58. Special issue of the Workshop LLP held spring 2001 at the TU Dresden.Google Scholar
  19. Kracht, M.: 1999, Tools and Techniques in Modal Logic, Volume 142 of Studies in Logic and the Foundations of Mathematics, Elsevier.Google Scholar
  20. Kripke, S. 1963‘Semantical Analysis of Modal Logic I, Normal Propositional Calculi’Zeitschrift für mathematische Logik und Grundlagen der Mathematik.96796Google Scholar
  21. Lewis, C., Langford, C. 1932Symbolic logicThe Century Co.New YorkGoogle Scholar
  22. Moschovakis, Y.: 1994, ‘Sense and Denotation as Algorithm and Value’, in J. Oikkonen and J. Väänänen (eds), Logic Colloquium ’90, Volume 2 of Lecture Notes in Logic, Springer, pp. 210–249.Google Scholar
  23. Nayak, A. 1994‘Foundational Belief Change’Journal of Philosophical Logic.23495533CrossRefGoogle Scholar
  24. Nebel, B.: 1992, ‘Syntax-based Approaches to Belief Revision’, in P. Gärdenfors (ed.), Belief Revision, Cambridge University Press, pp. 52–88.Google Scholar
  25. Russell, S. and P. Norvig: 1995, Artificial Intelligence – A Modern Approach, Prentice Hall.Google Scholar
  26. Stalnaker, R.: 1995, ‘Modalities and Possible Worlds’, in J. Kim and E. Sosa (eds.), A Companion to Metaphysics, Blackwell, pp. 333–337.Google Scholar
  27. Wehmeier, K.: 200x, ‘Descriptions in the Mood’, to appear in R. Kahle (ed.), Intensionality, AK Peters.Google Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.CENTRIA, Universidade Nova de LisboaPortugal

Personalised recommendations