The philosophy of artifacts is as marginal as it is one-sided. The majority of contributions to it are asides in works devoted to other subjects and focus on one characteristic feature: that artifacts are objects with functions. Indeed many artifacts, such as screwdrivers and toasters, come in functional kinds. Perhaps for this reason, philosophers elevated functions to the essences of artifacts or have developed general theories of function to describe artifacts along with their main subject: biological items. Most such theories (...) present one monolithic notion of function that applies to both. Dissident voices claim autonomy for artifact functions, or at least a small measure of conceptual independence, but it is seldom questioned that a theory of artifacts consists merely of a theory of artifact functions. (shrink)

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo‐Darwinian evolutionary theory provides a well‐developed and generally accepted background for describing the causal histories of biological items. Yet there is no well‐developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories.1Introduction2Desiderata for theories of functions3Etiological theories in general3.1Common core and divergent aims3.2Reproduction versus non‐reproduction etiological theories3.3Intentionalist versus non‐intentionalist etiological theories4Problems for etiological theories in the technical domain5The failure of existing reproduction theories6The failure of existing non‐reproduction theories7Improving reproduction by hybridisation8Conclusions. (shrink)

This is the first philosophical study of artifacts that is book length. In it Randall Dipert develops a theory of what artifacts are and applies it extensively to one of the most complex and intriguing kind of artifacts, art works. He presents his own account of what agents, intentions, and actions are, then uses these notions to clarify what it is for an agent to "make" something. From this starting point, he develops a full theory of artifacts and other artificial (...) things - and, especially, a theory of art works and performances of art works as artifacts. He proposes a theory of nature and of the value of nature as what is essentially nonartificial. Two chapters are devoted to value considerations: merit in artifacts generally, and the evaluation of art works and performance art as artifacts or intentional gestures. Believing that a developed theory of action and philosophy of mind is necessary for a developed aesthetics and philosophy of art, Dipert relies on classical and contemporary research on agency, actions, and intentions, and on the intentionalist theory of mental objects of Brentano and Meinong. Dipert considers artifacts to be physical entities, but he also includes in the definition thoughts, utterances, and performances. This vast category encompasses everyday household objects and tools, streets and edifices, as well as communicative and artistic artifacts. Especially with regard to artistic artifacts, Dipert proposes a theory of expression and communication as actions and extensively discusses the problems of interpreting and recognizing actions, artifacts, and art works. (shrink)

Although Aranyosi's claim that McTaggart's "set of parts" is a set rather than a fusion is correct, his attempt to restate McTaggart's conception needs revision. Aranyosi argues that "the fusion of cats is identical with the fusion of all cat-parts, 'regardless of whether all cat-parts are parts of cats or not.'" Fusions have unique decompositions into what David Lewis calls "nice parts." Cats are nice parts of cat fusions, as are maximal spatio-temporally connected parts. Part of Aranyosi's argument fails when (...) it deals with cats; part of it fails when it deals with maximal spatio-temporally connected parts. He does not identify one kind of nice part that allows his whole argument to go through. (shrink)

Preface by Daniel C. Dennett Beginning with a general theory of function applied to body organs, behaviors, customs, and both inner and outer representations, ...

The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo-Darwinian evolutionary theory provides a well-developed and generally accepted background for describing the causal histories of biological items. Yet there is no well-developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories. 1 Introduction 2 Desiderata for theories of functions 3 Etiological theories in general 3.1 Common core and divergent aims 3.2 Reproduction versus non-reproduction etiological theories 3.3 Intentionalist versus non-intentionalist etiological theories 4 Problems for etiological theories in the technical domain 5 The failure of existing reproduction theories 6 The failure of existing non-reproduction theories 7 Improving reproduction by hybridisation 8 Conclusions. (shrink)

This 2001 book offers an examination of functional explanation as it is used in biology and the social sciences, and focuses on the kinds of philosophical presuppositions that such explanations carry with them. It tackles such questions as: why are some things explained functionally while others are not? What do the functional explanations tell us about how these objects are conceptualized? What do we commit ourselves to when we give and take functional explanations in the life sciences and the social (...) sciences? McLaughlin gives a critical review of the debate on functional explanation in the philosophy of science. He discusses the history of the philosophical question of teleology, and provides a comprehensive review of the post-war literature on functional explanation. What Functions Explain provides a sophisticated and detailed Aristotelian analysis of our concept of natural functions, and offers a positive contribution to the ongoing debate on the topic. (shrink)

We present a formal first-order theory of artificial objects, i.e., objects made out of a finite number of parts and subject to assembling and dismantling processes. These processes are absolutely reversible. The theory is an extension of the theory of finite sets with urelements. The notions of transformation and identity are defined and studied on the assumption that the objects are homogeneous, that is to say, all their atomic parts are of equal ontological importance. Particular emphasis is given to the (...) behavior of classes of artifacts in time. We call such classes satisfying certain preservation conditions worlds. Various results concerning the existence, extension, and completeness of worlds are proved. (shrink)

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

Two fusions can be in the same place at the same time. So long as a house made of Tinkertoys is intact, the fusion of all its Tinkertoys parts coincides with the fusion of it walls and its roof. If none of the Tinkertoys is destroyed, their fusion persists through the complete disassembly of the house. (So the house is not a fusion of its Tinkertoy parts.) The fusion of the walls and roof does not persist through the complete disassembly (...) because the walls and the roof themselves do not persist. (So the walls and the roof are also not fusions of their Tinkertoy parts.). (shrink)