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)|
References found in this work BETA
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic.Jaakko Hintikka - 1973 - Oxford, Clarendon Press.
Citations of this work BETA
No citations found.
Similar books and articles
The Non-Boolean Logic of Natural Language Negation.Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari - 1994 - Philosophia Mathematica 2 (1):45-68.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
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.
Added to index2009-01-28
Total downloads55 ( #90,837 of 2,143,470 )
Recent downloads (6 months)2 ( #280,186 of 2,143,470 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.