Abstract
This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data.
Similar content being viewed by others
Notes
Logical monism is the view that exactly one logic is correct or legitimate.
The keen reader may notice that this sounds different from the kind of logical pluralism described in the first paragraph. Shapiro adheres to a plurality of pluralist theses about logic. See also fn. 8.
Appeals to ‘legitimacy’ are not only potentially too liberal, but also occur in puzzling places: “If there is only one legitimate relation that underlies at least the main uses of phrases like “valid”...then folk-relativism and pluralism concerning logic are both false” (Shapiro 2014b, p. 21). What is a legitimate relation? Isn’t it enough if the phrase expresses one relation simpliciter?
The preferred formulation of ontological pluralism is in explicitly ideological terms, viz. that the most perspicuous description of fundamental ontology is one expressed in a language with multiple quantifiers ranging over disjoint ‘categories of being’.
Though see Iacona (2018) for some complications with this standard picture.
I only say ‘approximation’ because the kind of distinctions drawn by medieval philosophers and those drawn by contemporary philosophers do not exactly line up. It is only a family resemblance.
This ‘discourse relative’ pluralism is yet another kind of pluralism endorsed by Shapiro, but it is much more interesting than some of the things he regards as ‘pluralistic theses’ such as the aforementioned ‘cluster term’ thesis about the term ‘logical consequence’. See also fn. 2.
This is a crude sketch of permutation invariance, which is really one specific version of invariantism. There are other versions based on other types of transformations. Permutation invariance was originally advanced by Tarski (1986) and will suffice to illustrate the points I want to make.
Thanks to two anonymous referees for raising concerns that helped me clarify this section.
Because it has ECQ. This ‘contra-classicaity’ is what interests Shapiro. It is not a feature unique to SIA, though the case of SIA is particularly interesting (at least historically) because it did not emerge from the Brouwerian program. Bell and Hellman note that this is, in some sense, why it is especially challenging to give any classical re-interpretation of SIA. More on this below.
We have to be careful here. Not all constructive theories stand in the same kind of antagonistic relationship to the laws of classical logic as SIA. For example, constructive theories developed in the tradition of Bishop (1967) are always consistent with classical logic in the sense that they restrict classical laws without ever contradicting them. Hence, we are really talking about a handful of theories, not the entirety of constructive mathematics as a discipline.
They will perhaps also need to explain away some classical theories in the process. For example, a Brouwerian intuitionist might say that classical logic is adequate in finite domains, but not in infinite domains. They can then easily accept some classical theories, but run into difficulties with classical theories intended for infinite domains. Are these theories just wrong? Should they be re-interpreted? An intuitionistic monist might have to say something about this.
Shapiro thinks that, realistically, a monist who is compelled in this direction by the mathematical data would probably go even weaker than intuitionistic logic, but let’s just continue to operate with the simplifying assumption that there are just three dialectical options.
Shapiro briefly floats the idea of paraconsistent mathematics. As a result, he officially widens the target property from consistency to non-triviality (i.e. not entailing absolutely everything). The difference between these two formulations of Hilbertianism make little difference to what I have to say, so I leave aside such nuances for the time being.
I borrow this terminology from Field (2015), with slight change of meaning.
For a related argument, see also Priest (this issue).
Thanks to an anonymous referee for pointing this out.
Thanks to Nikolaj Pedersen, Jeremy Wyatt, Will Gamester, Ole Hjortland, and Mohsen Haeri for the helpful comments each of them made on an earlier version of this paper as well as the rest of the audience at the Second Veritas Philosophy Conference at Yonsei University. Special thanks also to Salvatore Florio for his extensive comments on a late draft of this paper. Any remaining errors and infelicities are my own responsibility.
References
Beall, J., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475–493.
Beall, J., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press.
Bell, J. L. (2008). A primer of infinitesimal analysis (2nd ed.). Cambridge: Cambridge University Press.
Bell, J. L. (2017). Continuity and infinitesimals. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy. Stanford: CSLI Publications.
Bishop, E. (1967). Foundations of constructive analysis. New York: McGraw-Hill.
Bonnay, D. (2008). Logicality and invariance. The Bulletin of Symbolic Logic, 14, 29–68.
Bueno, O., & Shalkowski, S. A. (2009). Modalism and logical pluralism. Mind, 118, 295–321.
Caret, C. R. (2017). The collapse of logical pluralism has been greatly exaggerated. Erkenntnis, 82, 739–760.
Carnap, R. (1937). Logical syntax of language. London: Kegan Paul, Trench, Trubner & Co., Ltd.
Carnap, R. (1950). Logical foundations of probability. Chicago: Chicago University Press.
Colyvan, M. (2008). Who’s afraid of inconsistent mathematics? ProtoSociology, 25, 24–35.
Cook, R. T. (2010). Let a thousand flowers bloom: A tour of logical pluralism. Philosophy Compass, 5, 492–504.
Cotnoir, A. J., & Edwards, D. (2015). From truth pluralism to ontological pluralism and back. The Journal of Philosophy, 112, 113–140.
Dicher, B. (2016). A proof-theoretic defence of meaning-invariant logical pluralism. Mind, 125, 727–757.
Eklund, M. (2017). Making sense of logical pluralism. Inquiry. https://doi.org/10.1080/0020174X.2017.1321499.
Field, H. (2009). Pluralism in logic. The Review of Symbolic Logic, 2, 342–359.
Field, H. (2015). What is logical validity? In C. R. Caret & O. T. Hjortland (Eds.), Foundations of logical consequence (pp. 33–70). Oxford: Oxford University Press.
Glanzberg, M. (2015). Logical consequence and natural language. In C. R. Caret & O. T. Hjortland (Eds.), Foundations of logical consequence (pp. 371–120). Oxford: Oxford University Press.
Goddu, G. C. (2002). What exactly is logical pluralism? Australasian Journal of Philosophy, 80, 218–230.
Griffiths, O. (2013). Problems for logical pluralism. History and Philosophy of Logic, 34, 170–182.
Haack, S. (1978). Philosophy of logics. Cambridge: Cambridge University Press.
Hellman, G. (2006). Mathematical pluralism: The case of smooth infinitesimal analysis. Journal of Philosophical Logic, 35, 621–651.
Hick, J. (2004). An interpretation of religion: Human responses to the transcendent (2nd ed.). London: Palgrave Macmillan.
Hirsch, E. (2002). Quantifier variance and realism. Philosophical Issues, 12, 51–73.
Hjortland, O. T. (2013). Logical pluralism, meaning-variance, and verbal disputes. Australasian Journal of Philosophy, 91, 355–373.
Hjortland, O. T. (2017). Anti-exceptionalism about logic. Philosophical Studies, 174, 631–658.
Iacona, A. (2018). Logical form: Between logic and natural language. Berlin: Springer.
Keefe, R. (2014). What logical pluralism cannot be. Synthese, 191, 1375–1390.
Keynes, J. M. (1921). A treatise on probability. London: Macmillan and Co.
Kouri Kissel, T. (2018). Logical pluralism from a pragmatic perspective. Australasian Journal of Philosophy, 96, 578–591.
Kouri Kissel, T., & Shapiro, S. (2017). Logical pluralism and normativity. Inquiry. https://doi.org/10.1080/0020174X.2017.1357495.
Lycan, W. G. (1989). Logical constants and the glory of truth-conditional semantics. Notre Dame Journal of Formal Logic, 30, 390–400.
Lynch, M. P. (2009). Truth as one and many. Oxford: Oxford University Press.
MacFarlane, J. G. (2000). What Does it Mean to Say that Logic is Formal? Ph.D. thesis, University of Pittsburgh.
McDaniel, K. (2009). Ways of being. In D. Chalmers, D. Manley, & R. Wasserman (Eds.), Metametaphysics: New essays on the foundations of ontology (pp. 290–319). Oxford: Oxford University Press.
Novaes, C. D. (2012). Reassessing logical hylomorphism and the demarcation of logical constants. Synthese, 185, 387–410.
Pedersen, N. J., & Linding, L. (2014). Pluralism x 3: Truth, logic, metaphysics. Erkenntnis, 79, 259–277.
Priest, G. (2001). Logic: One or many? In J. Woods & B. Brown (Eds.), Logical consequences: Rival approaches (pp. 23–28). Oxford: Hermes Scientific Publishers.
Priest, G. (2006). Doubt truth to be a liar. Oxford: Oxford University Press.
Read, S. (2006). Monism: The one true logic. In D. DeVidi & T. Kenyon (Eds.), A logical approach to philosophy: Essays in honour of graham solomon (pp. 193–209). Berlin: Springer.
Read, S. (2012). The medieval theory of consequence. Synthese, 187, 899–912.
Restall, G. (2002). Carnap’s tolerance, meaning, and logical pluralism. Journal of Philosophy, 99, 426–443.
Ross, W. D. (1930). The right and the good. Oxford: Oxford University Press.
Russell, G. (2008). One true logic? Journal of Philosophical Logic, 37, 593–611.
Russell, G. (2016). Logical pluralism. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy. Stanford: CSLI Publications.
Sagi, G. (2014). Formality in logic: From logical terms to semantic constraints. Logique et Analyse, 57, 259–276.
Shapiro, S. (2014a). Structures and logics: A case for (a) relativism. Erkenntnis, 79, 309–329.
Shapiro, S. (2014b). Varieties of logic. Oxford: Oxford University Press.
Sher, G. (1991). The bounds of logic: A generalized viewpoint. Cambridge: MIT Press.
Stei, E. (2017). Rivalry, normativity, and the collapse of logical pluralism. Inquiry. https://doi.org/10.1080/0020174X.2017.1327370.
Steinberger, F. (2017). Frege and Carnap on the normativity of logic. Synthese, 194, 143–162.
Tarski, A. (1986). What Are logical notions? History and Philosophy of Logic, 7, 143–154.
Thomson, J. J. (1997). The right and the good. The Journal of Philosophy, 94, 273–298.
Varzi, A. C. (2002). On logical relativity. Philosophical Issues, 12, 197–219.
Williamson, T. (2013). Modal logic as metaphysics. Oxford: Oxford University Press.
Wright, C. (1992). Truth and objectivity. Cambridge: Harvard University Press.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Caret, C.R. Why logical pluralism?. Synthese 198 (Suppl 20), 4947–4968 (2021). https://doi.org/10.1007/s11229-019-02132-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02132-w