Abstract
This paper contains a formal theory of functional parthood. Since the relation of functional parthood is defined here by means of the notion of design, the theory of functional parthood turns out to be a theory of design. The formal theory of design I defend here is a result of introducing a number of constraints that are to express the rational aspects of designing practice. The ontological background for the theory is provided by a conception of states of affairs. The theory is accompanied with a formal model. I prove that the theory is sound and complete with respect to this model.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alberts, L.K.: Ymir: A sharable ontology for the formal representation of engineering design knowledge, in J.S. Gero and E. Tyugu (eds.), Formal Design Methods for CAD, IFIP Transactions, Amsterdam, 1994, pp. 3–32.
Casati, R. and Varzi, A.: Parts and Places, MIT, Cambridge, Massachusetts, 1999.
Chandrasekaran, B. and Josephson, J.R.: Function in device representation, Engineering with Computers 16(3/4) (2000), 162–177.
Cruse, D.A.: On the transitivity of the part-whole relation, Journal of Linguistics 15 (1979), 29–38.
Dennett, D.C.: Darwin’s Dangerous Idea, Norton, New York, 1995.
Dipert, R.: Artifact, Art Works, and Agency, Temple University Press, Philadelphia, 1993.
Ebbinghaus, H.D., Flum, J., and Thomas, W.: Mathematical Logic, Springer, Berlin Heidelberg New York, 1994.
Garbacz, P.: The four dimensions of artifacts, in D. Dubois, C. Welty, and M.-A. Williams (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), AAAI, Menlo Park, California, 2004, pp. 289–300.
Garbacz, P.: What is an artifact design?, forthcoming in Techne, 2007.
Houkes, W. and Vermaas, P.: Action versus functions: a plea for an alternative metaphysics of artifacts, Monist, 87 (2004), 52–71.
Ingarden, R.: Das Literarische Kunstwerk, Max Niemayer, Tubingen, 1931.
Ingarden, R.: Der Streit um die Existenz der Welt, volume 2, Max Niemeyer, Tubingen, 1965.
Johansson, I.: On the transitivity of the parthood relations, in H. Hochberg and K. Mulligan (eds.), Relations and Predicates, volume 161–181, ontos verlag, Frankfurt, 2004, pp. 161–181.
De Kleer, J.: How circuts work, Artificial Inteligence, 24 (1984), 205–280.
Kumar, A. and Upadhyaya, S.: Component-ontological representation of function for reasoning about devices, Artificial Intelligence in Engineering, 12 (1998), 399–415.
Lésniewski, S.: Foundations of the general theory of sets, in V. Rickey, S. Surma, and J. Srzednicki (eds.), Collected Works, volume I, Kluwer, Dordrecht, The Netherlands, 1991, pp. 127–173.
Léniewski, S.: On the foundations of mathematics, in V. Rickey, S. Surma, and J. Srzednicki (eds.), Collected Works, volume I, Kluwer, Dordrecht, The Netherlands, 1991, pp. 174–382.
Masolo, C., Vieu, L., Botazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., and Guarino, N.: Social roles and their descriptions, in D. Dubois, C. Welty, and M.-A. Williams (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), AAAI, Menlo Park, California, 2004, pp. 267–277.
McLaughlin, P.: What Functions Explain. Functional Explanation and Self-Reproducing Systems, Cambridge University Press, Cambridge, UK, 2001.
Millikan, R.: Language, Thought, and Other Biological Categories. MIT, Cambridge, Massachusetts, 1984.
Pahl, G. and Beitz, W.: Engineering Design: A Systematic Approach. Springer, Berlin Heidelberg New York, 1996.
Pribbenow, S.: Meronymic relations: From classical mereology to complex part-whole relations, in R. Green, C.A. Bean, and S.H. Myaeng (eds.), The Semantics of Relationships: An Interdisciplinary Perspective, Kluwer, Dordrecht, The Netherlands, 2002, pp. 35–50.
Rescher, N.: Axioms for part relation, Philosophical Studies, 6 (1955), 8–11.
Rosenman, M. and Gero, J.: Purpose and function in design; from the socio-cultural to the technophysical, Design Studies, 19 (1998), 161–186.
Roy, U., Pramanik, N., Sudarsan, Sriram, R., and Lyons, K.: Function-to-form mapping: model, representation and applications in design synthesis, Computer-Aided Design, 33 (2001), 699–719.
Sanford, D.: Fusion confusion, Analysis, 63 (2003), 1–4.
Simons, P.M. and Dement, C.W.: Aspects of the mereology of artifacts, in R. Poli and P. Simons (eds.), Formal Ontology, Kluwer, Dordrecht, The Netherlands, 1996, pp. 255–276.
Tzouvaras, A.: Significant parts and identity of artifacts, Notre Dame Journal of Philosophy, 34(3) (1993), 445–452.
Tzouvaras, A.: Worlds of homogeneous artifacts, Notre Dame Journal of Formal Logic, 36(3) (1995), 454–474.
Vermaas, P. and Houkes, W.: Ascribing functions to technical artifacts: a challange to etiological account of functions, British Journal for the Philosophy of Science, 54 (2003), 261–289.
Vieu, L. and Aurnague, M.: Part-of relations, functionality and dependence, in M. Aurnague and L. Vieu (eds.), Categorization of Spatial Entities in Language and Cognition, John Benjamins, Amsterdam, 2005, pp. 483–509.
Whitney, D.E., Mantipragada, R., Adams, J.D., and Rhee, S.J.: Designing assemblies, Research in Engineering Design, 11 (1999), 229–253.
Winston, M.E., Chaffin, R., and Herrmann, D.: A taxonomy of part-whole relations, Cognitive Science, 11 (1987), 417–444.
Zhang, W.Y., Tor, S.B., Britton, G.A., and Deng. Y.M.: Efdex: a knowledge-based expert system for functional design of engineering systems, Engineering with Computers, 17 (2001), 339–353.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Garbacz, P. A First Order Theory of Functional Parthood. J Philos Logic 36, 309–337 (2007). https://doi.org/10.1007/s10992-006-9037-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-006-9037-8