Skip to main content
SpringerLink
Log in

Negation in the Context of Gaggle Theory

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ANDERSON, A., N. BELNAP, and J.M. DUNN, Entailment: The Logic of Relevance and Necessity, Vol 2, Princeton University Press.

  2. CELANI, S., R. JANSANA, A New Semantics for Positive Modal Logic, Notre Dame Journal of Formal Logic 38, Winter 1997.

  3. DOŠEN, K., Negation as a Modal Operator, Reports on Mathematical Logic, 20, 1986, pp 15–27.

  4. DOŠEN, K., Negation in the Light of Modal Logic, in D. Gabbay and H. Wansing (eds), What is Negaion, 77–86, Kluwer Academic Publishers.

  5. DUNN, J.M., Gaggle Theory: An Abstraction of Galois Coonections and Resuduation with Applications to Negations and Various Logical Operations. In Logics in AI, Proceedings of European Workshop JELIA 1990, LNCS 478, Berlin 1990, 31–51.

  6. DUNN, J. M., Star and PERP: Two Treatments of Negation, in Philosophical Perspectives Vol. 7 ed. J. Tomberlin, pp. 331–357.

  7. DUNN, J.M., Positive Modal Logic, Studia Logica, 55: 301–317, 1995.

    Article  Google Scholar 

  8. DUNN, J.M., Generalized Ortho Negation, in H. Wansing (ed) Negation: A Notion in Focus, Walter de Gruyter.

  9. DUNN, J.M. G. Hardgree, Algebraic Methods in Philosophical Logic, Oxford Logic Guide 41, Oxford, 2001.

  10. RAUSZER, C., An Algebraic and Kripke Style Approach to a Certain Extension of Intuitionistic Logic, Dissertations Mathematics, CLXVII, PWN, Warszawa, 1980.

  11. RESTALL, G., Defining Double Negation Elimination, L. J. of IGPL, Vol. 8, No, 6, pp. 853–860, 2000.

  12. SHRAMKO, Y., Dual Intuitionistic Logic and a Variety of Negations: the Logic of Scientific Research, this issue

  13. VAKARELOV, D., Theory of Negation in Certain Logical Systems: Algebraic and Semantic Approach, Ph. D Dissertation, Uniwersytet Warszawski, 1977.

  14. VAKARELOV, D., Consistency, Completeness and Negations. in Paraconsistent Logic: Essays on Inconsistent, G. Priest and R. Routley eds. pp. 328–368, Philosophia Verlag, Munich, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Informatics, Indiana University, Bloomington, IN, 47401, USA

    J. Michael Dunn

  2. Department of Mathematics, Indiana University, Bloomington, IN, 47401, USA

    Chunlai Zhou

Authors
  1. J. Michael Dunn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chunlai Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. Michael Dunn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dunn, J.M., Zhou, C. Negation in the Context of Gaggle Theory. Stud Logica 80, 235–264 (2005). https://doi.org/10.1007/s11225-005-8470-y

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-8470-y

Keywords

Search

Navigation