Abstract
It is and has been widely assumed, e.g., in Hintikka and Hintikka (1986), that the logical theory available from Wittgenstein’s Tractatus Logico-Philosophicus (Wittgenstein 1984) affords a foundation for (or is at least consistent with) the conventional logic represented in standard formulations of classical propositional, first-order predicate, and perhaps higher-order formal systems. The present article is a detailed attempt at a mathematical demonstration, or as much demonstration as the sources will allow, that this assumption is false by contemporary lights and according to a preferred account of argument validity. When Wittgenstein’s description of the forms of propositions or Sätze in the 5-numbered remarks and Remark 6 is given a close reconstruction, one sees that no Tractarian proposition is logically equivalent to a simple universally or existentially quantified formula of first-order predicate logic. Therefore, although Wittgenstein employs the sign ∀—or (x), in his notation—occasionally in explanations and illustrations, e.g., 4.0411 and 5.1311, when it comes to logic, the sign ∀ should receive in Tractatus a semantical treatment that is nonstandard. En route to that result, we show that the hierarchy of variables–and, hence, of propositions–defined at 5.501 incorporates the expressive power of (at least) finitary classical propositional logic. Also, when constructed over a first-order language for arithmetic, formulae corresponding to the specification of 5.501 (but salted with parameters) pick out all and only arithmetic sets of numbers. Consequently, Wittgenstein’s hierarchy of iterated N-propositions–as described in vide Remark 6–does not collapse: at any level k, one finds propositions at k + 1 or above that are not logically equivalent to any proposition formed at k or below.
The second-named author is responsible for all translations from Wittgenstein’s German.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Beth, E. W. (1955). Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Letterkunde. N.R. (Vol. 18, No. 13, pp. 309–342).
Dedekind, R. (1888) Was Sind und was Sollen die Zahlen? (xviii+58) Braunschweig, DE: Vieweg und Sohn.
Frege, G. (1893/1903). Grundgesetze der Arithmetik. Bände I/II (xxxii+253 (I), xv+265 (II)). Jena, DE: Verlag von Hermann Pohle.
Hintikka, M., & Hintikka, J. (1986). Investigating Wittgenstein (xii+248). Oxford, UK: Basil Blackwell.
Rogers, H. (1967). Theory of Recursive Functions and Effective Computability (xix+482). New York, NY: McGraw-Hill Book Company.
Skolem, T. (1923). Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichen Ausdehnungsbereich. Skrifter. Norske Videnskaps-Akademi i Oslo (Vol. I, No. 6b, pp. 1–38).
Whitehead, A. N., & Russell, B. (1950). Principia Mathematica (Vols. I, II, III, 2nd Edn, xlvi+674 (I), xxxi+742 (II), viii+491 (III)). Cambridge, UK: Cambridge University Press.
Wittgenstein, L. W. (1980). Wittgenstein’s lectures (xvii+124). Cambridge, 1930–1932. (From the Notes of J. King & D. Lee (Ed.)). Chicago, IL: University of Chicago Press.
Wittgenstein, L. W. (1984). Tractatus Logico-Philosophicus. Werkausgabe Band 1 (611 pp.). Frankfurt, DE: Suhrkamp Verlag (References by remark number).
Acknowledgments
A lecture based on this article was delivered to the seminar of the Indiana University Logic Program. The authors are grateful to Professor Larry Moss, seminar organizer, and to the participants of the seminar for their comments, questions, and suggestions. Special mention goes to Professor Gary Ebbs for inquiring if the semantical methods employed in proving the inexpressibility of quantified formulae of predicate logic would have been available, even in principle, to Wittgenstein at the time he wrote Tractatus.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Fisher, D., McCarty, C. (2016). Reconstructing a Logic from Tractatus: Wittgenstein’s Variables and Formulae . In: Costreie, S. (eds) Early Analytic Philosophy - New Perspectives on the Tradition. The Western Ontario Series in Philosophy of Science, vol 80. Springer, Cham. https://doi.org/10.1007/978-3-319-24214-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-24214-9_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24212-5
Online ISBN: 978-3-319-24214-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)