A METHOD FOR DESIGN REASONING USING LOGIC: FROM SEMANTIC TABLEAUX TO DESIGN TABLEAUX

Inspired by C-K theory, the current work presents a framework demonstrating how C-K type design reasoning can be applied within logic. Building on our previous work, we extend and generalize the well-known method of Semantic Tableaux, invented by Beth for logical theorem-proving, to Design Tableaux - a general, formal procedure allowing to implement expansive reasoning within the formalism of logic. Our contribution is twofold. First, we give a formal, verifiable procedure that explicit and apply the ill-defined operators of C-K theory. Second, we contribute to the notion that design science can be useful to other fields and theories (in this case, logic) by proposing a mode of creative reasoning within a logical framework stemming directly from a theory of design