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)

A conviction had by many Christians over many centuries is that natural language is inadequate for describing God. This is the doctrine of divine ineffability. Apophaticism understands divine ineffability as it being justified or proper to negate statements that describe God. This paper develops and defends a version of apophaticism in which the negation involved is metalinguistic. The interest of this metalinguistic apophaticism is two-fold. First, it provides a philosophical model of historical apophaticisms that shows their rational (...) coherence. Second, metalinguistic apophaticism enables a minimal understanding of ineffability that is independently plausible given its minor commitments. (shrink)

The term 'covert mixed quotation' describes cases in which linguistic material is interpreted in the manner of mixed quotation — that is, used in addition to being mentioned — despite the superficial absence of any commonly recognized conventional devices indicating quotation. After developing a novel theory of mixed quotation, I show that positing covert mixed quotation allows us to give simple and unified treatments of a number of puzzling semantic phenomena, including the projective behavior of conventional implicature items embedded in (...) indirect speech reports and propositional attitude ascriptions, so-called 'c-monsters,' metalinguistic negation, metalinguistic negotiation, and 'in a sense' constructions. (shrink)

Slurring expressions display puzzling behaviour when embedded, such as under negation and in attitude and speech reports. They frequently appear to retain their characteristic qualities, like offensiveness and propensity to derogate. Yet it is sometimes possible to understand them as lacking these qualities. A theory of slurring expressions should explain this variability. We develop an explanation that deploys the linguistic notion of focus. Our proposal is that a speaker can conversationally implicate metalinguistic claims about the aptness of a (...) focused slurring expression. This explanation of variability relies on independently motivated mechanisms and is compatible with any theory of slurring expressions. (shrink)

This paper has two related goals. First, we develop an expressivist account of negation which, in the spirit of Alan Gibbard, treats disagreement as semantically primitive. Our second goal is to make progress toward a unified expressivist treatment of modality. Metaethical expressivists must be expressivists about deontic modal claims. But then metaethical expressivists must either extend their expressivism to include epistemic and alethic modals, or else accept a semantics for modal expressions that is radically disjunctive. We propose that expressivists (...) look to Amie Thomasson’s work for a general strategy for offering a unified expressivist account of modality. Modals in general, we propose, are devices for expressing metalinguistic commitments within the object language, with deontic, epistemic, and metaphysical modals all expressing different kinds of metalinguistic commitments. (shrink)

The problem of moral disagreement has been presented as an objection to contextualist semantics for ‘ought’, since it is not clear that contextualism can accommodate or give a convincing gloss of such disagreement. I argue that independently of our semantics, disagreements over ‘ought’ in non-cooperative contexts are best understood as indirect metalinguistic disputes, which is easily accommodated by contextualism. If this is correct, then rather than posing a problem for contextualism, the data from moral disagreements provides some reason to (...) adopt a semantics that allows contextual variance in the meanings of ‘ought’. (shrink)

Philosophers of language and metaethicists are concerned with persistent normative and evaluative disagreements – how can we explain persistent intelligible disagreements in spite of agreement over the described facts? Tim Sundell recently argued that evaluative aesthetic and personal taste disputes could be explained as metalinguistic negotiations – conversations where interlocutors negotiate how best to use a word relative to a context. I argue here that metalinguistic negotiations are neither necessary nor sufficient for genuine evaluative and normative disputes to (...) occur. A comprehensive account of value talk requires stronger metanormative commitments than metalinguistic negotiations afford. (shrink)

This paper sets out the felicity conditions for metalinguistic proposals, a type of directive illocutionary act. It discusses the relevance of metalinguistic proposals and other metalinguistic directives for understanding both small- and large-scale linguistic engineering projects, essentially contested concepts, metalinguistic provocations, and the methodology of ordinary language philosophy. Metalinguistic proposals are compared with other types of linguistic interventions, including metalinguistic negotiation, conceptual engineering, lexical warfare, and ameliorative projects.

This paper aims to bridge the relationship between metalinguistic if you like as a non-propositional discourse marker and its conditional counterparts. This paper claims that metalinguistic if you like is polysemous between a hedge that denotes the speaker’s reduced commitment to some aspect of the main clause, and an optional yet potential conditional reading that interlocutors can legitimately draw on in interaction which is brought about due to the ‘if p, q’ sentence form. That is, although the (...) class='Hi'>metalinguistic reading is most likely obtained automatically by default, it also carries an available conditional reading that is akin to other metalinguistic conditional clauses such as if you see what I mean. Next, a semantic representation of metalinguistic if you like is developed that takes on board a characterization of conditionality that departs from lexico-grammatical conventions, such that conditionals of the form ‘if p, q’ no longer bear a one-to-one correspondence with “conditional” truth conditions. Employing a radical contextualist semantic framework in which the unit of truth-conditional analysis is not constrained to the sentence form, utterances employing metalinguistic if you like are given a semantic representation such that the if-clause does not contribute propositional content, yet they also maintain their status as conditionals as the sentence form gives rise to a potential conditional secondary meaning. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. (...) But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and (...) belief on which these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

This chapter identifies and explains several primary functions of the fictional use of metalinguistic devices and considers some difficult cases. In particular, this chapter argues that when real persons are quoted in a storyworld they are ‘storified’ as near-real fictions. In cases of the misquotation of real persons, near-real fictions and near-real quotations must adequately exploit resemblances between the real and the fictional. This concludes with a discussion of the similarities between fictional and nonfictional uses of metalinguistic acts, (...) and how they bear on our understanding of imagination and make-believe. (shrink)

In ordinary conversation, speakers disagree not only about worldly facts, but also about how to use language to describe the world. For example, disagreement about whether Buffalo is in the American Midwest, whether Pluto is a planet, or whether someone has been canceled, can persist even with agreement about all the relevant facts. The speakers may still engage in “metalinguistic negotiation”—disputing what to mean by “Midwest”, “planet”, or “cancel”. I first motivate an approach to metalinguistic negotiation that generalizes (...) a Stalnakerian theory of communication by including linguistic commitments in the conversational common ground. Then, I turn to cases where the very status of a disagreement as metalinguistic or factual is unclear or contested. For example, after the publication of the New York Times Magazine’s 1619 Project, some responses claimed to identify factual errors, while others took those same “errors” to be matters of interpretation. I’ll consider how to extend our theorizing about metalinguistic negotiation to this type of (even more) “meta” disagreement, using the discussion following the 1619 Project as a case study. On my view, in most such cases, there will be a metalinguistic negotiation going on. Still, I explain several ways in which, despite a dispute being metalinguistic, the factualist side can sometimes receive important vindication. I also discuss why it can make sense for speakers to contest the status of a dispute. (shrink)

We explore ChatGPT’s handling of left-peripheral phenomena in Italian and Italian varieties through prompt engineering to investigate 1) forms of syntactic bias in the model, 2) the model’s metalinguistic awareness in relation to reorderings of canonical clauses (e.g., Topics) and certain grammatical categories (object clitics). A further question concerns the content of the model’s sources of training data: how are minor languages included in the model’s training? The results of our investigation show that 1) the model seems to be (...) biased against reorderings, labelling them as archaic even though it is not the case; 2) the model seems to have difficulties with coindexed elements such as clitics and their anaphoric status, labeling them as ‘not referring to any element in the phrase’, and 3) major languages still seem to be dominant, overshadowing the positive effects of including minor languages in the model’s training. (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)

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)

According to philosophical orthodoxy, the parties to moral or legal disputes genuinely disagree only if their uses of key normative terms in the dispute express the same meaning. Recently, however, this orthodoxy has been challenged. According to an influential alternative view, genuine moral and legal disagreements should be understood as metalinguistic negotiations over which meaning a given term should have. In this paper, we argue that the shared meaning view is motivated by much deeper considerations than its recent critics (...) recognize, and that much would be lost in opting for the explanation of normative disputes as metalinguistic negotiations. (shrink)

The metalinguistic approach to conceptual engineering construes disputes between linguistic reformers and linguistic conservatives as metalinguistic disagreements on how best to use particular expressions. As the present paper argues, this approach has various merits. However, it was recently criticised in Cappelen’s seminal Fixing Language. Cappelen raises an important objection against the metalinguistic picture. According to this objection – the Babel objection, as I shall call it – the metalinguistic account cannot accommodate the intuition of disagreement between (...) linguistic conservatives and reformers who are speaking different languages. The objection generalises to metalinguistic approaches to e.g. moral disagreements. This paper discusses the Babel objection and shows how to dispel it. (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)

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)

Although moral relativists often appeal to cases of apparent moral disagreement between members of different communities to motivate their view, accounting for these exchanges as evincing genuine disagreements constitutes a challenge to the coherence of moral relativism. While many moral relativists acknowledge this problem, attempts to solve it so far have been wanting. In response, moral relativists either give up the claim that there can be moral disagreement between members of different communities or end up with a view on which (...) these disagreements have no “epistemic significance” because they are always faultless. This paper introduces an alternative strategy: accounting for disagreement in terms of “metalinguistic negotiation”. It argues that this strategy constitutes a better solution to the challenge disagreement poses for moral relativists because it leads to a nuanced understanding of the epistemic significance of moral disagreement between members of different communities. The upshot is a novel account of disagreement for moral relativists that has consequences for how moral relativism should be understood. (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)

Epistemicists claim that vague predicates have precise but unknow- able cutoffs. I argue against against the standard, Williamsonian, answer, that appeals to metalinguistic safety: we can know that p even if our true belief that p is metalinguistically lucky. I then propose that epistemicists should be diagonalized epistemicists and show how this alternative formulation of the view avoids the chal- lenge. However, in an M. Night Shyamalan-style twist, I then argue we should not be diagonalized epistemicists either.

In this paper, I explain the kinematics of non-ideal metalinguistic disagreement. This occurs when one speaker has greater control in the joint activity of pairing contents with words in a context. I argue that some forms of non-ideal metalinguistic disagreement are deeply worrying, namely those that involves certain power imbalances. In such cases, a speaker possesses illegitimate control in metalinguistic disagreement owing to the operation of identity prejudice. I call this metalinguistic injustice. The wrong involves restricting (...) a speaker from participating in the processes that determine the epistemic/linguistic resources of a conversation, and/or undermining a speaker's ability to affect metalinguistic outcomes. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture (...) the following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (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)

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.

Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.

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)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, (...) and this problem is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and Klein bottle (...) logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic systems, aiming to redefine approaches to understanding truth and reasoning. The paper investigates how these alternative logics open avenues for philosophical inquiry, redefining entropy, and potentially influencing innovative perspectives in free energy systems. Through this exploration, it seeks to expand the discourse on logic, welcoming a broader spectrum of thought beyond established frameworks; and we also discuss shortly a number of possible implementations including in risk management and also Klein bottle entropy redefinition (Tang et al, 2018). (shrink)

This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...) intuitionist logic can be characterised as a difference of the conditions under which discharge is allowed. Harmony, as ordinarily understood, has nothing to say about discharge. This raises the question whether the notion of harmony can be suitably extended. This requires there to be a suitable fourth way of manipulating formulas that discharge can stand in harmony to. The question is whether there is such a notion: what might it be that stands to discharge of formulas as introduction stands to elimination? One that immediately comes to mind is the making of assumptions. I leave it as an open question for further research whether the notion of harmony can be fruitfully extended in the way suggested here. In the second part, I discuss bilateralism, which proposes a wholesale revision of what it is that is assumed and manipulated by rules of inference in deductions: rules apply to speech acts – assertions and denials – rather than propositions. I point out two problems for bilateralism. First, bilaterlists cannot, contrary to what they claim to be able to do, draw a distinction between the truth and assertibility of a proposition. Secondly, it is not clear what it means to assume an expression such as '+ A' that is supposed to stand for an assertion. Worse than that, it is plausible that making an assumption is a particular speech act, as argued by Dummett (Frege: Philosophy of Language, p.309ff). Bilaterlists accept that speech acts cannot be embedded in other speech acts. But then it is meaningless to assume + A or − A. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency (...) elsewhere. Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

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)

The article explores the idea that according to Spinoza finite thought and substantial thought represent reality in different ways. It challenges “acosmic” readings of Spinoza's metaphysics, put forth by readers like Hegel, according to which only an infinite, undifferentiated substance genuinely exists, and all representations of finite things are illusory. Such representations essentially involve negation with respect to a more general kind. The article shows that several common responses to the charge of acosmism fail. It then argues that we (...) must distinguish the well-founded ideality of representations of finite things from mere illusoriness, insofar as for Spinoza we can have true knowledge of what is known only abstractly. Finite things can be seen as well-founded beings of reason. The article also proposes that within Spinoza's framework it is possible to represent a finite thing without drawing on representations of mind-dependent entities. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to (...) the negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform (...) a social identity. The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

The concepts of choice, negation, and infinity are considered jointly. The link is the quantity of information interpreted as the quantity of choices measured in units of elementary choice: a bit is an elementary choice between two equally probable alternatives. “Negation” supposes a choice between it and confirmation. Thus quantity of information can be also interpreted as quantity of negations. The disjunctive choice between confirmation and negation as to infinity can be chosen or not in turn: This (...) corresponds to set-theory or intuitionist approach to the foundation of mathematics and to Peano or Heyting arithmetic. Quantum mechanics can be reformulated in terms of information introducing the concept and quantity of quantum information. A qubit can be equivalently interpreted as that generalization of “bit” where the choice is among an infinite set or series of alternatives. The complex Hilbert space can be represented as both series of qubits and value of quantum information. The complex Hilbert space is that generalization of Peano arithmetic where any natural number is substituted by a qubit. “Negation”, “choice”, and “infinity” can be inherently linked to each other both in the foundation of mathematics and quantum mechanics by the meditation of “information” and “quantum information”. (shrink)

The ability to express negation in language may have been the result of an adaptive process. However, there are different accounts of adaptation in linguistics, and more than one of them may describe the case of negation. In this paper, I distinguish different versions of the claim that negation is adaptive and defend a proposal, based on recent work by Steinert-Threlkeld (2016) and Incurvati and Sbardolini (2021), on which negation is an indirect adaptation.

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation (...) independent of falsity conditions. We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Prior’s arguments for and against seeing ‘ought’ as a copula and his considerations about normative negation are applied to the case of responsibility judgments. My thesis will be that responsibility judgments, even though often expressed by using the verb ‘to be’, are in fact normative judgments. This is shown by analyzing their negation, which parallels the behavior of ought negation.

ABSTRACT Schopenhauer's argument against suicide has served as a punching bag for many modern-day commentators. Dale Jacquette, Sandra Shapshay, and David Hamlyn all argue that the premises of this argument or its conclusion are inconsistent with Schopenhauer's wider metaphysical and ethical project. This paper defends Schopenhauer from these charges. Along the way, it examines the relations between suicide, death by voluntary starvation, negation of the will, compassion, and Schopenhauer's critiques of cynicism and stoicism. The paper concludes that there may (...) be gaps in Schopenhauer's system, but not where the aforementioned commentators tried to locate them. (shrink)

This paper investigates the interaction of phenomena associated with loose talk with embedded contexts. §1. introduces core features associated with the loose interpretation of an utterance and presents a sketch of how to theorise about such utterances in terms of a relation of ‘pragmatic equivalence’. §2. discusses further features of loose talk arising from interaction with ‘loose talk regulators’, negation and conjunction. §§3-4. introduce a hybrid static/dynamic framework and show how it can be employed in developing a fragment which (...) accounts for the data surveyed in §§1-2. (shrink)

Does communicative retributivism necessarily negate capital punishment? My answer is no. I argue that there is a place, though a very limited and unsettled one, for capital punishment within the theoretical vision of communicative retributivism. The death penalty, when reserved for extravagantly evil murderers for the most heinous crimes, is justifiable by communicative retributive ideals. I argue that punishment as censure is a response to the preceding message sent by the offender through his criminal act. The gravity of punishment should (...) be commensurate to the preceding criminal message, so that the offender can face up to the nature and significance of his crime. All murders are not the same. To measure up to the most evil and humanity-degrading murderous message, capital punishment should be the counter-message. Next, I argue that capital punishment does not necessarily violate human dignity. The death penalty and torture may both disrupt human dignity, yet in distinct ways. The death penalty terminates life, the vessel that holds together autonomy, while torture directly assaults autonomy. Torture is never permissible as a form of punishment. But death penalty, when used only on the extravagant evildoers, is justifiable, as life is thoroughly degraded by his own evil act. Further, I argue that mercy is integral to communicative retributivists’ theory of capital punishment. (shrink)

Attitude verbs like ‘believe’ and ‘want’ exhibit neg-raising: an ascription of the form a doesn’t believe that p tends to convey that a disbelieves—i.e., believes the negation of—p. In ‘Belief is Weak’, Hawthore et al. observe that neg-raising does not occur with verbs like ‘know’ or ‘need’. According to them, an ascription of the form a believes that p is true just in case a is in a belief state that makes p more likely than not, and so—excepting cases (...) of complete indifference—a will either believe p or disbelieve p. I expand and revise this explanation: so-called ‘weak’ attitude verbs are used in ascriptions of an opinion about some subject matter S—a kind of selection from among the elements of S—and these ascriptions are themselves responsive to conversational topics that presuppose that the subject of the ascription has an opinion about S. ‘Strong’ attitude verbs denote more direct relationships between subject and world. (shrink)

Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious (...) that matter in its totality, considered without limitation [indefinitè consideratam], can have no figure, and that figure applies only to finite and determinate bodies. For he who says that he apprehends a figure, thereby means to indicate simply this, that he apprehends a determinate thing and the manner of its determination. This determination therefore does not pertain to the thing in regard to its being [esse]; on the contrary, it is its non-being [non-esse]. So since figure is nothing but determination, and determination is negation [Quia ergo figura non aliud, quam determinatio, et determinatio negatio est], figure can be nothing other than negation, as has been said. Arguably, what is most notable about this letter is the fate of a single subordinate clause which appears in the last sentence of this passage: et determinatio negatio est. That clause was to be adopted by Hegel and transformed into the slogan of his own dialectical method: Omnis determinatio est negatio. Of further significance is the fact that, while Hegel does credit Spinoza with the discovery of this most fundamental insight, he believes Spinoza failed to appreciate the importance of his discovery. The issue of negation and the possibility of self-negation stand at the very center of the philosophical dialogue between the systems of Spinoza and Hegel, and in this paper I will attempt to provide a preliminary explication of this foundational debate between the two systems. In the first part of the paper I will argue that the “determination is negation” formula has been understood in at least three distinct senses among the German Idealists, and as a result many of the participants in the discussion of this formula were actually talking past each other. The clarification of the three distinct senses of the formula will lead, in the second part of the paper, to a more precise evaluation of the fundamental debate between Spinoza and Hegel regarding the possibility of self-negation. In this part I will evaluate the validity of each interpretation of the determination formula, and motivate the positions of the various participants in the debate. (shrink)