Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

Abstract artifacts such as musical works and fictional entities are human creations; they are intentional products of our actions and activities. One line of argument against abstract artifacts is that abstract objects are not the kind of objects that can be created. This is so, it is argued, because abstract objects are causally inert. Since creation requires being caused to exist, abstract objects cannot be created. One common way to refute this argument is to reject the causal inefficacy of abstracta. (...) I argue that creationists should rather reject the principle that creation requires causation. Creation, in my view, is a non-causal relation that can be explained using an appropriate notion of ontological dependence. The existence and the creation of abstract artifacts depend on certain individuals with appropriate intentions, along with events of a certain kind that include but are not limited to creations of certain concrete objects. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. What (...) follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

Realism about types is the view that types are abstract and repeatable objects. Although type realists seem to agree that types, unlike properties, are objects in their own right, they argue that there is a metaphysically intimate tie between the existence conditions of types and properties. In particular, most type realists believe that types are, in a certain sense, determined by the properties that underlie them. I argue that this is a mistake, especially for those type realists who believe that (...) social and cultural types such as works of music and fiction or words are artifacts. I offer an alternative version of type realism where social and cultural types are dependent objects that should be understood in analogy with concrete artifacts. (shrink)

Artworks have authors. According to Christy Mag Uidhir, this simple assumption has significant consequences for the ontology of artworks. One such consequence is that artworks cannot be identified with abstract entities: if there are works of art, they are concrete entities. Therefore, one cannot create an abstract work of art. Mag Uidhir presents a novel challenge against abstract creationism, the view that certain kinds of art objects are abstract artifacts. This article has two aims. First, it provides a defense of (...) abstract creationism against Mag Uidhir’s arguments. Second, it argues that creation, even in the case of concrete artifacts, is never purely causal: to create an artifact is to bring about the conditions on which the created object ontologically depends. I conclude that a properly developed account of creation provides a better understanding of the question of how one comes to create an artifact, be it abstract or concrete. (shrink)

According to natural kind essentialism, there are certain properties essential to natural kinds. A similar view, artifact kind essentialism, is commonly held for artifactual kinds. According to artifact kind essentialism, artifactual kinds have essential properties that determine their conditions of membership. In this paper, I explore and defend the possibility of a nonessentialist alternative for artifactual kind membership.

Hunger strikes potentially present a serious challenge for attending physicians. Though rare, in certain cases, a conflict can occur between the obligations of beneficence and autonomy. On the one hand, physicians have a duty to preserve life, which entails intervening in a hunger strike before the hunger striker loses his life. On the other hand, physicians’ duty to respect autonomy implies that attending physicians have to respect hunger strikers’ decisions to refuse nutrition. International medical guidelines state that physicians should follow (...) the strikers’ unpressured advance directives. When physicians encounter an unconscious striker, in the absence of reliable advance directives, the guidelines advise physicians to make a decision on the basis of the patient’s values, previously expressed wishes, and best interests. I argue that if there are no advance directives and the striker has already lost his competence, the physician has the responsibility to resuscitate the striker. Once the striker regains his decision-making capacity, he should be asked about his decision. If he is determined to continue fasting and refuses treatment, the physician has a moral obligation to respect this decisions and follow his advance directives. (shrink)

Theodore Sider in his latest book provides a defense of the substantivity of the first-order ontological debates against recent deflationary attacks. He articulates and defends several realist theses: (a) nature has an objective structure, (b) there is an objectively privileged language to describe the structure, and (c) ontological debates are substantive. Sider’s defense of metaontological realism, (c), crucially depends on his realism about fundamental languages, (b). I argue that (b) is wrong. As a result, Sider’s metaontological realism fails to establish (...) the substantivity of certain ontological disputes. Nonetheless, I will argue denying metaontological realism does not require giving up on the realism about structure, (a), that most of us would like to preserve: namely the idea that there are objective similarities and differences in the world that we try to wrap our minds around. (shrink)

The traditional tripartite and tetrapartite analyses describe the conceptual components of propositional knowledge from a universal epistemic point of view. According to the classical analysis, since truth is a necessary condition of knowledge, it does not make sense to talk about “false knowledge” or “knowing wrongly.” There are nonetheless some natural languages in which speakers ordinarily make statements about a person’s knowing a given subject matter wrongly. In this paper, we first provide a brief analysis of “knowing wrongly” in Turkish. (...) Then, taking Allan Hazlett’s recent account of the gap between traditional analyses of knowledge and actual epistemic practices of real cognitive agents as a point of departure, we spell out a non-universalist and non-extensionalist perspective on the value of “knowing wrongly.”. (shrink)

Speakers of different languages (e.g., English vs. Turkish) show a binary split in how they package and order components of a motion event in speech and co‐speech gesture but not in silent gesture. In this study, we focused on Mandarin Chinese, a language that does not follow the binary split in its expression of motion in speech, and asked whether adult Chinese speakers would follow the language‐specific speech patterns in co‐speech but not silent gesture, thus showing a pattern akin to (...) Turkish and English adult speakers in their description of animated motion events. Our results provided evidence for this pattern, with Chinese—as well as English and Turkish—speakers following language‐specific patterns in speech and co‐speech gesture but not in silent gesture. Our results provide support for the “thinking‐for‐speaking” account, namely that language influences thought only during online, but not offline, production of speech. (shrink)

Static depiction of motion, particularly lines trailing behind a mover, has long been of interest in the psychology literature. Empirical research has demonstrated that these “motion lines” benefited motion comprehension in static images by disambiguating the direction of movement. Yet, there is no consensus on how those lines derive their meaning. In this article, we review three accounts suggesting different interpretations of what motion lines represent. While a perceptual account considers motion lines originating from motion streaks in the primary visual (...) cortex, metaphorical and lexical accounts propose them as graphical conventions that should be learned—either through resemblance to sensory experiences (e.g., natural path marks) or directly being mapped to a conceptual category of paths. To contrast these three accounts, we integrate empirical research on motion lines and their understanding. Overall, developmental, proficiency, and cross-cultural variances indicate that the understanding of motion lines is neither innate nor universal, thus providing less support for lines having a purely perceptual origin. Rather, we argue the empirical findings suggest that motion lines are not iconic depictions of visual percepts but are graphical conventions indexing conceptual path information, which need to be learned and encoded in a visual lexicon. (shrink)

A recent paper in this journal argues that some cases of schizophrenia should be seen as cases of demon possession and treated by faith healers. A reply, also published in this journal, responds by raising concerns about the intellectual credibility and potentially harmful practical implications of demon possession beliefs. My paper contributes to the discussion, arguing that a critique of demon possession beliefs in the context of schizophrenia is needed, but suggesting an alternative basis for it. It also reflects on (...) important differences between demonic and other forms of spirit possession, and considers the implications of this for mental health care providers. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

This chapter discusses the nature of software maintenance in light of software’s ontological status. A realist view of software need not commit us to the otiose position that software maintenance is impossible. Many philosophers and computer scientists have been concerned with drawing attention to software’s dual nature, its being both symbolic and physical, abstract and concrete. There are strong connections to be found between this topic and recent investigations in the philosophy of linguistics, particularly the metaphysics of words. It is (...) shown, contra Irmak, that software can be best understood through a realist type-token distinction employing an ontology of composite objects that was put forward by Katz. This approach employs both non-spatiotemporal abstract types and tokens of those types. Further developing Katz’s realist approach can help to make better sense of the dual nature of computational artefacts and their maintenance than the alternatives outlined. Young claims that a prevalent imbalanced view of maintenance as solely conservative is due to a misunderstanding of the nature of artefacts as being realisations of their producers’ intentions. This is a problem for theories of artefacts that employ intentions, such as the one involved with the realist view of software and software maintenance. Software maintenance on this view is not solely conservative but also adaptive and enhancive, constituting a source of counterexamples to Young’s claim. An alternative explanation of the imbalanced view is provided, based on observations by software engineers, especially Sommerville. (shrink)