Vol. 41 No. 1 (2021)
Articles

Logic as a Puzzle-Solving Activity

Diego Tajer
IIF -SADAF - CONICET

Published 2021-05-01

Keywords

  • Logical revision,
  • Logical Revision,
  • Scientific Methodology,
  • Puzzle-Solving,
  • Non-Classical Logics
  • Anti-excepcionalismo,
  • Revisión lógica,
  • Metodología científica,
  • Lógicas no clásicas,
  • Resolución de enigmas

Abstract

Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections. In section 1, I discuss the meaning of anti-exceptionalism and its place in contemporary logic. In section 2, I analyze some recent developments on this topic by Williamson (2017) and Hjortland (2017), which will motivate my view. In section 3, I propose a puzzle-solving perspective on logical practice. According to my view, there is a common methodology, in which scientists may use non-classical in order to solve some specific puzzles, but classical logic stays in a privileged position, as a common language and as a general theory of reasoning. This role cannot be fulfilled by other logics, and therefore the comparison between classical and non-classical logic is not like a regular comparison between competing hypotheses in science. The methodology of logical practice is therefore not abductive, at least in many important cases. Classical logic is not the “best available theory”, but the fundamental piece of our scientific methodology. My position is still anti-exceptionalist: logic is like any other science, or at least like any other science which can be characterized by a puzzle-solving methodology.

References

  1. Anderson, A., & N. Belnap., N. (1962). The pure calculus of entailment. Journal of Symbolic Logic, 27(1), 19-52.
  2. Bacon, A. (2013). Non-classical metatheory for non-classical logics. Journal of Philosophical Logic, 42(2), 335-355.
  3. Beall, J. C. (2009). Spandrels of truth. Oxford University Press.
  4. Beall, J. C. (2013a). A simple approach towards recapturing consistent theories in a paraconsistent setting. Review of Symbolic Logic, 6(4), 755-764.
  5. Beall, J. C. (2013b). LP+, K3+, FDE+, and their ‘classical collapse’. Review of Symbolic Logic, 6(4), 742-754.
  6. Beall, J. C. (2014). True, false and paranormal. Analysis, 66(2), 102-114.
  7. Beall, J. C. (2019). FDE as the one true logic. In H. Omori, & H. Wansing (Eds.), New Essays on Belnap-Dunn Logic. Synthese Library (Studies in Epistemology, Logic, Methodology and Philosophy of Science) 418. Springer.
  8. Bealer, G. (1998), Intuition and the autonomy of philosophy. In M. DePaul and W. Ramsey (Eds.), Rethinking intuition: The psychology of intuition and its role in philosophical inquiry (pp. 201-240). Rowman and Littlefield.
  9. Boghossian, P. A. (2000). Knowledge of logic. In P. A. Boghossian & C. Peacocke (Eds.) New essays on the a priori (pp. 229-254). Clarendon Press.
  10. Brouwer, L. E. J. (1908). De onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte, 2: 152-158. English translation in Brouwer, L. E. J. (1975), Collected works, Vol. 1. (ed. A. Heyting, pp. 107–111). North Holland.
  11. Da Re, B., Pailos, F., & Szmuc, D. (2018). Theories of truth based on four-valued infectious logics. Logic Journal of the IGPL, forthcoming.
  12. Dummett, M. (1978). Truth and other enigmas. Oxford University Press.
  13. Field, H. (2008). Saving truth from paradox. Oxford University Press.
  14. French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, 3(5), 113-131.
  15. Gupta, A., & Martin, R. (1984). A fixed-point theorem for the weak Kleene valuation scheme. Journal of Philosophical Logic, 13(2), 131-135.
  16. Hájek, P., Paris, J. & Shepherdson, J. (2000). The liar paradox and fuzzy logic. The journal of symbolic logic, 65(1), 339-346.
  17. Hjortland, O. (2017). Anti-exceptionalism about logic. Philosophical Studies, 174(3), 631-658.
  18. Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72(19), 690-716.
  19. Kuhn, T. (1970). The structure of scientific revolutions (2nd ed., enlarged). University of Chicago Press.
  20. Martin, B. (2020). Identifying logical evidence. Synthese, forthcoming.
  21. Martin, B., & Hjortland, O. (2020). Logical predictivism. Journal of Philosophical Logic, forthcoming.
  22. Meadows, T. (2014). Fixed points for consequence relations. Logique et Analyse, 57(227), 333-357.
  23. Norman, J., & Sylvan, R. (Eds.) (1989). Directions in relevant logic. Kluwer Academic Publishers.
  24. Payette, G., & Wyatt, N. (2018). How do logics explain. Australasian Journal of Philosophy, 96(1), 157-167.
  25. Priest, G. (2006). In contradiction (2nd ed.). Oxford University Press.
  26. Priest, G. (2014). Revising logic. In P. Rush (Ed.), The metaphysics of logic (pp. 211-223). Cambridge University Press.
  27. Ripley, D. (2012). Conservatively extending classical logic with transparent truth. Review of Symbolic Logic, 5(2), 354-378.
  28. Weber, Z., Badia, G. & Girard, P. (2016). What is an inconsistent truth table? Australasian Journal of Philosophy, 94(3), 533-548.
  29. Williamson, T. (2003). Understanding and inference. Aristotelian Society Supplementary Volume, 77(1), 249-293.
  30. Williamson, T. (2017). Semantic paradoxes and abductive methodology. In B. Armour-Garb (Ed.), Reflections of the liar (pp. 325-346). Oxford University Press.
  31. Wittgenstein, L. (1922). Tractatus Logico-Philosophicus (trad. C. K. Ogden). Routledge & Kegan Paul.
  32. Woods, J. (2019). Logical partisanhood. Philosophical Studies, 176, 1203-1224. https://doi.org/10.1007/s11098-018-1054-2
  33. 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.
  34. Zardini, E. (2011). Truth without contra(di)ction. Review of Symbolic Logic, 4(4), 498-535.