We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities (...) between such points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

Here is one argument against realism. (1) Realists are committed to the classical rules for negation. But (2) legitimate rules of inference must conserve evidence. And (3) the classical rules for negation do not conserve evidence. So (4) realism is wrong. Most realists reject 2. But it has recently been argued that if we allow denied sentences as premisses and conclusions in inferences we will be able to reject 3. And this new argument against 3 generates a new (...) response to the antirealist argument: keep 1 and 2, avoiding 4 by rejecting 3. My aim in this paper is to see how much work in the fight against anti-realism this new response can really do. I argue that there is a powerful objection to the response: 2 is in tension with the claim that denied sentences can be premisses and conclusions in inferences. But I show that, even given this objection, the new response has an important role to play. (shrink)

Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the (...) strong relevant logic R with a S5 modal operator, all fail to be conservatively extended by Boolean negation. The proof, therefore, also covers Meyer and Mares’ proof that NR—R with a primitive S4-modality added—also fails to be conservatively extended by Boolean negation. (shrink)

We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal (...) logic of Béziau and the logic of classical implication and a paraconsistent de Morgan negation of Zaitsev. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then (...) I show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean (...) extended logic. (shrink)

It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.

This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. (...) Given that sentential negationparticipates in negative concord, we develop an extension of thepolyadic approach which can deal with non-variable binding operators,treating the contribution of negation in a concord context assemantically empty. Our semantic analysis, incorporated into agrammatical analysis formulated in HPSG, crucially relies on theassumption that quantifiers can be combined in more than one wayupon retrieval from the quantifier store. We also considercross-linguistic variation regarding the participation ofsentential negation in negative concord. (shrink)

Many think that expressivists have a special problem with negation. I disagree. For if there is a problem with negation, I argue, it is a problem shared by those who accept some plausible claims about the nature of intentionality. Whether there is any special problem for expressivists turns, I will argue, on whether facts about what truth-conditions beliefs have can explain facts about basic inferential relations among those beliefs. And I will suggest that the answer to this last (...) question is, on most plausible attempts at solving the problem of intentionality, ‘no’. (shrink)

What I hope to achieve in this paper is some rather deeper understanding of the semantic and pragmatic properties of utterances which are said to involve the phenomenon of metalinguistic negation[FN1]. According to Laurence Horn, who has been primarily responsible for drawing our attention to it, this is a special non-truthfunctional use of the negation operator, which can be glossed as 'I object to U' where U is a linguistic utterance. This is to be distinguished from descriptive truthfunctional (...) negation which operates over a proposition. (shrink)

Four weak positional calculi are constructed and examined. They refer to the use of the connective of negation within the scope of the positional connective “R” of realization. The connective of negation may be fully classical, partially analogical or independent from the classical, truth-functional negation. It has been also proved that the strongest system, containing fully classical connective of negation, is deductively equivalent to the system MR from Jarmużek and Pietruszczak.

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main (...) result of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

The problems of the meaning and function of negation are disentangled from ontological issues with which they have been long entangled. The question of the function of negation is the crucial issue separating relevant and paraconsistent logics from classical theories. The function is illuminated by considering the inferential role of contradictions, contradiction being parasitic on negation. Three basic modelings emerge: a cancellation model, which leads towards connexivism, an explosion model, appropriate to classical and intuitionistic theories, and a (...) constraint model, which includes relevant theories. These three modelings have been seriously confused in the modern literature: untangling them helps motivate the main themes advanced concerning traditional negation and natural negation. Firstly, the dominant traditional view, except around scholastic times when the explosion view was in ascendency, has been the cancellation view, so that the mainstream negation of much of traditional logic is distinctively nonclassical. Secondly, the primary negation determinable of natural negation is ·relevant negation. In order to picture relevant negation the traditional idea of negation as otherthanness is progressive) refined, to nonexclusive restricted otherthanness. Several pictures result, a reversal picture, a debate model, a record cabinet (or files of the universe) model which help explain relevant negation. Two appendices are attached, one on negation in Hegel and the Marxist tradition, the other on Wittgenstein's treatment of negation and contradiction. (shrink)

The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of (...) 'not'. If there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE and a wide family of other relevant logics, LP, Kleene weak and strong 3-valued logics with either "exclusion" or "choice" negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter of which has been argued to be intuitionistically inconsistent. Chapter 4 highlights the importance of various notions of consequence-as-s-preservation where s may be falsity, indeterminacy or some other semantic value, in formulating rationality constraints on speech acts and propositional attitudes such as rejection, denial and dubitability. Chapter 5 provides an account of the nature of truth values regarded as objects. It is argued that only truth exists as the maximal truthmaker. The consequences this has for semantics representationally construed are considered and it is argued that every logic, from classical to non-classical, is gappy. Moreover, a truthmaker theory is developed whereby only positive truths, an account of which is also developed therein, have truthmakers. Chapter 6 investigates the definability of negation as "absolute" impossibility, i.e. where the notion of necessity or possibility in question corresponds to the global modality. The modality is not readily definable in the usual Kripkean languages and so neither is impossibility taken in the broadest sense. The languages considered here include one with counterfactual operators and propositional quantification and another bimodal language with a modality and its complementary. Among the definability results we give some preservation and translation results as well. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are (...) offered. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

This paper uses the strengthened liar paradox as a springboard to illuminate two more general topics: i) the negation operator and the speech act of denial among speakers of English and ii) some ways the potential for acceptable language change is constrained by linguistic meaning. The general and special problems interact in reciprocally illuminating ways. The ultimate objective of the paper is, however, less to solve certain problems than to create others, by illustrating how the issues that form the (...) topic of this paper are more intricate than previously realised, and that they are related in delicate and somewhat surprising ways. (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)

We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that (...) has a characteristic semantics. We also show that Shramko's falsification logic FL can be incorporated into some extension of this basic logic Ku. Finally, we unite the two basic logics Ki and Ku together to get a negative modal logic K-, which is dual to the positive modal logic K+ in [7]. Shramko has suggested an extension of Dunn 's kite and also a dual version in [12]. He also suggested combining them into a “united” kite. We give a united semantics for this united kite of negations. (shrink)

In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.

At least since [Frege, 1960] and [Geach, 1965], there has been some consensus about the relation between negation, the speech act of denial, and the attitude of rejection: a denial, the consensus has had it, is the assertion of a negation, and a rejection is a belief in a negation. Recently, though, there have been notable deviations from this orthodox view. Rejectivists have maintained that negation is to be explained in terms of denial or rejection, rather (...) than vice versa. Some other theorists have maintained that negation is a separate phenomenon from denial, and that neither is to be explained in terms of the other. In this paper, I present and consider these heterodox theories of the relation between negation, denial, and rejection. (shrink)

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination (...) of Graham Priest’s minimally inconsistent Logic of Paradox with q-entailment as introduced by Grzegorz Malinowski. (shrink)

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original (...) publication. (shrink)

We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.

A cognitive pragmatic approach is taken to some long-standing problem cases of negation, the so-called presupposition denial cases. It is argued that a full account of the processes and levels of representation involved in their interpretation typically requires the sequential pragmatic derivation of two different propositions expressed. The first is one in which the presupposition is preserved and, following the rejection of this, the second involves the echoic (metalinguistic) use of material falling in the scope of the negation. (...) The semantic base for these processes is the standard anti-presuppositionalist wide-scope negation. A different view, developed by Burton-Roberts (1989a, 1989b), takes presupposition to be a semantic relation encoded in natural language and so argues for a negation operator that does not cancel presuppositions. This view is shown to be flawed, in that it makes the false prediction that presupposition denial cases are semantic contradictions and it is based on too narrow a view of the role of pragmatic inferencing. (shrink)

A number of different kinds of negation and negation of negation are developed in Indian thought, from ancient religious texts to classical philosophy. The paper explores the Mīmāṃsā, Nyāya, Jaina and Buddhist theorizing on the various forms and permutations of negation, denial, nullity, nothing and nothingness, or emptiness. The main thesis argued for is that in the broad Indic tradition, negation cannot be viewed as a mere classical operator turning the true into the false, nor (...) reduced to the mainstream Boolean dichotomy: 1 versus 0. Special attention is given to how contradiction is handled in Jaina and Buddhist logic. (shrink)

The paper consists of two parts. In the first one I present some general remarks regarding the history of negation and attempt to answer the philosophical question concerning the essence of negation. In the second part I resume the theological teaching on the degrees of certainty and point to five forms of negation – known from other areas of research -- as applied in the framework of theological investigations.

In this article, I discuss Alain Badiou’s 2008 address titled “The Three Negations.” Though the text was originally presented in a symposium concerning the relationship of law to Badiou’s theory of the event, I discuss the way this brief address offers an introduction to the broad sweep of Badiou’s metaphysics, outlining his accounts of being, appearing, and transformation. To do so, Badiou calls on the resources of three paradigms of negation: from classical Aristotelian logic, from Brouwer’s intuitionist logic, and (...) in paraconsistent logics developed by DaCosta. I explain Badiou’s use of negation in the three primary areas of his metaphysics, as well as to diagnose the degrees of transformation that may have occurred in a situation. My analysis of Badiou’s use of negation in this text is aided by examples from his broader ontological oeuvre. I also explain the underlying requirement in Badiou’s work that formal considerations - mathematical or logical - get their sense by being tethered to readily-identifiable political, aesthetic, scientific, or interpersonal concerns. I conclude by addressing the foundation Badiou’s work establishes for pursuing a new metaphysics, and by discussing certain of the liabilities that remain in the wake of his account. (shrink)

A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. The resulting (...) system can give reasonable answers to queries that involve both negation and free variables. Also it gives the same results as Prolog when there are no negations. Finally, an implementation in Prolog is given. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of (...) structurally diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

In a theoretical first part we attempt to articulate the notions of concession, refutation and negation for monological linguistic activity, on the basis among other things of Mœschler's work on conversation. We distinguish the illocutionary act of refutation and the complex intervention of refutation, concession-invention, concession-repetition and concession-quotation. In a second part we analyze the place and role of (descriptive) negation in counter-argumentative texts written by 8- to 12-year-old pupils and adults in an artificial situation. We consider phenomena (...) observed by certain “contradictory” properties of negation in the context of the task in question: namely potential help in generating content by mechanisms of the argumentative law of negation extended to predicates, negation takes the risk polyphonically of argumentative drift. This may explain the fact that it is so rare. (shrink)

Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, (...) while the former will be interpreted via the notion of mode. Logic $L_{1}$ extends independence-friendly logic; $\rightharpoondown $ behaves as classical negation in $L_{1}$. Logic $L_{2}$ extends $L_{1}$, and it is shown to capture the $\Sigma^{2}_{1}$-fragment of third-order logic. Consequently the classical negation remains inexpressible in $L_{2}$. (shrink)

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out (...) to be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property. (shrink)

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations (...) for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms. (shrink)

A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are (...) confused by a special constraint on ternary relation, called the generalized star postulate, which implies definability of the Routley star in the frame. The resultant logic is shown to be equivalent to the well-known relevant logic R. Thus it can be seen as a reconstruction of R in the dualist framework. (shrink)

The struggle against liberalism in the totalitarian view of the state.--The concept of essence.--The affirmative character of culture.--Philosophy and critical theory.--On hedonism.--Industrialization and capitalism in the work of Max Weber.--Love mystified; a critique of Norman O. Brown and a reply to Herbert Marcuse by Norman O. Brown.--Aggressiveness in advanced industrial society.

In game-theoretical semantics, perfectlyclassical rules yield a strong negation thatviolates tertium non datur when informationalindependence is allowed. Contradictorynegation can be introduced only by a metalogicalstipulation, not by game rules. Accordingly, it mayoccur (without further stipulations) onlysentence-initially. The resulting logic (extendedindependence-friendly logic) explains several regularitiesin natural languages, e.g., why contradictory negation is abarrier to anaphase. In natural language, contradictory negationsometimes occurs nevertheless witin the scope of aquantifier. Such sentences require a secondary interpretationresembling the so-called substitutionalinterpretation of quantifiers.This interpretation is (...) sometimes impossible,and it means a step beyond thenormal first-order semantics, not an alternative to it. (shrink)

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is not ill’ (...) are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (shrink)

In this paper, new evidence is presented for the assumption that the reason-relation reading of indicative conditionals ('if A, then C') reflects a conventional implicature. In four experiments, it is investigated whether relevance effects found for the probability assessment of indicative conditionals (Skovgaard-Olsen, Singmann, and Klauer, 2016a) can be classified as being produced by a) a conversational implicature, b) a (probabilistic) presupposition failure, or c) a conventional implicature. After considering several alternative hypotheses and the accumulating evidence from other studies as (...) well, we conclude that the evidence is most consistent with the Relevance Effect being the outcome of a conventional implicature. This finding indicates that the reason-relation reading is part of the semantic content of indicative conditionals, albeit not part of their primary truth-conditional content. (shrink)

We present the logic K/2 which is a logic with classical implication and only the left part of classical negation.We show that it is possible to define a classical negation into K/2 and that the classical proposition logic K can be translated into this apparently weaker logic.We use concepts from model-theory in order to characterized rigorously this translation and to understand this paradox. Finally we point out that K/2 appears, following Haack's distinction, both as a deviation and an (...) extension of K. (shrink)

We present the logic K/2 which is a logic with classical implication and only the left part of classical negation.We show that it is possible to define a classical negation into K/2 and that the classical proposition logic K can be translated into this apparently weaker logic.We use concepts from model-theory in order to characterized rigorously this translation and to understand this paradox. Finally we point out that K/2 appears, following Haack's distinction, both as a deviation and an (...) extension of K. (shrink)

We present substructural negations, a family of negations classified in terms of structural rules of an extended kind of sequent calculus, display calculus. In considering the whole picture, we emphasize the duality of negation. Two types of negative modality, impossibility and unnecessity, are discussed and "self-dual" negations like Classical, De Morgan, or Ockham negation are redefined as the fusions of two negative modalities. We also consider how to identify, using intuitionistic and dual intuitionistic negations, two accessibility relations associated (...) with impossibility and unnecessity. (shrink)

This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. (...) Given that sentential negationparticipates in negative concord, we develop an extension of thepolyadic approach which can deal with non-variable binding operators,treating the contribution of negation in a concord context assemantically empty. Our semantic analysis, incorporated into agrammatical analysis formulated in HPSG, crucially relies on theassumption that quantifiers can be combined in more than one wayupon retrieval from the quantifier store. We also considercross-linguistic variation regarding the participation ofsentential negation in negative concord. (shrink)

The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss’s rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss’s executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson’s strong constructible negation is compatible with Griss’s principles. This exposes a ‘holographic’ theory (...) of negation in negationless mathematics, in which a full theory of negation is ‘flattened’ in a putatively negationless setting. (shrink)

The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as extension of the classical bivalent frame. Such classical apprehension of negation is possible in non- classical logics as well, if truth value is internalized and bivalence is replaced by bipartition.