This book argues against the traditional understanding of the semantics/pragmatics divide and puts forward a radical alternative. Through half a dozen case studies, it shows that what an utterance says cannot be neatly separated from what the speaker means. In particular, the speaker's meaning endows words with senses that are tailored to the situation of utterance and depart from the conventional meanings carried by the words in isolation. This phenomenon of ‘pragmatic modulation’ must be taken into account in theorizing about (...) semantic content, for it interacts with the grammar-driven process of semantic composition. Because of that interaction, the book argues, the content of a sentence always depends upon the context in which it is used. This claim defines Contextualism, a view which has attracted considerable attention in recent years, and of which the author of this book is one of the main proponents. (shrink)

In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute.

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

Introduction The mainstream view in philosophy of language is that sentence meaning determines truth-conditions. A corollary is that the truth or falsity of an utterance depends only on what words mean and how the world is arranged. Although several prominent philosophers (Searle, Travis, Recanati, Moravcsik) have challenged this view, it has proven hard to dislodge. The alternative view holds that meaning underdetermines truth-conditions. What is expressed by the utterance of a sentence in a context goes beyond what is encoded in (...) the sentence itself. Truth-conditional content depends on an indefinite number of unstated background assumptions, not all of which can be made explicit. A change in background assumptions can change truth-conditions, even bracketing disambiguation and reference assignment. That is, even after disambiguating any ambiguous words in a sentence and assigning semantic values to any indexical expressions in the sentence, truth-conditions may vary with variations in the background. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

In this paper, I review the motivation of connexive and strongly connexive logics, and I investigate the question why it is so hard to achieve those properties in a logic with a well motivated semantic theory. My answer is that strong connexivity, and even just weak connexivity, is too stringent a requirement. I introduce the notion of humble connexivity, which in essence is the idea to restrict the connexive requirements to possible antecedents. I show that this restriction can be well (...) motivated, while it still leaves us with a set of requirements that are far from trivial. In fact, formalizing the idea of humble connexivity is not as straightforward as one might expect, and I offer three different proposals. I examine some well known logics to determine whether they are humbly connexive or not, and I end with a more wide-focused view on the logical landscape seen through the lens of humble connexivity. (shrink)

Two experiments (N1 = 141, N2 = 40) investigate two versions of Aristotle’s Thesis for the first time. Aristotle’s Thesis is a negated conditional, which consists of one propositional variable with a negation either in the antecedent (version 1) or in the consequent (version 2). This task allows us to infer if people interpret indicative conditionals as material conditionals or as conditional events. In the first experiment I investigate between-participants the two versions of Aristotle’s Thesis crossed with abstract versus concrete (...) task material. The modal response for all four groups is consistent with the conditional event and inconsistentwith the material conditional interpretation. This observation is replicated in the second experiment. Moreover, the second experiment rules out scope ambiguities of the negation of conditionals. Both experiments provide new evidence against thematerial conditional interpretation of conditionals and support the conditional event interpretation. Finally, I discuss implications formodeling indicative conditionals and the relevance of this work for experimental philosophy. (shrink)

Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation (...) as cancellation is intimately connected with connexivist principles such as ¬( ¬). Despite this, standard connexivist logics incorporate quite different accounts of negation. The second half of the paper shows how the cancellation account of negation of the first part gives rise to a semantics for a simple connexivist logic. (shrink)

The paper describes a new way of thinking about conditionals, in terms of information transfer between worlds. This way of looking at things provides an answer to some of the standard problems concerning conditionals, and undercuts the claim that indicative and subjunctive conditionals are distinct.

It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...) its consequent is incompatible with its antecedent’, a view which, in the opinion of S. McCall, entails the aforementioned theses of Aristotle and Boethius. Now a critical examination of the historical sources shows that the ancient logicians most likely meant their theses as applicable only to ‘normal’ conditionals with antecedents which are not self-contradictory. The corresponding restrictions of Aristotle’s and Boethius’ theses to such self-consistent antecedents, however, turn out to be theorems of ordinary modal logic and thus don’t give rise to any non-classical system of genuinely connexive logic,. (shrink)

The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that p does not imply (...) not q) is identified. (shrink)

Connexive logics aim to capture important logical intuitions, intuitions that can be traced back to antiquity. However, the requirements that are imposed on connexive logic are actually not enough to do justice to these intuitions, as I will argue. I will suggest how these demands should be strengthened.

The object of this paper is to examine half and full connexive extensions of the basic regular conditional logic CR. Extensions of this system are of interest because it is among the strongest well-known systems of conditional logic that can be augmented with connexive theses without inconsistency resulting. These connexive extensions are characterized axiomatically and their relations to one another are examined proof-theoretically. Subsequently, algebraic semantics are given and soundness, completeness, and decidability are proved for each system. The semantics is (...) also used to establish independence results. Finally, a deontic interpretation of one of the systems is examined and defended. (shrink)

Alberic of Paris put forward an argument, ‘the most embarrassing of all twelfth-century arguments’ according to Christopher Martin, which shows that the connexive principles contradict some other logical principles that have become deeply entrenched in our most widely accepted logical theories. Building upon some of Everett Nelson’s ideas, we will show that the steps in Alberic of Paris’ argument that should be rejected are precisely the ones that presuppose the validity of schemas that are nowadays taken as some of the (...) most trivial logical truths: (A∧B) → A and (A∧B) → B, i.e. Simplification. (shrink)

The principle that a necessarily false proposition implies any proposition, and that a necessarily true proposition is implied by any proposition, was apparently first propounded in twelfth century Latin logic, and came to be widely, though not universally, accepted in the fourteenth century. These principles seem never to have been accepted, or even seriously entertained, by Arabic logicians. In the present study, I explore some thirteenth century Arabic discussions of conditionals with impossible antecedents. The Persian-born scholar Afdal al-Dīn al-Kh najī (...) (d.1248) suggested the novel idea that two contradictory propositions may follow from the same impossible antecedent, and closely related to this point, he suggested that if an antecedent implies a consequent, then it will do so no matter how it is strengthened. These ideas led him, and those who followed him, to reject what has come to be known as 'Aristotle's thesis' that no proposition is implied by its own negation. Even these suggestions were widely resisted. Particularly influential were the counter-arguments of Na īr al-Dīn al-T ī (d.1274). (shrink)

We review Potts’ influential book on the semantics of conventional implicature (CI), offering an explication of his technical apparatus and drawing out the proposal’s implications, focusing on the class of CIs he calls supplements. While we applaud many facets of this work, we argue that careful considerations of the pragmatics of CIs will be required in order to yield an empirically and explanatorily adequate account.