Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

A basic way of evaluating metaphysical theories is to ask whether they give satisfying answers to the questions they set out to resolve. I propose an account of “third-order” virtue that tells us what it takes for certain kinds of metaphysical theories to do so. We should think of these theories as recipes. I identify three good-making features of recipes and show that they translate to third-order theoretical virtues. I apply the view to two theories—mereological universalism and plenitudinous platonism—and draw (...) out their third-order virtues and vices. One lesson is that there is an important difference between essentially and non-essentially third-order vicious theories. I also argue that if a theory is essentially third-order vicious, it cannot be assessed for more standard “second-order” theoretical virtues and vices, like parsimony. This motivates the idea that third-order virtues are distinct from second-order ones. Finally, I suggest that the relationship between truth, progress, and third-order virtue is more complex than it seems. (shrink)

Abstract:Skepticism about grounding is the view that ground-theoretic concepts shouldn’t be used in meta­physical theorizing. Possible reasons for adopting this attitude are numerous: perhaps grounding is unintelligible; or perhaps it’s never instantiated; or perhaps it’s just too heterogeneous to be theor­­­­­etically useful. Unfortunately, as currently pursued the debate between grounding enthusiasts and skeptics is insufficiently structured. This paper’s purpose is to impose a measure of conceptual rigor on the debate by offering an opinionated taxonomy of views with a reasonable claim (...) to being “skeptical.” I argue that carving up logical space into pro- and anti-grounding views isn’t especially helpful; rather, we should recognize various degrees of ground-theoretic involvement depending on how inflationary our understanding of the theoretical term ‘ground’ is. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and temporal ontology.

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

A belief is valuable when it “gets it right”. This “getting it right” is often understood solely as a matter of truth. But there is a second sense of “getting it right” worth exploring. According to this second sense, a belief “gets it right” when its concepts accurately match the way the world is objectively organized – that is, when its concepts are joint-carving, or have fidelity. In this paper, I explore the relationship between fidelity and epistemic value. While many (...) philosophers (especially metaphysicians) acknowledge fidelity's value, they overlook just how much it might disrupt our understanding of epistemic value. To tease out this disruption, I draw on the Jamesian balance between seeking the truth and avoiding the false. A similar balance must be struck both within the pursuit of fidelity itself (“seeking the joints” and “avoiding the gruesome”) as well as between the pursuit of fidelity and the pursuit of truth. I then give an argument against the claim that truth is the higher epistemic good. (shrink)

Many metaphysicians utilize the virtue‐driven methodology. According to this methodology, one theory is more worthy of endorsement than another insofar as it is more virtuous. In this paper, I show how a theory's overall virtue is shaped by its ideological parsimony – parsimony with respect to the terminology employed in stating the theory. I distinguish between a theory's truth and its fidelity (‘joint‐carvingness’) and the corresponding epistemic and fidelic virtues. I argue that ideological parsimony is not an epistemic virtue but (...) is a fidelic virtue. Insofar as metaphysicians value fidelity, then, ideological parsimony has an important role in theory choice. (shrink)

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In this paper I defend (...) the metaphysician’s use of theoretical virtues against this objection. (shrink)

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)