I develop a basic theory of content within the framework of truthmaker semantics and, in the second part, consider some of the applications to subject matter, common content, logical subtraction and ground.

I try to explain the difference between three kinds of negation: external negation, negation of the predicate and privation. Further I use polygons of opposition as heuristic devices to show that a logic which contains all three mentioned kinds of negation must be a fragment of a Łukasiewicz-four-valued predicate logic. I show, further, that, this analysis can be elaborated so as to comprise additional kinds of privation. This would increase the truth-values in question and bring fragments (...) of (more generally speaking) Łukasiewicz-n-valued predicate logics into the scene. (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)

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)

This chapter is concerned with logical aspects of negation, i.e. with the role of negation in valid inferences and hence with the contribution negation makes to the truth and falsity conditions of declarative expressions. Negation is an important philosophical and logical concept. Often differences between logical systems can ‐ at least partially ‐ be described as differences between the notions of negation used in these logics.

No detailed description available for "Negation".

Negation, denial and falsity lie at the heart of debates about logic. We set out the classical account of the relationship between negation and denial, owing to Frege and Geach. We then challenge this on the basis that it does not permit an adequate account of falsity. A dialetheic alternative is minuted and criticised before a novel rejectivist account is proposed according to which falsity is the aim of the speech‐act of denial, whilst negation embeds deniability into (...) assertoric contexts. (shrink)

A theory of substructural negations as impossibility and as unnecessity based on bi-intuitionistic logic, also known as Heyting-Brouwer logic, has been developed by Takuro Onishi. He notes two problems for that theory and offers the identification of the two negations as a solution to both problems. The first problem is the lack of a structural rule corresponding with double negation elimination for negation as impossibility, DNE, and the second problem is a lack of correspondence between certain sequents and (...) a characterizing frame property. While the identification of negation as impossibility and negation as unnecessity does solve Onishi’s problems, in general it nevertheless seems desirable to keep the two notions separate. The present paper addresses the first problem by introducing a reformulation of Onishi’s display sequent calculus in a language of sequents that incorporates Boolean negation. Instead of identifying negation as impossibility and negation as unnecessity, a notion of weak frame correspondence is defined. It is observed that DNE weakly corresponds with a certain frame property, and two structural sequent rules are presented that together also weakly correspond with that frame property and allow one to derive DNE. Moreover, the reformulated display calculus has an independent motivation by considerations on proof-theoretic semantics. (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)

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.

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.

The negation constitutes one of the main troubles for attempts to naturalise the semantics of the logical vocabulary, as shown by the problems related to the interpretation of disjunction in the treatment of error (Fodor) or to the definition of contraries in the analysis of reidentification abilities (Millikan). There seems to be no way out between “no (naturalized) negation, no grip of logic on the world” and “no (truth-functional) negation, no logic”. Unexpected help may come from the (...) cognitive phenomenology of negation. For three reasons: • Firstly, because it allows a distinction to be made between semantic analysis, identification of the possession conditions and psychology of the acquisition of the notion of negation, a distinction whose absence produces many misunderstandings between those who support a naturalization of semantics and those who oppose it. • Then because it places negation at the level of the contrast between beliefs, a terrain that is hostile to some naturalizers. • Finally, because it makes it possible to define a peculiar type of liberalised naturalization of semantics and, consequently, to present a hypothesis for the naturalization of cognitive phenomenology. (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)

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.

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.

This paper presents a new approach to theorizing and empirically investigating a phenomenon variously described by sociologists as internalized oppression or symbolic violence. Located at the intersection of internal worlds and external reality, the intrapsychic and the interpersonal and social, this object of inquiry—here termed self-negation—is crucial to many forms of societal domination. The paper explores its inner workings, analytically disaggregating it into an array of psychosocial processes drawn from the psychoanalytic theory of the defenses. Much of the work’s (...) originality consists in showing how these processes operate across multiple systems of domination and drive many and varied outward manifestations of the phenomenon. (shrink)

In sentences with internal negation, Free Choice Inferences (FCIs) are cancelled (Chierchia 2013). The present study investigated the possibility that FCIs are negated, not cancelled, by external negation. In previous research, both Mandarin-speaking children and adults were found to license FCIs in affirmative sentences with a modal verb and the disjunction word huozhe ‘or’ (Zhou, Romoli & Crain 2103). The present study contrasted internal versus external negation in sentences that contained all the ingredients needed to license FCIs. (...) Four experiments were conducted using the Truth Value Judgment Task (Crain & Thornton 1998). Experiment 1 tested Mandarin-speaking children and adults using sentences with internal negation, a modal verb and disjunction. As expected, children did not license FCIs; rather, they assigned a ‘neither’ interpretation to disjunction. Also as expected, adults analyzed disjunction as taking scope over internal negation, yielding a ‘not both’ interpretation (Jing, Crain & Hsu 2005). Experiment 1 provided the benchmarks for sentences with external negation in Experiments 2-4. Experiment 2 confirmed that English-speaking adults distinguish between internal and external negation in sentences with disjunction. In Experiment 3, external negation was conveyed by the focus adverb zhiyou ‘only’. External negation eliminated the between-group differences observed in Experiment 1. Both children and adults analyzed external negation as taking scope over disjunction. Experiment 4 tested the effect of external negation on the computation of FCIs. The test sentences only differed from Experiment 1 by using external negation, rather than internal negation. Again, children and adults interpreted the test sentences in the same way. Most importantly, in contrast to Experiment 1 (with internal negation), both groups analysed external negation as negating, rather than cancelling, FCIs. The findings support the distinction between internal and external negation. (shrink)

Those philosophers who gave a negative answer to all four questions were called "eel-wrigglers" by the Buddhists. It was impossible to fix their position either for approval or for rejection. They would criticize any view, positive or negative, but would not themselves hold any. And it was difficult for a serious person to enter into any controversy with them.

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)

In this article, we illuminate how a consumption practice in an ephemeral religious organization subverts systems of economic inequality that otherwise prevail in, and structure, society. Drawing on a rich ethnographic study in Pakistan, we show how the practice of food consumption in the Tablighi Jamaat —an Islamic organization originating in South Asia that is practiced intermittently by its followers—represents temporal spaces of egalitarianism. Within these temporal spaces, entrenched economic hierarchies that are salient in organizing Pakistani society are challenged. We (...) found that while the fundamental principles of the Tablighi Jamaat advocate for subversion of the economic hierarchies that propagate myriad inequalities by demarcating local Muslims into spheres of different social and economic classes, it is in the practice of food consumption when ethical transgression from these hierarchies are rendered most intelligible. Finally, we consider the implications of this study to the emerging field of Islamic business ethics. (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)

It is argued that the "inner" negation $\mathord{\sim}$ familiar from 3-valued logic can be interpreted as a form of "conditional" negation: $\mathord{\sim}$ is read '$A$ is false if it has a truth value'. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language indicative conditional (e.g., "If Jim went to the party he (...) had a good time"). It is shown that the logic induced by the semantics shares many familiar properties with classical negation, but is orthogonal to both intuitionistic and classical negation: it differs from both in validating the inference from $A \rightarrow \nega B$ to $\nega(A\rightarrow B)$ to. (shrink)

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive (...) principles and connexivity. (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and (...) an additional operator for formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (shrink)

This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine.

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, (...) not sufficiently explored in the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (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)

A negação, no Tractatus, não pode ser tratada como um conceito, tal como acontecia em Frege e em Russell. Se isto acontecesse, p e ~~p deveriam ter sentidos composicionalmente diferentes. A negação não pode se resumir a uma relação lógica entre dois enunciados, pois ~p deve ser construída a partir de p, e não o contrário. A negação é algo que devemos fazer para obter uma proposição a partir de outra (5.23). Ela é produto de uma ação, mas esta ação (...) não pode ser natural (ou meramente humana). Ela deve ser atemporal.AbstractNegation, in the Tractatus, cannot be treated as a concept, as in Frege and Russell. If this were to happen, p and ~~p should have compositionally different meanings. Negation cannot be taken as a logical relationship between two propositions, since ~p must be constructed from p, not the other way round. Negation is something we must do to get one proposition from another (5.23). It is the product of anaction, but this action cannot be natural (or merely human). It must be atemporal. (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.

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)

This paper presents the observation that negative non-wh-questions with inverted negation do not have an alternative (alt-)question reading. In English, a simple question like (1) has two possible readings: a yes-no (yn-)question reading, paraphrased in (1a), and an alt-question reading, disambiguated in (1b). Under the yn-question reading, the question can be answered as in (2); under the alt-question reading, acceptable answers are (3).

This paper advances three necessary conditions on a successful account of sentential negation. First, the ability to explain the constancy of sentential meaning across negated and unnegated contexts (the Fregean Condition). Second, the ability to explain why sentences and their negations are inconsistent, and inconsistent in virtue of the meaning of negation (the Semantic Condition). Third, the ability of the account to generalize regardless of the topic of the negated sentence (the Generality Condition). The paper discusses three accounts (...) of negation available to moral expressivists. The first—the dominant commitment account—fails to meet the Fregean Condition. The two remaining accounts—commitment semantics and the expression account—satisfy all three conditions. A recent argument that the dominant commitment account is the only option available to expressivists is considered and rejected. (shrink)

A difficulty is exposed in Allan Gibbard's solution to the embedding/Frege-Geach problem, namely that the difference between refusing to accept a normative judgement and accepting its negation is ignored. This is shown to undermine the whole solution.

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)

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)

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)

Within each of these negational ranges two general facets of negation may be distinguished for analysis. I shall call them "free" and "bound." Negation, however, is never completely free nor completely bound, so "free" and "bound" shall refer to negation in a relative sense.

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)