Jody Azzouni argues that whilst it is indeterminate what the criteria for existence are, there is a criterion that has been collectively adopted to use ‘exist’ that we can employ to argue for positions in ontology. I raise and defend a novel objection to Azzouni: his view has the counterintuitive consequence that the facts regarding what exists can and will change when users of the word ‘exist’ change what criteria they associate with its usage. Considering three responses, I argue Azzouni (...) has best reason to take one that ultimately renders unsuccessful his arguments against mathematical abstracta. (shrink)

The question as to whether there are mathematical explanations of physical phenomena has recently received a great deal of attention in the literature. The answer is potentially relevant for the ontology of mathematics; if affirmative, it would support a new version of the indispensability argument for mathematical realism. In this article, I first review critically a few examples of such explanations and advance a general analysis of the desiderata to be satisfied by them. Second, in an attempt to strengthen the (...) realist position, I propose a new type of example, drawing on probabilistic considerations. 1 Introduction2 Mathematical Explanations2.1 ‘Simplicity’3 An Average Story: The Banana Game3.1 Some clarifications3.2 Hopes and troubles for the nominalist3.3 New hopes?3.4 New troubles4 Conclusion. (shrink)

An extensive exploration of the special properties of ‘exist’ is here undertaken. Two of several results are: Denying that `exist’ has associated with it a set of necessary and sufficient conditions has seemed to a number of philosophers to imply metaphysical nihilism . This is because it has seemed that without such conditions the target domain of `existence’ is arbitrarily open. I show this is wrong. Second, my analysis sheds light on the puzzling question of what we are asking when (...) we ask of something, `Does it exist?’ and mean that question in an ontically relevant way. (shrink)

Philosophers are very fond of making non-factualist claims—claims to the effect that there is no fact of the matter as to whether something is the case. But can these claims be coherently stated in the context of classical logic? Some care is needed here, we argue, otherwise one ends up denying a tautology or embracing a contradiction. In the end, we think there are only two strategies available to someone who wants to be a non-factualist about something, and remain within (...) the province of classical logic. But one of these strategies is rather controversial, and the other requires substantially more work than is often supposed. Being a non-factualist is no easy business, and it may not be the most philosophically perspicuous way to go. (shrink)

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to be committed to, whereas descriptive commitments reflect what a person actually is committed to. While the normative/descriptive distinction is widely accepted as a way of talking about ethical commitments, philosophers have missed this distinction in discussing ontological commitments. In this paper, I distinguish between descriptive ontological commitments and normative ontological commitments and discuss several significant benefits of recognizing (...) this distinction. I argue that just as the normative/descriptive distinction is important for fruitful ethical discourse, so too is it important for fruitful discourse concerning our ontological commitments. And, it constitutes a significant step towards resolving some prominent debates concerning our ontological commitments. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

I propose a way of thinking about content, and a related way of thinking about ontological commitment.

Quinean Ontological Naturalism addresses the question “What is there?” Advocates of the view maintain that we can answer this question by applying Quine’s criterion of ontological commitment to our best scientific theories. In this paper, I discuss two major objections that are commonly offered to this view, what I call the “Paraphrase Objection” and “First Philosophy Objection”. I argue that these objections arise from a common uncharitable characterization of the Quinean Ontological Naturalist’s project that fails to distinguish two distinct roles (...) for Quine’s Criterion, a descriptive role and a normative role. The objections target the descriptive role, but only the normative role is important to Quinean Ontological Naturalism. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

I identify a set of interlocking views that became (and still are) very influential within philosophy in the wake of Newton’s success. These views use the authority of natural philosophy/mechanics to settle debates within philosophy. I label these “Newton’s Challenge.”.

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical (...) entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

One of the innovative approaches in contemporary philosophical ontology consists in the assumption of a plurality of ontologies based on different metaphysical presuppositions. Such presuppositions involve, among others, the identification of relevant properties for the objects of our domain as a guiding principle in uncovering what it is to be considered intrinsic and what could be the mere effect of selection preferences based on objective or subjective criteria. A remarkable example of the application of a background metaphysical theory in astrophysics (...) is the problem of selection biases in detecting cosmological objects, such as supernovae, galaxies and gamma-ray bursts. We will show that it is valuable to be aware of the importance of uncovering this type of background theory to better understand selection effects and to promote a novel approach in scientific research. (shrink)

I dub a certain central tradition in philosophy of language (and mind) the de re tradition. Compelling thought experiments show that in certain common cases the truth conditions for thoughts and public-language expressions categorically turn on external objects referred to, rather than on linguistic meanings and/or belief assumptions. However, de re phenomena in language and thought occur even when the objects in question don't exist. Call these empty de re phenomena. Empty de re thought with respect to numeration is explored (...) in this paper, and such thought with respect to hallucinations is touched on. (shrink)

That certain paper bills have monetary value, that Vladimir Putin is the president of Russia, and that Prince Philip is the husband of Queen Elizabeth II: such facts are commonly called ‘institutional facts’. IFF are, by definition, facts that exist by virtue of collective recognition. The standard view or tacit belief is that such facts really exist. In this paper we argue, however, that they really do not—they really are just well-established illusions. We confront realism about IFF with six criteria (...) of existence, three established and three less so but highly intuitive. We argue that they all tell against the existence of IFF. An obvious objection to IFF non-realism is that since people’s behaviour clearly reflects the existence of IFF, denying their existence leaves an explanatory gap. We reject this argument by introducing a variant of the so-called ‘Thomas Theorem,’ which says that when people collectively recognize a fact as existing, they largely behave accordingly, regardless of whether that fact really exists or not. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical (...) entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to other extant (...) metametaphysical positions. (shrink)

Theodore Sider has argued that while there are some philosophical debates about which there is no fact of the matter, debates in normative ethics are likely not among them. This essay investigates a possible counterexample: the debate about so-called dirty hands. The essay first surveys several cases where No-Fact-of-the-Matter (NFM) claims have been made. Taking its cue from these cases, it then outlines two strategies that factualists about some domain can take, as well as two non-factualist counter strategies. Next, it (...) shows how an NFM claim can be defended for the debate about dirty hands. Finally, it argues that this NFM claim is at least as, if not more, plausible for normative ethics as it is for the other instances where NFM claims have been made. (shrink)

According to Jody Azzouni’s “deflationary nominalism,” the singular terms of mathematical language applied or unapplied to science refer to nothing at all. What does exist, Azzouni claims, must satisfy the quaternary condition he calls “thick epistemic access” (TEA). In this paper I argue that TEA surreptitiously reifies some mathematical entities. The mathematical entity that I take TEA to reify is the Fourier harmonic, an infinite-duration monochromatic sinusoid applied throughout engineering and physics. I defend the reality of the harmonic, in Azzouni’s (...) account, not by satisfying all four TEA conditions with respect to it, but by showing that the harmonic renders satisfiable the TEA condition called “grounding,” specifically in Azzouni’s (Talking about nothing: numbers, hallucinations, and fictions. New York: Oxford University Press, 2010) example of a human visually perceiving a vase. The harmonic thereby plays what Azzouni calls an “epistemic role,” and merits inclusion in the deflationary nominalist ontology. Against the “coding” objection of Azzouni and Bueno (Br J Philos Sci 67:781–816, 2016), which would nominalize the harmonic to nonexistent status, I reply that in the context of grounding, the coding objection begs the question. (shrink)

We consider the claim by Dorato and Morganti 591–610) that primitive individuality should be attributed to the entities dealt with by non-relativistic quantum mechanics. There are two central ingredients in the proposal: in the case of non-relativistic quantum mechanics, individuality should be taken as a primitive notion and primitive individuality is naturalistically acceptable. We argue that, strictly understood, naturalism faces difficulties in helping to provide a theory with a unique principle of individuation. We also hold that even when taken in (...) a loose sense, naturalism does not provide any sense in which one could hold that quantum mechanics endorses primitive individuality over non-individuality. Rather, we argue that non-individuality should be preferred based on the grounds that such a view fits better the claims of the theory. (shrink)

According to the familiar Quinean understanding of ontological commitment, (1) one undertakes ontological commitments only via theoretical regimentations, and (2) ontological commitments are to be identified with the domain of a theory’s quantifiers. Jody Azzouni accepts (1), but rejects (2). Azzouni accepts (1) because he believes that no vernacular expression carries ontological commitments. He rejects (2) by locating a theory’s commitments with the extension of an existence predicate. I argue that Azzouni’s two theses undermine each other. If ontological commitments follow (...) from predications of existence, then ontological commitments can be expressed in the vernacular via negative existential sentences. (shrink)

In this paper, 1 examine the role of the delta function in Dirac’s formulation of quantum mechanics (QM), and I discuss, more generally, the role of mathematics in theory construction. It has been argued that mathematical theories play an indispensable role in physics, particularly in QM [Colyvan, M. (2001). The inrlispensability of mathematics. Oxford University Press: Oxford]. As I argue here, at least in the case of the delta function, Dirac was very clear about its rlispensability. I first discuss the (...) significance of the delta function in Dirac’s work, and explore the strategy that he devised to overcome its use. l then argue that even if mathematical theories turned out to be indispensable, this wouidn’t justify the commitment to the existence of mathematical entities. In fact, even in successful uses of mathematics, such as in Dirac’s discovery of antimatter, there’s no need to believe in the existence of the corresponding mathematical entities. An interesting picture about the application of mathematics emerges from a careful examination of Dirac’s work. (shrink)

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an (...) essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable. (shrink)

Yet, he also says that it is philosophically indeterminate which criterion for what exists is correct. Nominalism is the view that certain objects ( i.e ., abstract objects) do not exist, and not the view that it is philosophically indeterminate whether or not they do. I resolve the dilemma that Azzouni's claims pose: Azzouni is a non-factualist about what exists, but he is a factualist about which criterion for what exists our community of speakers has adopted. It is in the (...) latter sense only that Azzouni can call himself a nominalist. My thanks to Jody Azzouni and to an anonymous referee for helpful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

This paper argues that, contrary to the views of Nancy Cartwright and Brian Ellis, explanations are factive: if a statement is taken to be an explanation, it also has to be accepted as true. Taking explanations to be true, in turn, seems to imply that all the entities posited in explanations are real. But this is precisely what some philosophers, such as Cartwright and Ellis, want to deny. What these philosophers do not want to deny, however, is that such statements (...) do explain. As a result, they see themselves forced to reject the facticity of explanation, a strategy that is unacceptable in my view. In order to avoid the further conclusion that all of the entities explanations posit exist, I propose to separate truth from ontology: explanations can be true, but the truth of these explanations alone does not commit us to the entities that these explanations posit. To determine where the ontological commitments of our statements lie, we must instead start with a criterion (a necessary and sufficient condition) for what exists. For instance, if all and only entities with causal powers are real, then this tells us that the only entities our true statements are committed to are entities with causal powers. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on commitment to (...) individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

In a well-functioning democracy, must citizens regard one another as political equals, despite ongoing disagreements about normatively significant questions of public policy. A conception of civility is needed to supply citizens with a common sense of the rules of political engagement. By adhering to the norms of civility, deeply divided citizens can still assure one another of their investment in democratic politics. Noting well-established difficulties with the very idea of civility, this essay raises a more fundamental problem. Any conception of (...) civility faces the problem of semantic descent, the phenomenon by which second-order norms devolve into tools for conducting first-order disputes. The problem of incivility in politics thus is not simply that of designing a suitably inclusive view of what civility demands. It might be that political civility can be cultivated only by way of interactions that are themselves not at all political. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Ontological naturalism is the view that our best construal of what there is, is what science says there is. This paper argues that while such a doctrine is very appealing, unfortunately, determining what there is, is neither as simple, nor as straightforward, as ontological naturalism would have it seem. Determining what there is, it is claimed, involves three steps. First, one must decide which part of scientific discourse should be taken as true. One must then regiment that part of scientific (...) discourse, and finally, one has to apply a criterion for ontological commitment to that regimented discourse. This paper will concentrate on the first and third of these tasks. It is argued that resolving the tasks these steps put before us requires the employment of philosophical maneuvers, that is, maneuvers that neither originate within, nor are ratified by, the practice of science. But these are maneuvers that the ontological naturalist is not entitled to. Thus, ontological naturalism is not a feasible doctrine. (shrink)