, Volume 78, Issue 6, pp 1275–1302 | Cite as

Zolin and Pizzi: Defining Necessity from Noncontingency

Original Article


The point of the present paper is to draw attention to some interesting similarities, as well as differences, between the approaches to the logic of noncontingency of Evgeni Zolin and of Claudio Pizzi. Though neither of them refers to the work of the other, each is concerned with the definability of a (normally behaving, though not in general truth-implying) notion of necessity in terms of noncontingency, standard boolean connectives and additional but non-modal expressive resources. The notion of definability involved is different in the two cases (‘external’ for Zolin, ‘internal’ for Pizzi), as are the additional resources: infinitary conjunction in the case of Zolin, and for Pizzi, first, propositional quantification, and then, later, most ingeniously, the use of a propositional constant. As well as surveying and comparing of the work of these authors, the discussion includes some some novelties, such as the confirmation of a conjecture of Zolin’s (Theorem 2.7).



I am grateful to Zolin and to Pizzi for correspondence clarifying points from some of the papers dicussed here, to Rohan French for various improvements, and to Toby Meadows for his work (reported in Appendix 1) answering a question left open on as this material was presented to an audience at St Andrews in April, 2012. Thanks also to two Erkenntnis referees for their corrections.


  1. Anderson, A. R. (1967). The formal analysis of normative systems. In N. Rescher (Ed.), The logic of decision and action (pp. 147–213). Pittsburgh, PA: University of Pittsburgh Press.Google Scholar
  2. Bellissima, F., & Bucalo, A. (1995). A distinguishable model theorem for the minimal US-tense logic’ Notre Dame Journal of Formal Logic, 36, 585–594.CrossRefGoogle Scholar
  3. Chagrov, A. V., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press.Google Scholar
  4. Chellas, B. F. (1980). Modal logic: An introduction. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  5. Cresswell, M. J. (1988). Necessity and contingency. Studia Logica, 47, 145–149.CrossRefGoogle Scholar
  6. Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36 , 336–346.CrossRefGoogle Scholar
  7. Hiż, H. (1958). A warning about translating axioms. American Mathematical Monthly, 65, 613–614.Google Scholar
  8. Humberstone, L. (1995). The logic of non-contingency. Notre Dame Journal of Formal Logic, 36, 214–229.CrossRefGoogle Scholar
  9. Humberstone, L. (2002). The modal logic of agreement and noncontingency. Notre Dame Journal of Formal Logic, 43, 95–127.CrossRefGoogle Scholar
  10. Humberstone, L. (2004). Two-dimensional adventures. Philosophical Studies, 118, 17–65.CrossRefGoogle Scholar
  11. Humberstone, L. (2005). Béziau’s translation paradox. Theoria, 71, 138–181.CrossRefGoogle Scholar
  12. Kuhn, S. T. (1995). Minimal non-contingency logic. Note Dame Journal of Formal Logic, 36, 230–234.CrossRefGoogle Scholar
  13. Lewis, C. I., & Langford, C. H. (1959). Symbolic logic. NY: Dover (first printing 1932).Google Scholar
  14. Meredith, C. A., & Prior, A. N. (1965). Modal logic with functorial variables and a contingent constant. Notre Dame Journal of Formal Logic, 6, 99–109.CrossRefGoogle Scholar
  15. Meyer, R. K. (1974). Entailment is not strict implication. Australasian Journal of Philosophy, 52, 211–231.CrossRefGoogle Scholar
  16. Pizzi C. (1999). Contingency logics and propositional quantification. Manuscrito (UNICAMP, Campinas University), 22, 283–303.Google Scholar
  17. Pizzi, C. (2006). A logic of contingency with a propositional constant. In E. Ballo, M. Franchella (Ed.), Logic and philosophy in Italy: Some trends and perspectives (pp. 141–153). Milan: Polimetrica.Google Scholar
  18. Pizzi, C. (2007). Necessity and relative contingency. Studia Logica, 85, 395–410.CrossRefGoogle Scholar
  19. Pizzi, C. Relative contingency and multimodal logics, to appear in a forthcoming special issue of Logica Universalis on Multimodal Logics.Google Scholar
  20. Prior, A. N. (1957). Time and modality. Oxford: Oxford University Press.Google Scholar
  21. Saito, S. (1962). Circular definitions and analyticity. Inquiry, 5, 158–162.Google Scholar
  22. Saito, S. (1966). On the completeness of the Leibnizian modal system with a reduction. Proceedings of Japan Academy, 42, 198–200.CrossRefGoogle Scholar
  23. Saito, S. (1968). On the Leibnizian modal system. Notre Dame Journal of Formal Logic, 9, 92–96.CrossRefGoogle Scholar
  24. Segerberg, K. (1971). An essay in classical modal logic. Uppsala: Filosofiska Studier.Google Scholar
  25. Smiley, T. (1963). Relative necessity. Journal of Symbolic Logic, 28, 113–134.CrossRefGoogle Scholar
  26. Ṡwirydowicz, K. (1992). Regular modal logics inconsistent if \(\square \top\) is added: A contribution to the topography of the lattice of modal logics. Bulletin of the Section of Logic 21, 47–54.Google Scholar
  27. Thomason, R. H., & Leblanc, H. (1967). All or none: A novel choice of primitives for elementary logic. Journal of Symbolic Logic, 32, 345–351.CrossRefGoogle Scholar
  28. Wójcicki, R. (1988). Theory of logical Calculi. Dordrecht: Kluwer.CrossRefGoogle Scholar
  29. Zolin, E. E. (1999). Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 40, 533–547.CrossRefGoogle Scholar
  30. Zolin, E. E. (2000). Embeddings of propositional monomodal logics. Logic Journal of the IGPL, 8, 861–882.CrossRefGoogle Scholar
  31. Zolin, E. E. (2001). Infinitary expressibility of necessity in terms of contingency. In K. Striegnitz (Ed.), Proceedings of the sixth ESSLLI student session, pp. 325–334.Google Scholar
  32. Zolin, E. E. (2002). Sequential reflexive logics with noncontingency operator. Mathematical Notes, 72, 784–798 (translation from Matematicheskie Zametki, Russian Academy of Sciences).Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2012

Authors and Affiliations

  1. 1.Department of PhilosophyMonash UniversityClaytonAustralia

Personalised recommendations