Abstract

The paper contains a first order formal theory pertaining to artefact designs, designs which are construed as the results of designing activities. The theory is based on a minimal ontology of states of affairs and it is inspired by the ideas of the Polish philosopher Roman Ingarden. After differentiating the philosophical notion of design from the engineering notion of design specifications, I then go on to argue that the philosophical category of artefact designs may be compared with Ingarden’s category of intentional states of affairs. At least some artefacts are found to be determined by more than one design. I also show how this ontological framework allows for the distinction between artefact tokens and artefact types. That leads to a proposal on how to define a criterion of identity for artefact types. The proposed theory serves as a basis both for a better understanding of what artefacts are and for the construction of computer-readable models of design specifications.