On a Notion of Extensionality for Artifacts

• Autorzy: Semeniuk-Polkowska M. , Polkowski L.
• Języki publikacji: EN

Abstrakty

EN

The notion of extensionality means in plain sense that properties of complex things can be expressed by means of their simple components, in particular, that two things are identical if and only if certain of their components or features are identical; e.g., the Leibniz Identitas Indiscernibilium Principle: two things are identical if each applicable to them operator yields the same result on either; or, extensionality for sets, viz., two sets are identical if and only if they consist of identical elements. In mereology, this property is expressed by the statement that two things are identical if their parts are the same. However, building a thing from parts may proceed in various ways and this, unexpectedly, yields various extensionality principles. Also, building a thing may lead to things identical with respect to parts but distinct with respect, e.g., to usage. We address the question of extensionality for artifacts, i.e., things produced in some assembling or creative process in order to satisfy a chosen purpose of usage, and, we formulate the extensionality principle for artifacts which takes into account the assembling process and requires for identity of two artifacts that assembling graphs for the two be isomorphic in a specified sense. In parallel, we consider the design process and design things showing the canonical correspondence between abstracta as design products and concreta as artifacts. In the end, we discuss approximate artifacts as a result of assembling with spare parts which analysis does involve rough mereology.

Słowa kluczowe

EN

artifacts; extensionality property; mereology; rough mereology

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 127, nr 1-4
• Strony: 65--80
• Opis fizyczny: Bibliogr. 35 poz.

Twórcy

autor

Semeniuk-Polkowska M.

• Chair of Formal Linguistics, Warsaw University, Dobra 55, 00956 Warsaw, Poland

autor

Polkowski L.

• Polish-Japanese Institute of Information Technology, Koszykowa 86, 02008 Warsaw, Poland.

Bibliografia

• [1] Aczel, P.: Well-Founded Sets. CSLI Publications. CSLI Stanford (1988).
• [2] Baker, L. R.: The Ontology of Artifacts. Philosophical Explorations 7 (2), pp. 99 111 (2004).
• [3] Barwise, J.; Moss, L.: Vicious Circles: On the Mathematics of Non-Well-Founded Phenomena. CSLI Publications. CSLI Stanford (1996).
• [4] Bjoemer, D.: A role for mereology in domain science and engineering. In: Calosi, C.; Graziani, P. (eds.): Mereology and the Sciences, Springer Synthese Library, to appear.
• [5] Borgo, S.; Vieu, L.: Artefacts in formal ontology. In: Meijers, A. (ed.): Handbook of Philosophy of Technology and Engineering Sciences. Elsevier, pp. 273-308 (2009).
• [6] Boothroyd, G.: Assembly Automation and Product Design (2nd ed.). Taylor and Francis, Boca Raton FL (2005).
• [7] Boothroyd, G.; Dewhurst, P.; Knight, W.: Product Design for Manufacture and Assembly (2nd ed.). Marcel Dekker, New York (2002).
• [8] Casati, R.; Varzi, A. C.: Parts and Places. MIT Press, Cambridge MA (1999).
• [9] Duda, R. O., Hart, P. E., Stork, D. G.: Pattern Classification. John Wiley and Sons, New York (2001).
• [10] Hajek P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
• [11] Hilpinen, R.: Belief Systems as Artifacts, The Monist, 78, pp. 136155 (1995).
• [12] Klosgen, W., Zytkow, J. M.: Handbook of Data Mining and Knowledge Discovery. Oxford University Press, Oxford UK (2002)
• [13] Leśniewski, S.: Podstawy Ogólnej Teoryi Mnogości, I (Foundations of General Set Theory, I, in Polish). Prace Polskiego Koła Naukowego w Moskwie, Sekcya Matematyczno-przyrodnicza, No. 2, Moscow (1916).
• [14] Leśniewski, S.: O podstawach matematyki (On foundations of mathematics, in Polish). (1927) Przeglad Filozoficzny XXX, pp 164-206; (1928) Przeglad Filozoficzny XXXI, pp 261-291; (1929) Przeglad Filozoficzny XXXII, pp 60-101; (1930) Przeglad Filozoficzny XXXIII, pp 77-105 (1930); (1931) Przeglad Filozoficzny XXXIV, pp 142-170.
• [15] Leśniewski, S.: On the foundations of mathematics. Topoi 2, pp 7-52 (1982)(transl. from [13] by E. Luschei).
• [16] Ling C.-H.: Representation of associative functions. Publ. Math. Debrecen 12, pp 189-212 (1965).
• [17] Lukasiewicz, J.: Farewell Lecture at Warsaw University (March 1918). In: Borkowski, L. (ed.): Jan Lukasiewicz. Selected Works. North Holland, Amsterdam (1970).
• [18] Lukasiewicz, J., Tarski, A.: Untersuchungenuberden Aussagenkalkuls. Compt. Rend. Soc. Sci. Lettr. Varso- vie 23, pp 39-50 (1930).
• [19] Margolis, E., Laurence, S. (eds.): Creations of the Mind. Theories of Artifacts and Their Representation, Oxford University Press, Oxford and New York (2007).
• [20] Pawlak, Z.: Automated Theorem Proving (in Polish). PZWS Publishers, Warszawa (1965).
• [21] Pawlak, Z.: Mathematical Aspects of the Production Process (in Polish: Matematyczne Aspekty Procesu Produkcyjnego). The State Economic Publishers, Warszawa, Poland (1969).
• [22] Polkowski, L.: Mereology in engineering and computer science. In: Calosi, C.; Graziani, P. (eds.): Mereology and the Sciences, Springer Synthese Library, to appear.
• [23] Polkowski, L.: Approximate Reasoning by Parts. An Introduction to Rough Mereology. Springer Verlag, Berlin (2011).
• [24] Polkowski, L.; Semeniuk-Polkowska, M. (2012): On a notion of extensionality for artifacts. In: Informatik- Bericht 225, Humboldt Universit at zu Berlin, 2012, pp. 303-311.
• [25] Polkowski L., Skowron A.: Rough mereology. In: Proceedings of ISMIS’94. Lecture Notes in Artificial Intelligence 869, Springer Verlag, Berlin, pp 85-94 (1994).
• [26] Polkowski L., Skowron A.: Rough mereology: a new paradigm for approximate reasoning. International Journal of Approximate Reasoning 15 (4), pp 333-365 (1997).
• [27] Polkowski L., Skowron A.: Rough mereological foundations for design, analysis, synthesis and control in distributed systems. Information Sciences. An International Journal 104(1-2), pp 129-156 (1998).
• [28] http://www.tuvie.com/wp-content/uploads/lego-mindstorms-nxt-2.0-robots4.jpg
• [29] Salustri, F. A.: Mereotopology for product modelling. A new framework for product modelling based on logic. J. Design Res. 2 (2002)
• [30] Seibt, J.: Forms of emergent interaction in general process theory. Synthese 1666, pp. 479-512 (2009).
• [31] SEP (Stanford Encyclopedia of Philosophy): http://plato. stanford. edu/entries/artifact
• [32] Simons, P.: Parts: A Study in Ontology. Clarendon, Oxford (1987).
• [33] Srzednicki, J., Surma, S. J., Barnett, D., Rickey, V. F. (eds.): Collected Works of Stanisław Leśniewski. Kluwer, Dordrecht (1992).
• [34] Thomasson, A.: Artifacts and human concepts. In: Margolis, E.; Laurence, S. (eds.): Creations of the Mind: Theories of Artifacts and Their Representation. Oxford University Press, pp. 52-73 (2007).
• [35] Varzi, A. C.: The extensionality of parthood and composition. The Philosophical Quarterly 58 pp. 108-133 (2008).