THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

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. (shrink)

Moore's paradox pits our intuitions about semantic oddnessagainst the concept of truth-functional consistency. Most solutions tothe problem proceed by explaining away our intuitions. But``consistency'' is a theory-laden concept, having different contours indifferent semantic theories. Truth-functional consistency is appropriateonly if the semantic theory we are using identifies meaning withtruth-conditions. I argue that such a framework is not appropriate whenit comes to analzying epistemic modality. I show that a theory whichaccounts for a wide variety of semantic data about epistemic modals(Update Semantics) buys (...) us a solution to Moore's paradox as a corollary.It turns out that Moorean propositions, when looked at through the lenseof an appropriate semantic theory, are inconsistent after all. (shrink)

The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.

David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.

In this paper I offer an account of the meaning of must and can within the framework of possible worlds semantics. The paper consists of two parts: the first argues for a relative concept of modality underlying modal words like must and can in natural language. I give preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively. The second part discusses one kind of insufficiency in the meaning definitions given in (...) the first part, which arise from the ex falso quodlibet paradox of logical consequence. In stepwise fashion, I make an attempt to avoid most of the consequences of this paradox for the meaning definitions of must and can. (shrink)

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...

The standard use of the propositional calculus ('P.C.?) in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be ?safely? used. An alternative analysis of criteria of reasonableness of inferences in terms of conditions of justification rather than truth of statements is proposed. It is argued, under certain restrictions, that P. C. may be safely used, except in inferences whose conclusions are conditionals whose antecedents are incompatible with the premises in (...) the sense that if the antecedent became known, some of the previously asserted premises would have to be withdrawn. (shrink)

I defend the view that the truth conditions of the ordinary indicative conditional are those of the material conditional. This is done via a discussion of assertability and by appeal to conventional implicature rather than conversational implicature.

This paper is about what we may provisionally call “indicative” conditionals. It aims to describe one use of the word ‘if’, by giving the truth conditions of sentences using ‘if’ in the way in question. Here are some sentences that, on their natural interpretations, illustrate the target use.

This paper is about what we may provisionally call “indicative” conditionals. It aims to describe one use of the word ‘if’, by giving the truth conditions of sentences using ‘if’ in the way in question. Here are some sentences that, on their natural interpretations, illustrate the target use.