Online research in philosophy

This paper compares and contrasts three views on the issue of 'solipsism' that were much discussed in the first half of the 20th century, namely those of Wittgenstein, Carnap and Reichenbach. While the paper deals mainly with early Wittgenstein, the so-called 'later Wittgenstein' is seen as arguing that Carnap's Aufbau, and any similar 'solipsist' reinterpretation of the language must start with a notion of experience utterly different from the one we actually have. And this criticism actually coheres with Wittgenstein's views in the Tractatus.

The essays in the book have two main emphases. Regarding the late Wittgenstein, they focus on the idea that skepticism about rule-following is undermined, indeed incoherent, in virtue of Wittgenstein's emphasis on context of utterance and "forms of life" (roughly the "community" view of his later work). In the early Wittgenstein they take a "resolute" position on nonsense, saying that he did not believe there was some ineffable or informative nonsense, but only pure and utter nonsense, including everything in the Tractatus. Although many of the essays are interesting and insightful, they do not amount to a demonstration that Wittgenstein held the positions attributed to him; moreover the positions are counterintuitive, and appear to be undermined by historical evidence regarding Wittgenstein's own view of his work.

It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions.

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge.

Central to a new, or 'resolute', reading of Wittgenstein's Tractatus Logico- Philosophicus is the idea that Wittgenstein held there an 'austere' view of nonsense: the view, that is, that nonsense is only ever a matter of our failure to give words a meaning, and so that there are no logically distinct kinds of nonsense. Resolute readers tend not only to ascribe such a view to Wittgenstein, but also to subscribe to it themselves; and it is also a feature of some readings which in other respects are clearly not Resolute. This paper forms part of a reply to Hans-Johann Glock's work in which he argues (in part) that Wittgenstein in the Tractatus held a view of nonsense other than the austere view. Instead, Glock argues, Wittgenstein there held that there are many logically distinct kinds of nonsense. Here, I outline and defend the austere view, together with its attribution to the early Wittgenstein, against a number of Glock's criticisms, and focussing especially on Wittgenstein's reformulation in the Tractatus of Frege's context-principle.

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge.

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse.

Formal semantics is an enterprise which accounts for meaning in formal, mathematical terms, in the expectation of providing a helpful explication1 of the concept of the meaning of specific word kinds (such as logical ones), or of words and expressions generally. Its roots go back to Frege, who proposed exempting concepts, meanings of predicative expressions, from the legislation of psychology and relocating them under that of mathematics. This started a spectacular enterprise, fostered at first within formal logic and later moving into the realm of natural languages, and featuring a series of eminent scholars, from Tarski and Carnap to Montague and David Lewis. Partly independently of this, Frege set the agenda for a long-term discussion of the question of what a natural language is, his own contribution being that language should be seen not as a matter of subjective psychology, but rather as a reality objective in the sense in which mathematics is objective. His formal semantics, then, was just an expression of this conception of language. And many theoreticians now take it for granted that formal semantics is inseparably connected with a Platonist conception of language. Moreover, the more recent champions of formal semantics, Montague and David Lewis, took for granted that natural language is nothing else than a structure of the very kind envisaged by the theories of formal logicians. While Montague claims quite plainly that there is no substantial difference between formal and natural languages ("I reject the contention," he says, 1974, p. 188, "that an important theoretical difference exists between formal and natural languages"), Lewis states that it is fully correct to say that a linguistic community entertains a language in the form of a mathematical structure ("we can say", states Lewis, 1975, p..

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the pioneers just mentioned, of course— , and discuss the main elements of their work that helped shape formal semantics in some detail. But Wittgenstein is conspicuously absent whenever the history of the subject is mentioned (usually briefly, if at all). Of course, if one thinks of Wittgenstein’s later work, this is obvious: nothing, it seems, could be more antithetic to what formal semantics aims for and to how it pursues those aims than the views on meaning and language that Wittgenstein expounds in, e.g., Philosophical Investigations, with its insistence on particularity and diversity, and its rejection of explanation and formal modelling. But what about his earlier work, the Tractatus (henceforth )? At first sight, that seems much more congenial, as it develops a conception of language and meaning that is both general and uniform, explanatory..