Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau)
Graduate studies at Western
Theoria 71 (3):241-262 (2008)
|Abstract||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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
Gabriel Sandu (1994). Some Aspects of Negation in English. Synthese 99 (3):345 - 360.
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.
Dimiter Vakarelov (1989). Intuitive Semantics for Some Three-Valued Logics Connected with Information, Contrariety and Subcontrariety. Studia Logica 48 (4):565 - 575.
Heinrich Wansing (2006). Contradiction and Contrariety. Priest on Negation. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Lloyd Humberstone (2008). Béziau's Translation Paradox. Theoria 71 (2):138-181.
Added to index2009-01-28
Total downloads31 ( #44,895 of 739,404 )
Recent downloads (6 months)3 ( #26,423 of 739,404 )
How can I increase my downloads?