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.
展开▼