Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...) belief in abstract objects offered by Paul Benacerraf, Colin Cheyne and Hartry Field. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract (...) away all existent entities, including the mind of the thinker, the resulting situation that we usually call “nothing would, by its very nature, be the whole amount, or entirety, of the situation. It completely defines the situation. The inherent nature of “nothing” is that it’s everything. Is there anything else besides that “nothing”? No. It is “nothing”, and this “nothing” is it, the all. A whole amount/entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in “nothing”? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow “nothing” to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the idea that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Virtually everyone who has advanced an ontology of art has accepted a constraint to the effect that claims about ontology should cohere with the sort of appreciative claims made about artworks within a mature and reflective version of critical practice. I argue that such a constraint, which I agree is appropriate, rules out a one-size-fits-all ontology of contemporary visual art (and thus of visual art in general). Mature critical practice with respect to contemporary art accords artists a significant degree of (...) stipulative authority regarding the features and boundaries of their works. This results in ontological variation among visual artworks. Any claim to the effect that all works belong to the same ontological category will thus come out false or uninformative. Interesting, substantive claims about ontological status can be made only in relation to specific works; that is, we must consider the ontological status of each contemporary artwork individually. The only general ontological claim that can be made about visual artworks (and also about artworks in other forms) is that they belong to the sort of thing that artists create. But this is not a substantive ontological claim. (shrink)

Through the reconstruction of Leibniz's theory of the degrees of knowledge, this e-book investigates and explores the intrinsic relationship of imagination with space and time. The inquiry into this relationship defines the logic of imagination that characterizes both human and non-human animals, albeit differently, making them two different species of imaginative animals. -/- Lucia Oliveri explains how the emergence of language in human animals goes hand in hand with the emergence of thought and a different form of rationality constituted by (...) logical inferences based on identity and contradiction, principles that are out of reach of the imagination. The e-book concludes that the presence of innate principles in human animals transforms the way in which they sense-perceive the world, thereby constantly increasing the distinction between human and non-human animals. -/- Keywords: human and non-human animals, Leibniz and Locke on ideas, Leibniz on bodies, Leibniz on conceivability, Leibniz on degrees of knowledge, Leibniz on degrees of perception, Leibniz on innate ideas, Leibniz on modality, Leibniz on similarity and congruence, Leibniz on space and time, Leibniz’s philosophy of language, theory of types. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

There is growing debate about what is the correct methodology for research in the ontology of artworks. In the first part of this essay, I introduce my view: I argue that semantic descriptivism is a semantic approach that has an impact on meta-ontological views and can be linked with a hermeneutic fictionalist proposal on the meta-ontology of artworks such as works of music. In the second part, I offer a synthetic presentation of the four main positive meta-ontological views that have (...) been defended in philosophical literature about artworks and of some criticisms that can be lodged against them: Amie Thomasson’s global descriptivism, Andrew Kania’s local descriptivism, Julian Dodd’s folk-theoretic modesty, and David Davies’ rational accountability view. In the conclusion, I show the advantages of my view. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

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)

Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism – a form of (...) modal epistemology – as a running example. In particular, I investigate the assumption that it is important to be able to meet the integration challenge. Meeting the integration challenge is a source of serious difficulty for many approaches, but modal empiricism is supposed to do well in this respect. But I argue that once we have a better grasp of what the integration challenge is, it is not obvious that it presents no problem for modal empiricism. Moreover, even if modal empiricism could be said to be in a relatively good position with respect to integration, it comes at the cost of a forced choice between far-reaching partial modal scepticism and non-uniformism about the epistemology of modality. Non-uniformism is the view that more than one modal epistemology will be correct. While non-uniformism might not in itself be unpalatable, it must be defined and defended in a way which squares with the modal empiricist’s other commitment. I explore two ways of doing so, both involving a revised idea of the integration challenge and its role for the epistemology of modality. One involves a bifurcation of the integration challenge, and the other a restriction of the integration challenge’s relevance. Both ways are interesting, but neither is, as it turns out, a walk in the park. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

As physical entities that translate symbols into physical actions, computers offer insights into the nature of meaning and agency. • Physical symbol systems, generically known as agents, link abstractions to material actions. The meaning of a symbol is defined as the physical actions an agent takes when the symbol is encountered. • An agent has autonomy when it has the power to select actions based on internal decision processes. Autonomy offers a partial escape from constraints imposed by direct physical influences (...) such as gravity and the transfer of momentum. Swimming upstream is an example. • Symbols are names that can designate other entities. It appears difficult to explain the use of names and symbols in terms of more primitive functionality. The ability to use names and symbols, i.e., symbol grounding, may be a fundamental cognitive building block. • The standard understanding of causality—wiggling X results in Y wiggling—applies to both physical causes (e.g., one billiard ball hitting another) and symbolic causes (e.g., a traffic light changing color). Because symbols are abstract, they cannot produce direct physical effects. For a symbol to be a cause requires that the affected entity determine its own response. This is called autonomous causality. • This analysis of meaning and autonomy offers new perspectives on free will. (shrink)

In this paper, I argue for what I call the extended existential passage hypothesis, which entails, for example, that even if reality contains nothing supernatural and if property dualism is true, then death is not the end of a person’s stream of consciousness, that is, a person’s stream of consciousness continues at the moment of death, devoid of his or her memories and personality traits, as the stream of consciousness of another person (or another being) who is conceived and gains (...) consciousness. I articulate two requirements of rational choice that follow from that hypothesis. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

On Anselmian theism, God is, amongst other things, a necessary being. On genuine modal realism, possible worlds are maximal mereological sums of spatiotemporally connected individuals. I argue in this paper that AT and GMR are either incompatible or their conjunction leads to—amongst other things—modal collapse. Specifically, I argue: regardless of whether God is concrete or abstract, His necessary existence either is inconsistent with AT-GMR or it leads to, amongst other things, modal collapse for AT-GMR. I conclude the paper by contending (...) that, if I am correct, the ATist will have an argument against the truth of GMR, and the GMRist will have an argument against the truth of AT. (shrink)

When considering mathematical realism, some scientific realists reject it, and express sympathy for the opposite view, mathematical nominalism; moreover, many justify this option by invoking the causal inertness of mathematical objects. The main aim of this note is to show that the scientific realists’ endorsement of this causal mathematical nominalism is in tension with another position some of them also accept, the doctrine of methodological naturalism. By highlighting this conflict, I intend to tip the balance in favor of a rival (...) of mathematical nominalism, the mathematical realist position supported by the ‘Indispensability Argument’ – but I do this indirectly, by showing that the road toward it is not blocked by considerations from causation. (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)

This paper starts with the presentation of an Aristotelian theory of negative properties. Against this backdrop, it then asks whether there could be objects that have solely negative properties, i.e., completely negative objects. This possibility is entertained by Wittgenstein in his Tractatus Logico-Philosophicus. The notion of a completely negative object is compared to the concepts of a nonexistent object, a nonconcrete object, and a nonactual object. Ultimately, it is argued that there can be no completely negative objects, because all negative (...) properties entail some positive properties. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

Five experiments provide evidence for a class of ‘dual character concepts.’ Dual character concepts characterize their members in terms of both (a) a set of concrete features and (b) the abstract values that these features serve to realize. As such, these concepts provide two bases for evaluating category members and two different criteria for category membership. Experiment 1 provides support for the notion that dual character concepts have two bases for evaluation. Experiments 2-4 explore the claim that dual character concepts (...) have two different criteria for category membership. The results show that when an object possesses the appropriate concrete features, but does not fulfill the appropriate abstract value, it is judged to be a category member in one sense but not in another. Finally, Experiment 5 uses the theory developed here to construct artificial dual character concepts and examines whether participants react to these artificial concepts in the same way as naturally occurring dual character concepts. The present studies serve to define the nature of dual character concepts and distinguish them from other types of concepts (e.g., natural kind concepts), which share some, but not all of the properties of dual character concepts. More broadly, these phenomena suggest a normative dimension in everyday conceptual representation. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

In a recent paper, John J. Park argues (1) that an abstract object can bring a universe into existence, and (2) that, according to the Big Bang Theory, the initial singularity is an abstract object that brought the universe into existence. According to Park, if (1) and (2) are true, then the kalam cosmological argument fails to show that the cause of the universe must be divine. I argue, however, that both (1) and (2) are false. In my argument I (...) analyse the abstract/concrete distinction and conclude that, by its nature, an abstract object is causally inefficacious in the sense that it cannot bring something into existence. (shrink)

Recent work on the problem of truth in serial fiction has focused on the semantics of certain sentences used to talk about serial fictions, as in Ross Cameron’s (2012) “How to Be a Nominalist and a Fictional Realist” and Andrew McGonigal’s (2013) “Truth, Relativism, and Serial Fiction,” or semantic properties of works themselves, as in Ben Caplan’s (2014) “Serial Fiction, Continued.” Here I argue that these proposed solutions are mistaken, and, more importantly, that the general approach to the problem is (...) mistaken: the problem of truth in serial fiction is an instance of the problem of change. Fictions can undergo change, much like you and me in certain respects. As a result, what is true in or according to them changes as well. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

Purpose – The purpose of this paper is to consider arguments both for and against intellectual property rights that are premised on each of two conceptions of the information commons that attributes either moral value or disvalue to its preservation. Design/methodology/approach – The methodology is the philosophically standard one of reflective equilibrium. The author considers the argument for a morally protected information commons that is grounded in Locke's famous proviso limiting original acquisition of material property to situations that leave enough (...) of the resource to others and Hardin's famous argument that holding material property in common leads to overuse and depletion – a Tragedy of the commons. In particular, the arguments are evaluated according to whether they cohere with ordinary foundational commitments. Findings – The author argues that neither conception of the commons is directly applicable to information objects and hence is relevant with respect to the issue of whether legal protection of IP rights is morally justified. Originality/value – The identification of key differences between material objects and information objects that shows the irrelevance of these two leading conceptions in resolving the general issue of whether legal protection of IP rights is justified. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes to people (...) who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

In this dissertation I suggest an answer to the famous question ‘why is there something rather than nothing?’ I argue that there is something because there could not have been nothing. The focus of my discussion is the empty possible world of metaphysical nihilism, and the first chapter is a rejection of the only prominent argument for that position; the subtraction argument. In the second part of my discussion I construct a positive argument against metaphysical nihilism, I assume, as is (...) common in the literature, that inconceivability provides evidence of impossibility. I establish the inconceivability of nothingness taking propositional imagining to be the core of conceivability, claiming that we have no experience of nothingness in the relevant sense and are unable to imagine it. Finally, I suggest that a distinction should be made between everyday use of the term ‘nothing’, and the sense under discussion here. The inconceivability of nothingness applies only in the latter case. Given that nothingness is inconceivable, we have prima facie reason to suppose that the empty world is impossible. I conclude that given the failure of the subtraction argument and in light of my argument against metaphysical nihilism, that position should be rejected. (shrink)

In this paper, I present a polar concept argument for the existence of abstract objects. After recalling the fundamentals concerning the debate about the existence of abstracta, I present in a detailed way the argument for the existence of abstracta. I offer two different variations of the argument: one, deductive and the other, inductive. The argument rests primarily on the fact that our universe is well-balanced. This well-balanced property results from the fact that all instantiable polar dualities are instantiated. Hence, (...) the abstract pole of the abstract/concrete duality must also be exemplified. Lastly, I review several objections that can be raised against this latter argument. (shrink)

This thesis provides an account of acquaintance with abstract objects. The notion of acquaintance is integral to theorising on reference and singular thought, since it is generally taken to be the relation that must exist between a subject and an object, in order for the subject to refer to, and entertain singular thoughts about the object. The most common way of understanding acquaintance is as a form of causal connection. However, this implies a problem. We seem to be able to (...) refer and have singular thoughts about abstract objects. But given that abstract objects are causally inert, this would mean that we are unable to become acquainted with them. This problem shall be the focus of this thesis. I first argue that these traditional causal interpretations of acquaintance are lacking. Instead, I show that acquaintance is dependent to some degree on factors internal to the subject, namely the skills that they possess. From doctors to sommeliers to mathematicians (and possibly even philosophers!) – these subjects seem to succeed in becoming acquainted with certain objects precisely in virtue of their respective skills. Thus, building off from Evans’ The Varieties of Reference, I present a novel account of acquaintance, which I term as Skill-based Acquaintance (SBA). On SBA, a subject is said to be acquainted with an object when they possess discriminating knowledge of that object, gained through the use of their capacities and skills. The SBA account is applied to virtual (Ch.3), fictional (Ch.4), and mathematical objects (Ch.5), as well as God (Ch.6). SBA is successful in explaining how subjects can indeed become acquainted with these problematic categories of objects - some of which are abstract – thus being able to refer and entertain singular thoughts about them. Overall, then, SBA is shown to have greater explanatory power than competing accounts and should thus be preferred. (shrink)

Defenders of the enhanced indispensability argument argue that the most effective route to platonism is via the explanatory role of mathematical posits in science. Various compelling cases of mathematical explanation in science have been proposed, but a satisfactory general philosophical account of such explanations is lacking. In this paper, I lay out the framework for such an account based on the notion of “the mathematical stance.” This is developed by analogy with Dennett’s well-known concept of “the intentional stance.” Roughly, adopting (...) the mathematical stance towards a particular physical phenomenon involves treating it as an abstract mathematical structure for the purposes of prediction and explanation. Interestingly, Dennett himself frequently draws analogies between his intentional stance towards beliefs and desires and scientists’ stance towards centers of gravity. I explore the theoretical role played by centers of gravity within science and discuss how an indispensabilist platonist ought to categorize the ontological status of this type of posit. I conclude with some thoughts on how an approach based on the mathematical stance might be developed into a more general philosophical account of the application of mathematics in science. (shrink)

This paper aims to present and evaluate Brentano’s account of the individuation of mental acts. In his early works, Brentano assimilated mental acts to tropes; however, he encountered difficulties in explaining their individuation, since the usual solutions for the individuation of tropes were not readily applicable to his theory of mental acts. In a later period, Brentano introduced into his psychology what he called the “soul”, and this allowed him to explain the individuation of mental acts. Finally, after his “reistic” (...) turn, he excluded mental acts from his ontology, for he rejected abstracta of any kind, including abstract particulars, and admitted only things, or res (in Latin), that is, concrete particulars; in his late philosophy, there are no “thinkings”, but only “thinkers”. However, he still needed to explain what individuates different thinkers, and this was again the soul. In the conclusion, the paper critically compares the different theoretical options considered by Brentano. (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)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near East—fingers, tallies, tokens, (...) and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)