The Unity of Language and Logic in Wittgenstein's Tractatus

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.     

Nominalism and Realism. How Not to Read the Tractatus' Conception of a Name

This paper focuses on a central aspect of the “picture theory” in the Tractatus – the “identity requirement” – namely the idea that a proposition represents elements in reality as combined in the same way as its elements are combined. After introducing the Tractatus' views on the nature of the proposition, I engage with a “nominalist” interpretation, according to which the Tractatus holds that relations are not named in propositions. I claim that the nominalist account can only be maintained by rejecting the “identity requirement.” I then consider an opposite – “realist” – interpretation, according to which Tractarian names include names of properties and relations. I argue that, although it can accommodate the “identity requirement,” the realist interpretation falls short of providing a correct interpretation of the Tractatus' conception of a name. I conclude by presenting an alternative account (to both nominalism and realism) of the Tractatus' conception of a name.     

A Note on Saying Nothing and Saying More in the Tractatus

On the basis of an analysis of the relevant parts of Tractatus logico-philosophicus, a definition of the property (of propositions) of saying something, and of the obviously correlated property of saying nothing, is given. By applying that definition, both tautologies and contradictions are sanctioned as saying nothing, as lacking sense, in full agreement with Wittgenstein's explicit statements. On the other hand, a recent systematic attempt by A. Negro to extract from the Tractatus a criterion for sense containment and a criterion for saying more, that is, for comparing the amount of sense of propositions, leads to the conclusion that the sense of any proposition is contained in the sense of a contradiction and that contradictions say more than any other propositions. The problem faced in this paper is that of restoring consistency between Negro's criteria, which on the whole give a correct interpretation of the text of the Tractatus, and Wittgenstein's thesis that, not only tautologies, but also contradictions say nothing.     

The Tractatus on Logical Consequence

Abstract: I discuss the account of logical consequence advanced in Wittgenstein's Tractatus. I argue that the role that elementary propositions are meant to play in this account can be used to explain two remarkable features that Wittgenstein ascribes to them: that they are logically independent from one another and that their components refer to simple objects. I end with a proposal as to how to understand Wittgenstein's claim that all propositions can be analysed as truth functions of elementary propositions.     

The Proofs Of The Grundgedanke In Wittgenstein's Tractatus

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.     

The power and the limits of Wittgenstein's N operator

The power of Wittgenstein's N operator described in the Tractatus is that every proposition which can be expressed in the Russellian variant of the predicate calculus familiar to him has an equivalent proposition in an extended variant of his N operator notation. This remains true if the bound variables are understood in the usual inclusive sense or in Wittgenstein's restrictive exclusive sense. The problematic limit of Wittgenstein's N operator comes from his claim that symbols alone reveal the logical status of propositions. This would require knowledge of the size of the Tractarian domain of unchangeable, simple objects, and this, Wittgenstein maintained, cannot be known.     

Propositions,Properties and Relations: Wittgenstein's “Notes on Logic” and the Tractatus

Frege famously argued that truth is not a property or relation. In the “Notes on Logic” Wittgenstein emphasised the bi‐polarity of propositions which he called their sense. He argued that “propositions by virtue of sense cannot have predicates or relations.” This led to his fundamental thought that the logical constants do not represent predicates or relations. The idea, however, has wider ramifications than that. It is not just that propositions cannot have relations to other propositions but also that they cannot have relations to anything at all. The paper explores the consequences of this insight for the way in which we should read the Tractatus. In the “Notes on Logic” the insight led to Wittgenstein's emphasis on “facts” in any attempt to understand the nature of symbolism. This emphasis is continued in the Tractatus. It is central to his view that propositions are facts which picture facts which prevent us from construing such picturing as a relation between what pictures and what is pictured. It illuminates the importance of context principle with regard to the distinction between showing and saying to which Wittgenstein attached so much importance and it underlies the non‐relational view of psychological propositions which he advocates. Finally, if propositions by virtue of sense cannot have predicates or relations the paradox at the end of a work which consist largely of propositions about propositions becomes intelligible.     

Wittgenstein and the naming relation

The thesis of this paper is that the Tractatus and the Investigations can be related as follows. Wittgenstein attempted in the Tractatus to avoid the conceptual realism of Frege and Russell with respect to propositions. He solved his problem by developing the picture‐theory of language. This solution assumed that the units of language are words which arc names of simple objects. Because of this assumption the solution has the undesirable consequence that examples oi genuine names, atomic facts and atomic propositions cannot be given although their existence is logically required by the solution. Wittgenstein had, therefore, eventually to examine the idea of a name. Thus the Philosophical Investigations in which this examination is conducted.     

Beltrami's model and the independence of the parallel postulate

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell's Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege's extant logical system, if Frege's system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege's logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therin. therein.     

为分析性辩护

自从蒯因在著名的《经验论的两个教条》等一系列文章中对分析性做出批评以后,分析传统内已经很少有哲学家再对分析性概念持肯定态度了;随之受到威胁的是意义以及逻辑必然性的概念。     

The truth and nothing but the truth,yet never the whole truth: Frege,Russell and the analysis of unities

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition.     

Making Sense of Sense Containment

Proposition 5.122 of Wittgenstein’s Tractatus (‘If p follows from q, the sense of [p] is contained in the sense of [q]’) has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense (which is taken into consideration also by Wittgenstein), in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous.     

Wittgenstein’s Picture Theory and the Distinction between Representing and Depicting

In this paper, I draw attention to the often-overlooked Tractarian distinction between representing (darstellen) and depicting (abbilden), provide a clear account of it and examine how it affects our understanding of the notions of ‘being a picture’, meaningfulness, truth, and falsity in the Tractatus. I also look at the recent debate in the literature on the notion of truth and show that Glock’s claim that the official theory of the Tractatus is to be accounted in terms of obtainment only and deflationary accounts such as Hacker’s derive from a failure to notice the distinction between representing and depicting (in the case of Glock) or a misconception of depicting (in the case of Hacker). Finally, I argue against the idea that either representing or depicting should be dispensed with. Both are necessary for Wittgenstein to account for every case of a proposition being a picture of reality.     

The Disenchantment of Nonsense: Understanding Wittgenstein's Tractatus

This paper aims to argue against the resolute reading, and offer a correct way of reading Wittgenstein's Tractatus. 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.     

Wittgenstein on Verification and Seeing-As, 1930–1932

This article examines the little-explored remarks on verification in Wittgenstein's notebooks during the period between 1930 and 1932. In these remarks, Wittgenstein connects a verificationist theory of meaning with the notion of logical multiplicity, understood as a space of possibilities: a proposition is verified by a fact if and only if the proposition and the fact have the same logical multiplicity. But while in his early philosophy logical multiplicities were analysed as an outcome of the formal properties of simple objects and simple signs, Wittgenstein in the early 1930s connects the notion of logical multiplicity with the notion of ways of seeing. I will argue that the relevant ways of seeing are closely similar to seeing-as or aspect seeing. According to Wittgenstein's view in the early 1930s, logical multiplicities are part of our perceptual experience of propositions and facts. In this sense, the verification relation depends on how we experience propositions and facts as being surrounded by a logical space of possibilities. Strikingly, Wittgenstein's way of thinking about the verification relation offers solutions to a set of seemingly intractable problems connected with the versions of verificationism developed by members of the Vienna Circle.     

Propositions: Individuation and Invirtuation

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view that individuates propositions by cognitive equivalence, and then defend the theory from objections.     

Russell’s Repsychologising of the Proposition

Bertrand Russell’s 1903 masterpiece The Principles of Mathematics places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 (and until the end of his career) Russell explicitly retracts this view, however, and defines propositions as “psychological occurrences”. These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell’s re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell’s naturalism. I go on to compare Russell’s psychological “picture theory” with the vehemently anti-psychological picture theory of Wittgenstein’s Tractatus Logico-Philosophicus and suggest that, once the background of the dispute is brought into clearer focus, Russell’s position can be seen to have many advantages over its more celebrated rival.     

Does the Quine/duhem Thesis Prevent Us from Defining Analyticity?

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and Strawson did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5).     

The necessary a posteriori: A response to Tichý

Conclusion Some of Tichý's conclusions rest on an assumption about substitutivity which Kripke would not accept. If we grant the assumption, then Tichý successfully shows that we can discover true identity statements involving names a priori, but not that we can discover a priori what properties things have essentially. Many of Tichý's arguments require an implausible rejection of the possibility of indirect belief as described in Section III. 25Are there necessary a posteriori propositions? I have argued that we certainly can discover necessary propositions a posteriori, but have left it an open question whether there are necessary propositions which we can only discover a posteriori.What effect do the considerations here presented have on the positivist doctrine that the a priori and the necessary coincide? My explanation of how we discover necessary propositions a posteriori involves our believing them indirectly, in virtue of believing contingent propositions. I would argue that Kripke's examples of the contingent a priori involve, similarly, our believing the contingent propositions in directly, in virtue of believing necessary propositions.This suggests that a reformulation of the positivist thesis along something like the following lines may well be correct. Let us say that someone directly believes a proposition just in case he could not fail to believe it without being in a different cognitive state. Then perhaps one can directly believe a proposition on the basis of a priori evidence only if it is necessary, and can directly believe a proposition on the basis of a posteriori evidence only if it is contingent.     

The Philosopher's Baedeker: Wittgenstein's Tractatus as Guidebook

The Wittgenstein of the Tractatus is committed to four central and interlocking claims: a limit to sense and nonsense can be drawn in logic; a limit to meaningful and meaningless language – to meaningful and meaningless nonsense – cannot be drawn in logic; whether nonsense is meaningful is shown in its use rather than its form; the Tractatus consists largely of meaningful nonsense. Undergirding these commitments is an account of language‐to‐world picturing in which shared “mathematical multiplicities” play a key role. Picturing as a global phenomenon – language‐to‐world, rather than proposition‐to‐fact – has not been well understood. The Tractatus is not a textbook. No doctrines are developed in it. No problems solved. Instead, it is a kind of Baedeker, a guidebook for those who want “to see the world aright.”