
Publication details
Publisher: Springer
Place: Berlin
Year: 2004
Pages: 227-241
Series: Lecture Notes in Computer Science
ISBN (Hardback): 9783540223924
Full citation:
, "Negation in contextual logic", in: Conceptual structures at work, Berlin, Springer, 2004


Negation in contextual logic
pp. 227-241
in: Karl E. Wolff, Heather D. Pfeiffer, Harry Delugach (eds), Conceptual structures at work, Berlin, Springer, 2004Abstract
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
Publisher: Springer
Place: Berlin
Year: 2004
Pages: 227-241
Series: Lecture Notes in Computer Science
ISBN (Hardback): 9783540223924
Full citation:
, "Negation in contextual logic", in: Conceptual structures at work, Berlin, Springer, 2004