Abstract
Much of the discussion in the philosophy of logic over the last decade has been devoted to the debate between logical monism and logical pluralism. But logical nihilism hasn’t been given nearly as much attention, even though the view has historical roots and is philosophically defensible. I present and defend a number of arguments in favor of logical nihilism. These arguments are grouped into two main families: arguments from diversity (§2) and arguments from expressive limitations (§3). These arguments are often simple syllogisms pointing to fundamental differences between natural languages and formal consequence relations. Many of the arguments involve familiar problems in the philosophy of logic. The arguments, taken individually, are interesting in their own right; they each highlight an important way in which the formal methods of logic can be seen to be inadequate to modeling natural language inference. But the arguments taken jointly are more significant; by presenting all the arguments together, we can build something of a cumulative case for logical nihilism. Of course, if any of these arguments are sound, then logical nihilism is correct. But the arguments reinforce one another, such that logical nihilism presents us with a unified view across a broad range of issues in philosophy of logic. I conclude (§4) by considering related philosophical issues and sketching a general outlook on logic and formal methods that is nihilist-friendly.
Ordinary language has no exact logic.
Strawson (1950)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Of course, there are many ways one might think about truth; one needn’t think of truth in terms of correct representation. But it is a reasonable way of thinking about the issue, and I think it is what the intuitive slogan ‘One True Logic’ is getting at.
- 2.
This quote strongly suggests that Beall and Restall would not disagree with the characterization of logics as being in the business of correct representation of natural language inferential practice.
- 3.
Compare recent authors like Bueno and Colyvan (2004), “The aim of logic is taken to be to provide an account of logical consequence that captures the intuitive notion of consequence found in natural language” (p. 168). Or Resnik (2004), “As practitioners of inference we make specific inferences […] As logicians we try to formulate a systematic account of this practice by producing various rules of inference and laws of logic by which we presume the practice to proceed. This aspect of our work as logicians is like the work of grammarians” (p. 179). Or consider Cook (2010) “[A] logic is ‘correct’, or ‘acceptable’, etc., if and only if it is a correct (or acceptable, etc.) codification of logical consequence. The idea that the philosophically primary (but obviously not only) goal of logical theorizing is to provide a formal codification of logical consequence in natural language traces back (at least) to the work of Alfred Tarski” (p. 195).
- 4.
Cook (2010, p. 495f) gives a detailed account of what it means to say a logical consequence relation is adequate to natural language inference. I am assuming something like his definition is suitable for this purpose.
- 5.
Another way of reading Mortensen is as arguing that real broad possibility outstrips pure logical possibility. In this case, then, there may be logically impossible scenarios that are not, broadly speaking, impossible. Mortensen would then not count as a logical nihilist in the sense above.
- 6.
Parallel disputes over the metaphysics of composition. Here universalism states that composition always occurs, whereas nihilism claims that the composition relation is basically empty. ‘Emptyism’ just doesn’t have the same ring to it. And unfortunately, ‘Noneism’—the most natural name for the view defended in this chapter—is already taken.
- 7.
- 8.
- 9.
- 10.
This was Tarski’s (1936) early view.
But I also consider it to be quite possible that investigations will bring no positive results in this direction, so that we shall be compelled to regard such concepts as logical consequence as relative concepts. The fluctuation in the common usage of the concept of consequence would in part at least be quite naturally reflected in such a compulsory situation [of a relatively-defined concept of consequence]. (p. 420)
- 11.
Glanzberg’s (2015) rich and carefully argued paper is concerned with rejecting the view that natural language (a structure with a syntax and a semantics) determines a logical consequence relation. His position is very similar to logical nihilism of the sort I’m defending here, and he is probably one of the view’s closest allies. But strictly speaking Glanzberg’s view is compatible with logical monism and logical pluralism, since there could be one (or more) correct theory of natural language inference, even if it isn’t possible to simply read such a thing off from natural language itself.
- 12.
- 13.
See also Bacon (2015) who argues that there can be no ‘linguistic’ theories of paradox based in a classical language due to revenge problems.
- 14.
Thanks to Cory Wright for suggesting this way of framing the issue.
- 15.
- 16.
- 17.
- 18.
- 19.
Priest himself rejects ‘No Universe’ for his preferred set theory; for discussion see below.
- 20.
- 21.
- 22.
- 23.
- 24.
This problem is discussed, and some possible lines of response explored in Beall et al. (2006).
- 25.
See also Weir (2006).
- 26.
See Cook (2002) for discussion.
- 27.
Wright (2010) contends that higher-order vagueness worries are pseudo-problems; it is a revenge problem that only arises for views which misunderstand first-order vagueness. The logical nihilist can afford sympathy to such claims.
- 28.
Field takes this to be an argument for pluralism (because of an underlying antirealist pluralism about epistemic norms), one might well think such considerations provide better reasons to be nihilist about logic.
- 29.
The comparison with morality is instructive: consider the relevance of anti-theory views in ethics (e.g. Clarke 1987) to logical nihilism, or even the similarities between particularism (e.g. Dancy 1983) and Hofweber’s (2007) view that we should give up the ideal of deductive inference as exceptionless and monotonic. Natural language inferences need not be exceptionless or monotonic, and often are not. But they might still be generically valid, in the sense that generics like “Humans are bipeds” are true.
- 30.
- 31.
- 32.
- 33.
- 34.
I’d like to thank audiences at the Truth Pluralism and Logical Pluralism Conference at the University of Connecticut, the Swiss Society for Logic and Philosophy of Science at the University of Neuchâtel, the Northern Institute of Philosophy 2011 Reading Party, the University of St Andrews Philosophy Society, and the students in my 2014 and 2017 Philosophy of Logic seminars. Their comments and questions led to many improvements and developments in the paper. Special thanks to Colin Caret, Roy Cook, Matti Eklund, Ole Hjortland, Michael Lynch, Julien Murzi, Stephen Read, Gillian Russell, Gil Sagi, Kevin Scharp, Stewart Shapiro, Keith Simmons, Crispin Wright, and Elia Zardini for discussions on these topics over a number of years. Thanks also to an anonymous referee for helpful comments on a previous version of the paper. The biggest debt of gratitude is owed to my PhD supervisor Jc Beall, who disagrees with many of the ideas in this paper. A reaction against one’s academic upbringing can be a sign of deep respect; and I hope this paper is taken in that spirit.
References
Bacon, A. 2015. Can the Classical Logician Avoid the Revenge Paradoxes? Philosophical Review 124 (3): 299–352.
Beall, J. 2007. Prolegomena to Future Revenge. In Revenge of the Liar, ed. J. Beall, 1–30. Oxford: Oxford University Press.
———. 2015. Trivializing Sentences and the Promise of Semantic Completeness. Analysis 75: 573–584.
Beall, J., and J. Murzi. 2013. Two Flavors of Curry Paradox. Journal of Philosophy 110: 143–165.
Beall, J., and G. Restall. 2000. Logical Pluralism. Australasian Journal of Philosophy 78 (4): 475–493.
———. 2006. Logical Pluralism. Oxford: Oxford University Press.
Beall, J., R.T. Brady, A.P. Hazen, G. Priest, and G. Restall. 2006. Relevant Restricted Quantification. Journal of Philosophical Logic 35 (6): 587–598.
Boolos, G. 1985. Nominalist Platonism. The Philosophical Review 94: 327–344.
Brady, R. 2006. Universal Logic. Stanford: CSLI Publications.
Bueno, O., and M. Colyvan. 2004. Logical Non-apriorism and the Law of Non-contradiction. In The Law of Non-contradiction: New Philosophical Essays, ed. Graham Priest, Jc Beall, and Bradley P. Armour-Garb, 156–175. Oxford: Oxford University Press.
Bueno, O., and S.A. Shalkowski. 2009. Modalism and Logical Pluralism. Mind 118 (470): 295–321.
Chihara, C. 1979. The Semantic Paradoxes: A Diagnostic Investigation. Philosophical Review 88: 590–618.
Clarke, S.G. 1987. Anti-theory in Ethics. American Philosophical Quarterly 24 (3): 237–244.
Cook, R.T. 2002. Vagueness and Mathematical Precision. Mind 111: 227–247.
———. 2010. Let a Thousand Flowers Bloom: A Tour of Logical Pluralism. Philosophy Compass 5 (6): 492–504.
———. 2014. There Is No Paradox of Logical Validity. Logica Universalis 8 (3–4): 447–467.
Cotnoir, A.J. 2013. Validity for Strong Pluralists. Philosophy and Phenomenological Research 86 (3): 563–579.
Dancy, J. 1983. Ethical Particularism and Morally Relevant Properties. Mind 92 (368): 530–547.
Dummett, M. 1975. Wang’s Paradox. Synthese 30 (3–4): 301–324.
Dutilh-Novaes, C. 2012. Reassessing Logical Hylomorphism and the Demarcation of Logical Constants. Synthese 185 (3): 387–410.
Eklund, M. 2002. Inconsistent Languages. Philosophy and Phenomenological Research 64 (2): 251–275.
———. 2012. The Multitude View on Logic. In New Waves in the Philosophy of Logic, ed. G. Restall and G. Russell, 217–240. Palgrave Macmillan.
Estrada-González, L. 2011. On the Meaning of Connectives (Apropos of a Non-necessitarianist Challenge). Logica Universalis 5 (1): 115–126.
Etchemendy, J. 1990. The Concept of Logical Consequence. Cambridge, MA: Harvard University Press.
Field, H. 2008. Saving Truth from Paradox. Oxford: Oxford University Press.
———. 2009. Pluralism in Logic. Review of Symbolic Logic 2 (2): 342–359.
Florio, S. 2014. Unrestricted Quantification. Philosophy Compass 9 (7): 441–454.
Forster, T.M. 1992. Set Theory with a Universal Set. Oxford: Oxford University Press.
Frege, G. 2002. Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought. In From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, ed. J. Van Heijenoort, 1–82. Cambridge, MA: Harvard University Press.
Glanzberg, M. 2015. Logical Consequence and Natural Language. In Foundations of Logical Consequence, ed. C.R. Caret and O.T. Hjortland, 71–120. Oxford: Oxford University Press.
Grim, P. 1991. The Incomplete Universe: Totality, Knowledge, and Truth. Cambridge, MA: MIT Press.
Haack, S. 1978. Philosophy of Logics. Cambridge: Cambridge University Press.
Hofweber, T. 2007. Validity, Paradox, and the Ideal of Deductive Logic. In Revenge of the Liar, ed. J. Beall, 145–158. Oxford: Oxford University Press.
Jané, I. 1993. A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14: 67–86.
Lavine, S. 2006. Something About Everything: Universal Quantification in the Universal Sense of Universal Quantification. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 98–148. Oxford: Oxford University Press.
Lewis, D.K. 1991. Parts of Classes. Oxford: Blackwell.
Linnebo, Ø. 2003. Plural Quantification Exposed. Noûs 37 (1): 71–92.
———. 2006. Sets, Properties, Unrestricted Quantification. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 149–178. Oxford: Oxford University Press.
———. 2010. Pluralities and Sets. Journal of Philosophy 107 (3): 144–164.
Linnebo, Ø., and A. Rayo. 2012. Hierarchies Ontological and Ideological. Mind 121 (482): 269–308.
Ludwig, K. 2002. What Is the Role of a Truth Theory in a Meaning Theory. In Meaning and Truth: Investigations in Philosophical Semantics, ed. O. Campbell, D. Shier, and J.K. Campbell. New York: Seven Bridges Press.
Ludwig, K., and G. Ray. 2002. Vagueness and the Sorites Paradox. Philosophical Perspectives 16: 419–461.
Lynch, M.P. 2008. Alethic Pluralism, Logical Consequence, and the Universality of Reason. Midwest Studies in Philosophy 32 (1): 122–140.
———. 2009. Truth as One and Many. Oxford: Oxford University Press.
MacFarlane, J.G. 2002. What Does It Mean to Say that Logic Is Formal? PhD thesis, Citeseer.
Mackie, J.L. 1977. Ethics: Inventing Right and Wrong. New York: Pelican Books.
McGee, V. 2003. Universal Universal Quantification. In Liars and Heaps, ed. M. Glanzberg and J. Beall, 357–364. Oxford: Oxford University Press.
———. 2006. There Is a Rule for Everything. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 179–202. Oxford: Oxford University Press.
Mortensen, C. 1989. Anything is possible. Erkenntnis 30 (3): 319–337.
Murzi, J. 2014. The Inexpressibility of Validity. Analysis 74 (1): 65–81.
Patterson, D. 2009. Inconsistency Theories of Semantic Paradox. Philosophy and Phenomenological Research 79 (2): 387–422.
Pedersen, Nikolaj J.L.L. 2014. Pluralism x 3: Truth, Logic, Metaphysics. Erkenntnis 79 (2): 259–277.
Priest, G. 1984. Semantic Closure. Studia Logica: An International Journal for Symbolic Logic 43 (1/2): 117–129.
———. 2002. Beyond the Limits of Thought. Oxford: Oxford University Press.
———. 2006. Doubt Truth to Be a Liar. Oxford: Oxford University Press.
———. 2007. Review of Absolute Generality. Notre Dame Philosophical Reviews. https://ndpr.nd.edu/news/absolute-generality/.
Quine, W.V.O. 1937. New Foundations for Mathematical Logic. The American Mathematical Monthly 44: 70–80.
Rayo, A. 2002. Word and Objects. Noûs 36 (3): 436–464.
———. 2006. Beyond Plurals. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 220–254. Oxford: Oxford University Press.
Rayo, A., and G. Uzquiano. 2006. Introduction. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 1–19. Oxford: Oxford University Press.
Read, S. 2006. Monism: The One True Logic. In A Logical Approach to Philosophy, ed. D. DeVidi and T. Kenyon, 193–209. New York: Springer.
Resnik, M.D. 1988. Second-Order Logic Still Wild. The Journal of Philosophy 85 (2): 75–87.
———. 2004. Revising Logic. In The Law of Non-contradiction: New Philosophical Essays, ed. Graham Priest, J.C. Beall, and Bradley P. Armour-Garb, 178–193. Oxford: Oxford University Press.
Russell, G. 2008. One True Logic? Journal of Philosophical Logic 37 (6): 593–611.
———. 2017. An Introduction to Logical Nihilism. In Logic, Methodology and Philosophy of Science, ed. P.S. Hannes Leitgeb, Ilkka Niiniluoto, and E. Sober. London: College Publications.
Sagi, G. 2014. Formality in Logic: From Logical Terms to Semantic Constraints. Logique et Analyse 56 (227): 259–276.
Sainsbury, R.M. 1996. Concepts Without Boundaries. In Vagueness: A Reader, ed. R. Keefe and P. Smith, 186–205. Cambridge, MA: MIT Press.
Scharp, K. 2013. Replacing Truth. Oxford: Oxford University Press.
Shapiro, S. 2006. Vagueness in Context. Oxford: Oxford University Press.
———. 2011. Varieties of Pluralism and Relativism for Logic. In A Companion to Relativism, ed. D. Hales, 526–552. Malden: Wiley-Blackwell.
———. 2014. Varieties of logic. Oxford: Oxford University Press.
Sher, G. 1996. Did Tarski Commit ‘tarski’s Fallacy’? Journal of Symbolic Logic 61 (2): 653–686.
Strawson, P.F. 1950. On Referring. Mind 59 (235): 320–344.
Studd, J. 2013. The Iterative Conception of Set. Journal of Philosophical Logic 42: 697–725.
Tarski, A. 1936. On the Concept of Logical Consequence. 2nd ed, 409–420. Indianapolis: Hackett.
———. 1944. The Semantic Conception of Truth: And the Foundations of Semantics. Philosophy and Phenomenological Research 4 (3): 341–376.
Tye, M. 1994. Sorites Paradoxes and the Semantics of Vagueness. Philosophical Perspectives 8: 189–206.
Uzquiano, G. 2006. The Price of Universality. Philosophical Studies 129: 137–169.
———. 2009. Quantification Without a Domain. In New Waves in the Philosophy of Mathematics, ed. O. Bueno and Ø. Linnebo, 300–323. London: Palgrave Macmillan.
Varzi, A.C. 2002. On Logical Relativity. Noûs 36 (1): 197–219.
Wansing, H., and G. Priest. 2015. External Curries. Journal of Philosophical Logic 44: 453–471.
Weber, Z. 2010. Transfinite Numbers in Paraconsistent Set Theory. Review of Symbolic Logic 3 (1): 71–92.
———. 2012. Transfinite Cardinals in Paraconsistent Set Theory. Review of Symbolic Logic 5 (2): 269–293.
———. 2014. Naive Validity. The Philosophical Quarterly 64 (254): 99–114.
Weir, A. 2006. Is It Too Much to Ask, to Ask for Everything? In Absolute Generality, ed. A. Rayo and G. Uzquiano, 333–368. Oxford: Oxford University Press.
Whittle, B. 2004. Dialetheism, Logical Consequence, and Hierarchy. Analysis 64 (4): 318–326.
Williamson, T. 2003. Everything. Philosophical Perspectives 17 (1): 415–465.
———. 2006. Absolute Identity and Absolute Generality. In Absolute Generality, ed. A. Rayo and G. Uzquiano, 369–390. Oxford: Oxford University Press.
———. 2017. Semantic Paradoxes and Abductive Methodology. In The Relevance of the Liar, ed. B. Armour-Garb, 325–346. Oxford: Oxford University Press.
Wright, C. 1975. On the Coherence of Vague Predicates. Synthese 30 (3/4): 325–365.
———. 2010. The Illusion of Higher-Order Vagueness. In Cuts and Clouds: Vagueness, Its Nature, and Its Logic, ed. R. Dietz and S. Moruzzi. Oxford: Oxford University Press.
Zardini, E. 2010. Truth Preservation in Context and in Its Place. In Insolubles and Consequences, ed. C. Dutilh-Novaes and O. Hjortland, 249–271. London: College Publications.
———. 2013. Naive Logical Properties and Structural Properties. The Journal of Philosophy 110: 633–644.
———. 2014. Context and Consequence: An Intercontextual Substructural Logic. Synthese 191: 3473–3500.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 The Author(s)
About this chapter
Cite this chapter
Cotnoir, A.J. (2018). Logical Nihilism. In: Wyatt, J., Pedersen, N., Kellen, N. (eds) Pluralisms in Truth and Logic. Palgrave Innovations in Philosophy. Palgrave Macmillan, Cham. https://doi.org/10.1007/978-3-319-98346-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-98346-2_13
Published:
Publisher Name: Palgrave Macmillan, Cham
Print ISBN: 978-3-319-98345-5
Online ISBN: 978-3-319-98346-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)