Search results for 'negation' (try it on Scholar)

1000+ found
Order:
See also:
  1.  63
    Federico Faroldi (2014). Denial of Responsibility and Normative Negation. 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  
     
    My bibliography   1 citation  
  2. Nicholas Unwin (1999). Quasi-Realism, Negation and the Frege-Geach Problem. Philosophical Quarterly 50 (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 (10 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  3.  74
    Federico L. G. Faroldi (forthcoming). Ethical Copula, Negation, and Responsibility Judgments. Synthese:1-8.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. Nicholas Unwin (2001). Norms and Negation: A Problem for Gibbard's Logic. 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 (10 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  5. Neil Sinclair (2011). Moral Expressivism and Sentential Negation. 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  
     
    My bibliography   2 citations  
  6. Yitzhak Y. Melamed (2012). “Omnis Determinatio Est Negatio” – Determination, Negation and Self-Negation in Spinoza, Kant, and Hegel. 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  
     
    My bibliography  
  7.  66
    Nils Kurbis (2015). What is Wrong with Classical Negation? Grazer Philosophische Studien 92: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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Jeremy Schwartz & Christopher Hom (2014). Why the Negation Problem Is Not a Problem for Expressivism. 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  
     
    My bibliography   1 citation  
  9. Teresa Marques (2010). Truth and The Ambiguity of Negation. In Erich Rast & Luiz Carlos Baptista (eds.), Meaning and Context. Peter Lang 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  
     
    My bibliography  
  10.  37
    Nils Kürbis, Negation. A Problem for the Proof-Theoretic Justification of Deduction.
    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  
     
    My bibliography  
  11. Nils Kürbis (2015). Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. 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 (8 more)  
     
    Export citation  
     
    My bibliography  
  12.  9
    Takuro Onishi (forthcoming). Understanding Negation Implicationally in the Relevant Logic R. Studia Logica:1-19.
    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  
     
    My bibliography  
  13.  26
    Graham Priest (2009). Dualising Intuitionistic Negation. Principia 13 (2):165-184.
    One of Da Costa's motives when he constructed the paraconsistent logic Cw 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 CWo Tableau and natural deduction systems for the logic are produced, as are appropriate algebraic structures. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  14.  60
    Lloyd Humberstone (2000). The Revival of Rejective Negation. 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  
     
    My bibliography   10 citations  
  15.  94
    Karolina Hübner (2015). Spinoza on Negation, Mind-Dependence and the Reality of the Finite. In Yitzhak Melamed (ed.), The Young Spinoza. 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  
     
    My bibliography  
  16.  16
    Michael De & Hitoshi Omori (2015). Classical Negation and Expansions of Belnap–Dunn Logic. 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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  29
    Andrew Alwood (2016). Non-Descriptive Negation for Normative Sentences. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  36
    John Cantwell (2008). The Logic of Conditional Negation. 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 (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  19. Laurence Horn (1989). A Natural History of Negation. University of Chicago Press.
     
    Export citation  
     
    My bibliography   126 citations  
  20.  62
    Mahrad Almotahari (2014). Metalinguistic Negation and Metaphysical Affirmation. 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  
     
    My bibliography   1 citation  
  21. Imogen Dickie (2010). Negation, Anti-Realism, and the Denial Defence. 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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Raphael Foshay (2002). 'Tarrying with the Negative': Bataille and Derrida's Reading of Negation in Hegel's Phenomenology. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  14
    Michael De & Hitoshi Omori, More on Empirical Negation. Advances in Modal Logic Volume 10.
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  17
    Norihiro Kamide (2006). Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. 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  
     
    My bibliography   3 citations  
  25.  71
    Lloyd Humberstone (2008). Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau). 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  
     
    My bibliography   1 citation  
  26.  19
    M. Spinks & R. Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89 (3):401-425.
    The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew. The main result of Part I of this series [41] shows that the equivalent variety semantics of N and the equivalent variety semantics of NFL ew are term equivalent. In this paper, the term equivalence result of Part I [41] is lifted to the setting of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  5
    Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara (2006). Residuated Logics Based on Strict Triangular Norms with an Involutive Negation. 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  
     
    My bibliography   2 citations  
  28.  32
    Henriëtte De Swart & Ivan A. Sag (2002). Negation and Negative Concord in Romance. 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 (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  12
    Jonathan E. Adler & J. Anthony Blair (2000). Belief and Negation. 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 (13 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  30.  50
    Michael De (2013). Empirical Negation. 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  
     
    My bibliography  
  31.  18
    Paolo Diego Bubbio (2009). Solger's Notion of Sacrifice as Double Negation. 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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  3
    François Lepage (2016). A Square of Oppositions in Intuitionistic Logic with Strong Negation. Logica Universalis 10 (2-3):327-338.
    In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the introduction of strong negation allows us to define a square of opposition based on quantification on possible worlds.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  12
    Dominique Guy Brassart (1992). Negation, Concession and Refutation in Counter-Argumentative Composition by Pupils From 8 to 12 Years Old and Adults. 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  
     
    My bibliography   1 citation  
  34.  53
    Massimo Warglien & Achille C. Varzi (2003). The Geometry of Negation. 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  22
    Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. 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  
     
    My bibliography   1 citation  
  36.  16
    Jacques Mœschler (1992). The Pragmatic Aspects of Linguistic Negation: Speech Act, Argumentation and Pragmatic Inference. [REVIEW] Argumentation 6 (1):51-76.
    This paper is an attempt to give a general explanation of pragmatic aspects of linguistic negation. After a brief survey of classical accounts of negation within pragmatic theories (as speech act theory, argumentation theory and polyphonic theory), the main pragmatic uses of negation (illocutionary negation, external negation, lowering and majoring negation) are discussed within relevance theory. The question of the relevance of negative utterance is raised, and a general inferential schema (based on the so-called (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37.  2
    Gemma Robles & José M. Méndez (2006). Converse Ackermann Property and Constructive Negation Defined with a Negation Connective. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  13
    Thomas Macaulay Ferguson (2014). Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics. In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  18
    Mark Textor (2013). 'Thereby We Have Broken with the Old Logical Dualism'–Reinach on Negative Judgement and Negation. British Journal for the History of Philosophy 21 (3):570 - 590.
    Does (affirmative) judgement have a logical dual, negative judgement? Whether there is such a logical dualism was hotly debated at the beginning of the twentieth century. Frege argued in ?Negation? (1918/9) that logic can dispense with negative judgement. Frege's arguments shaped the views of later generations of analytic philosophers, but they will not have convinced such opponents as Brentano or Windelband. These philosophers believed in negative judgement for psychological, not logical, reasons. Reinach's ?On the Theory of Negative Judgement? (1911) (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  5
    Vít Punčochář (2015). Weak Negation in Inquisitive Semantics. 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  
     
    My bibliography  
  41.  29
    Steve Awodey & Jonas Eliasson (2004). Ultrasheaves and Double Negation. 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  
     
    My bibliography  
  42.  23
    Sonam Thakchoe (2008). Gorampa on the Objects of Negation: Arguments for Negating Conventional Truths. Contemporary Buddhism 9 (2):265-280.
    In this paper I explore Gorampa’s conception of the objects of negation. My primary aim is to show that, in Gorampa’s conception of the objects of negation, negating the extreme existent (bha ̄va/yod pa)—the first of the tetralemma (catuskoti/mtha’ bzhi)— __ entails negating the conventional realities qua truths themselves. The paper first identifies Gorampa’s notions of the objects of negation soteriogically and epistemically, and second it considers Gorampa’s arguments defending his treatment of truths (bden pa) as the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  26
    Paolo Diego Bubbio (2009). Solger and Hegel: Negation and Privation. International Journal of Philosophical Studies 17 (2):173-187.
    This paper has two related goals. Firstly, after briefly clarifying the theoretical core of Solger's thought, it will analyse his metaphysics from Hegel's point of view, emphasizing that sacrifice is, for Solger, the fundamental structure of the relationship between the finite and the Infinite. Secondly, it will investigate the main reasons behind Hegel's criticism of Solger, showing that they have different conceptions of privation and negation and concluding that Solger and Hegel have different aims. Hegel's aim consists in recomposing (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  44.  8
    Soma Dutta & Mihir K. Chakraborty (2011). Negation and Paraconsistent Logics. Logica Universalis 5 (1):165-176.
    Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  26
    Jean-Michel Saury (2009). The Phenomenology of Negation. Phenomenology and the Cognitive Sciences 8 (2):245-260.
    Negation is a fundamental component of communication (no-answers), cognition (logical negation), perception (different color), attitude (dislike), emotion (hatred), and volition (disagreement). Its many uses make it difficult to provide an integrated definition of the concept. The aim of this paper is to show that an integrated definition of the concept can be arrived at by means of a phenomenological method structuring it into three general essences labelled lack, otherness and obstruction.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  5
    Francisco M. García Olmedo & Antonio J. Rodríguez Salas (2003). Negation and BCK‐Algebras. Mathematical Logic Quarterly 49 (4):336-346.
    In this paper we consider twelve classical laws of negation and study their relations in the context of BCK-algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK-algebras with minimum. As a consequence we obtain a theorem relating those algebras to Boolean algebras.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47.  22
    Agostinho Almeida (2009). Canonical Extensions and Relational Representations of Lattices with Negation. Studia Logica 91 (2):171 - 199.
    This work is part of a wider investigation into lattice-structured algebras and associated dual representations obtained via the methodology of canonical extensions. To this end, here we study lattices, not necessarily distributive, with negation operations. We consider equational classes of lattices equipped with a negation operation ¬ which is dually self-adjoint (the pair (¬,¬) is a Galois connection) and other axioms are added so as to give classes of lattices in which the negation is De Morgan, orthonegation, (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48. Barbara Klunder & B. Klunder (1992). Topos Based Semantic for Constructive Logic with Strong Negation. 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  
     
    My bibliography   1 citation  
  49.  4
    Tero Tulenheimo (2014). Classical Negation and Game-Theoretical Semantics. Notre Dame Journal of Formal Logic 55 (4):469-498.
    Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  3
    Marie-Jeanne Borel (1992). Anthropological Objects and Negation. Argumentation 6 (1):7-27.
    Ever since Kant, the possibility of having objects of knowledge has been one of the most basic anthropological questions (“what can I know?”). For the logician, the linguist, or the semiologist who studies natural language, negation is one of these objects. However, as an operation and as a symbol, it has the paradoxical property of not being able to be objectivized in the discourse that treats it without being used in this construction. Of course, it is an entirely general (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000