ABSTRACT
This conclusion presents some closing thoughts of the key concepts discussed in the preceding chapter. This book explores traditional philosophical problems in ontology, that is, problems concerning what kinds of things there are, and how to classify certain individual things, rarely hold more than academic interest. Software's medium of description is, of course, text, constructed out of many possible levels of formal language. The role of formal language in the creation of software does introduce a question of the relationship between the abstract and the non abstract in computer science. Monism holds that the metaphysical duality apparent in talk about persons in terms of the mental and the physical is an illusion, and that a person is but one kind of entity. Rather, a program is one kind of entity only. That it can be described in contrary terms involving abstraction and concreteness recalls a variety of monism in metaphysics called the double-aspect theory.
