Metaphysics of Specific Domains

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)

Under review at Canadian Journal of Philosophy. This paper does five things: (1) It provides an analysis of meta-ethical Non-Realist Cognitivism. (2) It assesses two arguments in favour of the view which have been largely overlooked in analyses so far. (3) It argues that different proponents of the view offer crucially different strategies for vindicating moral objectivity without the metaphysical commitments of traditional non-naturalism. (4) Contrary to other commentators, it argues for the no-truthmaker interpretation of Parfit’s view. (5) It argues (...) that each version of Non-Realist Cognitivism is unlikely to be able to do the explanatory work that seemed to call for an ontologically committal non-naturalism. (shrink)

This chapter investigates whether signs and their action, semiosis, are real. It critically surveys three arguments. The first argument consists in holding that semiosis must be real, because denying the reality of signs is self-defeating. This self-confirming status seems to imply that semiosis is the very means by which we partition the mind-independent and mind-dependent. One would then need to clarify this ontological neutrality or priority. The second argument consists in identifying an instance of sign-action that is mind-independent. Instead of (...) searching for abiotic semiosis, a more parsimonious approach is to ask whether we want reality to be what exists apart from minds in general or apart from human minds specifically. If we adopt the latter view, and if the action of signs can be shown to take place in the non-human realm, this would show that semiosis does not depend on us. One would then need to explain how humans can interpret all this while putting themselves out of the equation, so to speak. The third argument consists in saying that, despite its initial plausibility, the mind-dependent and mind-independent division is not clear-cut. This is because some conventional patterns can be informationally compressed in ways that are practically indistinguishable from genuinely mind-independent patterns. One would then need to clarify how the mind-dependent/mind-independent divide can admit of such hybrid cases. (shrink)

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true if they cohere and (...) those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

This paper critically examines two arguments against the generic multiverse, both of which are due to W. Hugh Woodin. Versions of the first argument have appeared a number of times in print, while the second argument is relatively novel. We shall investigate these arguments through the lens of two different attitudes one may take toward the methodology and metaphysics of set theory; and we shall observe that the impact of these arguments depends significantly on which of these attitudes is upheld. (...) Our examination of the second argument involves the development of a new model for Steel’s multiverse theory, which is delivered in the Appendix. (shrink)

According to Wrights minimalism, a notion of truth neutral with respect to realism and antirealism can be built out of the notion of warranted assertibility and a set of a priori platitudes among which the Equivalence Schema has a prominent role. Wright believes that the debate about realism and antirealism will be properly and fruitfully developed if both parties accept the conceptual framework of minimalism. In this paper, I show that this conceptual framework commits the minimalist to the realist thesis (...) that there are mind-independent propositions; with the consequence that minimalism is not neutral to realism and antirealism. I suggest that Wright could avert this conclusion if he rejected the customary interpretation of the Equivalence Schema according to which this Schema applies to propositions. This would however render minimalism unpalatable to philosophers who welcome the traditional reading of the Equivalence Schema and believe that propositions are bearers of truth. (shrink)

The problem of evil is a perennial issue in metaphysics, philosophy of religion and theology. In Yorùbá thought, it has been approached, appraised, and conceptualised by scholars from different perspectives, usually in the form of thesis and antithesis. For instance, Ẹ̀bùn Odùwọlé and Kazeem Fáyẹmí disagree on whether or not the problem arises in Yorùbá thought and on its nature or formulation, if it does. Relying on the Western logical formulation of the problem, Odùwọlé maintains that the problem of evil (...) arises in Yorùbá thought exactly like it does in Western thought; hence, for her, the problem of evil is universal. Against this view, Fáyẹmí contends that the philosophical problem of evil does not arise at all in Yorùbá thought; hence, the problem, according to him, is not universal. Employing the methods of critical exposition and analysis, however, I maintain a position different from those of the two scholars mentioned. I contend, on the one hand, that the existence of the philosophical problem of evil in Yorùbá thought does not necessarily imply the logical formulation of the problem as we have in the West. On the other hand, however, I maintain that the absence of the logical formulation of the problem of evil in Yorùbá thought does not directly imply the absence of the philosophical problem of evil in it. I therefore approach the interpretation of the philosophical problem of evil in Yorùbá thought from an existentialist perspective, drawing insights from some relevant verses of Ifá. -/- . (shrink)

In this chapter, Dorothy Walsh argues that any ethical theory requires an underlying speculative metaphysics.

‘Shallow’ and ‘deep’ versions of scientific realism may be distinguished as follows: the shallow realist is satisfied with belief in the existence of the posits of our best scientific theories; by contrast, deep realists claim that realism can be legitimate only if such entities are described in metaphysical terms. We argue that this methodological discussion can be fruitfully applied in Everettian quantum mechanics, specifically on the debate concerning the existence of worlds and the recent dispute between Everettian actualism and quantum (...) modal realism. After presenting what is involved in such dispute, we point to a dilemma for realists: either we don’t have the available metaphysical tools to answer the deep realist’s demands, and realism is not justified in this case, or such demands of metaphysical dressing are not mandatory for scientific realism, and deep versions of realism are not really required. (shrink)

Theorists have recently defended rival analyses of sound. The leading analyses reduce sound to sensations or mental representations, longitudinal compression waves, or sounding objects or events. Participants in the debate presuppose that because the features of the world targeted by these reductive strategies are distinct, at most one of the analyses is correct. In this article I argue that this presupposition is mistaken, endorsing a polysemy analysis of ‘sound’. Thus the ‘What is sound?’ debate is largely merely verbal, or so (...) I argue. All participants in this debate agree that there are the various reductions, they simply differ over which of them ‘is sound’. Yet there is no reason to think that, say, psychologists studying auditory sensations/representations, audio physicists studying sound waves, and anthropologists/ethnomusicologists studying sounding objects/events aren’t just studying different reductions of ‘sound’ despite the different explananda of their research. According to the polysemy theory of sound, we do not need to uniquely identify sound with one of these various explananda, outside of some context. (shrink)

Do we suddenly become justified in treating robots like humans by positing new notions like “artificial moral agency” and “artificial moral responsibility”? I answer no. Or, to be more precise, I argue that such notions may become philosophically acceptable only after crucial metaphysical issues have been addressed. My main claim, in sum, is that “artificial moral responsibility” betokens moral responsibility to the same degree that a “fake orgasm” betokens an orgasm.

Cities are mysteriously attractive. The more we get used to being citizens of the world, the more we feel the need to identify ourselves with a city. Moreover, this need seems in no way distressed by the fact that the urban landscape around us changes continuously: new buildings rise, new restaurants open, new stores, new parks, new infrastructures… Cities seem to vindicate Heraclitus’s dictum: you cannot step twice into the same river; you cannot walk twice through the same city. But, (...) as with the river, we want and need to say that it is the same city we are walking through every day. It is always different, but numerically self-identical. How is that possible? What sort of mysterious thing is a city? The answer, I submit, is that cities aren’t things. They are processes. Like rivers, cities unfold in time just as they extend in space, by having different temporal parts for each time at which they exist. And walking though one part and then again through another is, literally, walking through the same whole. (shrink)

The view that social kinds (e.g., money, migrant, marriage) are mind-dependent is a prominent one in the social ontology literature. However, in addition to the claim that social kinds are mind-dependent, it is often asserted that social kinds are not real because they are mind-dependent. Call this view social kind anti-realism. To defend their view, social kind anti-realists must accomplish two tasks. First, they must identify a dependence relation that obtains between social kinds and our mental states. Call this the (...) Dependence Task. Second, they must show that social kinds are not real because they are mind-dependent. Call this the Anti-Realist Task. In this paper, I consider several different ways of defining the relation that is supposed to obtain between social kinds and our mental states. With respect to each relation, I argue that either it fails to accomplish the Dependence Task, or it fails to accomplish the Anti-Realist Task. As such, anyone who wishes to defend social kind anti-realism must provide an alternative explanation of how social kinds depend on our mental states in a way that impugns their reality. In the absence of such an explanation, there is no reason to endorse social kind anti-realism. (shrink)

From the very beginning of ancient Greek philosophy up to the present day a puzzling correlation is found between rationality and reality. In this study this relation is examined with emphasis on the philosophical tradition of Aristotle and Aquinas. A comparison is made with the virtual reality created by computers and actual reality of our universe. The view expressed in the scientific neopositivism of Jordan and Mach is found to be an adequate approach to avoid contradictions in the interpretation of (...) modern physics. A challenging hypothesis is made by updating the Laplacian Demon by a powerful creative intellect in line with Judeo-Christian tradition. With this hypothesis a new light is shed on several fundamental issues in modern science. (shrink)

Roy Sorensen has discussed a scenario he calls 'the Disappearing Act', introduced a puzzle based on this scenario, and offered a solution to this puzzle. We argue against Sorensen's solution and offer our own.

In this paper I examine the role of dispositional properties in the most frequently discussed interpretations of non-relativistic quantum mechanics. After offering some motivation for this project, I briefly characterize the distinction between non-dispositional and dispositional properties in the context of quantum mechanics by suggesting a necessary condition for dispositionality – namely contextuality – and, consequently, a sufficient condition for non-dispositionality, namely non-contextuality. Having made sure that the distinction is conceptually sound, I then analyze the plausibility of the widespread, monistic (...) ontological thesis about the reducibility of dispositional properties to categorical properties in the context of the philosophy of quantum mechanics. I conclude that with the exception of Bohmian mechanics, the other “minimally realist” views of quantum mechanics require essential dispositions, i.e., dispositions of a non-reducible kind. Interestingly, seen behind the lenses of dispositionalism, Bohr’s and Bohm’s interpretations of quantum mechanics are much closer than it is usually recognized, a fact that could teach us something about the way the quantum world is. (shrink)