Towards a formal logic of design rationalization

Per Galle

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    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.
    Original languageEnglish
    JournalDesign Studies
    Volume18
    Issue number2
    Pages (from-to)195-219
    ISSN0142-694X
    Publication statusPublished - 1997

    Cite this