Skip to main content

Wittgenstein’s Tractatus and the Epistemology of Logic

  • Chapter
  • First Online:
Wittgenstein's Tractatus at 100
  • 96 Accesses

Abstract

This chapter discusses Wittgenstein’s early account of the epistemology of logic in relation to Frege, Russell, and Carnap. It explains how Wittgenstein’s early key insight that ‘logic takes care of itself’ enables him to solve several problems that arise for Frege’s and Russell’s philosophies and epistemologies of logic. These include problems relating to the justification of logical accounts and logical consequence, as well as to the status of logic as an a priori investigation distinct from empirical psychology. More specifically, Wittgenstein’s key insight eliminates the need to appeal in logic to any allegedly self-evident truths, intuitions, or substantial metaphysical knowledge regarding abstract objects. Further, his associated conception that the right way to articulate an account of logic isn’t theses, but a logical language whose design mirrors the logical structure of thought and language, puts him in a position to address what Sheffer later called ‘the logocentric predicament’. I conclude by explaining why the Tractatus doesn’t suffer from a paradox of nonsensical theses, and by outlining how Wittgenstein’s use of colloquial language to introduce his logical language foreshadows Carnap’s method of logical syntax. This explains why Carnap’s criticisms of Wittgenstein fail.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In the following I will use either the term ‘proposition’ or ‘thesis’ depending on context. Both stand for true/false representations of facts concerning thought, language or reality, and are substantial in this sense.

  2. 2.

    For discussions of the problem of the justification of logic, see also Quine (1976) (originally 1935). Quine addresses the issue in relation to conventionalism, arguing that logical truth cannot be explained with reference to conventions, since logical justification would have to already rely on relevant conventions.

  3. 3.

    Anssi Korhonen draws a similar distinction with reference to Frege and Russell between logic as science, that is ‘logic as principles of correct reasoning’, and logic as theory, that is a ‘particular formulation of logical principles’. Logic as science here refers to a science whose subject matter consist ‘very roughly, in truths about correct inferential transitions between non-linguistic entities of a certain kind (thoughts, propositions)’ that the logicians then try to model or represent and reconstruct in logical systems and explicit theories of logic (Korhonen 2012, 603). A related distinction between logic as science and logic as calculus is drawn by Gregory Landini (1998, Chap. 1). With Wittgenstein’s rejection of theses about logic in mind, I propose a different but related distinction between logic as the rules/norms/principles that govern thought and language use that are the target of logicians’ clarifications, and a logical language governed by relevant kind of rules/norms/principles put forward by a logician as an account of logic (see below, cf. Kuusela 2019a, 2019b, 49–51).

  4. 4.

    In the case of such propositions the truth-tables laid out in the Tractatus don’t correctly reflect what Wittgenstein calls the ‘truth-possibilities’ of propositions (TLP 4.3-4.44). For example, the complex proposition ‘a is green and a is red all over’ is false, even though both conjuncts are true, contrary to standard truth-tables. Thus, as Wittgenstein realized, all sensible propositions can’t be expressed in his logical language. The logical behaviour of language is more complicated than he thought, and Tractarian’ truth-tables only account for part of the behaviour of the logical connectives. See Kuusela (2023) for Wittgenstein’s attempt to address this problem by introducing the notion of discreet propositional systems governed by different logical rules.

  5. 5.

    Although Frege has often been read as a Platonist, this is controversial. For a Platonist interpretation, see, for example, Burge (2005). Ricketts (1986) proposes a non-Platonist interpretation, arguing that Platonism is incompatible with Frege’s context principle.

  6. 6.

    Russell maintained that we have immediate non-judgmental knowledge of abstract logical objects that ‘must underlie our knowledge of logic’ (Russell 1984, 97). But he never made much progress in clarifying this notion of immediate non-judgmental knowledge whose nature hardly becomes clearer by labelling it ‘intuition’. See also Russell (2001), Chap. 10.

  7. 7.

    By dissolution I mean a way of dealing with philosophical problems by introducing an alternative way of thinking about an issue in the context of which a problem that arises in the context of another way of thinking no longer arises. Rather than answered in the previously presupposed terms the problem is thus made to disappear by introducing a better alternative view. See Kuusela (Forthcoming) for discussion of Wittgenstein’s notion of the dissolution of philosophical problems.

  8. 8.

    This criticism, which relates more specifically to Frege’s and Russell’s failure to clearly distinguish rules of inference from axioms as true propositions, is spelt out at more length in Wittgenstein’s intended update on the Tractatus co-authored with Friedrich Waismann, but which was eventually abandoned (Wittgenstein & Weismann 2003, 179–183). It’s noteworthy that the Tractatus’ criticism of Frege’s and Russell’s axiomatic accounts of logic doesn’t imply any general objection to axiomatic accounts of logic. Insofar as logical axioms are understood as rules for the employment of the signs of a logical system, not true propositions, there’s no objection. Wittgenstein’s objection is directed specifically against Frege’s and Russell’s accounts of logic as a body of substantial truths, and the conception of axioms as a set of independently justified self-evident truths that constitute the foundation for logic in the style of metaphysical foundations.

  9. 9.

    Wittgenstein further explicates the nature of this logical knowledge by means of his distinction between saying and showing. For an account of Wittgenstein’s distinction that is consistent with the proposed interpretation, see Kuusela (2021a).

  10. 10.

    See Kuusela (2021b) for discussion of examples of traditional paradox-generating interpretations (G.E.M. Anscombe and Peter Hacker) and responses to them by so-called therapeutic and non-therapeutic resolute readers (including James Conant and Cora Diamond), and how the paradox is dissolved. For a critique of therapeutic interpretations of Wittgenstein, see Kuusela (2019a).

  11. 11.

    For the notion of formality in the Tractatus, see Kuusela (2019b), 60–61, 80.

  12. 12.

    See Kuusela (2019b), Chap. 3 for a detailed discussion and justification of this comparison between Wittgenstein and Carnap.

  13. 13.

    I would like to thank the participants at the Heyting Day in Amsterdam in June 2022 for their questions and comments, in particular Maria van der Schaar and Göran Sundholm, as well as the editors of this collection.

References

  • Burge, Tyler. 2005. Frege on Knowing the Third Realm. In Truth, Thought, Reason: Essays on Frege. Oxford: Clarendon Press.

    Chapter  Google Scholar 

  • Carnap, Rudolf. 1967. The Logical Syntax of Language. London: Routledge.

    Google Scholar 

  • Carroll, Lewis. 1895. What the Tortoise Said to Achilles. Mind 4 (14): 278–280.

    Article  Google Scholar 

  • Carus, André. 2007. Carnap and Twentieth-Century Thought: Explication as Enlightenment. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Goldfarb, Warren. 1979. Logic in the Twenties: The Nature of the Quantifier. The Journal of Symbolic Logic 44 (3): 351–368.

    Article  Google Scholar 

  • ———. 1982. Logicism and Logical Truth. Journal of Philosophy 79 (1): 692–695.

    Article  Google Scholar 

  • van Heijenoort, Jean. 1967. Logic as Calculus and Logic as Language. Synthese 17 (1): 324–330.

    Article  Google Scholar 

  • Korhonen, Annsi. 2012. Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament. Logica Universalis 6 (3-4): 597–613.

    Article  Google Scholar 

  • Kuusela, Oskari. 2019a. On Wittgenstein’s and Carnap’s Conceptions of the Dissolution of Philosophical Problems, and against a Therapeutic Mix: How to Solve the Paradox of the Tractatus. Philosophical Investigations 42 (3): 213–240.

    Article  Google Scholar 

  • ———. 2019b. Wittgenstein’s on Logic as the Method of Philosophy. Oxford: Oxford University Press.

    Book  Google Scholar 

  • ———. 2021a. Wittgenstein’s Distinction Between Saying and Showing. In Wittgenstein’s Tractatus Logico-Philosophicus, ed. Andreas Georgallides. Cambridge: Cambridge Scholars.

    Google Scholar 

  • ———. 2021b. Wittgenstein’s Grundgedanke as the Key to the Tractatus. Teorema XL (2): 83–99.

    Google Scholar 

  • ———. 2023. The Color-Exclusion Problem and the Development of Wittgenstein’s Philosophy of Logic. In Wittgenstein’s Philosophy in 1929, ed. Florian Figuiredo. London: Routledge.

    Google Scholar 

  • ———. Forthcoming. Dissolution of Philosophical Problems and the Transformation of Thinking. In Wittgensteinian Exercises. Aesthetic and Ethical Transformations, ed. Lucilla Guidi. Leiden: Fink-Brill.

    Google Scholar 

  • Landini, Gregory. 1998. Russell’s Hidden Substitutional Theory. New York: Oxford University Press.

    Google Scholar 

  • Ricketts, Thomas. 1985. Frege, Tractatus and the Logocentric Predicament. Noûs 19 (1): 3–15.

    Article  Google Scholar 

  • ———. 1986. Objectivity and Objecthood: Frege’s Metaphysics of Judgment. In Frege Synthesized, ed. Leila Haaparanta and Jaakko Hintikka. Dordrecht: Reidel.

    Google Scholar 

  • Russell, Bertrand. 1926. Our Knowledge of the External World. London: George Allen and Unwin.

    Google Scholar 

  • ———. 1984. Theory of Knowledge: The 1913 Manuscript. London: George Allen & Unwin.

    Google Scholar 

  • ———. 2001. The Problems of Philosophy. Oxford: Oxford University Press.

    Google Scholar 

  • Sheffer, Henry. 1926. Review of Principia Mathematica, Volume 1, second edition, 1925. Isis 8: 226–231.

    Article  Google Scholar 

  • Quine, Willard Van Orman. 1976. Truth by Convention. In The Ways of Paradox and Other Essays. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Wagner, Pierre. 2009. The Analysis of Philosophy in Logical Syntax: Carnap’s Critique and His Attempt at Reconstruction. In Carnap’s Logical Syntax of Language, ed. Pierre Wagner. Basingstoke: Palgrave Macmillan.

    Chapter  Google Scholar 

  • Wittgenstein, Ludwig. 1951. Tractatus Logico-Philosophicus [TLP]. Trans. C.K. Ogden. London: Routledge.

    Google Scholar 

  • ———. 1961. Notebooks 1914-1916 [NB]. Oxford: Blackwell.

    Google Scholar 

  • ———. 2001. Tractatus Logico-Philosophicus [TLP]. Trans. by B.F. McGuinness and D. Pears. London: Routledge.

    Google Scholar 

  • Wittgenstein, Ludwig, and Friedrich Weismann. 2003. The Voices of Wittgenstein: The Vienna Circle, Ludwig Wittgenstein and Friedrich Waismann [VW]. London: Routledge.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Oskari Kuusela .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Kuusela, O. (2023). Wittgenstein’s Tractatus and the Epistemology of Logic. In: Stokhof, M., Tang, H. (eds) Wittgenstein's Tractatus at 100. Palgrave Macmillan, Cham. https://doi.org/10.1007/978-3-031-29863-9_3

Download citation

Publish with us

Policies and ethics