Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau)
Theoria 71 (3):241-262 (2005)
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 than others. The remaining sections (§§5, 6) briefly address a question about a certain notion of global contrariety and the provision of Kripke semantics for the various operators in play in our discussion.
|Keywords||contraries Negation dual intuitionistic negation intuitionistic logic consequence ralations|
|Categories||categorize this paper)|
References found in this work BETA
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
Theory of Logical Calculi. Basic Theory of Consequence Operations.R. Wojcicki - 1988 - Kluwer Academic Publishers.
Extensionality in Sentence Position.Lloyd Humberstone - 1986 - Journal of Philosophical Logic 15 (1):27 - 54.
Citations of this work BETA
Similar books and articles
Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
The First Axiomatization of Relevant Logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Intuitive Semantics for Some Three-Valued Logics Connected with Information, Contrariety and Subcontrariety.Dimiter Vakarelov - 1989 - Studia Logica 48 (4):565 - 575.
Contradiction and Contrariety. Priest on Negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Classical Negation Can Be Expressed by One of its Halves.Jean-Yves Beziau - 1999 - Logic Journal of the Igpl 7 (2):145-151.
Added to index2009-01-28
Total downloads90 ( #57,516 of 2,170,016 )
Recent downloads (6 months)1 ( #345,417 of 2,170,016 )
How can I increase my downloads?