This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related
Siblings
History/traditions: Negation

Contents
231 found
Order:
1 — 50 / 231
  1. Quantification, negation, and focus: Challenges at the Conceptual-Intentional semantic interface.Tista Bagchi - manuscript
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Can we test inconsistent empirical theories?Luis Felipe Bartolo Alegre - manuscript
    This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Positive & Negative Predication: Distinction Through Unity.Alexander Porto - manuscript
    In the history of philosophy, the distinction between positive and negative predication has been collapsed. The collapse has caused us to search for a way through Parmenides’ gate: we have constructed scaffolding to see over its boundaries. Kant gave us the distinction between conceptual and non-conceptual knowledge; Hegel gave us determinate negation; Frege gave us the negation stroke; Husserl gave us bracketing and disappointment; G. Spencer-Brown gave us a calculus of distinction. Despite this, we find ourselves—alongside Wittgenstein— wondering how it (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Why Extensional Evidence Matters.Matheus Silva - manuscript
    Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Illusions of Commutativity: The Case for Conditional Excluded Middle Revisited.Patrick Todd, Brian Rabern & Wolfgang Schwarz - manuscript
    The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. The principle suggests (among other things) that for any coin that isn't flipped, there is a fact of the matter about how it would have landed if it had been flipped: either it would have landed heads, or it would have landed tails. This view has gained support from linguistic evidence indicating that ‘would’ commutes with negation (e.g., ‘not: if A, would C’ (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Existential sentences, BE, and the genitive of negation in Russian.Barbara Partee & Vladimir Borschev - manuscript
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Fragmentalism: Putting All the Pieces Together.Claudio Calosi, Samuele Iaquinto & Roberto Loss - forthcoming - Australasian Journal of Philosophy.
    According to perspectival realism, reality is (at least partially) constituted by “purely perspectival” facts, that is, facts that appear to describe reality only from a given “perspective”. Fragmentalism is a form of perspectival realism that maintains both that no perspective is privileged and that perspectival facts constitute reality absolutely. Assuming that reality is sufficiently variegated, fragmentalism entails that reality is absolutely constituted by incompatible facts. Given that incompatible facts can never obtain together, reality must be divided into a plurality of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. Fragmenting Modal Logic.Samuele Iaquinto, Ciro De Florio & Aldo Frigerio - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Inferential Expressivism and the Negation Problem.Luca Incurvati & Julian J. Schlöder - forthcoming - Oxford Studies in Metaethics 16.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Covert Mixed Quotation.Cameron Domenico Kirk-Giannini - 2024 - Semantics and Pragmatics 17 (5):1-52.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. How to Defend the Law of Non-Contradiction without Incurring the Dialetheist’s Charge of (Viciously) Begging the Question.Marco Simionato - 2024 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 31 (2):141-182.
    According to some critics, Aristotle’s elenctic defence (elenchos, elenchus) of the Law of Non-Contradiction (Metaphysics IV) would be ineffective because it viciously begs the question. After briefly recalling the elenctic refutation of the denier of the Law of Non-Contradiction, I will first focus on Filippo Costantini’s objection to the elenchus, which, in turn, is based on the dialetheic account of negation developed by Graham Priest. Then, I will argue that there is at least one reading of the elenchus that might (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Substructural Negations as Normal Modal Operators.Heinrich Wansing - 2024 - In Yale Weiss & Romina Birman (eds.), Saul Kripke on Modal Logic. Cham: Springer. pp. 365-388.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. A fundamental non-classical logic.Wesley Holliday - 2023 - Logics 1 (1):36-79.
    We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Postsemantic Peirceanism.Andrea Iacona & Samuele Iaquinto - 2023 - American Philosophical Quarterly 60:249-256.
    There are essentially two ways to develop the Peircean idea that future contingents are all false. One is to provide a quantificational semantics for "will," as is usually done. The other is to define a quantificational postsemantics based on a linear semantics for "will." As we will suggest, the second option, although less conventional, is more plausible than the first in some crucial respects. The postsemantic approach overcomes three major troubles that have been raised in connection with Peirceanism: the apparent (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. The Threefold Puzzle of Negation and the Limits of Sense.Jean-Philippe Narboux - 2023 - In Jens Pier (ed.), Limits of Intelligibility: Issues from Kant and Wittgenstein. London: Routledge.
    This paper investigates a particular philosophical puzzle via an examination of its status in the writings of Wittgenstein. The puzzle concerns negation and can take on three interrelated guises. The first puzzle is how not-p can so much as negate p at all – for if p is not the case, then nothing corresponds to p. The second puzzle is how not-p can so much as negate p at all when not-p rejects p not as false but as unintelligible – (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. A puzzle about scope for restricted deontic modals.Brian Rabern & Patrick Todd - 2023 - Snippets 44:8-10.
    Deontic necessity modals (e.g. 'have to', 'ought to', 'must', 'need to', 'should', etc.) seem to vary in how they interact with negation. According to some accounts, what forces modals like 'ought' and 'should' to outscope negation is their polarity sensitivity -- modals that scope over negation do so because they are positive polarity items. But there is a conflict between this account and a widely assumed theory of if-clauses, namely the restrictor analysis. In particular, the conflict arises for constructions containing (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics.Wesley Holliday - 2022 - In David Fernández Duque & Alessandra Palmigiano (eds.), Advances in Modal Logic, Vol. 14. College Publications. pp. 507-529.
    In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. (1 other version)On the Origin of Negation.Giorgio Sbardolini - 2022 - Erkenntnis:1-20.
    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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. Assertion and Rejection.Julian J. Schlöder - 2022 - In Daniel Altshuler (ed.), Linguistics Meets Philosophy. New York, NY, USA: Cambridge University Press.
    I argue that rejection is a speech act that cannot be reduced to assertion. Adapting an argument by Huw Price, I conclude that rejection is best conceived of as the speech act that is used to register that some other speech act is (or would be) violating a rule of the conversation game. This can be naturally understood as registering *norm violations* where speech acts are characterised by their essential norms. However, I argue that rejection itself is not to be (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
    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. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Subminimal Negation on the Australian Plan.Selcuk Kaan Tabakci - 2022 - Journal of Philosophical Logic 51 (5):1119-1139.
    Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. (1 other version)A Peculiar and Perpetual Tendency: An Asymmetry in Knowledge Attributions for Affirmations and Negations.John Turri - 2022 - Erkenntnis 87 (4):1795-1808.
    From antiquity through the twentieth century, philosophers have hypothesized that, intuitively, it is harder to know negations than to know affirmations. This paper provides direct evidence for that hypothesis. In a series of studies, I found that people naturally view negations as harder to know than affirmations. Participants read simple scenarios and made judgments about truth, probability, belief, and knowledge. Participants were more likely to attribute knowledge of an outcome when framed affirmatively than when framed negatively. Participants did this even (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
    In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Negation.Ilexa Yardley - 2022 - Https://Medium.Com/the-Circular-Theory.
    Negation is a sophisticated form of duplication. Proving (and demonstrating) 'The Singularity.' Eliminating the need for proof.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. No Such Thing as Reality.Ilexa Yardley - 2022 - Https://Medium.Com/the-Circular-Theory.
    Nothing new here. Really. The identification (and correct representation) of space.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. A Survey of Logical Realism.Tuomas E. Tahko - 2021 - Synthese 198 (5):4775-4790.
    Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. I Like This Analysis, but I Don’t Think Every Linguist Will: Syntactic NOT-Transportation, VP Ellipsis and VP Pronominalisation.Diego Gabriel Krivochen - 2021 - Atlantis 2 (43):68-89.
    In this article I consider some recent objections raised against the syntactic treatment of negation in English multiclausal structures, in particular what has been called NEGraising. I argue that the objections based on pronominalisation and ellipsis presented in the recent literature do pose a problem for syntactic accounts of the mechanisms of so-called NOT-transportation that rely on a rule of leftwards movement, as is customary in generative grammar. However, there is an alternative syntactic treatment that assumes that negation originates as (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. The Importance of Being Erroneous.Nils Kürbis - 2021 - Australasian Philosophical Review 2 (3):155-166.
    This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Proof and Falsity: A Logical Investigation, by Nils Kürbis. [REVIEW]Lavinia Picollo - 2021 - Analysis 81:595–599.
  31. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Boolean negation and non-conservativity I: Relevant modal logics.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):340-362.
    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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Boolean negation and non-conservativity II: The variable-sharing property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
    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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Boolean negation and non-conservativity III: the Ackermann constant.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):370-384.
    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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Adaptive Fregean Set Theory.Diderik Batens - 2020 - Studia Logica 108 (5):903-939.
    This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.
    Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Negation, expressivism, and intentionality.Alejandro Pérez Carballo - 2020 - Philosophical Quarterly 70 (279):246-267.
    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, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. A direction effect on taste predicates.Alexander Dinges & Julia Zakkou - 2020 - Philosophers' Imprint 20 (27):1-22.
    The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39. On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2020 - Studia Logica 108 (5):1087-1123.
    In the context of modal logics one standardly considers two modal operators: possibility ) and necessity ) [see for example Chellas ]. If the classical negation is present these operators can be treated as inter-definable. However, negative modalities ) and ) are also considered in the literature [see for example Béziau ; Došen :3–14, 1984); Gödel, in: Feferman, Collected works, vol 1, Publications 1929–1936, Oxford University Press, New York, 1986, p. 300; Lewis and Langford ]. Both of them can be (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. The problem of future contingents: scoping out a solution.Patrick Todd - 2020 - Synthese 197 (11):5051-5072.
    Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  41. A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.Yale Weiss - 2020 - Studia Logica 109 (1):125-136.
    In this article, I present a semantically natural conservative extension of Urquhart’s positive semilattice logic with a sort of constructive negation. A subscripted sequent calculus is given for this logic and proofs of its soundness and completeness are sketched. It is shown that the logic lacks the finite model property. I discuss certain questions Urquhart has raised concerning the decision problem for the positive semilattice logic in the context of this logic and pose some problems for further research.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Are the open-ended rules for negation categorical?Constantin C. Brîncuș - 2019 - Synthese 198 (8):7249-7256.
    Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 57-66.
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. (2 other versions)Negative and positive polarity items.Anastasia Giannakidou - 2019 - In Paul Portner, Claudia Maienborn & Klaus von Heusinger (eds.), Semantics: sentence and information structure. Boston: De Gruyter.
    The main claim of this paper is that a general theory of negative concord (NC) should allow for the possibility of NC involving scoping of a universal quantifier above negation. I propose that Greek NC instantiates this option. Greek n-words will be analyzed as polarity sensitive universal quantifiers which need negation in order to be licensed, but must raise above negation in order to yield the scoping ∀¬. This gives the correct interpretation of NC structures as general negative statements. The (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  45. Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
    We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  46. An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
    The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
    This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  48. There is More to Negation than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
    There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  49. Indicative Conditionals as Strict Conditionals.Andrea Iacona - 2018 - Argumenta 4 (1):177-192.
    This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict conditional view and defends it (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. De Morgan's laws and NEG-raising: a syntactic view.Diego Gabriel Krivochen - 2018 - Linguistic Frontiers 1 (2):112-121.
    In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences for the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 231