Skip to main content
Log in

Against logical generalism

  • S.I.: Pluralistic Perspectives on Logic
  • Published:
Synthese Aims and scope Submit manuscript

Abstract

The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then outline an account of logical consequence in the absence of general logical principles, which we call logical particularism.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. e.g. McGee (1985) offers counter-examples to modus ponens, Yalcin (2012) offers counter-examples to modus tollens, and the well known debates between relevance, inuitionist, paraconsistentist, and classical logicians show the scope of disagreement over the putative laws of excluded middle, non-contradiction, and disjunctive syllogism (Priest et al. 1989).

  2. See Sect. 2 for details.

  3. We discuss this problem in more detail in Wyatt and Payette (2018).

  4. What we say here applies equally to the pluralist since the view of the pluralist isn’t that all logics are correct. Thus the pluralist must have some criteria for excluding logical systems. We expand on this point in Sect. 7.

  5. To verify these claims see Priest (2008) chapters six and eight, respectively.

  6. The examples here are informal analogues of the mathematical formulations found in Russell (2017) based on discussion in Russell (2015).

  7. Similar issues apply to the claim that Russell’s counter-examples are ‘far-fetched’. In order for this response to the nihilist’s argument for N2 to be satisfactory, there must be a principled and independent basis on which certain operators, or arguments, are classified as far-fetched, and so somehow beyond the scope of logic.

  8. Glanzberg is not particularly precise as to what formality amounts to, but his comments on it suggest that he is thinking in terms of a distinction between form and content.

  9. V is the number of vertices, F is the number of faces, and E is the number of edges of a 3-dimensional polyhedron.

  10. We discuss the role of this practice in logic extensively in Payette and Wyatt (2018a).

  11. Exceptionalists also usually take logic truths to be necessary and arrived at via a priori reasoning. This in and of itself doesn’t preclude exceptions—a logical truth \(\varphi \) could be necessarily true with respect to a given subject matter or discourse. But when combined with universality they reinforce the expectation of exceptionless laws.

  12. Some might prefer to describe logic as ‘formal’ rather than schematic. Given the diverse interpretations of ‘formal’ we prefer to be specific about its interpretation. For our view on logical form see Wyatt and Payette (2018), and see Dutilh (2011) for extensive discussion of ways in which logic has been thought of as formal. Finally, see Smiley (1998) for criticism of the central role sometimes given to the schematic in logic.

  13. We have also discussed this thesis at some length elsewhere (Payette and Wyatt 2018a).

  14. This example is borrowed from Lipton (2001).

  15. Others have advocated the view that logic is a form of modelling, for example Shapiro (2014), Cook (2014), however generally they take the view that models themselves are subject to standards of correctness. See Payette and Wyatt (2018a) for further discussion of the role of incorrect models in science and logic.

  16. Mizrahi (2012) is less radical in insisting that the laws must be what he calls ‘quasi-factive’.

  17. See Smiley (1982) on his ‘Schematic fallacy’ for further reasons why schematic validity is not the focus of logic.

  18. Dancy (2004) points this out in the moral context.

  19. See Jennings et al. (2009) for discussion of preservationism and its history.

  20. For a more complete description of the treatment see Payette and Schotch (2007).

  21. We are classifying Caret’s view as local pluralism: although it is not clear he would agree with our name, we hope he will agree with our characterization of his view.

  22. Shapiro (2014) defends a form of local pluralism that restricts the cannonical application of logic to mathematics—on Shapiro’s view different mathematical discourses require different logics, making him a discourse pluralist, but he expresses no view on the applicability of logic(s) to non-mathematical arguments.

  23. In this respect logical particularism bears some similarities to logical instrumentalism as described by Haack (1978, pp. 224–225). However Haack characterizes instrumentalists as either (a) denying that there is any extra-systematic idea of validity which could serve as a standard for correctness claims or (b) maintaining that logics are systems of rules or procedures rather than systems of statements for which questions of truth or falsity could arise. Neither of these claims are part of particularism.

  24. Global pluralism doesn’t suffer from this problem since according to the global pluralist the correct logics are all always in force.

References

  • Beall, J., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press.

    Google Scholar 

  • Brown, B. (2017). A preservationist perspective on relevance logic. Journal of Applied Logics—IfCoLoG Journal of Logics and their Applications, 4(3), 783–794.

    Google Scholar 

  • Caret, C. R. (2017). The collapse of logical pluralism has been greatly exaggerated. Erkenntnis, 82(4), 739–760. https://doi.org/10.1007/s10670-016-9841-7.

    Article  Google Scholar 

  • Cartwright, N. (1980). Do the laws of physics state the facts? Pacific Philosophical Quarterly, 61(1/2), 75.

    Article  Google Scholar 

  • Cook, R. T. (2014). There is no paradox of logical validity. Logica Universalis, 8(3–4), 1–21. https://doi.org/10.1007/s11787-014-0094-4.

    Article  Google Scholar 

  • Dancy, J. (2004). Ethics without principles. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Dutilh, N. C. (2011). The different ways in which logic is (said to be) formal. History and Philosophy of Logic, 32(4), 303–32. https://doi.org/10.1080/01445340.2011.555505.

    Article  Google Scholar 

  • Etchemendy, J. (2008). Reflections on consequence. In D. Patterson (Ed.), New essays on tarski and philosophy (pp. 263–299). Oxford: Oxford University Press.

    Chapter  Google Scholar 

  • Field, H. (1998). Epistemological nonfactualism and the a prioricity of logic. Philosophical Studies, 92(1–2), 1–24.

    Google Scholar 

  • Franks, C. (2015). Logical nihilism. In Andrés Villaveces, Roman Kossak, Juha Kontinen, & Asa Hirvonen (Eds.), Logic without borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics (pp. 147–166). Berlin: De Gruyter.

    Chapter  Google Scholar 

  • Glanzberg, M. (2015). Logical consequence and natural language. In C. R. Caret & O. T. Hjortland (Eds.), Foundations of logical consequence. Oxford: Oxford University Press.

    Google Scholar 

  • Haack, S. (1978). Philosophy of logics. Cambridge, MA: Cambridge University Press.

    Book  Google Scholar 

  • Harman, G. (1986). Change in view. Cambridge: MIT Press.

    Google Scholar 

  • Hindriks, F. (2008). False models as explanatory engines. Philosophy of the Social Sciences, 38(3), 334–360.

    Article  Google Scholar 

  • Jennings, R. E., Brown, B., & Schotch, P. (Eds.). (2009). On preserving: Essays on preservationism and paraconsistency. Toronto Studies in Philosophy. Toronto: University of Toronto Press.

    Google Scholar 

  • Keenan, E. (2001). Logical objects. In C. A. Anderson & M. Zelëny (Eds.), Logic, meaning and computation (pp. 149–80). Berlin: Springer.

    Chapter  Google Scholar 

  • Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Lipton, P. (2001). What good is an explanation? In G. Hon & S. Rakover (Eds.), Explanation: Theoretical approaches (pp. 43–59). Dordrecht: Kluwer.

    Chapter  Google Scholar 

  • MacFarlane, J. (2004). In what sense (if any) is logic normative for thought? Central Division APA, Chicago, Symposium on the Normativity of Logic. https://johnmacfarlane.net/work.html. Accessed 12 July 2016.

  • McGee, V. (1985). A counter example to modus ponens. Journal of Philosophy, 82(9), 462–471.

    Article  Google Scholar 

  • Mizrahi, M. (2012). Idealizations and scientific understanding. Philosophical Studies, 160(2), 237–252.

    Article  Google Scholar 

  • Norton, J. D. (2003). A material theory of induction. Philosophy of Science, 70(4), 647–670.

    Article  Google Scholar 

  • Norton, J. D. (2010). There are no universal rules for induction. Philosophy of Science, 77(5), 765–777.

    Article  Google Scholar 

  • Payette, G., & Schotch, P. K. (2007). On preserving. Logica Universalis, 1(2), 295–310.

    Article  Google Scholar 

  • Payette, G., & Wyatt, N. (2018a). How do logics explain? Australasian Journal of Philosophy, 96(1), 157–167. https://doi.org/10.1080/00048402.2017.1342674.

    Article  Google Scholar 

  • Payette, G., & Wyatt, N. (2018b). Logical particularism. In N. Kellen, N. J. L. L. Pedersen & J. Wyatt (Eds.), Pluralisms: Truth and logic (pp. 277–299). Palgrave Macmillan.

  • Priest, G. (2008). An introduction to non-classical logic: From if to is. Cambridge, UK: Cambridge University Press.

    Book  Google Scholar 

  • Priest, G. (2014). Revising logic. In P. Rush (Ed.), The metaphysics of logic, chapter 12 (pp. 211–23). Cambridge, UK: University of Cambridge Press.

    Chapter  Google Scholar 

  • Priest, G., Routley, R., & Norman, J. (1989). Paraconsistent logic: Essays on the inconsistent. Munich: Philosophia Verlag.

    Google Scholar 

  • Russell, G. (2015). Could there be no logic? Presented at Society for Exact Philosophy Meeting; Hamilton, Ontario.

  • Russell, G. (2017). An introduction to logical nihilism. In H. Leitgeb, I. Niiniluoto, P. Seppälä, & E. Sober (Eds.), Logic, methodology, and the philosophy of science: Proceedings of the fifteenth international congress (pp. 1–10?). London, UK: College Publications.

    Google Scholar 

  • Shapiro, S. (2014). Varieties of logic. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Smiley, T. (1982). the presidential address: The schematic fallacy. Proceedings of the Aristotelian Society, 83, 1–17.

    Article  Google Scholar 

  • Smiley, T. (1998). Consequence, conceptions of. In E. Craig (Ed.), Routledge encyclopedia of philosophy. London: Routledge.

    Google Scholar 

  • Steinberger, F. (2017). The normative status of logic. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy, spring edition. Palo Alto: Metaphysics Research Lab, Stanford University.

    Google Scholar 

  • Wheeler, G. (2008). Applied logic without psychologism. Studia Logica, 88(1), 137–156. https://doi.org/10.1007/s11225-008-9095-8.

    Article  Google Scholar 

  • Woody, A. I. (2015). Re-orienting discussions of scientific explanation: A functional perspective. Studies in History and Philosophy of Science Part A, 52, 79–87.

    Article  Google Scholar 

  • Wyatt, N., & Payette, G. (2018). Logical pluralism and logical form. Logique & Analyse, 241, 25–42.

    Google Scholar 

  • Yalcin, S. (2012). A counterexample to modus tollens. Journal of Philosophical Logic, 41(6), 1001–1024. https://doi.org/10.1007/s10992-012-9228-4.

    Article  Google Scholar 

Download references

Acknowledgements

The authors are grateful for extensive feedback from referees for Synthese, as well as from audiences at the 2016 meeting of the Society for Exact Philosophy and the 2016 meeting of the Canadian Philosophical Association.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nicole Wyatt.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Gillman Payette would like to acknowledge the support of a Social Sciences and Humanities Council of Canada Banting Postdoctoral Fellowship from 2014 to 2016 which supported the work that led to this paper.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wyatt, N., Payette, G. Against logical generalism. Synthese 198 (Suppl 20), 4813–4830 (2021). https://doi.org/10.1007/s11229-018-02073-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-018-02073-w

Keywords

Navigation