Repository | Book | Chapter
(2004) Conceptual structures at work, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-3-540-27769-9_15
Full citation:
Kwuida, L. , Tepavčević, A. , Šešelja, B. (2004)., Negation in contextual logic, in K. E. Wolff, H. D. Pfeiffer & H. Delugach (eds.), Conceptual structures at work, Dordrecht, Springer, pp. 227-241.
This document is unfortunately not available for download at the moment.