Online research in philosophy

An article explicating Wittgenstein's logical atomism and surveying the relevant secondary literature.

Frege’s celebrated distinction between judgments and their contents invites the Tractarian denigration of his assertion sign as merely indicating the holding or putting forth as true of a thought, for whatever its other merits the marking of such an event seems of little relevance to a thought’s inferential significance. However, in light of (a) Frege’s conception of a logically correct language serving inter alia as an organon for the acquisition or reconstruction of knowledge, and (b) his epistemic conception of inference, it is argued that the sign of assertion is a device for distinguishing from all others those thoughts lying on the path of discovery. The drawing of such a distinction is then shown to be of inferential significance by elucidating Frege’s conception of inference as involving the acquisition or reconstruction of knowledge. Frege’s view of inference rules as codifying justificatory relations among judgments is then given an interpretation as making no undue use of psychological notions, and his denial that the assertion sign can have semantic content is shown to be mistaken but not in such a way as to frustrate the aim with which it is introduced.

The meaning of a declarative sentence and that of an interrogative sentence differ in their aspect of mood. A semantics of mood has to account for the differences in meaning between these sentences, and it also has to explain that sentences in different moods may have a common core. The meaning of the declarative mood is to be explained not in terms of actual force (contra Dummett), but in terms of potential force. The meaning of the declarative sentence (including its mood) is called the assertion-candidate, which is explained by what one must know in order to be entitled to utter the declarative with assertive force. Both a cognitive notion (knowledge) and a pragmatic notion (assertive force) are thus part of the explanation of the assertion-candidate. Davidson's criticism that such a theory is in need of an account of the distinction between standard and non-standard uses of the declarative is answered: without counter-indications an utterance of a declarative sentence is understood as having assertive force. The meaning of an interrogative sentence, the question-candidate, and that of the other sentence types can ultimately be explained in terms of their specific relations to the assertion-candidate. Martin-Löf's constructive type theory is used to show the philosophical relevance of a semantics of mood. The constructivist notion of proposition needs to be embedded in a theory of the assertion-candidate, which fulfills the offices of being the meaning of the declarative sentence, the content of judgement and assertion and the bearer of epistemic truth.

The meaning of a declarative sentence and that of an interrogative sentence differ in their aspect of mood. A semantics of mood has to account for the differences in meaning between these sentences, and it also has to explain that sentences in different moods may have a common core. The meaning of the declarative mood is to be explained not in terms of actual force (contra Dummett), but in terms of potential force. The meaning of the declarative sentence (including its mood) is called the assertion-candidate, which is explained by what one must know in order to be entitled to utter the declarative with assertive force. Both a cognitive notion (knowledge) and a pragmatic notion (assertive force) are thus part of the explanation of the assertion-candidate. Davidson’s criticism that such a theory is in need of an account of the distinction between standard and non-standard uses of the declarative is answered: without counter-indications an utterance of a declarative sentence is understood as having assertive force. The meaning of an interrogative sentence, the question-candidate, and that of the other sentence types can ultimately be explained in terms of their specific relations to the assertion-candidate. Martin-Löf’s constructive type theory is used to show the philosophical relevance of a semantics of mood. The constructivist notion of proposition needs to be embedded in a theory of the assertion-candidate, which fulfils the offices of being the meaning of the declarative sentence, the content of judgement and assertion and the bearer of epistemic truth.

Taking Per Martin-Löf’s constructive type theory as a starting-point a theory of assertion is developed, which is able to account for the epistemic aspects of the speech act of assertion, and in which it is shown that assertion is not a wide genus. From a constructivist point of view, one is entitled to assert, for example, that a proposition A is true, only if one has constructed a proof object a for A in an act of demonstration. One thereby has grounded the assertion by an act of demonstration, and a grounding account of assertion therefore suits constructive type theory. Because the act of demonstration in which such a proof object is constructed results in knowledge that A is true, the constructivist account of assertion has to ward off some of the criticism directed against knowledge accounts of assertion. It is especially the internal relation between a judgement being grounded and its being known that makes it possible to do so. The grounding account of assertion can be considered as a justification account of assertion, but it also differs from justification accounts recently proposed, namely in the treatment of selfless assertions, that is, assertions which are grounded, but are not accompanied by belief.

The knowledge account of assertion (KAA) is the view that assertion is governed by the norm that the speaker should know what s/he asserts. It is not the purpose of this article to examine all the criticisms nor to try to give a full defence of KAA, but only to defend it against the charge of being normatively incorrect. It has been objected that assertion is governed by other norms than knowledge, or by no norm at all. It seems to me, however, that a number of these criticisms are based on a number of misunderstandings of the notion of a norm and of the way it can regulated a given practice. Once we spell out in what sense knowledge can play a normative role in this context, the KAA appears much more plausible.

According to the knowledge account of assertion, an assertion that p is correct just in case the speaker knows that p. This is so because of a norm that governs assertion and uniquely characterizes it. Recent opposition to the knowledge account accepts that assertion is governed by a norm, but proposes alternatives to the knowledge norm. In this paper I focus on some difficulties for normative accounts of assertion.

Keith DeRose has recently argued that the contextual variability of appropriate assertion, together with the knowledge account of assertion, yields a direct argument that ’knows’ is semantically contextsensitive. The argument fails because of an equivocation on the notion of warranted assertability. Once the equivocation is removed, it can be seen that the invariantist can retain the knowledge account of assertion and explain the contextual variability of appropriate assertion by appealing to Williamson’s suggestion that practical and conversational considerations can influence the extent to which adherence to the constitutive norm of assertion matters.

In the Tractatus Wittgenstein criticizes Frege and Russell's view that laws of inference (Schlussgesetze) "justify" logical inferences. What lies behind this criticism, I argue, is an attack on Frege and Russell's conceptions of logical entailment. In passing, I examine Russell's dispute with Bradley on the question whether all relations are "internal".

Abstract 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.