Abstract
This contribution discusses a formalization of the “negation of a concept”. The notion of “concept” has been successfully formalized in the early eighties and led to the theory of Formal Concept Analysis. Boole (1815-1864) developed a mathematical theory for human thought based on signs and classes. The formalization of the negation of concepts is needed in order to develop a mathematical theory of human thought based on “concept as a basic unit of thought”. Two approaches will be discussed: negation as a partial or as a full operation on concepts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff, G.: Lattices and their applications. Bull. Amer. Math. Soc. 44, 793–800 (1938)
Birkhoff, G.: What can lattices do for you? In: Abbott, J.C. (ed.) Trends in lattice Theory, Van Nostrand-Reinhold, New York, pp. 1–40 (1970)
Boole, G.: An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. Macmillan (1854); Reprinted by Dover Publ., New york (1958)
Burris, S.: The laws of Boole’s thought.(2000), (preprint) http://www.thoralf.uwaterloo.ca/htdocs/MYWORKS/PREPRINTS/aboole.pdf
Eisler, R.: Wörtebuch der Philosophischen Begriffe. Mittler, Berlin (1929).
Ganter, B., Kwuida, L.: Representable weak dicomplementations on finite lattices. Contributions to General Algebra, J. Heyn Klagenfurt 14, 63–72 (2004)
Grätzer, G.: Lattice theory. First concepts and distributive lattices. A Series of Books in Mathematics. W. H. Freeman and Company, New York (1971)
Ganter, B., Wille, R.: Formal Concept Analysis. Mathematical Foundations. Springer, Heidelberg (1999)
Ganter, B., Wille, R.: Contextual attribute logic. In: Tepfenhart, W., Cyre, W. (eds.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 337–338. Springer, Heidelberg (1999)
von Hentig, H.: Magier oder Magister? Über die Einheit der Wissenschaft im Verständigungsprozess. Aufl. Suhrkamp Frankfurt 1 (1974)
Klinger, J., Vormbrock, B.: Contextual Boolean logic: How did it develop? In: Ganter&, B., de Moor, A. (eds.) Using Conceptual Structures. Contributions to ICCS 2003, pp. 143–156. Shaker Verlag, Aachen (2003)
Kwuida, L.: Weakly dicomplemented lattices, Boolean algebras and double p-algebras. Technical Report MATH-AL-05-2003 (2003)
Kwuida, L.: When is a concept algebra Boolean? In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, Springer, Heidelberg (2004)
Stumme, G.: Boolesche Begriffe. Diplomarbeit. TH Darmstadt (1994)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered Sets Reidel, pp. 445–470 (1982)
Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 317–331. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kwuida, L., Tepavčević, A., Šešelja, B. (2004). Negation in Contextual Logic. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds) Conceptual Structures at Work. ICCS 2004. Lecture Notes in Computer Science(), vol 3127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27769-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-27769-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22392-4
Online ISBN: 978-3-540-27769-9
eBook Packages: Springer Book Archive