Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic (...) of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities. (shrink)

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical (...) first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter. (shrink)

This book is collection of the the author’s previously published papers on the philosophy of modality and tense and it also includes three unpublished papers. The author provides an exposition and defence of certain positions for which he is well-known: the intelligibility of modality de re; the primitiveness of the modal; and the primacy of the actual over the possible. He also argues for some less familiar positions: the existence of distinctive forms of natural and normative necessity, not reducible to (...) any form of metaphysical necessity; the need to make a distinction between the worldly and unworldly, analogous to the distinction between the tensed and the tenseless; and the viability of a nonstandard form of realism about tense, which recognizes the tensed character of reality without conceding there is any privileged standpoint from which it is to be viewed. (shrink)

Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.

P.F. Strawson's essay traces some formal characteristics of logic and grammar to their roots in general features of thought and experience.

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

There is a common form of problem, to be found in many areas of philosophy, concerning the relationship between our perspective on reality and reality itself. We make statements (or form judgements) about how things are from a given standpoint or perspective. We make the statement ‘it is raining’ from the standpoint of the present time, for example, or the statement‘it is here’ from the standpoint of where we are, or the statement ‘I am glad’ from the standpoint of a (...) subject. In each of these cases, the statement has a certain ‘aspect’ or perspectival character in virtue of which its truth is capable of varying from one standpoint to another. Thus the statement ‘it is raining’ is tensed, the statement ‘it is here’ is ‘spatiocentric’ and the statement ‘I am glad’ is first-personal. The problem we then face is to determine whether this aspect is a feature of the reality which is described or merely a feature of the statement by which it is described. Is reality itself somehow tensed or spatiocentric or firstpersonal or is it merely that we describe a tenseless or spatially uncentered or impersonal reality from a tensed or spatiocentric or first-personal point of view? (shrink)

A sentence mentioning an object can be regarded as saying any one of several things about that object, without thereby being ambiguous. Some of the (logical) repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

Geach’s rich paper ‘A Program for Syntax’ introduced many ideas into the arena of categorial grammar, not all of which have been given the attention they warrant in the thirty years since its first publication. Rather surprisingly, one of our findings (Section 3 below) is that the paper not only does not contain a statement of what has widely come to be known as “Geach’s Rule”, but in fact presents considerations which are inimical to the adoption of the rule in (...) question. With regard to at least some amongst the numerous other points extracted here from Geach’s discussion, we shall not be able to reach so definitive a conclusion, and content ourselves with giving the issues an airing. (shrink)

The appropriateness of S5 as a logic of knowledge has been attacked at some length in the philosophical literature. Here one particular attack based on the interplay between knowledge and belief is considered: Suppose that knowledge satisfies S5, belief satisfies KD45, and both the entailment property (knowledge implies belief) and positive certainty (if the agent believes something, she believes she knows it) hold. Then it can be shown that belief reduces to knowledge: it is impossible to have false beliefs. While (...) the entailment property has typically been viewed as perhaps the least controversial of these assumptions, an argument is presented that it can plausibly be viewed as the culprit. More precisely, it is shown that this attack fails if we weaken the entailment property so that it applies only to objective (nonmodal) formulas, rather than to arbitrary formulas. Since the standard arguments in favor of the entailment property are typically given only for objective formulas, this observation suggests that care must be taken in applying intuitions that seem reasonable in the case of objective formulas to arbitrary formulas. (shrink)

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is (...) continuous in model class topology). (shrink)

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parame- ters (...) of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

David Wiggins; XIV*—Verbs and Adverbs, and Some Other Modes of Grammatical Combination, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986.