, Volume 79, Supplement 2, pp 279–291 | Cite as

Pluralism and Proofs

  • Greg RestallEmail author
Original Article


Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models.


Logical Consequence Classical Logic Intuitionist Logic Kripke Model Proof Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



Thanks to audiences at the “Logical Pluralism” workshop in Tartu, the Logic Seminar at the University of Melbourne, and the Logic or Logics Workshop of the Foundations of Logical Consequence Project at Arché at the University of St Andrews for comments on this paper. I was supported by the ARC Discovery Grants DP0556827 and DP1094962, and Tonio K’s Life in the Foodchain.


  1. Beall, J.C., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475–493. Scholar
  2. Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford University Press, Oxford.Google Scholar
  3. Bishop, E. (1967). Foundations of constructive analysis. New York: McGraw-Hill. Out of print. A revised and extended version of this volume has appeared (Bishop and, Bridges 1985).Google Scholar
  4. Bishop, E., & Bridges, D. (1985). Constructive analysis. Springer, Berlin.Google Scholar
  5. Bridges, D. S., & Richman, F. (1987). Varieties of constructive mathematics, volume 97 of London Mathematical Society Lecture Notes. Cambridge University Press, Cambridge.Google Scholar
  6. Restall, G. (1996). Truthmakers, entailment and necessity. Australasian Journal of Philosophy, 74, 331–340.Google Scholar
  7. Restall, G. (1997). Ways things can’t be. Notre Dame Journal of Formal Logic, 38(4), 583–596.Google Scholar
  8. Restall, G. (1999). Negation in relevant logics: How I stopped worrying and learned to love the Routley star. In D. Gabbay, & H. Wansing (Eds.), What is negation?, volume 13 of Applied Logic Series (pp. 53–76). Dordrecht: Kluwer Academic Publishers.Google Scholar
  9. Restall, G. (2001). Constructive logic, truth and warranted assertibility. Philosophical Quarterly, 51, 474–483.
  10. Restall, G. (2002). Carnap’s tolerance, meaning and logical pluralism. The Journal of Philosophy, 99, 426–443.
  11. Restall, G. (2005). Łukasiewicz, supervaluations and the future. Logic and Philosophy of Science, 3(1):1–10.Google Scholar
  12. Restall, G. (2009). Truth values and proof theory. Studia Logica, 92(2), 241–264. Scholar
  13. Richman, F. (1990). Intuitionism as generalization. Philosophia Mathematica, 5, 124–128.Google Scholar
  14. Richman, F. (1996). Interview with a constructive mathematician. Modern Logic, 6, 247–271.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Philosophy DepartmentThe University of MelbourneParkvilleAustralia

Personalised recommendations