CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
authors Galle, P.
year 1997
title Towards a Formal Logic of Design Rationalization
source Design Studies, Vol. 18, pp.195-219
summary Certain extensions to standard predicate logic are proposed and used as a framework for critical logical study of patterns of inference in design reasoning. It is shown that within this framework a modal logic of design rationalization (suggested by an empirical study reported earlier) can be formally defined in terms of quantification over a universe of discourse of `relevant points of view'. Five basic principles of the extended predicate logic are listed, on the basis of which the validity of ten modal patterns of inference encountered in design rationalization is tested. The basic idea of reducing modality to quantification is traced back to the philosophy of von Wright, and the approach is compared to that of related work on logic in design.
series journal paper
full text file.pdf (1,038,575 bytes)
references Content-type: text/plain
last changed 2003/04/23 13:50
pick and add to favorite papersHOMELOGIN (you are user _anon_104801 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002