Repository | Series | Book | Chapter
Negation in contextual logic
pp. 227-241
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.
Publication details
Published in:
Wolff Karl Erich, Pfeiffer Heather D., Delugach Harry (2004) Conceptual structures at work: 12th international conference on conceptual structures. Dordrecht, Springer.
Pages: 227-241
DOI: 10.1007/978-3-540-27769-9_15
Full citation:
Kwuida Léonard, Tepavčević Andreja, Šešelja Branimir (2004) „Negation in contextual logic“, In: K. Wolff, H. D. Pfeiffer & H. Delugach (eds.), Conceptual structures at work, Dordrecht, Springer, 227–241.