' 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).

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)

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)

(1996). Knowledge elicitation using a multi‐modal approach. World Futures: Vol. 47, Unity and Diversity in Contemporary Systems Tinking: Systematic Pictures at an Exhibition, pp. 93-101.

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)

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)

In this note we sketch a decision procedure for S3.51 based on reduction to conjunctive normal form. Using the following theorem of S3.5: and its dual for M over a conjunction, any formula can be reduced by standard methods (as in S52) to a conjunction of disjunctions of the form where Í is (p ⊃ p), 0 is ∼(p ⊃ p) and α — λ are all PC-wffs (i.e. they contain no modal operators).

Thomas Aquinas's vision of atonement is generally considered more conceptually expansive than Anselm of Canterbury's. Where Aquinas's multipartite account of Christ's passion incorporates a variety of biblical motifs, Anselm appears to narrow the focus to satisfactory debt-repayment alone. This article proposes two approaches for reframing the comparison between the two accounts. I argue first that both Anselm and Aquinas considered debt-repayment necessary but not sufficient in itself to accomplish all that is needed for the remittance of sin and the restoration (...) of humanity. For Anselm, as for Aquinas, Christ must also liberate captives, defeat the devil, amend Adam's sin by recapitulation and win merit in which his members participate. The first reframing thus locates Anselm in much closer proximity to Aquinas than has generally been supposed. The second reframing throws light on a significant divergence between the two. I argue that the kenotic trajectory of abasement and ascent, pictured in the Philippian hymn, is put to strikingly different use by each theologian. This second reframing throws into sharp relief Aquinas's emphasis on Christ's suffering as a theological priority which Anselm does not share. Looking to Anselm's Benedictine context, I contend, yields one possible means of accounting for this departure. (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)

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)

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)

This paper explores a modal analogue of Hugh Mellor''s version of McTaggart''s argument against the reality of tense. I show that if Mellor''s argument succeeds in showing that the present moment cannot be any more real than any other moment then it also shows that the actual world cannot be any more real than any other possible world.

It is a matter of some irony that psychiatry's most trenchant critic for over four decades is himself a psychiatrist. I refer to Thomas S. Szasz. Szasz's core thesis may be succinctly rendered: mental illness is a “myth”, a “metaphor” which serves only to obscure the social and ethical “problems in living” we face as human beings. This paper reconsiders the conceptual bases of Szasz's assault on psychiatry and assesses recent counter-arguments of his critical interlocutors. It presents a defence of (...) the Szaszian conception and emphasises the continuing relevance of his earliest work. Additionally, the paper discusses Szasz's thesis in light of the work of the influential French philosopher of medicine, Georges Canguilhem. (shrink)

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 (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

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)

Does Duns Scotus identify the natural will with the affectio commodi ? This identifica- tion has become the standard view. In this paper, I will challenge this view through an analysis of some key texts. The main thesis of the paper is that Scotus allows for two scenarios related to the will’s dual affections. The first is the real situation of the created will: the will is a free potency and possesses two affections. The second is a hypothetical case; Scotus (...) suggests the fictive case of a will that only possesses the affectio commodi. Accordingly, it can be concluded that: (i ) when considering the will in its real condi- tion, both affections belong to the will’s free appetite; (ii) in the hypothetical case the natural will, the intellectual appetite and the affectio commodi are all identified; (iii ) in the real condition of the will, the natural will is a passive inclination to receive perfection. (shrink)

In this paper I shall look at the application of the ltration technique to omnitemporal logic . The principal result of the paper will be that the system BSeg of [3] has the nite model property; but I shall also make a few remarks about the system B+ of [2].

Following Fine [3], p. 20, we say that a normal propositional modal logic is canonical i all its theorems are valid on the frame of its canonical model . In this paper we prove that K1:1, i.e. S4+ J1 L p) p is not canonical y . We say that two points x and y in a frame are co-accessible i xRy; yRx, but x =6 y. Our proof proceeds by showing that A. The canonical model for K1:1 contains a (...) pair of co-accessible points; and B. J1 is not valid on any frame with a pair of co-accessible points. Clearly our result follows immediately from A and B. (shrink)

Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The story begins with an illuminating discussion of Aristotle's views on the connection between logic and metaphysics, continues through the Stoic and mediaeval traditions, and then (...) moves to the early modern period with particular attention to Locke and Leibniz. The views of Kant, Peirce, C. I. Lewis and Carnap complete the volume. Many of the essays illuminate the connection between the historical figures studied, and recent or current work in the philosophy of modality. The result is a rich and wide-ranging picture of the history of the logical modalities. (shrink)

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of (...) knowledge, which defenders of the ‘possible worlds’ approach are frequently critical of. (shrink)

My 1998: 78–81 contains an argument against tensed facts, like the fact that it’s raining now, which exist at some times like 1 January 2010 and not others. ‘Facts’ here means truthmakers, not facts in the trivial sense defined by the equivalence principle EP: For all P, P is a fact iff the proposition ‘P’ is true, in which no one can deny the existence of tensed facts. The argument, which I’ll call TA, may be summarized as follows, where a (...) B-theory of time is one that says there are not, and an A-theory one that says there are, tensed truthmakers. B- theory: Any tensed ‘P’ is made true at any time t by the tenseless fact P-at- t. So: ‘P’ has as many truthmakers as there are times. A-theory: ‘P’ is made true by the tensed fact P, which exists at some but not all t. So: ‘P’ has only one truthmaker, P. So: P makes all tokens of ‘P’ true now. So: P makes tokens of ‘P’ at times when P didn’t exist true now, which is absurd. TA: So: P only makes present tokens of ‘P’ true. So: tokens of ‘P’ at any time t are true iff P exists at t, i.e. ‘P’ is made true at any time t by the tenseless fact P-at- t. So: there are no tensed facts. Max Creswell and Adriane Rini have now produced a modal analogue of TA, which I’ll call MA, whose conclusion is that there are no contingent facts, like the fact that I live in Cambridge, and which may be summarized as follows: Modal realism: Any contingent ‘P’ is made true in any world …. (shrink)

I am idebted to members of the Wellington Logic Seminar for useful discussions of work of which this essay forms part, in particular to M. J. Cresswell for comments in the earlier stages of the investigation and to R. I. Goldblatt who suggested the definition ofB infD supu and made numerous other suggestions.

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on (...) classical logicians and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

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

This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved (...) with replacing expressions by logical equivalents. (shrink)

Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of language and (...) formal semanticists. That in turn presents a strong argument for the use of operator-based systems in the semantics of natural language, instead of systems with explicit quantification over worlds and times that have become a de-facto standard for such applications. The popularity of such explicit-quantification systems is shown to be based on the misinterpretation of a claim by Cresswell, which led many philosophers and linguists to assume that introducing “now” and “then” is expressively equivalent to explicitly quantifying over worlds and times. (shrink)

We define prenormal modal logics and show that S1, S1, S0.9, and S0.9 are Lewis versions of certain prenormal logics, determination and decidability for which are immediate. At the end we characterize Cresswell logics and ponder C. I. Lewis's idea of strict implication in S1.

This paper presents a new logical analysis of quantity comparatives (i.e. More linguists than philosophers came to the party.) within the Delineation Semantics approach to gradability and comparison (McConnell-Ginet in Comparison constructions in English. PhD thesis, University of Rochester, Rochester, 1973; Kamp in Formal semantics of natural language. Cambridge University Press, Cambridge, 1975; Klein in Linguist Philos 4:1–45, 1980) among many others. Along with the Degree Semantics framework (Cresswell in Montague grammar. Academic Press, New York, 1976; von Stechow in (...) J Semant 3:1–77, 1984; Kennedy in Projecting the adjective. PhD thesis. University of California, Santa Cruz, 1997, among many others) Delineation Semantics is one of the dominant logical frameworks for analyzing the meaning of gradable constituents of the adjectival syntactic category; however, there has been very little work done investigating the application of this framework to the analysis of gradability outside the adjectival domain. This state of affairs distinguishes the Delineation Semantics framework from its Degree Semantics counterpart, where such questions have been investigated in great deal since the beginning of the twenty-first century. Nevertheless, it has been observed [for example, by Doetjes (Seventeenth amsterdam colloquium. University of Amsterdam, Amsterdam, 2011); van Rooij (The vagueness handbook. Springer, Dordrecht, 2011c)] that there is nothing inherently adjectival about the way that the interpretations of scalar predicates are calculated in Delineation Semantics, and therefore that there is enormous potential for this approach to shed light on the nature of gradability and comparison in the nominal and verbal domains. This paper is a first contribution to realizing this potential within a Mereological extension of a simple version of the DelS system. (shrink)

This article deals with the semantics of “double-access” sentences. They are defined as English sentences which have a past tense morpheme in the matrix clause and a present tense morpheme in a subordinate clause in the immediate scope of the matrix past tense. They receive a very peculiar interpretation, which we will refer to as a “double-access interpretation.” The episode described in the embedded clause makes reference to two times: the time referred to by the matrix predicate and the utterance (...) time of the whole sentence. Previous studies on this construction are largely descriptive and do not attempt to analyze it formally, with one important exception. Abusch (1991) addresses the problems connected with the construction and proposes that double-access interpretations involvede re attitudes about intervals. Her proposal contains an important insight and provides one possible account of the double-access construction. My proposal was independently developed at approximately the same time as Abusch's and offers an alternative explanation for the phenomena. I consider a series of hypotheses and conclude that double-access readings involvede re attitude reports about state individuals. This account is couched in an eventuality-based framework and employs the techniques proposed by Cresswell and von Stechow (1982). In order to yield the desired reading, the tense must first adjoin to the complement S, then to the matrix S, leaving two traces in the process. (shrink)

In two early papers, Max Cresswell constructed two formal logics of propositional identity, pcr and fcr, which he observed to be respectively deductively equivalent to modal logics s4 and s5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of s4 and s5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than pcr that accommodate core intuitions about identity and I argue that Cresswell’s informal (...) arguments do not firmly and without epistemic circularity justify accepting s4 or s5. I also describe how to formulate standard modal logics (k, s2, and their extensions) with strict equivalence as the only modal primitive. (shrink)

The relationships between logic and natural language are multiverse. On the one hand, logic is a theory of argumentation, proving and giving reasons, and such activities are primarily carried out in natural language. This means that logic is, in a certain loose sense, about natural language. On the other hand, logic has found it useful to develop its own linguistic means which sometimes in a sense compete with those of natural language. This has led to the situation where the systems (...) of logic can be taken as interesting "models" of various aspects of natural language. Â Â Â Â Â Â Â The alliance of logic and linguistics has flowered especially from the beginning of the seventies, when scholars like Montague, Lewis, Cresswell, Partee and others showed how semantics of natural language can be explicated with the help certain suitable logical calculi and the corresponding model theory. (Montague went so far as to claim that in view of this, there is no principal difference between natural and formal languages - but this is, as far as I can see, rather misguiding.) Since that time, the interdisciplinary movement of formal semantics (associating not only linguists and logicians, but also philosophers, computer scientists, cognitive psychologists and others) has yielded a rich repertoire of formal theories of natural language, some of them (like Hintikka's game-theoretical semantics or the dynamic logic of Groenendijk and Stokhof) being based directly on logic, others (like the situation semantics of Barwise and Perry or DRT of Kamp) exploiting different formal strategies. Â Â Â Â Â Â Â Moreover, although the enterprise of formal semantics (i.e. of modeling natural language semantics by means of certain formal structures) seems to be the principal point of contact between linguistics and logic, there are also other cooperative enterprises. One of the most fruitful ones seems to be the logical analysis of syntax, which has resulted from elaboration of what was originally called categorial grammar. (However, even this enterprise can be seen as importantly stimulated by Montague.) Â Â Â Â Â Â Â All in all, the region in which logic and theoretical linguistics overlap has grown both in size and fertility.. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

We present a series of proof systems for exact entailment (i.e. relevant truthmaker preservation from premises to conclusion) and prove soundness and completeness. Using the proof systems, we observe that exact entailment is not only hyperintensional in the sense of Cresswell but also in the sense recently proposed by Odintsov and Wansing.

Belief attributions pose difficult problems for the semantics of natural languages. One problem is to give an account of the "objects" of belief that respects the logical opacity of belief . Another problem is to respect the partial deductive closure of belief: the fact that belief attribution presupposes that believers draw some, but not all, logical consequences from their beliefs. On standard theories, however, partial deductive closure seems to imply total deductive closure. ;I critically examine the major semantic theories of (...) belief attributions--among others those due to Russell, Cresswell, Fodor, and Stalnaker--and argue that their defects are rooted in the framework in which they are constructed. I propose an alternative framework, one that is built on the following two ideas: Objects of belief are not to be identified with the meanings of sentences. I propose that they be identified with "Informational Contents". Informational Contents, as I conceive of them, are abstract, language independent entities whose individuation is sensitive to the logical and semantic complexity of the that-clauses, and to pragmatic and psychological parameters. The partial deductive closure of our beliefs, I suggest, be accounted for by treating 'believe' as a vague predicate--a predicate that is tolerant of marginal changes in the conceptual and logical complexity of its objects. I argue that the problem of partial deductive closure is parallel to that of the Sorites paradox, and should be solved in a parallel way. ;The framework suggested by these two ideas will yield, I believe, an adequate semantic theory of belief sentences, one that reflects the underlying presuppositions of ordinary usage. (shrink)

As a graduate student in Linguistics at UMass/Amherst in the 1980s, I was fortunate to be exposed to a number of new developments bearing on the relationship between formal semantics and pragmatics. In the 1970s under the influence of Cresswell, Lewis, Montague, and Partee, enormous progress in semantics was made possible by narrowing the focus of the field mainly to the consideration of the conventional, truth conditional content of an indicative utterance, calculated compositionally as a function of the semantic (...) contributions of its parts and its syntactic structure. Context was typically relegated to the background, in the form of indices of evaluation, though occasionally popping out for more serious consideration, as in the work of Kaplan, Karttunen, and Stalnaker. But eventually the nature of the rigorous formal enterprise itself, confronted with phenomena like Geach’s donkey sentences, presupposition projection, and the context-dependence of tense and aspect, forced the field into a more careful, thorough reconsideration of the relationship between context and content. Hence were born the dynamic theories of interpretation, beginning with Hans Kamp (1981) and Irene Heim (1982), who were both at UMass during my stay there, Heim completing her dissertation and Kamp on the faculty in Philosophy. Such frameworks posit a dynamic interchange between content and context, each dependent on the other, even in the course of interpreting a single utterance. Mats Rooth was also a graduate student at UMass at that time, and wrote his influential dissertation (1985) proposing an alternative semantics for the interpretation of prosodic focus, inter alia shedding light on how focus contributes to the contextual domain restriction of various operators. (shrink)

A number of authors have taken a family of paradoxes, whose members trace back to theorems due either in whole or in part to Richard Montague, to pose a serious, possibly fatal challenge to theories of fine-grained, hyperintensional content. These paradoxes all assume that we can represent attitudes such as knowledge and belief with sentential predicates, and this assumption is at the heart of the purported challenge: the thought is that we must reject such predicates to avoid the paradoxes, and (...) that hyperintensionality precludes such a rejection. In this paper I examine in more detail both parts of this thought. I first argue that while there are relatively few satisfactory alternatives to rejecting sentential attitude predicates, we cannot conclusively rule them all out—there are, at least, bullets that proponents of hyperintensionality can bite. I then argue that while most forms of hyperintensional content do in fact guarantee the existence of sentential attitude predicates, one relatively underexplored sort of content, due to Max Cresswell, does not. I thus conclude that while these Montagovian paradoxes present a serious challenge to nearly every popular theory of hyperintensionality, they do not on their own require that we retreat all the way to a familiar, coarse-grained, possible-worlds account of propositions. (shrink)

The most common analyses of comparatives make use of degrees, abstract objects that form a total ordering. In this paper, I will explore a novel analysis of comparatives in which the central notion is not the notion of a degree, but rather the notion of a concrete property manifestation, a particularized property, or a trope, as it is most commonly called in contemporary metaphysics. This trope-based analysis, I argue, has some major conceptual and empirical advantages over a degree-based account. A (...) degree-based analysis of (1a) looks as in (1b) (Cresswell 1976, von Stechow 1984) or (1c) (Pinkal 1989, Moltmann 1992), with the adjective being taken to express a relation between objects and degrees. (shrink)

A theory purporting to solve the problem of universals must be able to explain predication, recurrence, and classification. How Platonism does this is well known. Here I take a hard look at an attempt by M.J. Cresswell to give an Aristotelian answer and show it to be a complete and utter failure. The answer does not eliminate commitment to universals and it is only half an answer anyway because it does not cover relational predicates, an omission that Russell noted (...) dooms answers by other philosophers as well. (shrink)

This paper investigates the analysis of the de re/de dicto distinction and related facts. I start with the assumption, supported by Cresswell 1990, that the evaluation of the truth of a proposition relative to a particular possible world/situation is mediated via the presence in the syntax of a silent pronoun with type-s denotation. In this system, the de re/de dicto distinction arises from a difference in which an operator binds a given situation pronoun. Percus 2000 shows that such a (...) system potentially overgenerates, in that a third type of reading is predicted to exist for sentences which actually have only two: de re and de dicto. Percus proposes constraints on the binding of situation pronouns, which correctly rule out these third readings. This paper shows, however, that extrinsic constraints on the binding of situation pronouns are not necessary to rule out the unwanted readings, as long as we develop a more precise theory of binding in the first place. I adapt the binding operator argued for by Büring 2004, originally developed only for overt pronouns, and show that when used as an operator for situation pronouns, the unwanted readings are not predicted to occur. (shrink)

This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of -categorial languages of the sort defined by Max Cresswell in [6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate -categorial languages with variables.

Salafism is one of the most important issues of the last few centuries. There are intense discussions on the issues related to Salafism, its emergence, how it was first used by whom and in what sense. Discussions about Salafism are sometimes experienced in relation to whether this concept corresponds to a mentality or to a sect, and sometimes this phenomenon is brought up in relation to a number of important names that have taken place in the history of Islamic thought. (...) Ibn Taymiyya (d. 728/1328) emerges as the most frequently mentioned name in this context. Therefore, in this article, we have examined how Salafism/Salafiyya concept is used in the works of Ibn Taymiyya who is accepted as the theorist and the most powerful representative of Salafism. We have discussed the issue in a comprehensive manner by including the concept of Salaf, which is one of the most used concepts of Ibn Taymiyya. When we consider Ibn Taymiyya's use of the concepts of Salaf and Salafiyya, the concept of Salaf is seen to be used much more than the concept of Salafiyya. Thus, the concept of Salaf in the thought of Ibn Taymiyya refers to the Islamic society that lived in the early centuries and the conception of religion revealed by this society. The concept of Salafiyya, however, appears to have been used in a way that reflects a mentality and a way of thinking rather than a particular school or sect.Summary: Sects are human made structures that emerged with the institutionalization of differentiations in the conception of religion. The production of systematic theology and fiqh, the formation of its own literature, its dissemination and dissociation from other systems of thought are the most important turning points for the emergence of sects. One of the most important variables that determine the formation process of sects is the mentality of sect. It is known that the sects come into the realm of existence when the mindsets with the implicit reference system become visible. Therefore, there is a mentality on which every sect is based, but not every mentality has come to the point of being a sect. While some mentalities have influenced different sects in different shades, some of them have been confronted with only one sect.In fact, Salafism is one of the ways of thinking which is a mindset and it is a subject of important debates about whether it is a sect. Although the use of salafiyya is seen in the literature in the past, the fact that Salafism felt its existence as a kind of religion or mentality was realized in the 18th and 19th centuries. It is also known that the discussions about the definition of Salafism have started since these periods. From the second half of the 20th century, Salafism began to take a place in the agenda of both the Islamic world and the West. This has naturally led to efforts to define Salafism. Thus, Salafism is subjected to attempts to identify and associate with structures, such as denomination, ideology, religious understanding and mentality. In this direction, it is seen that Salafism is tried to be defined by establishing close link with the structures, such as Ahl al-Sunnah, Ahl-i Hadith, Hanbalism and Wahhabism or by reducing them directly to one of these structures. Thus, Salafism is sometimes backed up to the early stages of Islamic thought and sometimes associated with multilayered structures, such as the Ahl al-Sunnah, which embodies many political-mythic and fiqh structures.In line with the efforts of defining Salafism, it is also seen that many names that have had a say in classical Islamic thought or have been mentioned in modern times have been brought to the agenda. In addition to the names, such as Ahmad ibn Hanbal, Ibn Taymiyya, Ibn Qayyim al-Jawziyya, the names of Emir al-Saneyani, Muhammad ibn Abd al-Wahhab, Muhammad al-Shawkani, Shaykh Abdulaziz ibn Baz and Muhammad Nasir al-din al-Albani are frequently mentioned in this process. It should be noted that there is a special place of Ibn Taymiyya among these names. Ibn Taymiyya took the place of both in history of Islamic thought and Ahl al-Hadith-Hanbalite tradition and made a name for himself in the context of many subjects. It is claimed that Ibn Taymiyya, who was the theorist of the Hanbalite conception of religion, and the missionary of the New Hanbalism, was also the founding figure and the most important representative of Salafism. In modern times, most of those who declare ideas about Salafism place Ibn Taymiyya at the center of Salafism and present him as the founding name of this mentality. However, the question of what kind of relationship between the mentality called Salafism and Ibn Taymiyya's world of thought and religion is not the subject of academic studies. However, the works of Ibn Taymiyya, who is an author of a very velocity, should be analyzed from this point of view and all kinds of words about Ibn Taymiyya-Salafism relationship should be left behind this effort. Our study, which aims to fulfill this gap, was designed to explain topics, such as whether the concept of salafiyya was used in the works of Ibn Taymiyya, whether and how the past was used, and the extent to which the meaning attributed to the salafiyya coincided with the current Salafism. Understanding of the concept of the salafiyya in the works of Ibn Taymiyya depends on the explanation of how the term salaf was derived and used by Ibn Taymiyya. When the works of Ibn Taymiyya are scanned, it is seen that he used the word salaf much more than the word salafiyya. In fact, the word of salafiyya, which Ibn Taymiyya has rarely included, has been placed in some places in a way that refers to the meaning field of the word salaf. When we consider the use of the word salaf in the works of Ibn Taymiyya, we first see the generations who lived in the early historical periods of Islamic thought and the conception of religion which these generations have revealed. Other names that have taken place in the history of Islamic thought have similar opinions about the generation of the predecessors and the religious understanding of this generation. In other words, according to the general opinion of the predecessor, especially the first three centuries came to mind. However, it is seen that Ibn Taymiyya made some attempts to periodize both the generation of the predecessors and to define the understanding of religion of this generation. Nevertheless, Ibn Taymiyya could not provide a clear picture on this issue, and he occasionally contradicted his findings regarding his involvement in the predecessor generation. Nevertheless, he generally adopted generalizations and an attitude to limit the meaning of the predecessor to the first generations. The word salafiyya, which Ibn Taymiyya placed on the meaning of the word salaf, is used less compared to the word salaf and is given in more complete terms. This indicates that the main factor that influenced Ibn Taymiyya's salafi thought was salaf, not salafiyya as a systematic structure. These findings make it necessary to reconsider the claims of Salafism being a sect and it is being represented at the time of Ibn Taymiyya. (shrink)

Сборник посвящен изучению особенностей восприятия времени в различных исторических традициях и особенностей его фиксации в текстах. Для специалистов.

This paper describes Confucian ceremonies and the objectives that were assigned to them in socio-political life and religious practices, as well as the artistic and spiritual journey aimed at self-realization.

These lecture notes were composed while teaching a class at Stanford and studying the work of Brian Chellas (Modal Logic: An Introduction, Cambridge: Cambridge University Press, 1980), Robert Goldblatt (Logics of Time and Computation, Stanford: CSLI, 1987), George Hughes and Max Cresswell (An Introduction to Modal Logic, London: Methuen, 1968; A Companion to Modal Logic, London: Methuen, 1984), and E. J. Lemmon (An Introduction to Modal Logic, Oxford: Blackwell, 1977). The Chellas text influenced me the most, though the order (...) of presentation is inspired more by Goldblatt.2 My goal was to write a text for dedicated undergraduates with no previous experience in modal logic. The text had to meet the following desiderata: (1) the level of difficulty should depend on how much the student tries to prove on his or her own—it should be an easy text for those who look up all the proofs in the appendix, yet more difficult for those who try to prove everything themselves; (2) philosophers (i.e., colleagues) with a basic training in logic should be able to work through the text on their own; (3) graduate students should find it useful in preparing for a graduate course in modal logic; (4) the text should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem, and in particular, it should help the student to see what motivated the choices in these texts; (5) it should link the two conceptions of logic, namely, the conception of a logic as an axiom system (in which the set of theorems is constructed from the bottom up through proof sequences) and the conception of a logic as a set containing initial ‘axioms’ and closed under ‘rules of inference’ (in which the set of theorems is constructed from the top down, by carving out the logic from the set of all formulas as the smallest set closed under the rules); finally, (6) the pace for the presentation of the completeness theorems should be moderate—the text should be intermediate between Goldblatt and Chellas in this regard (in Goldblatt, the completeness proofs come too quickly for the undergraduate, whereas in Chellas, too many unrelated.... (shrink)