Abstract
Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic (AEL), that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and (at least partially) prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation.
Article PDF
Similar content being viewed by others
References
Anderson, A.R., & Belnap, N.D. (1975). Entailment: The Logic of Relevance and Necessity volume 1. Princeton: Princeton University Press.
Ayer, A.J. (1936). Language truth and logic. New York: Dover.
Belnap, N.D. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25(2), 144–146.
Bogen, J., & Woodward, J. (1988). Saving the phenomena. The Philosophical Review, 97(3), 303–352.
Boghossian, P. (2000) In Paul Boghossian, C. P. (Ed.), Knowledge of logic, (pp. 229–254). Oxford: Clarendon Press.
BonJour, L. (1998). In defense of pure reason: a rationalist account of a priori justification. Cambridge: Cambridge University Press.
Brouwer, L.E.J. (1907). Over de grondslagen der wiskunde. PhD thesis, Amsterdam. Extracts reprinted in Brouwer (1975), pp. 11-101.
Brouwer, L.E.J. (1908). De Onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte, 2, 152–158. Reprinted in Brouwer (1975), pp. 107-111.
Brouwer, L.E.J. (1948). Consciousness, philosophy and mathematics. In Beth, E.W., Pos, H.J., Hollak, J.H.A., Beth, EW, & et al. (Eds.) Proceedings of the 10th international congress of philosophy. North-Holland, Amsterdam. Reprinted in Brouwer (1975), pp. 480–494 (pp. 1235–1249). Amsterdam: North Holland.
Brouwer, L.E.J. (1975). Collected works: philosophy and foundation of mathematics Vol. 1. Amsterdam: North-Holland. Edited by A. Heyting.
Brush, S.G. (1989). Prediction and theory evaluation: the case of light bending. Science, 246(4934), 1124–1129.
Brush, S.G. (1994). Dynamics of theory change: The role of predictions. In PSA: proceedings of the biennial meeting of the philosophy of science association. Philosophy of Science Association (pp. 133–145).
Burgess, J.P. (1983). Common sense and “relevance”. Notre Dame Journal of Formal Logic, 24(1), 41–53.
Carroll, J. (1994). Laws of nature. Cambridge: Cambridge University Press.
Cook, R. (2002). Vagueness and mathematical precision. Mind, 111(442), 225–48.
Copeland, B.J. (1979). On when a semantics is not a semantics: some reasons for disliking the routley-meyer semantics for relevance logic. Journal of Philosophical Logic, 8(1), 399–413.
Curry, H. (1942). The inconsistency of certain formal logics. Journal of Symbolic Logic, 7(3), 115–117.
Dummett, M. (2000). Elements of intuitionism, 2nd edn. Oxford: Oxford University Press.
Evans, J. (2013). The psychology of deductive reasoning psychology revivals. London & New York: Psychology Press.
Frege, G. (1959). The foundations of arithmetic. Oxford: Basil Blackwell. Translated by J.L. Austin.
Frege, G. (1979). Posthumous Writings. Oxford: Blackwell. Translated by P. Long and R. White, and edited by H. Hermes, F. Kambartel and F. Kaulbach.
Gentzen, G. (1969). Untersuchungen Über das logische Schliessen, (Vol. 39. Translated in The Collected Papers of Gerhard Gentzen, ed. by M.E. Szabo, Nort Holland.
Glanzberg, M. (2015). Logical consequence and natural language. In Caret, C., & Hjortland, O. (Eds.) Foundations of logical consequence (pp. 71–120). Oxford: Oxford University Press.
Hitchcock, C., & Sober, E. (2004). Prediction verses accommodation and the risk of overfitting. The British Journal for the Philosophy of Science, 55(1), 1–34.
Hjortland, O.T. (2017). Anti-exceptionalism about logic. Philosophical Studies, 174(3), 631–658.
Hunt, J.C. (2012). On ad hoc hypotheses. Philosophy of Science, 79(1), 1–14.
Jeshion, R. (2001). Frege’s notions of self-evidence. Mind, 110 (440), 937–976.
Kant, I. (1998). Critique of pure reason. Cambridge: Cambridge University Press. Translated and edited by Paul Guyer & Allen W. Wood.
Kitcher, P. (1979). Frege’s epistemology. The Philosophical Review, 88(2), 235–262.
Kolodny, N., & MacFarlane, J. (2010). Ifs and oughts. The Journal of Philosophy, 107(3), 115–143.
Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72(19), 690–716.
Kuhn, T. (1977). The essential tension university of chicago press. Chicago: IL.
Lewis, C.L., & Langford, C.H. (1932). Symbolic logic. London: Dover Publications.
Lipton, P. (1991). Inference to the best explanation. London: Routledge.
MacFarlane, J. (2000). What Does it Mean to Say that Logic is Formal? PhD thesis. Pittsburgh: University of Pittsburgh.
Martin, B. (2020). Identifying logical evidence. Synthese. Online first: https://doi.org/10.1007/s11229-020-02618-yhttps://doi.org/10.1007/s11229-020-02618-y.
Martin, B., & Hjortland, O. (202X). Evidence in logic. In Routledge handbook of philosophy of evidence. London: Routledge.
McGee, V. (1985). A counterexample to modus ponens. Journal of Philosophy, 82(9), 462–471.
McMullin, E. (2008). The virtues of a good theory. In Psillos, S., & Curd, M. (Eds.) The routledge companion to philosophy of science (pp. 498–508). London: Routledge.
Meyer, R.K. (1971). R-mingle and relevant disjunction. Journal of Symbolic Logic, 36(2), 366.
Payette, G., & Wyatt, N. (2018). How do logics explain? Australasian Journal of Philosophy, 96(1), 157–167.
Priest, G. (2006). In contradiction, 2nd edn. Oxford: Oxford University Press.
Priest, G. (2008). An introduction to Non-Classical logic, 2nd edn. Cambridge: Cambridge University Press.
Priest, G. (2014). Revising logic. In Rush, P. (Ed.) The Metaphysics of logic, chapter 12 (pp. 211–223). Cambridge: CUP.
Priest, G. (2016). Logical disputes and the a priori. Logique et Analyse, 59(236), 347–66.
Putnam, H. (1969). Is logic empirical?. In Cohen, R.S., & Wartofsky, M.W. (Eds.) Boston studies in the philosophy of science: proceedings of the Boston colloquium for the philosophy of science 1966/1968 (pp. 216–241). Dordrecht: Springer.
Quine, W. (1981). What price bivalence? The Journal of Philosophy, 78(2), 90–95.
Quine, W.V. (1951). Two dogmas of empiricism. Philosophical Review, 60(1), 20–43.
Routley, R., & Meyer, R.K. (1972a). The semantics of entailment ii. Journal of Philosophical Logic, 1(1), 53–73.
Routley, R., & Meyer, R.K. (1972b). The semantics of entailment iii. Journal of Philosophical Logic, 1(2), 192–208.
Russell, G. (2015). The justification of the basic laws of logic. Journal of Philosophical Logic, 44(6), 793–803.
Russell, G. (2017). Logic isn’t normative. Inquiry. Online first: https://www.tandfonline.com/doi/full/10.1080/0020174X.2017.1372305.
Russell, G. (2018). Logical nihilism: Could there be no logic? Philosophical Issues, 28(1), 308–324.
Russell, G. (2019). Deviance and vice: Strength as a theoretical virtue in the epistemology of logic. Philosophy and Phenomenological Research, 99, 548–63. Online first: https://onlinelibrary.wiley.com/doi/abs/10.1111/phpr.12498.
Schindler, S. (2018). Theoretical virtues in science: uncovering reality through theory. Cambridge: Cambridge University Press.
Shapiro, S. (1998). Logical consequence: Models and modality. In Schirn, M. (Ed.) Philosophy of mathematics today: proceedings of an international conference in munich (pp. 131–156). Oxford: Oxford University Press.
Shapiro, S. (2000). The status of logic. In Peacocke, C., & Boghossian, P.A. (Eds.) New essays on the a priori (pp. 333–366). Oxford: Oxford University Press.
Shapiro, S. (2006). Vagueness in context. Oxford: Oxford University Press.
Strawson, P.F. (1950). On referring. Mind, 59(235), 320–344.
Tennant, N. (2004). An anti-realist critique of dialetheism. In Priest, G., Beall, J., & Armour-Garb, B. (Eds.) The law of non-contradiction: new philosophical essays (pp. 355–384). Oxford: Clarendon Press.
Tennant, N. (2017). Core logic. Oxford: Oxford University Press.
Weiner, J. (1990). Frege in perspective. Ithaca: Cornell university press.
Williamson, T. (1994). Vagueness. London & New York: Routledge.
Williamson, T. (2013). Modal logic as metaphysics. Oxford: Oxford University Press.
Williamson, T. (2017). Semantic paradoxes and abductive methdology. In Armour-Garb, B. (Ed.) The relevance of the liar. Oxford: Oxford University Press.
Woods, J. (2019). Logical partisanhood. Philosophical Studies, 176(5), 1203–1224.
Worrall, J. (1989). Fresnel, poisson and the white spot: The role of successful predictions in the acceptance of scientific theories. In Gooding, D., Pinch, T., & Schaffer, S. (Eds.) The uses of experiment: studies in the natural sciences (pp. 135–157). Cambridge: Cambridge University Press.
Wright, C. (1986). Inventing logical necessity. In Butterfield, J. (Ed.) Language, mind, and logic (pp. 187–209). Cambridge: Cambridge University Press.
Yalcin, S. (2012). A counterexample to modus tollens. Journal of Philosophical Logic, 41(6), 1001–1024.
Zardini, E. (2016). Restriction by noncontraction. Notre Dame Journal of Formal Logic, 57(2), 287–327.
Acknowledgements
We are grateful to audiences at the IUSS Pavia, the Hebrew University of Jerusalem, the CUNY Graduate Center, UCONN, and the University of Bergen for their feedback on earlier versions of this work, particularly Jc Beall, Filippo Ferrari, Ulf Hlobil, Graham Priest, Marcus Rossberg, Gillian Russell, Gil Sagi, Andrea Sereni, Maria Paola Sforza, Lionel Shapiro, Stewart Shapiro, Roy Sorensen, and Jack Woods. We would also like to thank our colleagues at the University of Bergen for their comments on a draft of this paper, particularly Pål Antonsen, Sorin Bangu, Michael Baumgartner, Evelyn Erickson, Tore Øgaard, and Sindre Søderstrøm. Finally, we would like to thank an anonymous referee for their extremely useful comments on a previous version of this paper. Research for this paper was supported by both a Marie Sklodowska-Curie grant (agreement no.: 797507), under the European Union’s Horizon 2020 research and innovation programme, and a Research Council of Norway (RCN) FRIPRO grant (no: 251218).
Funding
Open Access funding provided by University of Bergen.
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
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Martin, B., Hjortland, O. Logical Predictivism. J Philos Logic 50, 285–318 (2021). https://doi.org/10.1007/s10992-020-09566-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-020-09566-5