A Modality Called ‘Negation’

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

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

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 Hierarchy 1.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
2015-06-05

Downloads
1,137 (#9,885)

6 months
153 (#17,100)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Franz Berto
University of St. Andrews

Citations of this work

Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
A Survey of Logical Realism.Tuomas E. Tahko - 2021 - Synthese 198 (5):4775-4790.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.

View all 23 citations / Add more citations

References found in this work

Situations and attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.
Situations and Attitudes.Jon Barwise & John Perry - 1983 - Cambridge, Mass.: MIT Press. Edited by John Perry.

View all 90 references / Add more references