Mind 124 (495):761-793 (2015)

Authors
Franz Berto
University of St. Andrews
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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

Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
A Natural History of Negation.Laurence Horn - 1989 - University of Chicago Press.

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.

View all 9 citations / Add more citations

Similar books and articles

Some Aspects of Negation in English.Gabriel Sandu - 1994 - Synthese 99 (3):345 - 360.
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Axiomatizations of Intuitionistic Double Negation.Milan Bozic & Kosta Došen - 1983 - Bulletin of the Section of Logic 12 (2):99-102.
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Existence, Negation, and Abstraction in the Neoplatonic Hierarchy1.John N. Martin - 1995 - History and Philosophy of Logic 16 (2):169-196.
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.

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 )

How can I increase my downloads?

Downloads

My notes