In the Tractatus, Wittgenstein advocates two major notational innovations in logic. First, identity is to be expressed by identity of the sign only, not by a sign for identity. Secondly, only one logical operator, called “N” by Wittgenstein, should be employed in the construction of compound formulas. We show that, despite claims to the contrary in the literature, both of these proposals can be realized, severally and jointly, in expressively complete systems of first-order logic. Building on early work of Hintikka’s, (...) we identify three ways in which the first notational convention can be implemented, show that two of these are compatible with the text of the Tractatus, and argue on systematic and historical grounds, adducing posthumous work of Ramsey’s, for one of these as Wittgenstein’s envisaged method. With respect to the second Tractarian proposal, we discuss how Wittgenstein distinguished between general and non-general propositions and argue that, claims to the contrary notwithstanding, an expressively adequate N-operator notation is implicit in the Tractatus when taken in its intellectual environment. We finally introduce a variety of sound and complete tableau calculi for first-order logics formulated in a Wittgensteinian notation. The first of these is based on the contemporary notion of logical truth as truth in all structures. The others take into account the Tractarian notion of logical truth as truth in all structures over one fixed universe of objects. Here the appropriate tableau rules depend on whether this universe is infinite or finite in size, and in the latter case on its exact finite cardinality. As it is obviously easy to express how propositions can be constructed by means of this operation and how propositions are not to be constructed by means of it, this must be capable of exact expression. 5.503. (shrink)

The purpose of this paper is to offer an interpretation of the Tractatus’ proof of the unity of logic and language. The kernel of the proof is the thesis that the sole logical constant is the general propositional form. I argue that the Grundgedanke, the existence of the sole fundamental operation N and the analyticity thesis, together with the fact that the operation NN can always be seen as having no specific formal difference between its result and its base, imply (...) that NN is intrinsic to every elementary proposition. I also argue that the picture theory of proposition is an account of the generation of propositions via naming, and that its crucial idea is that naming is the instantiation of the form of a name, which consists in arbitrarily picking out an object as the meaning of the name from those objects sorted out by the form of the name. It follows that the existential quantifier, that is, NN, is intrinsic to naming (and therefore to every elementary proposition). It is then proven that the sole logical constant is the general propositional form. This, together with the truth‐functionality of logical necessity, implies that logic and language are unified via a general rule – logical syntax. (shrink)

The Tractatus contains twodifferent proofs of the Grundgedanke, or thenonreferentiality of logical constants. In thispaper, I explicate the first proof in TLP 5.4s andreconstruct the less explicitly stated second proof. My explication of the first proof shows it to beelegant but based on an invalid inference. In myreconstruction of the second proof, the main argumentis that the sign of a logical constant does not denotebecause it possesses the punctuation-mark-nature. Andit possesses the punctuation-mark-nature because,given the analyticity thesis in TLP 5, one (...) canestablish for everyday language an adequate symbolismwith N as the sole fundamental operation such that itssign is a bar indicating merely the order and scope ofits application. (shrink)

This paper aims to argue against the resolute reading, and offer a correct way of reading Wittgenstein'sTractatus. According to the resolute reading, nonsense can neither say nor show anything. The Tractatus does not advance any theory of meaning, nor does it adopt the notion of using signs in contravention of logical syntax. Its sentences, except a few constituting the frame, are all nonsensical. Its aim is merely to liberate nonsense utterers from nonsense. I argue that these points are either not (...) distinctive from standard interpretations or incorrect. Instead, the Tractarian elucidations help to shed light on the nature of language and logic, and introduce the correct method in philosophy. Philosophy deals with philosophical utterances and Tractarian elucidations by pointing out that they are nonsensical. By doing this, one is helped to see that what they appear to be saying is shown by significant propositions saying something else. (shrink)

This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, 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. (shrink)