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

DS 68-2: Proceedings of the 18th International Conference on Engineering Design (ICED 11), Impacting Society through Engineering Design, Vol. 2: Design Theory and Research Methodology, Lyngby/Copenhagen, Denmark, 15.-19.08.2011

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

Download