Title Design and Logic
Authors 윤기병
Page pp.35-42
ISSN 12251674
Abstract Design cna be formalized within the framework of logic-induction, deduction, and abduction. In design, inductive reasoning can refer to the process of acquiring knowledge. From the viewpoint of deductive reasoning, design is regarded as a process of deducing a description(result) from the initial design constraints (case) and the use of design knowledge (rule). The process of predicting design performances is also regarded as a deductive reasoning. Abductive reasoning which was introduced by Charles S, Peirce, describes the operation of deriving a premise (case) from and axiom (rule) and theorem (result). It provides a way of talking about such phenomena as diagnosis and legal judgement. Abductive reasoning can be used as a valuable means to produce design descriptions. Particularly it can be used as a vehicle to present design space.