154 found
Order:
  1. A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   242 citations  
  2.  65
    Structured meanings.M. J. Cresswell - 1985 - MIT Press.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   138 citations  
  3.  6
    An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
  4.  9
    A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
    Direct download  
     
    Export citation  
     
    Bookmark   136 citations  
  5.  61
    A Combinatorial Theory of Possibility.M. J. Cresswell - 1992 - Philosophical Review 101 (3):660.
  6. Entities and Indices.M. J. Cresswell - 1992 - Studia Logica 51 (2):338-339.
     
    Export citation  
     
    Bookmark   96 citations  
  7.  9
    Logics and Languages.M. J. Cresswell - 1973 - Synthese 40 (2):375-387.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   92 citations  
  8.  51
    The World-Time Parallel: Tense and Modality in Logic and Metaphysics.A. A. Rini & M. J. Cresswell - 2012 - Cambridge: Cambridge University Press. Edited by Adriane Rini.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  9.  5
    Entities and Indicies.M. J. Cresswell - 1990 - Kluwer Academic Publishers.
    ' 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).
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  10. Hyperintensional logic.M. J. Cresswell - 1975 - Studia Logica 34 (1):25 - 38.
  11.  5
    Logics and Language.M. J. Cresswell - 1973 - Mind 84 (336):623-625.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   76 citations  
  12.  69
    The World-Time Parallel: Tense and Modality in Logic and Metaphysics.A. A. Rini & M. J. Cresswell - 2012 - New York: Cambridge University Press. Edited by Adriane Rini.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  13.  6
    [Omnibus Review].M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602-602.
  14. A Companion to Modal Logic.G. E. Hughes & M. J. Cresswell - 1995 - Studia Logica 54 (3):411-413.
     
    Export citation  
     
    Bookmark   40 citations  
  15. The world is everything that is the case.M. J. Cresswell - 1972 - Australasian Journal of Philosophy 50 (1):1 – 13.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  16.  55
    Necessity and contingency.M. J. Cresswell - 1988 - Studia Logica 47 (2):145 - 149.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  17.  69
    Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
  18.  58
    Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
  19.  5
    Semantic Indexicality.M. J. Cresswell - 1996 - Springer.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  20.  2
    Adverbial Modification: Interval Semantics and Its Rivals.M. J. Cresswell - 1985 - Springer.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  21.  41
    Categorial languages.M. J. Cresswell - 1977 - Studia Logica 36 (4):257 - 269.
  22.  4
    A Companion to Modal Logic.George Edward Hughes & M. J. Cresswell - 1984 - London, England: Methuen. Edited by M. J. Cresswell.
  23. Why propositions have no structure.M. J. Cresswell - 2002 - Noûs 36 (4):643–662.
  24. Adequacy Conditions for Counterpart Theory.M. J. Cresswell - 2004 - Australasian Journal of Philosophy 82 (1):28-41.
    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) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25.  92
    Modal Logic as Metaphysics.M. J. Cresswell - 2014 - Philosophical Quarterly 64 (255):332-338.
  26. Why objects exist but events occur.M. J. Cresswell - 1986 - Studia Logica 45 (4):371 - 375.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  27.  74
    Prepositions and points of view.M. J. Cresswell - 1978 - Linguistics and Philosophy 2 (1):1 - 41.
  28.  64
    Quotational theories of propositional attitudes.M. J. Cresswell - 1980 - Journal of Philosophical Logic 9 (1):17 - 40.
  29. What is Aristotle's theory of universals?M. J. Cresswell - 1975 - Australasian Journal of Philosophy 53 (3):238 – 247.
  30.  2
    Semantical Essays: Possible Worlds and Their Rivals.M. J. Cresswell - 1988 - Springer.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  31. Essence and existence in Plato and Aristotle.M. J. Cresswell - 1971 - Theoria 37 (2):91-113.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  34
    The interpretation of some Lewis systems of modal logic.M. J. Cresswell - 1967 - Australasian Journal of Philosophy 45 (2):198 – 206.
  33.  83
    Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
    In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices as (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Propositional identity.M. J. Cresswell - 1967 - Logique Et Analyse 40:283-291.
     
    Export citation  
     
    Bookmark   9 citations  
  35.  74
    Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
    A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Abstract Entities in the Causal Order.M. J. Cresswell - 2010 - Theoria 76 (3):249-265.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  11
    Metalogic: An Introduction to the Metatheory of Standard First Order Logic.M. J. Cresswell & Geoffrey Hunter - 1972 - Philosophical Quarterly 22 (86):79.
  38. Static semantics for dynamic discourse.M. J. Cresswell - 2002 - Linguistics and Philosophy 25 (5-6):545-571.
  39.  39
    Omnitemporal logic and converging time.G. E. Hughes & M. J. Cresswell - 1975 - Theoria 41 (1):11-34.
  40. Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
    The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  28
    A Henkin completeness theorem for T.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8:186.
  42.  30
    Functions of propositions.M. J. Cresswell - 1966 - Journal of Symbolic Logic 31 (4):545-560.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  41
    Identity and intensional objects.M. J. Cresswell - 1975 - Philosophia 5 (1-2):47-68.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44. Note on the interpretation of S0. 5.M. J. Cresswell - 1970 - Logique Et Analyse 13:376-378.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  45.  2
    The Interpretation of Some Lewis Systems of Modal Logic.M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (2):417-418.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  50
    Participation in Plato's Parmenides.M. J. Cresswell - 2010 - Southern Journal of Philosophy 13 (2):163-171.
  47. Now is the time.M. J. Cresswell - 2006 - Australasian Journal of Philosophy 84 (3):311 – 332.
    The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  60
    Mathematical Entities in the Divided Line.M. J. Cresswell - 2012 - Review of Metaphysics 66 (1):89-104.
    The second highest level of the divided line in Plato’s Republic (510b-511a) appears to be about the entities of mathematics—entities such as particular (though non-physical) triangles. It differs from the highest level in two respects. It involves reasoning from hypotheses, and it uses visible images. This article defends the traditional view that the passage is indeed about these mathematical ‘intermediates’; and tries to show how the apparently different features of the second level are related, by focussing on Plato’s need to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  53
    Prior on the semantics of modal and tense logic.M. J. Cresswell - 2016 - Synthese 193 (11).
    In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  36
    Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.
    The paper investigates interpretations of propositional and firstorder logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of W are permitted the logic so determined is classical first-order predicate logic. Restricting allowable subsets and then imposing certain closure conditions provides a modelling for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 154