Knowledge Base Repository
In addition to research papers, the Design Society is developing several valuable resources for those interested in the study of design. These include a repository of PhD theses, a library of case studies and transcripts of design activities, and an archive of our newsletters. Please note that these resources are accessible exclusively to Design Society members.
A METHOD FOR DESIGN REASONING USING LOGIC: FROM SEMANTIC TABLEAUX TO DESIGN TABLEAUX
Hendriks, Lex; Kazakci, Akin Osman
Type:
Year:
2011
Editor:
Culley, S.J.; Hicks, B.J.; McAloone, T.C.; Howard, T.J. & Reich, Y.
Author:
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:
