This paper critically examines the forays into metaphysics of The Dual Nature of Technical Artifacts Program (henceforth, DNP). I argue that the work of DNP is a valuable contribution to the epistemology of certain aspects of artifact design and use, but that it fails to advance a persuasive metaphysic. A central problem is that DNP approaches ontology from within a functionalist framework that is mainly concerned with ascriptions and justified beliefs. Thus, the materiality of artifacts emerges only as the external (...) conditions of realizability of function ascription. The work of DNP has a strong programmatic aspect and much of its foray into metaphysics is tentative, so the intent of my argument is partly synthetic: to sum up these issues as they are presented in the literature and highlight some recognized problems. But I also go beyond that, suggesting that these problems are foundational, arising from the very way in which DNP poses the question of artifact metaphysics. Although it sets out to incorporate objective aspects of technology, DNP places a strong focus on the intentional side of the purported matter-mind duality, bracketing off materiality in an irretrievable manner. Thus, some of the advantages of dualism are lost. I claim that DNP is dualistic, not merely based on “duality”, but that its version of dualism does not appropriately account for the material “nature” of artifacts. The paper ends by suggesting some correctives and alternatives to Dual Nature theory. (shrink)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...) properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (shrink)

Embracing an inter-disciplinary approach grounded on Gärdenfors’ theory of conceptual spaces, we introduce a formal framework to analyse and compare selected theories about technical artefacts present in the literature. Our focus is on design-oriented approaches where both designing and manufacturing activities play a crucial role. Intentional theories, like Kroes’ dual nature thesis, are able to solve disparate problems concerning artefacts but they face both the philosophical challenge of clarifying the ontological nature of intentional properties, and the empirical challenge of testing (...) the attribution of such intentional properties to artefacts. To avoid these issues, we propose an approach that, by identifying different modalities to characterise artefact types, does not commit to intentional qualities and is able to empirically ground compliance tests. (shrink)

Artifacts are ubiquitous and influential in our world, but their nature and existence are controversial. Several theories have been proposed to explain the ontology of artifacts. Drawing on Popper's theory of three worlds, this paper suggests a metaphysics for artifacts along the line of a critical rationalist (CR) approach. This theory distinguishes between three realms of reality: the physical world (World 1), the mental world (World 2), and the world of objective knowledge (World 3). The paper argues that artifacts have (...) different ontological components that correspond to these three realms, and that each component is real and causal. The paper shows how this perspective can account for the intentional and functional aspects of artifacts, as well as their dependence on plans that influence different realms of reality. The paper explains how this pluralistic ontology, compared to the rival theories, enables one to explain the relevant ontological problems of artifacts. The paper also explores how this proposal can lead to a research program encompassing a broader range of technologies, such as social artifacts. In sum, the paper suggests that Popper's three worlds theory provides a rich and comprehensive framework for understanding the metaphysics of artifacts. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by the concept (...) of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

This article has been retracted by the Publications Committee of the School of Philosophy and Universitas Philosophica editorial team.

We examine to what extent an adequate ontology of technical artefacts can be based on existing general accounts of the relation between higher-order objects and their material basis. We consider two of these accounts: supervenience and constitution. We take as our starting point the thesis that artefacts have a ‘dual nature’, that is, that they are both material bodies and functional objects. We present two criteria for an adequate ontology of artefacts, ‘Underdetermination’ and ‘Realizability Constraints’ , which address aspects of (...) the dual nature thesis. Assessing supervenience accounts, we find them either wanting with respect to these criteria or insufficiently informative. Next, we argue that a recent application of Lynne Rudder Baker’s constitution view to artefacts cannot meet our criteria, although the broader view leaves room for improvement. Based on our evaluation of the most promising candidates, we conclude that so far general metaphysical views fail to address the most salient features of artefacts. Although they can account for the fact that artefacts have a ‘dual nature’, they do not offer the conceptual resources needed to describe the relation between these natures; this relation raises a hard problem in metaphysics.Keywords: Metaphysics; Artefact; Supervenience; Constitution; Underdetermination. (shrink)

This paper systematically compares two frameworks for analysing technical artefacts: the Dual-Nature approach, exemplified by the contributions to Kroes and Meijers , and the collectivist approach advocated by Schyfter , following Kusch . After describing the main tenets of both approaches, we show that there is significant overlap between them: both frameworks analyse the most typical cases of artefact use, albeit in different terms, but to largely the same extent. Then, we describe several kinds of cases for which the frameworks (...) yield different analyses. For these cases, which include one-of-a-kind artefacts and defect types, the Dual-Nature framework leads to a more attractive analysis. Our comparison also gives us the opportunity to respond to Vaesen’s critical paper. We do so by distinguishing two readings of the Dual-Nature framework and pointing out that on the sustainable, weaker reading, Vaesen’s considerations supplement the framework rather than offering an alternative to it.Keywords: Technical artefact; Dual Nature framework; Collectivist framework; Artefact use. (shrink)

This paper clarifies and answers the following question: is technology morally neutral? It is argued that the debate between proponents and opponents of the Neutrality Thesis depends on different underlying assumptions about the nature of technological artifacts. My central argument centres around the claim that a mere physicalistic vocabulary does not suffice in characterizing technological artifacts as artifacts, and that the concepts of function and intention are necessary to describe technological artifacts at the right level of description. Once this has (...) been established, I demystify talk about the possible value-ladenness of technological artifacts by showing how these values can be empirically identified. I draw from examples in biology and the social sciences to show that there is a non-mysterious sense in which functions and values can be empirically identified. I conclude from this that technology can be value-laden and that its value-ladenness can both derive from the intended functions as well as the harmful non-intended functions of technological artifacts. (shrink)

The technological sciences have at least six defining characteristics that distinguish them from the other sciences. They have human-made rather than natural objects as their study objects, include the practice of engineering design, define their study objects in functional terms, evaluate these study objects with category-specified value statements, employ less far-reaching idealizations than the natural sciences, and do not need an exact mathematical solution when a sufficiently close approximation is available. In combination, the six characteristics are sufficient to show that (...) the technological sciences are neither branches nor applications of the natural sciences, but form a different group of sciences with specific characteristics of their own.Keywords: Technological sciences; Technology; Functional concepts; Idealization; Design. (shrink)

Among epistemologists, it is common to assume that insofar as coherence bears on the justification of belief, the only relevant coherence relations are those _within_ an individual subject’s web of beliefs. After clarifying this view and exploring some plausible motivations for it, we argue that this individualistic account of the epistemic relevance of coherence fails to account for central facets of scientific practice. In its place we propose a social account of coherence. According to the view we propose, a scientist (...) _S_’s belief that _p_ is _prima facie_ unjustified if this belief negatively coheres with justified scientific claims in her scientific community. This account of coherence yields an epistemology for scientific belief which, we argue, has all of the benefits and none of the liabilities of its more individualistic predecessor. (shrink)

Computer simulations have conventionally been understood to be either extensions of formal methods such as mathematical models or as special cases of empirical practices such as experiments. Here, I argue that computer simulations are best understood as instruments. Understanding them as such can better elucidate their actual role as well as their potential epistemic standing in relation to science and other scientific methods, practices and devices.

Conventional accounts of epistemic opacity, particularly those that stem from the definitive work of Paul Humphreys, typically point to limitations on the part of epistemic agents to account for the distinct ways in which systems, such as computational methods and devices, are opaque. They point, for example, to the lack of technical skill on the part of an agent, the failure to meet standards of best practice, or even the nature of an agent as reasons why epistemically relevant elements of (...) a process may be inaccessible. In this paper I argue that there are certain instances of epistemic opacity— particularly in computational methods such a computer simulations and machine learning processes—that do not arise from, are not responsive to, and are therefore not explained by the epistemic limitations of an agent. I call these instances agent-neutral and agent-independent instances of epistemic opacity respectively. As a result, I also argue that conventional accounts of epistemic opacity offer a limited understanding of the full spectrum of kinds and sources of epistemic opacity, particularly of the kind found in computational methods. In particular, as I will show below, the limitations of these accounts are reflected in the way they fail to provide satisfactory explanations when faced with certain instances of opacity. (shrink)