Negation in contextual logic

Leonard Kwuida

Andreja Tepavčević

Branimir Šešelja

pp. 227-241

in: Karl E. Wolff, Heather D. Pfeiffer, Harry Delugach (eds), Conceptual structures at work, Berlin, Springer, 2004

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.