David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Applied Non-Classical Logics 13 (1):9-19 (2003)
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 as involving a rotation o a reflection, respectively. These two options are equivalent in classical two-valued logic but they differ significantly in many-valued logics. Here we show that they correspond to two basic sorts of negation operators—Post’s and Kleene’s—and we provide a simple group-theoretic argument demonstrating their generative power.
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari (1994). The Non-Boolean Logic of Natural Language Negation. Philosophia Mathematica 2 (1):45-68.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Ernesto Napoli (2006). Negation. Grazer Philosophische Studien 72 (1):233-252.
Graham Priest (1999). Negation as Cancellation, and Connexive Logic. Topoi 18 (2):141-148.
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.
Arnon Avron (2005). A Non-Deterministic View on Non-Classical Negations. Studia Logica 80 (2-3):159 - 194.
Matthew Spinks & Robert Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica 88 (3):325 - 348.
M. Spinks & R. Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89 (3):401 - 425.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Added to index2009-01-28
Total downloads32 ( #75,166 of 1,696,247 )
Recent downloads (6 months)11 ( #49,523 of 1,696,247 )
How can I increase my downloads?