Showing, Analysis and the Truth-Functionality of Logical Necessity in Wittgenstein's Tractatus

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.