Colin Johnston

Frege maintains that there are not two distinct acts, assertion and denial; rather, denying p is one and the same as asserting not-p. Wittgenstein appears not to recognise this identity in Frege, attributing to him the contrary view that a proposition may have one of two verbs, "is true" or "is false". This paper explains Wittgenstein’s attribution as a consequence of Frege’s treatment of content as theoretically prior to the act of judgment. Where content is prior to judgment, the denial of p—what is rejected in asserting p—is distinct from the assertion of not-p. Wittgenstein’s own embrace of Frege’s identity is then considered, an embrace explained in part by his repudiation of Frege’s theoretical order.

This chapter focuses on picture theory, which is sometimes spoken of as a theory of the proposition. By a proposition, Wittgenstein like Frege means something that determines its sense by means of a correlation between the mode of combination of its constituent symbols and the structure of its sense. It has been an orthodoxy amongst Tractatus interpreters, and continues to be such in the wider philosophical community, that Wittgenstein follows the Russell in offering a correspondence theory of truth. The expression of a Tractarian fact provides that fact's mode of combination, and from here there can be no further question as to the ontological types of its constituents. Tractarian facts, it is however added, are not truth conditions but items whose existence explains the obtaining of truth conditions: a Tractarian atomic fact is not a truth condition but a truthmaker.

ABSTRACT Frege characterizes judgement as the acknowledgement of the truth of a thought, appearing thereby to rule out false judgement. First in this paper I explain Frege’s characterization so that it does not have this consequence. Frege is not saying that for a subject S to judge that p is for S to acknowledge the truth of the thought that p. Rather, he is articulating judgement’s nature within self-consciousness. From within, to judge means to acknowledge a truth. Second, I suggest that this articulation is centrally operative in Frege’s argument for the indefinability of truth. As Frege argues, it follows from judgement’s self-consciousness that truth is indefinable.

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth.

It is a central commitment of the Tractatus that “it is impossible to judge a nonsense” (§5.5422). This essay seeks to understand the ground of this commitment in Wittgenstein’s thought. To this end, various interpretations of the Tractatus on ‘the relation between language and reality’ are considered, with each position assessed for the understanding it provides of the stance against nonsense. Having rejected as inadequate various realist readings, and then also an idealist reading, the essay recommends a view on which language and reality are internally bound together in the notion of truth. Where a fact is precisely a truth condition, and so something to be represented, a proposition (a judgment) is precisely the representation of such a fact, the representation of a truth condition.

Frege's strict alignment between his syntactic and ontological categories is not, as is commonly assumed, some kind of a philosophical thesis. There is no thesis that proper names refer only to objects, say, or that what refers to an object is a proper name. Rather, the alignment of categories is internal to Frege's conception of what syntax and ontology are. To understand this, we need to recognise the pride of place Frege assigns within his theorising to the notion of truth. For both language and the world, the Fregean categories are logical categories, categories, that is, of truth. The elaboration of this point makes clear the incoherence of supposing that they might not align.

First paragraph: This paper seeks to understand various paradoxes as cases of conflicting rules. In particular, the ambition is to outline a new perspective on and response to the Liar -- though it will take us a while to get that far. We begin in Section 1 with an account of simple rule confliction. Section 2 then brings this account to bear on a paradox, the Secretary Liberation Paradox, which is readily seen to involve conflicting rules. Finally in Section 3 I suggest that the Liar can also be seen as a case of rule confliction, and outline briefly how that perspective provides for Liar arguments to be blocked

Wittgenstein held that Russell’s multiple relation theory of judgment fails to explain an atomic judgment’s representation of entities as combined. He demonstrated this failure as follows. Under the multiple relation theory, an atomic judgment is a complex whose relating relation is judgment, the universal, and whose terms include the entities the judgment represents as combined. Taking such a complex we may arrive through the substitution of constituents at a complex whose relating relation is again judgment but whose terms do not include entities which are logically suited for combination. This second judgment complex will not represent any of its terms as combined, for entities that are logically uncombinable are unrepresentable as combined. Russell’s theory does not, however, explain how the original judgment differs from the complex arrived at by the substitution of constituents such that the former but not the latter represents certain of its terms as combined.

It is not immediately clear from Wittgenstein’s Tractatus how to connect his idea there of an object with the logical ontologies of Frege and Russell. Toward clarification on this matter, this paper compares Russell’s and Wittgenstein’s versions of the thesis of an atomic fact that it is a complex composition. The claim arrived at is that whilst Russell (at times at least) has one particular of the elements of a fact – the relation – responsible for the unity of the whole, for Wittgenstein the unity of a fact is the product of copulative powers inherent in all its elements. All kinds of constituents of Tractarian facts – all kinds (forms) of object – are, to use Fregean terminology, unsaturated.

This paper is concerned with the status of a symbol in Wittgenstein’s Tractatus. It is claimed in the first section that a Tractarian symbol, whilst essentially a syntactic entity to be distinguished from the mark or sound that is its sign, bears its semantic significance only inessentially. In the second and third sections I pursue this point of exegesis through the Tractarian discussions of nonsense and the context principle respectively. The final section of the paper places the forgoing work in a secondary context, addressing in particular a debate regarding the realism of the Tractatus

Wittgenstein responds in his Notes on Logic to a discussion of Russell's Principles of Mathematics concerning assertion. Russell writes: "It is plain that, if I may be allowed to use the word assertion in a non-psychological sense, the proposition "p implies q" asserts an implication, though it does not assert p or q. The p and the q which enter into this proposition are not strictly the same as the p or the q which are separate propositions." (PoM p35) Wittgenstein replies: "Assertion is merely psychological. In not-p, p is exactly the same as if it stands alone; this point is absolutely fundamental." (NB p95) Wittgenstein's response is intriguing, not least because of the centrality to his Tractatus of the idea that a proposition says something. This paper will examine that idea, distinguishing it from 'merely psychological' assertion, and explore in this context how we should understand the occurrence of a Tractarian proposition within another.

It has been much debated whether Tractarian objects are what Russell would have called particulars or whether they include also properties and relations. This paper claims that the debate is misguided: there is no logical category such that Wittgenstein intended the reader of the Tractatus to understand his objects either as providing examples of or as not providing examples of that category. This is not to say that Wittgenstein set himself against the very idea of a logical category: quite the contrary. However, where Russell presents his logical variety of particulars and the various types of universal, and Frege presents his of objects and the various types of function, Wittgenstein denies the propriety of such a priori expositions. Wittgenstein envisages a variety of logical types of entity but insists that the nature of these types is something to be discovered only through analysis.