David Lewis's modal realism claims that nothing can exist in more than one world or time, and that statements about how something would have been are to be analysed in terms of its counterpart. I first explain why the counterpart relation depends on de re modal statements in an intensional language, so that intuitive properties of similarity relations cannot be used to show that the counterpart relation is not an equivalence relation. I then look at test sentences in (the intensional) (...) natural language, and show that none of them provide compelling evidence that a counterpart semantics is needed. (shrink)

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book (...) takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

Expressions in a language, whether words, phrases, or sentences, have meanings. So it seems reasonable to suppose that there are meanings that expressions have. Of course, it is fashionable in some philosophical circles to deny this.

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

' I heartily recommend it to any philosopher of language interested in the issues. [] Logicians, of course, will want to savour the whole thing.' Australian Journal of Philosophy, 71:3 (1993).

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that (...) every temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

Truth of x (independently of any description of x) that it is f. A property f which holds of x but is not per se of x is said to hold per accidens of x. The essence of an individual is the sum of its per se properties. We can formulate the following: doctrine a: concrete individuals do not have essences though abstract entities do. Doctrine b: concrete individuals have essences but they do not individuate, whereas abstract entities have essences (...) which do individuate. Assumption i: we shall say that a thing exists insofar as it has an essence. Assumption ii: we shall say that we know a thing when we know what its per se properties are. We argue that plato held doctrine a and aristotle doctrine b (with assumptions i and ii). (edited). (shrink)

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that (...) every temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.

Semantic Indexicality shows how a simple syntax can be combined with a propositional language at the level of logical analysis. It is the adoption of such a base language which has not been attempted before, and it is this which constitutes the originality of the book. Cresswell's simple and direct style makes this book accessible to a wider audience than the somewhat specialized subject matter might initially suggest.

Adverbial modification is probably one of the least understood areas of linguistics. The essays in this volume all address the problem of how to give an analysis of adverbial modifiers within truth-conditional semantics. Chapters I-VI provide analyses of particular modifiers within a possible worlds framework, and were written between 1974 and 1981. Original publication details of these chapters may be found on p. vi. Of these, all but Chapter I make essential use of the idea that the time reference involved (...) in tensed sentences should be a time interval rather than a single instant. The final chapter (Chapter VII) was written especially for this volume and investigates the question of how the 'situation semantics' recently devised by Jon Barwise and John Perry, as a rival to possible-worlds semantics, might deal with adverbs. In addition I have included an appendix to Chapter III and an introduction which links all the chapters together. (shrink)

I distinguish between sentences like(1) Last Thursday we drove from Wellington to Waikanae and (2) Last Thursday my copy of Aspects of the Theory of Syntax remained on my bookshelf. Sentence (2) has the subinterval property. If it is true at an interval t it is true at every subinterval of t. (1) lacks this property. (1) reports an event. (2) reports a state. Events do not have the subinterval property but states do have it, and so do objects. If (...) something is a linguist at an interval t then that person is a linguist at all subintervals of t. I argue that exists applies to things which have the subdinterval property, and occurs applies to things which lack it. (shrink)

Over a longer period than I sometimes care to contemplate I have worked on possible-worlds semantics. The earliest work was in modal logic, to which I keep returning, but a sabbatical in 1970 took me to UCLA, there to discover the work of Richard Montague in applying possible-worlds semantics to natural lan guage. My own version of this appeared in Cresswell (1973) and was followed up in a number of articles, most of which were collected in Cresswell (1985b). (...) A central problem for possible worlds semantics is how to accommodate propositional attitudes. This problem was addressed in Cresswell (1985a), and the three books mentioned so far represent a reasonably complete picture of my positive views on formal semantics. I have regarded the presentation of a positive view as more important than the criticism of alternatives, although the works referred to do contain many passages in which I have tried to defend my own views against those of others. But such criticism is important in that a crucial element in establishing the content of a theory is that we be able to evaluate it in relation to its com petitors. It is for that reason that I have collected in this volume a number of articles in which I attempt to defend the positive semantical picture I favour against objections and competing theories. (shrink)

The most common way of proving decidability in propositional modal logic is to shew that the system in question has the finite model property. This is not however the only way. Gabbay in [4] proves the decidability of many modal systems using Rabin's result in [8] on the decidability of the second-order theory of successor functions. In particular [4, pp. 258-265] he is able to prove the decidability of a system which lacks the finite model property. Gabbay's system is however (...) complete, in the sense of being characterized by a class of frames, and the question arises whether there is a decidable modal logic which is not complete. Since no incomplete modal logic has the finite model property [9, p. 33], any proof of decidability must employ some such method as Gabbay's. In this paper I use the Gabbay/Rabin technique to prove the decidability of a finitely axiomatized normal modal propositional logic which is not characterized by any class of frames. I am grateful to the referee for suggesting improvements in substance and presentation.The terminology I am using is standard in modal logic. By aframeis understood a pair 〈W, R〉 in whichWis a class (of “possible worlds”) andR⊆W2. To avoid confusion in what follows, a frame will henceforth be referred to as aKripkeframe. By contrast, ageneral frameis a pair 〈,Π〉 in whichis a Kripke frame andΠis a collection of subsets ofWclosed under the Boolean operations and satisfying the condition that ifAis inΠthen so isR−1“A. A model on a frame (of either kind) is obtained by adding a functionVwhich assigns sets of worlds to propositional variables. In the case of a general frame we require thatV(p) ∈Π. (shrink)