A FORMAL ACCOUNT OF THE DUAL EXTENSION OF KNOWLEDGE AND CONCEPT IN C-K DESIGN THEORY
The paper presents a contribution to the formalization efforts of C-K design theory. First, we analyze the notion of “dual expansion of concepts and knowledge” in C-K design theory and we discuss how such a reasoning process can be modeled using first-order logic. Then, we present a basic formal account of this notion. This framework is complementary to previous work formalizing the interaction of concepts and knowledge. Finally an attempt is made to sketch some possible extensions of the basic formal framework.