Mind 124 (495):761-793 (2015)
Authors |
|
Abstract |
I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds
|
Keywords | Negation Logical pluralism Modality Possible worlds semantics Compatibility semantics |
Categories | (categorize this paper) |
DOI | 10.1093/mind/fzv026 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
View all 79 references / Add more references
Citations of this work BETA
Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Substructural Epistemic Logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’T Succeed.Jonas R. Becker Arenhart & Ederson Safra Melo - 2017 - Logica Universalis 11 (4):465-487.
View all 9 citations / Add more citations
Similar books and articles
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Axiomatizations of Intuitionistic Double Negation.Milan Bozic & Kosta Došen - 1983 - Bulletin of the Section of Logic 12 (2):99-102.
Existence, Negation, and Abstraction in the Neoplatonic Hierarchy1.John N. Martin - 1995 - History and Philosophy of Logic 16 (2):169-196.
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics.Marjorie Hass - 1993 - Dissertation, University of Illinois at Urbana-Champaign
The Non-Boolean Logic of Natural Language Negation.Marie La Palme Reyes, John Macnamara, Gonzalo E. Reyes & Houman Zolfaghari - 1994 - Philosophia Mathematica 2 (1):45-68.
Negation of the Negation in Logical and Historical Analysis.M. F. Vorob'ev - 1969 - Russian Studies in Philosophy 8 (2):190-205.
Überlegungen zur Vielfalt der "Nichts-Rede".Erwin Sonderegger - 1997 - Prima Philosophia 10 (3):341–257.
Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
Periodicity of Negation.Athanassios Tzouvaras - 2001 - Notre Dame Journal of Formal Logic 42 (2):87-99.
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.
Analytics
Added to PP index
2015-06-05
Total views
599 ( #9,666 of 2,410,273 )
Recent downloads (6 months)
53 ( #14,282 of 2,410,273 )
2015-06-05
Total views
599 ( #9,666 of 2,410,273 )
Recent downloads (6 months)
53 ( #14,282 of 2,410,273 )
How can I increase my downloads?
Downloads