Skip to main content
Log in

On the imaginative constructivist nature of design: a theoretical approach

  • Original Paper
  • Published:
Research in Engineering Design Aims and scope Submit manuscript

Abstract

Most empirical accounts of design suggest that designing is an activity where objects and representations are progressively constructed. Despite this fact, whether design is a constructive process or not is not a question directly addressed in the current design research. By contrast, in other fields such as Mathematics or Psychology, the notion of constructivism is seen as a foundational issue. The present paper defends the point of view that forms of constructivism in design need to be identified and integrated as a foundational element in design research as well. In fact, a look at the literature reveals at least two types of constructive processes that are well embedded in design research: first, an interactive constructivism, where a designer engages a conversation with media, that allows changing the course of the activity as a result of this interaction; second, a social constructivism, where designers need to handle communication and negotiation aspects, that allows integrating individuals’ expertise into the global design process. A key feature lacking these well-established paradigms is the explicit consideration of creativity as a central issue of design. To explore how creative and constructivist aspects of design can be taken into account conjointly, the present paper pursues a theoretical approach. We consider the roots of constructivism in mathematics, namely the Intuitionist Mathematics, in order to shed light on the original insights that led to the development of a notion of constructivism. Intuitionists describe mathematics as the process of mental mathematical constructions realized by a creative subject over time. One of the most original features of intuitionist constructivism is the introduction of incomplete objects into the heart of mathematics by means of lawless sequences and free choices. This allows the possibility to formulate undecided propositions and the consideration of creative acts within a formal constructive process. We provide an in-depth analysis of intuitionism from a design standpoint showing that the original notion is more than a pure constructivism where new objects are a mere bottom-up combination of already known objects. Rather, intuitionism describes an imaginative constructivist process that allows combining bottom-up and top-down processes and the expansion of both propositions and objects with free choices of a creative subject. We suggest that this new form of constructivism we identify is also relevant in interpreting conventional design processes and discuss its status with respect to other forms of constructivism in design.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

Notes

  1. It should be noted, however, that LEM holds in finite domains and the reject concerns mainly infinity: “Of greater theoretical interest is the fact that LEM is also held to be valid in cases where one is operating in a strictly finite domain. The reason for this is that every construction of a bounded finite nature in a finite mathematical system can only be attempted in a finite number of ways, and each attempt can be carried through to completion, or to be continued until further progress is impossible. It follows that every assertion of possibility of a construction of a bounded finite character can be judged. So, in this exceptional case, application of the principle of the excluded third is permissible.” Heyting [12].

  2. Let us remark that although some controversies have arisen out of this formalization, this poses no problem for the needs of the current discussion.

References

  • Anderson ML (2003) Embodied cognition: a field guide. Artif Intell 149(1):91–130

    Article  Google Scholar 

  • Benacerraf P (1965) What Numbers Could Not Be. Philos Rev 74:47–73

    Article  MathSciNet  Google Scholar 

  • Benacerraf P, Putnam H (eds) (1983) Philosophy of mathematics: selected readings. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  • Bethe HA (1982) Comments on the history of the H-bomb. Los Alamos Sci 3(3):47

    Google Scholar 

  • Bishop E (1967) Foundations of constructive analysis. Academic Press, New York

    MATH  Google Scholar 

  • Braha D, Reich Y (2003) Topological structures for modelling engineering design processes. Res Eng Des 14:185–199

    Article  Google Scholar 

  • Brouwer LEJ (1907) Over de Grondslagen der Wiskunde [On the foundations of mathematics], p 183

  • Brouwer LEJ (1908) De Onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte 2:152–158

    Google Scholar 

  • Brouwer LEJ (1948) Consciousness, philosophy and mathematics. In: Proceedings of the 10th International Congress of Philosophy, Amsterdam

  • Brouwer LEJ (1952) Historical background, principles and methods of intuitionism. South Afr J Sci 49:139–146

    MathSciNet  Google Scholar 

  • Bucciarelli L (1988) An ethnographic perspective on engineering design. Des Stud 9(3):159–168

    Article  Google Scholar 

  • Bucciarelli L (1994) Designing the engineers. MIT Press, Cambridge, MA

    Google Scholar 

  • Bucciarelli L (2002) Between thought and object in engineering design. Des Stud 23(3):219–231

    Article  Google Scholar 

  • Burgess JP, Rosen G (1997) A subject with no object: strategies for nominalistic interpretation of mathematics. Clarendon Press, Oxford

    MATH  Google Scholar 

  • Chihara C (1990) Constructibility and mathematical existence. Oxford University Press, Oxford

    MATH  Google Scholar 

  • Clancey WJ (1997) Situated cognition: on human knowledge and computer representations. Cambridge University Press, New York, NY

    Google Scholar 

  • Cohen JP (1963) The independance of the continuum hypothesis I. In: Proceedings of the National Academy of Science, vol 50, pp 1143–1148

  • Cohen JP (1964) The independence of the continuum hypothesis II. In: Proceedings of the National Academy of Sciences of the United States of America, vol 51, pp 105–110

  • Davis JG, Subrahmanian E, Konda SL, Granger H, Dutoit A, Collins M, Westerberg AW (2001) Creating shared information spaces to support collaborative design work. Inf Syst Frontiers 3(3):377–392

    Article  Google Scholar 

  • Dougherty D (1992) Interpretative barriers to successful product innovation in large firms. Organ Sci 3(2):179–202

    Article  Google Scholar 

  • Dummett M (1977) Elements of intuitionism. Clarendon Press, Oxford

    MATH  Google Scholar 

  • Edelman JA (2012) Understanding radikal breaks through media. Phd thesis, Stanford University

  • Edmonds EA, Candy L (1999) Computation, interaction and imagination: into virtual space and back to reality. In: Proceedings of the 4th international roundtable conference on computational models of creative design

  • Eris O (2004) Effective inquiry for innovative engineering design. Kluwer, Boston

    Book  Google Scholar 

  • Eris O (2006) Insisting on truth at the expense of conceptualization: can engineering portfolios help? Int J Eng Educ 22(3):551–559

    Google Scholar 

  • Evbuomwan NF, Sivaloganathan S, Jebb A (1996) A survey of design philosophies, models, methods and systems. J Eng Manuf 210:301–320

    Article  Google Scholar 

  • Fauconnier G, Turner M (2002) The way we think: conceptual blending and the mind’s hidden complexities. Basic Books, New York

    Google Scholar 

  • Field H (1980) Science without numbers: a defence of nominalism. Princeton University Press, Princeton, NJ

    Google Scholar 

  • Fraser Z (2006) The law of the subject: Alain Badiou, Luitzen Brouwer and the Kripkean analyses of forcing and the Heyting calculus. Cosmos Hist J Nat Soc Philos 2(1–2):94–133

    Google Scholar 

  • Frege G (1983) The concept of number. In: Benacerraf P, Putnam H (eds) Philosophy of mathematics: selected readings. Cambridge University Press, Cambridge

    Google Scholar 

  • Freudenthal H (ed) (1976) Collected works 2. Geometry, analysis, topology and mechanics. North Holland Publishing, Amsterdam

    Google Scholar 

  • Gero JS (1998) Conceptual designing as a sequence of situated acts. In: Smith I (ed) Artificial intelligence in structural engineering, information technology for design, collaboration, maintenance, and monitoring. Springer, Berlin, pp 165–177

    Chapter  Google Scholar 

  • Gero J, Kulinski J (2000) A situated approach to analogy in designing. In: Tang BK, Tan M, Wong Y-C (eds) CAADRIA2000. CASA, Singapore, pp 225–234

  • Groves L (1962) Now it can be told: the story of the Manhattan project. Harper, New York

    Google Scholar 

  • Hatchuel A (2002) Towards design theory and expandable rationality: the unfinished program of Herbert Simon. J Manag Gov 5(3):260–273

    Article  Google Scholar 

  • Hatchuel A (2008) Mathématiques et conception, par Armand HATCHUEL. In: Hatchuel A, Weil B (eds) Les nouveaux régimes de la conception: Langages, théories, métiers. Edition Vuibert, Paris

    Google Scholar 

  • Hatchuel A, Weil B (1999) Pour une théorie unifiée de la conception, Axiomatiques et processus collectifs. CGS Ecole des Mines, GIS cognition-CNRS

  • Hatchuel A, Weil B (2002) La théorie C–K: Fondaments et usages d’une théorie unifiée de la conception. Colloque Sciences de la Conception, Lyon

    Google Scholar 

  • Hatchuel A, Weil B (2003) A new approach of innovative design: an introduction to C–K design theory. In: ICED’03, Stockholm, Sweden

  • Hatchuel A, Weil B (2007) Design as forcing: deepening the foundations of CK theory. In: Proceedings of 16th international conference on engineering design—ICED 2007, knowledge, innovation and sustainability, Paris, France

  • Hatchuel A, Weil B (2009) C–K design theory: an advanced formulation. Res Eng Des 19(4):181–192

    Article  Google Scholar 

  • Hendriks L (2010) Imagining future knowledge, logic and interactive rationality seminar. The Institute for Logic, Language and Computation, University of Amsterdam

  • Hendriks L, Kazakci A (2010) A formal account of the dual expansion of concepts and knowledge in C–K theory. In: International design conference—Design 2010, Dubrovnik, Croatia

  • Hendriks L, Kazakci A (2011) Design as imagining future knowledge, a formal account. LIRA seminar

  • Heyting A (ed) (1975) L.E.J Brouwer: collected works 1. Philosophy and foundations of mathematics. North Holland, Amsterdam

    MATH  Google Scholar 

  • Heyting A (1983a) Disputation. In: Benacerraf P, Putnam H (eds) Philosophy of mathematics: selected readings. Cambridge University Press, Cambridge, pp 66–76

    Google Scholar 

  • Heyting A (1983b) The intuitionist foundations of mathematics. In: Benacerraf P, Putnam H (eds) Philosophy of mathematics: selected readings. Cambridge University Press, Cambridge, pp 52–61

    Google Scholar 

  • Hilbert D (1927) The foundations of mathematics. In: Ewald WB (ed) From Kant to Hilbert: a source book in the foundations of mathematics, 2 vols. Oxford University Press, Oxford

    Google Scholar 

  • Kazakci A (2009) A formalisation of CK design theory based on intuitionist logic. In: Chakrabarti (ed) International conference on research into design. ICORD09. Research Publishing Services, Bangalore, India, pp 499–507

  • Kazakci A (2010) Imaginative constructivism in design. Mission report on visit to CDR at Stanford University. TMCI, CGS, Mines ParisTech, Paris

  • Kazakci A, Hatchuel A (2009) Is “creative subject” of Brouwer a designer? An analysis of intuitionist mathematics from the viewpoint of C–K design theory. In: Proceedings of the international conference on engineering design, ICED’09, Stanford, CA

  • Kazakci A, Hatchuel A, Le Masson P, Weil B (2010) Simulation of design reasoning based on C–K theory: a model and an example application. In: Proceedings of the international design conference—Design 2010. Dubrovnik, Croatia

  • Kreisel G (1967) Informal rigour and completeness proofs. In: Lakatos I (ed) Problems in the philosophy of mathematics. Humanities Press, New York, pp 138–186

    Chapter  Google Scholar 

  • Kripke S (1965) Semantical analysis of intuitionistic logic I. In: Dummett M, Crossley JN (eds) Formal systems and recursive functions. North-Holland Publishing, Amsterdam, pp 92–130

    Chapter  Google Scholar 

  • Lakoff G, Nunez RE (2000) Where mathematics comes from: how the embodied mind brings mathematics into being. Basic Books, New York

    MATH  Google Scholar 

  • Largeault J (1993) Intuition et Intuitionisme. Vrin, Paris

    MATH  Google Scholar 

  • Le Masson P, Weil B, Hatchuel A (2010) Strategic management of design and innovation. Cambridge University Press, Cambridge

    Google Scholar 

  • Lenfle S (2008) Proceeding in the dark. Innovation, project management and the making of the atomic bomb. Centre de Recherche en Gestion, Paris

    Google Scholar 

  • Lenfle S (2011) The strategy of parallel approaches in projects with unforeseeable uncertainty: the Manhattan case in retrospect. Int J Proj Manag 24(9):359–373

    Article  Google Scholar 

  • Maimon O, Braha D (1996) A mathematical theory of design. Int J Gen Syst 27(4–5):275–318

    Google Scholar 

  • Martin-Löf P (1984) Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Bibliopolis, Napoli

  • Meitner F, Frisch OR (1938) Lise Meitner and disintegration of uranium by neutrons: a new type of nuclear reaction. Nature 143(3615):239–240

    Article  Google Scholar 

  • Myhill J (1968) Formal systems of intuitionistic analysis I. In: van Rootselaer B, Staal J (eds) Logic, methodology and philosophy of science, vol III. North Holland Publishing Company, Amsterdam

    Google Scholar 

  • Niekus J (2010) Brouwer’s incomplete objects. Hist Philos Logic 31:31–46

    Article  MathSciNet  MATH  Google Scholar 

  • Qiang J (1996) The scientists making the atomic bomb. In: Cohen SP, Cloud K (eds) Pathological states, the origins, detection, and treatment of dysfunctional societies: collected papers of the ford foundation interdisciplinary research seminar on pathological states. ACDIS//ACDIS FFIRS:3

  • Reich Y, Shai O, Subrahmanian E, Hatchuel A, LeMasson P (2008) The interplay between design and mathematics: introduction to bootstrapping effects. In: Proceedings of the 9th Biennial ASME conference on engineering systems design and analysis ESDA2008. Haifa, Israel

  • Roozenburg NFM, Dorst CH (1998) Describing design as a reflective practice: observations on Schön’s theory of practice. In: Frankenberger E, Badke-Schaub P, Birkhofer H (eds) Designers: the key to successful product development. Springer, London, pp 29–41

    Google Scholar 

  • Russell B (1903) The principles of mathematics. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  • Russell B, Whitehead AN (1910) Principia Mathematica, 2nd edn. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  • Schön DA (1983) The reflective practitioner. Basic Books, New York

    Google Scholar 

  • Schön DA, Wiggins G (1992) Kind of seeing and their functions in designing. Des Stud 13(2):135–156

    Article  Google Scholar 

  • Smyth HD (1945) Atomic energy for military purposes; the official report on the development of the atomic bomb under the auspices of the United States Government, 1940–1945. Princeton University Press, Princeton

    Google Scholar 

  • Subrahmanian E, Konda SL, Levy SN, Reich Y, Westerberg AW, Monarch IA (1993) Equations aren’t enough: informal modeling in design. AI Eng Des Manuf 7(4):257–274

    Google Scholar 

  • Suchman LA (1987) Plans and situated actions: the problem of human–machine communication. Cambridge University Press, Cambridge

    Google Scholar 

  • Suwa M, Tversky B (2003) Constructive perception: a metacognitive skill for coordinating perception and conception. In: Cognitive Science Society proceedings, pp 1140–1144

  • Suwa M, Gero J, Purcell T (2000) Unexpected discoveries and S-invention of design requirements: important vehicles for a design process. Des Stud 21(6):539–567

    Google Scholar 

  • Troelstra AS (1969) Principles of intuitionism. Springer, Berlin

    MATH  Google Scholar 

  • van Dalen D (ed) (1981) Brouwer’s Cambridge lectures on intuitionism. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  • van Dalen D (1999) The role of language and logic in Brouwer’s work. In: Orlovska E (ed) Logic in action. Springer, Vienna, pp 3–14

    Google Scholar 

  • van Dalen D (2005) How the Mathematical objects determine the mathematical principles. J Univers Comput Sci 11(12):2132–2141

    MATH  Google Scholar 

  • Weinberg AM (1961) Impact of large-scale science on the United States. Science 134(3473):161–164

    Article  Google Scholar 

  • Weinberg AM (1963) Science, government, and information: the responsibilities of the technical community and the government in the transfer of information. The President’s Scientific Advisory Committee, White House, Washington, DC

    Google Scholar 

  • Yoshikawa H (ed) (1981) General design theory and a CAD system. Man–machine communication in CAD/CAM. North Holland Publishing, New York

    Google Scholar 

Download references

Acknowledgments

The author would like to thank Joop Niekus, Mark van Atten, Anne-Françoise Schmid, Thomas Gillier, Armand Hatchuel and the anonymous referees for helpful comments on earlier versions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Akın O. Kazakçı.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kazakçı, A.O. On the imaginative constructivist nature of design: a theoretical approach. Res Eng Design 24, 127–145 (2013). https://doi.org/10.1007/s00163-012-0150-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00163-012-0150-0

Keywords

Navigation