A category of design steps
Editor: Anja Maier, Stanko Škec, Harrison Kim, Michael Kokkolaras, Josef Oehmen, Georges Fadel, Filippo Salustri, Mike Van der Loos
Author: Breiner, Spencer; Subrahmanian, Eswaran
Institution: 1: National Institute of Standards and Technology (NIST), United States of America; 2: Carnegie Mellon University, United States of America
Section: Design Theory and Research Methodology
In this paper we critique the interpretation of Concept-Knowledge theory in terms of logical decidability. We argue instead that concepts and knowledge should be regarded as logical language and axioms, the two main components of a logical theory. Based on this proposal and using tools from the mathematics of category theory, we propose a category of logical designs to act as a formal interpretation for the dynamic operators which define the design processes of C-K theory.