Ontological Commitment

Metaphysicians with reductive theories of reality like to say how those theories account for ordinary usage and belief. A typical strategy is to offer theoretical sentences, often called ‘paraphrases’, to serve in place of various sentences that occur in ordinary talk. But how should we measure success in this endeavor? Those of us who undertake it usually have a vague set of theoretical desiderata in mind, but we rarely discuss them in detail. My purpose in this paper is to say (...) exactly what they are, and why. -/- Among the questions I want to address: what counts as an adequate theoretical replacement for an ordinary sentence? On whom does the burden of proof lie when it is unclear whether a theory of reality can provide a true replacement for some ordinary truism? Which ordinary truisms are most important to ‘save’ in this way, and why? What role does the theoretical virtue of simplicity play in this strategy: is the goal to offer simpler replacement sentences, or a simpler recipe for matching them with ordinary claims? Finally, how do recipes of this sort relate to the theories of natural language sought by semanticists? Answering these questions is crucial if we want to get clear on how best to evaluate reductive theories of reality that make use of the ‘paraphrase strategy’. (shrink)

Mental fictionalism holds that folk psychology should be regarded as a kind of fiction. The present version gives a Lewisian prefix semantics for mentalistic discourse, where roughly, a mentalistic sentence “p” is true iff “p” is deducible from the folk psychological fiction. An eliminativist version of the view can seem self-refuting, but this charge is neutralized. Yet a different kind of “self-effacing” emerges: Mental fictionalism appears to be a mere “parasite” on a future science of cognition, without contributing anything substantial. (...) The paper then rebuts the objection, illustrating that prefix semantics resolves a lingering problem for eliminativism from Boghossian. The problem is that eliminativists seem unable to adopt realism about neuroscience, for such realism implies that neuroscientific statements *represent* reality accurately. However, a deflationary version of prefix semantics allows the eliminativist to draw an ontologically relevant distinction (roughly) between truths that have a story-telling prefix and those that do not. (Deflationism means there is no implication that the unprefixed sentences robustly represent reality.) The overarching lesson is that eliminativists need to approach to ontology carefully so to avoid self-refutation; however, prefix semantical mental fictionalism provides the resources for them to do so. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday cognition, (...) in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

Hartry Field argues that conservative rather than true mathematical sentences facilitate deductions in nominalist (i.e., abstracta-free) science without prejudging its empirical outcomes. In this paper, I identify one branch of mathematics as nonconservative, for its indispensable role in enabling nominalist language about a fundamental scientific property, in a fictional scientific community. The fundamental property is electromagnetic reflectance, and the mathematics is Fourier analysis, which renders reflectance ascribable, and nominalist reflectance claims utterable, by this community. Using a recent characterization of conservativeness (...) by Kenneth Boyce, I argue that infinitudes can be rendered inherently mathematical and non-nominalizable in the fictional community, and that rendering infinitudes inherently mathematical for all real communities would yield a convincing counterexample to Fieldian conservativeness. (shrink)

This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the relationship between ontology, conceived as the branch of philosophy concerned with the question of what entities exist, and metaphysics, conceived as the complementary part of philosophy that seeks to explain, of those entities, what they are. Most philosophers claim that it is not possible to address the first question without at the same time addressing the second, since knowing whether an entity exists requires knowing (...) what that entity is. Prof. Whether argues against this popular position and offers a detailed analysis of the idea according to which it is possible to do ontology without engaging in metaphysics. Prof. Whether and Prof. What agree that, rather than being merely possible, in some cases it is, for methodological reasons, even preferable to start with a metaphysics-free ontology, postponing any inquiry concerning the nature of the entities included in the ontological inventory to a later stage. However, Prof. What notes that it is not always possible to do ontology without metaphysics, because there are certain kinds of entities, such as universals and possible worlds, that necessarily need a prior metaphysical characterization. (shrink)

In this review I take to task the related views of E.J. Lowe, John Heil and Peter Simons according to which relations don't exist because they're dispensable qua truth-makers. I argue that this view is methodologically unstable because we also have reason to believe that relations exist because our best mathematical and scientific theories say so, i.e. quantify over them.

Philosophers frequently draw on natural language to motivate properties, numbers, and propositions as objects, and it is generally taken for granted that abstract objects of this sort are well-reflected in natural language and in fact that reference to them in natural language is pervasive In this paper, I will review and modify in a certain way the view I had advanced in Abstract Objects and the Semantics of Natural Language (Moltmann 2013a). This is the view that natural language permits reference (...) to abstract objects only in its periphery, not in its core. Even though reference to abstract objects of the sort of properties, propositions, and numbers is available only in the periphery of language, natural language permits reference to other sorts of abstract objects in its core, in particular abstract artifacts of various sorts. (shrink)

The main goal of this paper is to work out Quine's account of explication. Quine does not provide a general account, but considers a paradigmatic example which does not fit other examples he claims to be explications. Besides working out Quine's account of explication and explaining this tension, I show how it connects to other notions such as paraphrase and ontological commitment. Furthermore, I relate Quinean explication to Carnap's conception and argue that Quinean explication is much narrower because its main (...) purpose is to be a criterion of theory choice. (shrink)

This paper delves into Jody Azzouni's ideas on the ontology of fictional characters. Azzouni interestingly maintains that even though fictional characters like Hermione Granger, Sherlock Holmes, and Mickey Mouse do not exist in reality, assertions about them can still be true. However, Azzouni dismisses the necessity of these characters to be ontologically real to validate the truth of sentences concerning them. Instead, Azzouni proposes that truth in speech and thought corresponds with the world, but not necessarily by attributing properties and (...) relations to tangible things in it. This stance opposes the conventional philosophical notion that every true statement must directly represent an aspect of reality. This paper scrutinizes Azzouni’s argument and appreciates his attempt to dissociate ontology from the truth in fictional discourse. Nonetheless, it also recognizes certain gaps in this perspective. The paper endeavors to refine and extend Azzouni's approach by introducing the concept of 'metaphysical explanation', which explains the truth of statements about fictional characters by correlating them to relevant acts of fiction, rather than positing the reality of fictional entities. This extension preserves the essence of Azzouni’s view while addressing its limitations, thus paving the way for a more comprehensive understanding of how we can talk truly about fictional characters without holding that such entities are real in any sense. (shrink)

In a recent paper in this journal, Jonathan Barker argues against the claim that grounded entities are ontologically innocent. In this paper I defend the ontological innocence of grounded entities against Barker's argument. I tease out an assumption that is crucial for the success of Barker's argument and I show that the defender of ontological innocence can deny this assumption in a motivated way.

A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts of natural number. And it gives a (...) critical examination of Frege’s views of numbers and plural constructions, and sketches the view of plural constructions as devices for talking about the many (as such), and an account of natural numbers as properties of a special kind, plural properties. (shrink)

The question of ontological commitment in Plato’s Hippias Major has been important in disputes over the dialogue’s place in the corpus, its meaning, and its authenticity. But this question seems to have been settled—the Hippias Major is not committed to the ‘forms.’ Such an ontological conclusion has been vigorously defended, but its defenses rest on a problematic meta-ontological framework. This paper suggests a more adequate framework and brings more evidence to the evaluation of the question of ontological commitment in the (...) Hippias Major. It concludes that the dialogue is indeed committed to some kind of form. (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)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

In this review, I specify the metametaphysical background against which Alastair Wilson’s “_The Nature of Contingency_” (Oxford University Press, 2020) should be properly understood. Metaphysics, as a philosophical discipline, is standing on thin ice. The caricature of the situation is polarized, and is often presented as follows: metaphysics is either entirely extracted from science or it is entirely independent of science. There is a recent trend that focuses on the middle ground between these extremes, searching the philosophical literature for metaphysical (...) theories that can fill the gap, i.e., leaving metaphysics as a free discipline to produce spoils for the eventual needs of philosophers of science. We can appreciate it better with the following distinction between the tasks of ontology and metaphysics, as complementary disciplines. If, on the one hand, we understand ontology as dealing with what exists, we can somehow extract the entities that are existentially postulated by scientific theories. Metaphysics, on the other hand, would be located as an extra layer, in charge of investigating questions about the nature of the entities obtained in this “naturalized ontology”. As a tailor, Wilson adjusts a metaphysical theory in order to perfectly dress the physical and ontological nuances of Everettian quantum mechanics, thus creating a metaphysical theory that gives us intelligibility, with the concept of modality, in two areas: in quantum mechanics, and analytic metaphysics. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

This paper discusses two interrelated questions about ontological commitment in the thought of Gregory of Rimini (d. 1358), questions having to do with both hylomorphic composites of matter and substantial form, and with complexe significabilia that typically obtain in cases of substance–accident composition. The first question is that of the existence of real relations: neither hylomorphic composites nor complexe significabilia require real relations tying their various co-located components together. The second is that of the reducibility of such wholes to the (...) sum of their parts: neither hylomorphic composites nor complexe significabilia are anything other than their co-located parts. And all such items can be disunited merely by a divine volition, requiring nothing extramental added to the ontology, and no change in position. (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)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

Analytic Philosophy, EarlyView. The method of paraphrasing away apparent ontological commitments is a familiar tool for trimming one's ontology. Even so, I argue that aiming to avoid commitment via paraphrase is unjustified. The reason is the standard motivations for paraphrase rest on implicit yet faulty principles regarding ontological categories and categorization- or so I argue. These results also provide indirect support for a permissivist approach to ontology.

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for determining this (...) criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

Quine says that ontology is about what there is, suggesting that to be ontologically committed to Fs is to be committed to accepting a sentence which existentially quantifies over Fs. Kit Fine argues that this gets the logical form of some ontological theses wrong. Fine is right that some ontological theses cannot be rendered simply as ‘There are Fs’. But the root of the problem has yet to be recognized, either by Fine or by his critics. Sometimes to adopt an (...) ontological thesis is not merely to commit yourself to there being at least one F; it is to take a stand on which Fs there are. Once we recognize the ‘particularity’ of these ontological theses, we can adequately express them within the confines of a Quinean approach to ontology and ontological commitment. (shrink)

The standard event-causal theory of action says that an intentional action is caused in the right way by the right mental states. This view requires reductionism about agency. The causal role of the agent must be nothing over and above the causal contribution of the relevant mental event-causal processes. But commonsense finds this reductive solution to the “agent-mind problem”, the problem of explaining the relationship between agents and the mind, incredible. Where did the agent go? This paper suggests that this (...) challenge against event-causal reductionism is importantly related to debates about fundamentality. It also suggests that extant event-causal answers to the agent-mind problem, ones that suggest that part of an agent’s mind can stand proxy for the agent herself, fail against the challenge. It sketches an alternative reductive view that appeals to entity grounding. This view resolves the commonsense challenge and promises to be theoretically fruitful with respect to other longstanding problems with the event-casual view. The paper concludes with a burden-shifting argument against emergentist agent-causal theories and non-reductive event-causal theories of agency. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

Recent contributions to the philosophy of the social sciences have motivated ontological commitments using appeals to the social sciences (_naturalized_ social ontologies). These arguments rely on social scientific realism about the social sciences, the view that our social scientific theories are approximately true. I apply a distinction formulated in metaontology between ontologically loaded and unloaded meanings of existential quantification to argue that there is a pragmatic approach to naturalized social ontology that is minimally realist (it treats existence claims as true (...) or false) but that is ontologically austere. I argue that the extant arguments may be construed in terms of this pragmatic approach. The result is an approach to social ontology that is deflationist about naturalized social ontology. (shrink)

The Cartesian thinking self may seem indisputably real. But if it is real, then so thinking, which would undercut mental fictionalism. Thus, in defense of mental fictionalism, this paper argues for fictionalism about the thinking self. In short form, the argument is: (1) If I exist outside of fiction, then I am identical to (some part of/) this biomass [= my body]. (2) If I die at t, I cease to exist at t. (3) If I die at t, no (...) part of this biomass ceases to exist at t. (4) Therefore, no part of this biomass is identical to me. [From (2), (3)] (5) Therefore, I do not exist outside of fiction. [From (4), (1)] One reply to the argument is that the self is an aggregate of electricity in the brain which disperses upon death. The rejoinder is that this, at best, describes the thoughts realized in the brain, and not the subject who thinks the thoughts. A second objection stresses the undeniable sense that the thinking self has a location. In reply, the extended thought-experiment from Dennett’s “Where Am I?” is used to show that the sense of self-location may well be illusory. (shrink)

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (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)

According to the Ontological Innocence Thesis (OIT), grounded entities are ontologically innocent relative to their full grounds. I argue that OIT entails a contradiction, and therefore must be discarded. My argument turns on the notion of “groundmates,” two or more numerically distinct entities that share at least one of their full grounds. I argue that, if OIT is true, then it is both the case that there are groundmates and that there are no groundmates. Therefore, so I conclude, OIT is (...) false. Moreover, once we have seen why OIT is false, only three heterodox views about reality's structure remain. So this paper’s second conclusion is that, even after we have discarded OIT, we are in for an additional surprise. (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.

Some metaphysicians believe that existence debates are easily resolved by trivial inferences from Moorean premises. This paper considers how the introduction of negative Moorean facts—negative existentials that command Moorean certainty—complicates this picture. In particular, it shows how such facts, when combined with certain plausible metaontological principles, generate a puzzle that commits the proponents of this method to a contradiction.

In this essay, we try to address a fundamental issue in the philosophy of science, namely the conflict between realism and antirealism in Quine's philosophy. There seems to be an inner tension in his views on the question of the reality of unobservable entities or reference of theoretical terms. In order to refute his seemingly inconsistent position, we first begin with the concept of ontological commitment, which he formulated in contrast to the position of his teacher, Carnap. In the following, (...) by expressing the thesis of "the inscrutability of reference" and "naturalized epistemology", we show that there seems to be a conflict between Quine's views. In the end, even with the acceptance of non-conflict, Quine's defense of realism is still not immune to criticism. (shrink)

Aiming to bridge the gap between analytical and continental philosophy, this peer-reviewed series presents innovative, cutting-edge contributions in contemporary philosophical inquiry, written in English or German. The series is a useful introduction to a variety of topics, aimed at readers interested in the concepts, methods, and historical developments of philosophy.

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is, we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The (...) first two cases failed in doing so due to different kinds of underdetermination. In the third case, unlike underdetermination, where there are many choices to be made, a “null-determination” is proposed where there may be no metaphysical choices in the available metaphysical literature. Considering what has been discussed, an agnostic philosophic position is adopted concerning the possibility of interpreting QM from a scientific-realistic point of view. (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

Ockham’s Razor advises us to not multiply entities without necessity. Recently, Jonathan Schaffer and Karen Bennett have argued that we ought to replace Ockham’s Razor with the Laser, the principle that only advises us to not multiply fundamental entities without necessity. In this paper, I argue that Ockham’s Razor is preferable to the Laser. I begin by contending that the arguments offered for the Laser by Schaffer and Bennett are unpersuasive. Then I offer two cases of theory assessment that I (...) believe the Razor handles better than the Laser. Finally, I argue that accepting the Laser gives rise to a difficult explanatory challenge: It is difficult to explain why fundamental entities and non-fundamental entities ought to be treated differently in ontological parsimony assessments. A recurring secondary theme of the paper is that the most tempting ways of responding to my arguments frequently result in the Laser losing much of its significance for debates about ontology. Thus, not only is it difficult to defend a preference for the Laser over the Razor, but it is especially difficult to do so while maintaining the Laser’s dialectical significance. (shrink)

The aim of this thesis is to propose a deflationary approach towards the ontological analysis of physical theories. Such an approach sustains that the development of ontologies for physical theories must be neutral relatively to the debate between realists and anti-realists in philosophy of physics. Mainly, our attention will be oriented towards what we called "quantum domain", which includes the non-relativistic Quantum Mechanics and variants of the Quantum Field Theory. This meta-ontological approach consists in an attempt to provide a methodology (...) for the development of specific ontologies for physical theories. With this aim we suggest the separation between physical phenomena and physical theories on one side, and physical theories and ontologies on the other side. This separation intends to endorse the idea that physical theories can provide all the informative contents required for the development of the ontologies associated with them. The result is a defense of the idea that physical theories can positively contribute for the constitution of the ontologies in physics. Additionally, we present a critical analysis of four different ontological approaches to QM and QFT. Each one of these interpretations deals with a different ontological category (tropes, events and processes). At the end of the thesis we will analyze the concepts of interaction and commutation in QFT in order to exemplify the main lines of the deflationary approach suggested here. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text we (...) assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in (...) my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

How ontologically committal is common sense? Is the common-sense philosopher beholden to a florid ontology in which all manner of objects, substances, and processes exist and are as they appear to be to common sense, or can she remain neutral on questions about the existence and nature of many things because common sense is largely non-committal? This chapter explores and tentatively evaluates three different approaches to answering these questions. The first applies standard accounts of ontological commitment to common-sense claims. This (...) leads to the surprising and counter-intuitive result that common sense has metaphysically heavyweight commitments. The second approach emphasizes the superficiality and locality of common-sense claims. On this approach, however, common sense comes out as almost entirely non-committal. The third approach questions the seriousness of ontological commitment as such. If ontological commitment is cheap, it becomes possible both to accept the commitments of common sense at face value and to avoid the counter-intuitive consequences of heavyweight metaphysical commitments. (shrink)

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)