Results for 'Negation'

1000+ found
Order:
See also
  1. Negation on the Australian Plan.Franz Berto & Greg Restall - forthcoming - Journal of Philosophical Logic.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  33
    Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - forthcoming - In The Logica Yearbook 2018. London: College Publications. pp. 1-10.
    The idea that an adequate language for science needs a negation operator was recently dismissed by Kripke as "yet another dogma of empiricism". That a scientist could, and even should, drop negation implies at least three points: 1. negativist theories, i.e., theories formulated in languages that include negation, are conservative extensions of their affirmativist versions; 2. negativist theories have no serious advantages over their affirmativist versions; 3. negativist theories are dispensable and should better be replaced by their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Quasi-Realism, Negation and the Frege-Geach Problem.Nicholas Unwin - 1999 - Philosophical Quarterly 49 (196):337-352.
    Expressivists, such as Blackburn, analyse sentences such as 'S thinks that it ought to be the case that p' as S hoorays that p'. A problem is that the former sentence can be negated in three different ways, but the latter in only two. The distinction between refusing to accept a moral judgement and accepting its negation therefore cannot be accounted for. This is shown to undermine Blackburn's solution to the Frege-Geach problem.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  4. “Omnis Determinatio Est Negatio” – Determination, Negation and Self-Negation in Spinoza, Kant, and Hegel.Yitzhak Y. Melamed - 2012 - In Eckart Forster & Yitzhak Y. Melamed (eds.), Spinoza and German Idealism. Cambridge University Press.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Norms and Negation: A Problem for Gibbard’s Logic.Nicholas Unwin - 2001 - Philosophical Quarterly 51 (202):60-75.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  6. A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  35
    Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Why the Negation Problem Is Not a Problem for Expressivism.Jeremy Schwartz & Christopher Hom - 2014 - Noûs 48 (2):824-845.
    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, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Moral Expressivism and Sentential Negation.Neil Sinclair - 2011 - Philosophical Studies 152 (3):385-411.
    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 (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  81
    The Revival of Rejective Negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
    Whether assent ("acceptance") and dissent ("rejection") are thought of as speech acts or as propositional attitudes, the leading idea of rejectivism is that a grasp of the distinction between them is prior to our understanding of negation as a sentence operator, this operator then being explicable as applying to A to yield something assent to which is tantamount to dissent from A. Widely thought to have been refuted by an argument of Frege's, rejectivism has undergone something of a revival (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  12. Denial of Responsibility and Normative Negation.Federico Faroldi - 2014 - In Cariani (ed.), Deontic Logic and Normative Systems. Springer.
    In this paper I provide some linguistic evidence to the thesis that responsibility judgments are normative. I present an argument from negation, since the negation of descrip- tive judgments is structurally different from the negation of normative judgments. In particular, the negation of responsibility judgments seem to conform to the pattern of the negation of normative judgments, thus being a prima facie evidence for the normativity of responsibility judgments. I assume — for the argument’s sake (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Non-Descriptive Negation for Normative Sentences.Andrew Alwood - 2016 - Philosophical Quarterly 66 (262):1-25.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Spinoza on Negation, Mind-Dependence and the Reality of the Finite.Karolina Hübner - 2015 - In Yitzhak Melamed (ed.), The Young Spinoza: A Metaphysician in the Making. pp. 221-37.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. What is Wrong with Classical Negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  87
    Metalinguistic Negation and Metaphysical Affirmation.Mahrad Almotahari - 2014 - Philosophical Studies 167 (3):497-517.
    In a series of articles, Fine (Monist 83:357–361, 2000; Mind 112:195–234, 2003; Mind 115:1059–1082, 2006) 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 Schnieder (Philosophical Quarterly 56:39–54, 2006), I observe that arguments from Leibniz’s Law are valid (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  45
    Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.
    One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task. A logic is defined by taking the Kripke semantics for intuitionistic logic, and dualising the truth conditions for negation. Various properties of the logic are established, including its relation to C!. Tableau and natural deduction systems for the logic are produced, as are appropriate algebraic structures. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. ‘Tarrying with the Negative’: Bataille and Derrida’s Reading of Negation in Hegel’s Phenomenology.Raphael Foshay - 2002 - Heythrop Journal 43 (3):295–310.
    Central to Bataille’s critique of Hegel is his reading in ‘Hegel, Death, and Sacrifice’ of ‘negation’ and of ‘lordship and bondage’ in the Phenomenology of Spirit. Whereas Hegel invokes negation as inclusive of death, Bataille points out that negation in the dynamic of lordship and bondage must of necessity be representational rather than actual. Derrida, in ‘From Restricted to General Economy’ sees in Bataille’s perspective an undercutting of the overall Hegelian project consonant with his own ongoing deconstruction (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Truth and The Ambiguity of Negation.Teresa Marques - 2010 - In Erich Rast & Luiz Carlos Baptista (eds.), Meaning and Context. Peter Lang. pp. 2--235.
    This article has one aim, to reject the claim that negation is semantically ambiguous. The first section presents the putative incompatibility between truth-value gaps and the truth-schema; the second section presents the motivation for the ambiguity thesis; the third section summarizes arguments against the claim that natural language negation is semantically ambiguous; and the fourth section indicates the problems of an introduction of two distinct negation operators in natural language.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. A Natural History of Negation.Laurence Horn - 1989 - University of Chicago Press.
     
    Export citation  
     
    Bookmark   142 citations  
  22.  47
    The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  26
    Understanding Negation Implicationally in the Relevant Logic R.Takuro Onishi - 2016 - Studia Logica 104 (6):1267-1285.
    A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  64
    The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25. Negation, Anti-Realism, and the Denial Defence.Imogen Dickie - 2010 - Philosophical Studies 150 (2):161 - 185.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  11
    Negation, Structure, Transformation: Alain Badiou and the New Metaphysics.Becky Vartabedian - 2018 - Open Philosophy 1 (1):213-222.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.
    We discuss aspects of the logic of negation bearing on an issue raised by Jean-Yves Béziau, recalled in §1. Contrary- and subcontrary-forming operators are introduced in §2, which examines some of their logical behaviour, leading on naturally to a consideration in §3 of dual intuitionistic negation (as well as implication), and some further operators related to intuitionistic negation. In §4, a historical explanation is suggested as to why some of these negation-related connectives have attracted more attention (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Ethical Copula, Negation, and Responsibility Judgments.Federico Faroldi - 2016 - Synthese 193 (11):3441-3448.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  14
    Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  19
    Negation And Contradiction.Richard Routley Val Routley, Richard Sylvan & Richard Routley - 1985 - Revista Columbiana de Mathematicas:201 - 231.
    The problems of the meaning and function of negation are disentangled from ontological issues with which they have been long entangled. The question of the function of negation is the crucial issue separating relevant and paraconsistent logics from classical theories. The function is illuminated by considering the inferential role of contradictions, contradiction being parasitic on negation. Three basic modelings emerge: a cancellation model, which leads towards connexivism, an explosion model, appropriate to classical and intuitionistic theories, and a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  70
    Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  30
    More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
    Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ' empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  29
    Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
    Wansing’s extended intuitionistic linear logic with strong negation, called WILL, is regarded as a resource-conscious refinment of Nelson’s constructive logics with strong negation. In this paper, (1) the completeness theorem with respect to phase semantics is proved for WILL using a method that simultaneously derives the cut-elimination theorem, (2) a simple correspondence between the class of Petri nets with inhibitor arcs and a fragment of WILL is obtained using a Kripke semantics, (3) a cut-free sequent calculus for WILL, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  59
    Negation and Negative Concord in Romance.De Swart Henriëtte & A. Sag Ivan - 2002 - Linguistics and Philosophy 25 (4):373-417.
    This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  3
    Negation in the Language of Theology – Some Issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
    The paper consists of two parts. In the first one I present some general remarks regarding the history of negation and attempt to answer the philosophical question concerning the essence of negation. In the second part I resume the theological teaching on the degrees of certainty and point to five forms of negation – known from other areas of research -- as applied in the framework of theological investigations.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  14
    Residuated Logics Based on Strict Triangular Norms with an Involutive Negation.Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2006 - Mathematical Logic Quarterly 52 (3):269-282.
    In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t-norms and their dual t-conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t-norms which are different from the product logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  40
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    Negation in Context.Michael De - 2011 - Dissertation, University of St Andrews
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  11
    Notes on Craig Interpolation for LJ with Strong Negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
    The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  22
    Belief and Negation.Jonathan E. Adler & J. Anthony Blair - 2000 - Informal Logic 20 (3).
    This paper argues for the importance of the distinction between internal and external negation over expressions for belief. The common fallacy is to confuse statement like (1) and (2): (1) John believes that the school is not closed on Tuesday; (2) John does not believe that the school is closed on Tuesday. The fallacy has ramifications in teaching, reasoning, and argumentation. Analysis of the fallacy and suggestions for teaching are offered.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  16
    Can Rational Dialetheism Be Refuted By Considerations About Negation and Denial?Mark Sainsbury - 1997 - ProtoSociology 10:216-229.
    Rational dialetheism is the view that for some contradictions, it is rational to believe that they are true. The view, associated with the work of among others, Graham Priest, looks as if it must lead to absurd consequences, and the present paper is an unsuccessful attempt to find them. In particular, I suggest that there is no non-question-begging account of acceptance, denial and negation which can be brought to bear against the rational dialetheist. Finally, I consider the prospect of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  49
    Negation. A Problem for the Proof-Theoretic Justification of Deduction.Nils Kürbis - 2015
    This is only a very short essay on negation and harmony in philosophical logic. If you buy it anyway, you'll help me pay the bills and I'll be able to write longer things.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  66
    Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
    Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters - the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  44.  26
    Solger's Notion of Sacrifice as Double Negation.Paolo Diego Bubbio - 2009 - Heythrop Journal 50 (2):206-214.
    The aim of the paper is to clarify the theoretical core of Solger's thought, the foundation for his aesthetics. I first analyze Solger's dialectic of double negation. Secondly I focus on Solger's gnoseology, which is orientated toward grasping the equilibrium between the Infinite (God) and the finite (world) consisting in this double negation. Lastly I investigate the notion of sacrifice, connecting it with Solger's ironic dialectic and showing its relevance to a complete understanding of his thought.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  2
    Contradictoriness, Paraconsistent Negation and Non-Intended Models of Classical Logic.Carlos A. Oller - 2016 - In Holger Andreas & Peter Verdee (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. Dordrecht: Springer. pp. 103-110.
    It is usually accepted in the literature that negation is a contradictory-forming operator and that two statements are contradictories if and only if it is logically impossible for both to be true and logically impossible for both to be false. These two premises have been used by Hartley Slater [Slater, 1995] to argue that paraconsistent negation is not a “real” negation because a sentence and its paraconsistent negation can be true together. In this paper we claim (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  10
    Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
    The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  27
    Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
    We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  4
    Topos Based Semantic for Constructive Logic with Strong Negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
    The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos ϵ we can distinguish an object Λ and its truth-arrows such that sets ϵ have a Nelson algebra structure. The object Λ is defined by the categorial counterpart of the algebraic FIDEL-VAKARELOV construction. Then it is possible to define the universal quantifier morphism which permits us to make the first order predicate calculus. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  21
    Negation, Concession and Refutation in Counter-Argumentative Composition by Pupils From 8 to 12 Years Old and Adults.Dominique Guy Brassart - 1992 - Argumentation 6 (1):77-98.
    In a theoretical first part we attempt to articulate the notions of concession, refutation and negation for monological linguistic activity, on the basis among other things of Mœschler's work on conversation. We distinguish the illocutionary act of refutation and the complex intervention of refutation, concession-invention, concession-repetition and concession-quotation. In a second part we analyze the place and role of (descriptive) negation in counter-argumentative texts written by 8- to 12-year-old pupils and adults in an artificial situation. We consider phenomena (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  65
    The Geometry of Negation.Massimo Warglien & Achille C. Varzi - 2003 - Journal of Applied Non-Classical Logics 13 (1):9-19.
    There are two natural ways of thinking about negation: (i) as a form of complementation and (ii) as an operation of reversal, or inversion (to deny that p is to say that things are “the other way around”). A variety of techniques exist to model conception (i), from Euler and Venn diagrams to Boolean algebras. Conception (ii), by contrast, has not been given comparable attention. In this note we outline a twofold geometric proposal, where the inversion metaphor is understoood (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000