A METHOD FOR DESIGN REASONING USING LOGIC: FROM SEMANTIC TABLEAUX TO DESIGN TABLEAUX
Year: 2011
Editor: Culley, S.J.; Hicks, B.J.; McAloone, T.C.; Howard, T.J. & Reich, Y.
Author: Hendriks, Lex; Kazakci, Akin Osman
Series: ICED
Section: Design Theory and Research Methodology
Page(s): 275-286
Abstract
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
Keywords: SEMANTIC TABLEAUX; LOGIC; DESIGN; CREATIVITY; C-K THEORY