Abstract
This paper aims to explain how the Tractatus attempts to unifylogic by deriving the truth-functionality of logical necessityfrom the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying ofwhat is intrinsic to an expression (or a symbol). Then I argue that, according to theTractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the analyticity thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies.
Similar content being viewed by others
REFERENCES
Anscombe, G. E. M.: 1971, An Introduction to Wittgenstein's Tractatus
Black, M.: 1964, A Companion to Wittgenstein's Tractatus
Cheung, L. K. C.: 1999, 'The Proofs of the Grundgedanke in Wittgenstein's Tractatus', Synthese 120
Cheung, L. K. C.: 2000, 'The Tractarian Operation N and Expressive Completeness', Synthese 123
Fogelin, R.: 1995, Wittgenstein
Griffin, J.: 1964, Wittgenstein's Logical Atomism
Kenny, A.: 1973, Wittgenstein, Penguin, London.
Pears, D.: 1987, The False Prison, Volume One
Wittgenstein, L.: 1973, 'Some Remarks on Logical Form', in I. M. Copi and R. W. Beard (eds), Essays on Wittgenstein's Tractatus
Wittgenstein, L.: 1974, Tractatus Logico-Philosophicus
Wittgenstein, L.: 1979, in G. H. von Wright and G. E. M. Anscombe (eds.), Notebooks
Wittgenstein, L.: 1995, in B. F. McGuinness and G. H. von Wright (eds.), Cambridge Letters
Wittgenstein, L.: 1997, Philosophical Investigations
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cheung, L.K.C. Showing, Analysis and the Truth-Functionality of Logical Necessity in Wittgenstein's Tractatus . Synthese 139, 81–105 (2004). https://doi.org/10.1023/B:SYNT.0000021309.60256.8e
Issue Date:
DOI: https://doi.org/10.1023/B:SYNT.0000021309.60256.8e