Logical Predictivism

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.

References

  1. 1.

    Anderson, A.R., & Belnap, N.D. (1975). Entailment: The Logic of Relevance and Necessity volume 1. Princeton: Princeton University Press.

    Google Scholar 

  2. 2.

    Ayer, A.J. (1936). Language truth and logic. New York: Dover.

    Google Scholar 

  3. 3.

    Belnap, N.D. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25(2), 144–146.

    Google Scholar 

  4. 4.

    Bogen, J., & Woodward, J. (1988). Saving the phenomena. The Philosophical Review, 97(3), 303–352.

    Google Scholar 

  5. 5.

    Boghossian, P. (2000) In Paul Boghossian, C. P. (Ed.), Knowledge of logic, (pp. 229–254). Oxford: Clarendon Press.

  6. 6.

    BonJour, L. (1998). In defense of pure reason: a rationalist account of a priori justification. Cambridge: Cambridge University Press.

    Google Scholar 

  7. 7.

    Brouwer, L.E.J. (1907). Over de grondslagen der wiskunde. PhD thesis, Amsterdam. Extracts reprinted in Brouwer (1975), pp. 11-101.

  8. 8.

    Brouwer, L.E.J. (1908). De Onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte, 2, 152–158. Reprinted in Brouwer (1975), pp. 107-111.

    Google Scholar 

  9. 9.

    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.

  10. 10.

    Brouwer, L.E.J. (1975). Collected works: philosophy and foundation of mathematics Vol. 1. Amsterdam: North-Holland. Edited by A. Heyting.

    Google Scholar 

  11. 11.

    Brush, S.G. (1989). Prediction and theory evaluation: the case of light bending. Science, 246(4934), 1124–1129.

    Google Scholar 

  12. 12.

    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).

  13. 13.

    Burgess, J.P. (1983). Common sense and “relevance”. Notre Dame Journal of Formal Logic, 24(1), 41–53.

    Google Scholar 

  14. 14.

    Carroll, J. (1994). Laws of nature. Cambridge: Cambridge University Press.

    Google Scholar 

  15. 15.

    Cook, R. (2002). Vagueness and mathematical precision. Mind, 111(442), 225–48.

    Google Scholar 

  16. 16.

    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.

    Google Scholar 

  17. 17.

    Curry, H. (1942). The inconsistency of certain formal logics. Journal of Symbolic Logic, 7(3), 115–117.

    Google Scholar 

  18. 18.

    Dummett, M. (2000). Elements of intuitionism, 2nd edn. Oxford: Oxford University Press.

    Google Scholar 

  19. 19.

    Evans, J. (2013). The psychology of deductive reasoning psychology revivals. London & New York: Psychology Press.

    Google Scholar 

  20. 20.

    Frege, G. (1959). The foundations of arithmetic. Oxford: Basil Blackwell. Translated by J.L. Austin.

    Google Scholar 

  21. 21.

    Frege, G. (1979). Posthumous Writings. Oxford: Blackwell. Translated by P. Long and R. White, and edited by H. Hermes, F. Kambartel and F. Kaulbach.

    Google Scholar 

  22. 22.

    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.

  23. 23.

    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.

  24. 24.

    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.

    Google Scholar 

  25. 25.

    Hjortland, O.T. (2017). Anti-exceptionalism about logic. Philosophical Studies, 174(3), 631–658.

    Google Scholar 

  26. 26.

    Hunt, J.C. (2012). On ad hoc hypotheses. Philosophy of Science, 79(1), 1–14.

    Google Scholar 

  27. 27.

    Jeshion, R. (2001). Frege’s notions of self-evidence. Mind, 110 (440), 937–976.

    Google Scholar 

  28. 28.

    Kant, I. (1998). Critique of pure reason. Cambridge: Cambridge University Press. Translated and edited by Paul Guyer & Allen W. Wood.

    Google Scholar 

  29. 29.

    Kitcher, P. (1979). Frege’s epistemology. The Philosophical Review, 88(2), 235–262.

    Google Scholar 

  30. 30.

    Kolodny, N., & MacFarlane, J. (2010). Ifs and oughts. The Journal of Philosophy, 107(3), 115–143.

    Google Scholar 

  31. 31.

    Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72(19), 690–716.

    Google Scholar 

  32. 32.

    Kuhn, T. (1977). The essential tension university of chicago press. Chicago: IL.

    Google Scholar 

  33. 33.

    Lewis, C.L., & Langford, C.H. (1932). Symbolic logic. London: Dover Publications.

    Google Scholar 

  34. 34.

    Lipton, P. (1991). Inference to the best explanation. London: Routledge.

    Google Scholar 

  35. 35.

    MacFarlane, J. (2000). What Does it Mean to Say that Logic is Formal? PhD thesis. Pittsburgh: University of Pittsburgh.

    Google Scholar 

  36. 36.

    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.

  37. 37.

    Martin, B., & Hjortland, O. (202X). Evidence in logic. In Routledge handbook of philosophy of evidence. London: Routledge.

  38. 38.

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

    Google Scholar 

  39. 39.

    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.

  40. 40.

    Meyer, R.K. (1971). R-mingle and relevant disjunction. Journal of Symbolic Logic, 36(2), 366.

    Google Scholar 

  41. 41.

    Payette, G., & Wyatt, N. (2018). How do logics explain? Australasian Journal of Philosophy, 96(1), 157–167.

    Google Scholar 

  42. 42.

    Priest, G. (2006). In contradiction, 2nd edn. Oxford: Oxford University Press.

    Google Scholar 

  43. 43.

    Priest, G. (2008). An introduction to Non-Classical logic, 2nd edn. Cambridge: Cambridge University Press.

    Google Scholar 

  44. 44.

    Priest, G. (2014). Revising logic. In Rush, P. (Ed.) The Metaphysics of logic, chapter 12 (pp. 211–223). Cambridge: CUP.

  45. 45.

    Priest, G. (2016). Logical disputes and the a priori. Logique et Analyse, 59(236), 347–66.

    Google Scholar 

  46. 46.

    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.

  47. 47.

    Quine, W. (1981). What price bivalence? The Journal of Philosophy, 78(2), 90–95.

    Google Scholar 

  48. 48.

    Quine, W.V. (1951). Two dogmas of empiricism. Philosophical Review, 60(1), 20–43.

    Google Scholar 

  49. 49.

    Routley, R., & Meyer, R.K. (1972a). The semantics of entailment ii. Journal of Philosophical Logic, 1(1), 53–73.

    Google Scholar 

  50. 50.

    Routley, R., & Meyer, R.K. (1972b). The semantics of entailment iii. Journal of Philosophical Logic, 1(2), 192–208.

    Google Scholar 

  51. 51.

    Russell, G. (2015). The justification of the basic laws of logic. Journal of Philosophical Logic, 44(6), 793–803.

    Google Scholar 

  52. 52.

    Russell, G. (2017). Logic isn’t normative. Inquiry. Online first: https://www.tandfonline.com/doi/full/10.1080/0020174X.2017.1372305.

  53. 53.

    Russell, G. (2018). Logical nihilism: Could there be no logic? Philosophical Issues, 28(1), 308–324.

    Google Scholar 

  54. 54.

    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.

    Google Scholar 

  55. 55.

    Schindler, S. (2018). Theoretical virtues in science: uncovering reality through theory. Cambridge: Cambridge University Press.

    Google Scholar 

  56. 56.

    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.

  57. 57.

    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.

  58. 58.

    Shapiro, S. (2006). Vagueness in context. Oxford: Oxford University Press.

    Google Scholar 

  59. 59.

    Strawson, P.F. (1950). On referring. Mind, 59(235), 320–344.

    Google Scholar 

  60. 60.

    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.

  61. 61.

    Tennant, N. (2017). Core logic. Oxford: Oxford University Press.

    Google Scholar 

  62. 62.

    Weiner, J. (1990). Frege in perspective. Ithaca: Cornell university press.

    Google Scholar 

  63. 63.

    Williamson, T. (1994). Vagueness. London & New York: Routledge.

    Google Scholar 

  64. 64.

    Williamson, T. (2013). Modal logic as metaphysics. Oxford: Oxford University Press.

    Google Scholar 

  65. 65.

    Williamson, T. (2017). Semantic paradoxes and abductive methdology. In Armour-Garb, B. (Ed.) The relevance of the liar. Oxford: Oxford University Press.

  66. 66.

    Woods, J. (2019). Logical partisanhood. Philosophical Studies, 176(5), 1203–1224.

    Google Scholar 

  67. 67.

    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.

  68. 68.

    Wright, C. (1986). Inventing logical necessity. In Butterfield, J. (Ed.) Language, mind, and logic (pp. 187–209). Cambridge: Cambridge University Press.

  69. 69.

    Yalcin, S. (2012). A counterexample to modus tollens. Journal of Philosophical Logic, 41(6), 1001–1024.

    Google Scholar 

  70. 70.

    Zardini, E. (2016). Restriction by noncontraction. Notre Dame Journal of Formal Logic, 57(2), 287–327.

    Google Scholar 

Download references

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

Affiliations

Authors

Corresponding author

Correspondence to Ben Martin.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Martin, B., Hjortland, O. Logical Predictivism. J Philos Logic (2020). https://doi.org/10.1007/s10992-020-09566-5

Download citation

Keywords

  • Anti-Exceptionalism about logic
  • Logical methodology
  • Theory choice
  • Logical abductivism
  • Explanation
  • Prediction