In this paper it is argued that herzberger's general theory of presupposition may be successfully applied to category mistakes. The study offers an alternative to thomason's supervaluation treatment of sortal presupposition and as an indirect measure of the relative merits of the two-Dimensional theory to supervaluations. Bivalent, Three-Valued matrix, And supervaluation accounts are compared to the two-Dimensional theory according to three criteria: (1) abstraction from linguistic behavior, (2) conformity of technical to preanalytic distinctions, And (3) ability to capture classical logic. (...) A matrix like characterization of thomason's theory is reported. (shrink)

Grice coined the term ‘conventional implicature’ in a short passage in ‘Logic and conversation’. The description is intuitive and deeply intriguing. The range of phenomena that have since been assigned this label is large and diverse. I survey the central factual motivation, arguing that it is loosely uni- fied by the idea that conventional implicatures contribute a separate dimen- sion of meaning. I provide tests for distinguishing conventional implicatures from other kinds of meaning, and I briefly explore ways in which (...) one can incorporate multiple dimensions of meaning into a single theory. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (shrink)

This paper is about four inferences patterns governing conditionals: Transitivity, Simplification, Contraposition, and Antecedent Strengthening. Transitivity, Simplification, and Contraposition are intuitively compelling. Although Antecedent Strengthening may seem less attractive at first, close attention to the full range of data reveals that it too has considerable appeal. An adequate theory of conditionals should account for these facts. The strict theory does so by validating them. But the variably strict theory invalidates them. So the variably strict theorist faces a question: why do (...) we find these inferences so compelling? In this paper, I suggest an answer on her behalf: that they are reasonable inferences in the sense introduced by Stalnaker (1975). -/- . (shrink)

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our (...) way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger. (shrink)

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the differences between (...) indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)

In one of his papers, JC Beall advanced a new and interesting interpretation of Weak Kleene logic, in terms of on-topic/off-topic. In brief, Beall suggests to read the third value as off-topic, whereas the two classical values are read as true and on-topic and false and on-topic. Building on Beall’s new interpretation, the aim of this paper is threefold. First, we discuss two motivations to enrich Beall’s interpretation, and offer an alternative semantic framework that reflects our motivations. Second, by making (...) use of our new framework, we will offer a new interpretation of the logic of Catuskoti which combines Beall’s proposal of having FDE as the correct logic with the on-topic/off-topic divide. Finally, we will offer a general result that will allow us to make sense of a family of infectious logics in terms of Beall’s on-topic/off-topic reading. (shrink)

The epistemic thesis is the thesis that a 'might' counterfactual like 'If Matt had gone to the parade, David might have gone to the parade' has the same meaning as 'Maybe, if Matt had gone to the parade, David would have gone to the parade.' I offer a new theory of the counterfactual interpretation of the modal 'might' on which 'might' has the same meaning as 'maybe would'. And I show that, when coupled with a plausible semantics for 'if' clauses, (...) my theory validates the epistemic thesis. (shrink)

This paper revisits Buridan’s Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine’s Insolubilia. Prompted by the occurrence of the paradox in Cervantes’s Don Quixote, I discuss and compare four distinct solutions to the problem, namely Bradwardine’s “just false” conception, Buridan’s “contingently true/false” theory, Cervantes’s “both true and false” view, and then the “neither true simpliciter nor false simpliciter” account proposed more recently by Jacquette. All have in (...) common to accept that the Bridge expresses a truth-apt proposition, but only the latter three endorse the transparency of truth. Against some previous commentaries I first show that Buridan’s solution is fully compliant with an account of the paradox within classical logic. I then argue that Cervantes’s insights, as well as Jacquette’s treatment, are both supportive of a dialetheist account, and Jacquette’s in particular of the strict-tolerant account of truth. I defend dialetheist intuitions (whether in LP or ST guise) against two objections: one concerning the future, the other concerning the alleged simplicity of the Bridge compared to the Liar. (shrink)

(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.

It is often said that an argument is valid if and only if it is impossible for its premises to be jointly true and its conclusion false. Usually there is little harm in saying this but it places the concept of truth at the very heart of logic and, given how complex and obscure that concept is, one might wonder if trouble arises from this.It does — in at least two contexts. One of these was explored in the first half (...) of the fourteenth century by Jean Buridan and by the mysterious figure known as the Pseudo-Scotus of the Questions on the Prior Analytics printed in the edition of Scotus's works edited by Luke Wadding. Buridan thought that the bearers of truth were particular sentence-tokens; he thought of truth as a .. (shrink)

Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics (...) is that the connectives have the same meanings in these systems, so that the meaning‐variance argument is straightforwardly blocked. We discuss the effects of this semantics for two uses of the argument of meaning variance, and also consider its impact on related issues. (shrink)

_ Source: _Volume 53, Issue 2-4, pp 353 - 371 While agreeing with Professor D’Ors’ thesis that the notion of logical consequence cannot be exhaustively characterized, I depart from Professor d’Ors’ conclusion that the very notion of good consequence is primitive and can only be identified with the set of acceptable rules of inference, and from his conviction that modal notions such as necessity and impossibility are equivocal and gain such clarity as they have by their interaction with rules of (...) inference. Inspired by this picture, Professor d’Ors undertook an examination of a number of medieval attempts to analyze the notion of consequence and tried to show how certain developments in the medieval history of logic made sense in the light of debate over such analyses. This paper examines a small fragment of Professor d’Ors programme and its relation to some aspects of Jean Buridan’s account of the consequence relation. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)