Negation in the Context of Gaggle Theory

Studia Logica 80 (2-3):235-264 (2005)

Jon Michael Dunn
Indiana University, Bloomington
We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that has a characteristic semantics. We also show that Shramko's falsification logic FL can be incorporated into some extension of this basic logic Ku. Finally, we unite the two basic logics Ki and Ku together to get a negative modal logic K-, which is dual to the positive modal logic K+ in [7]. Shramko has suggested an extension of Dunn 's kite and also a dual version in [12]. He also suggested combining them into a “united” kite. We give a united semantics for this united kite of negations
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1007/s11225-005-8470-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,649
Through your library

References found in this work BETA

Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.

Add more references

Citations of this work BETA

Negation on the Australian Plan.Franz Berto & Greg Restall - 2019 - Journal of Philosophical Logic 1:1-26.
A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.

View all 12 citations / Add more citations

Similar books and articles

Display Logic And Gaggle Theory.Greg Restall - 1995 - Reports on Mathematical Logic:133-146.
Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
Kripke Models for Linear Logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Négation, contrariété et contradiction.Jean-Philippe Narboux - 2005 - Archives de Philosophie 3 (3):419-446.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Negation and BCK‐Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Dr. Quine's Theory of Truth-Functions.Andrew Ushenko - 1942 - Journal of Philosophy 39 (3):64-67.
Generalized Onrno Negation.J. Michael Dunn - 1996 - In H. Wansing (ed.), Negation: A Notion in Focus. W. De Gruyter. pp. 7--3.
Negation of the Negation in Logical and Historical Analysis.M. F. Vorob'ev - 1969 - Russian Studies in Philosophy 8 (2):190-205.


Added to PP index

Total views
49 ( #159,737 of 2,242,406 )

Recent downloads (6 months)
6 ( #320,926 of 2,242,406 )

How can I increase my downloads?


My notes

Sign in to use this feature