Abstract
Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes.
Similar content being viewed by others
Notes
From van Inwagen (1998): “What are we asking when we ask ‘What is there?’?”
The Quinean approach to ontology is of course controversial. I assume it in this paper, however, because I do not have the space to fully discuss how different meta-ontological positions influence our answer to the meta-ideological question. For more, see van Inwagen (1998).
She might instead claim that mathematics is dispensable.
See, for example, Field (1980).
Thanks to Jeffrey Tolly for helpful discussion in framing this and related terminology.
This stipulation implies that endorsement of a bit of ideology is more demanding than endorsement of a theory. Suppose that there are exactly two theories that you are equally inclined to endorse. Whatever falls outside the intersection of their ideologies are bits that you do not endorse. For example, suppose that you are equally inclined to endorse two theories whose ideologies only differ with respect to their truth-functional connectives: the first theory employs negation and conjunction while the second theory employs negation and disjunction. By stipulation, you endorse negation but do not endorse conjunction or disjunction. While perhaps counterintuitive, I think that my stipulation provides the right result. This ideological split is a kind of ambivalence or agnosticism. I want to reserve the word ‘endorsement’ for a whole-hearted commitment to a bit of ideology. If you like both conjunction and disjunction, you should only endorse the redundant theories that include both (thanks to an anonymous reviewer for pushing me to clarify what I mean here).
Examples of the linguistic answer: Bennett (2009), Bricker (2008), Dasgupta (2009), Hawthorne (2009), Pickel and Mantegani (2012), Turner (2016), and van Inwagen (2008). Melia (2000) doesn’t say enough to easily classify him but does strike me as endorsing the linguistic answer. McDaniel (2010a) half-heartedly endorses the linguistic answer and attributes it to Quine (631). A.R.J. Fisher at times explicitly gives a semantic answer, but lately seems to prefer a linguistic answer (e.g. Fisher 2016).
It might be useful to understand these as interpreted items. On this approach, a bit of ideology is an ordered pair of a “purely” syntactic element and an interpretation of that syntax (thanks to Jason Turner for helpful discussion on this point).
Examples of the semantic answer: Burgess and Rosen (1997), Cowling (2013), and Schaffer (2014). Oliver (1996) says that “the ideology [of a theory] consists in the ideas which are expressed within the theory using predicates” (2). Cameron (2012) refers to bits of ideology as “notions” (17–19). Though it’s less than clear, I think Cameron means to provide a semantic answer. He talks of reducing possibility and tense, as opposed to ‘\(\lozenge \)’ and ‘It was the case that...’.
An expression is primitive relative to a theory just in case that theory does not define the expression. Thus my notion of primitiveness is theory relative. Often, primitiveness is said to be relative to a language, which is in turn used to construct theories. Sometimes ‘primitive’ is used to denote some sort of psychological relationship between an expression and a theorizer—see, e.g., Shapiro (1993). These three notions of primitiveness are importantly different. I favor the theory-relative notion of primitiveness because it allows for a more direct comparison of the ideological differences between theories that seem to be in the same language—e.g. two English theories of color.
Many thanks to Jeff Speaks for invaluable help in developing this and connected lines of reasoning.
Many thanks to Michael Rea, Meghan Sullivan, and others for their help in developing the distinction between externalist and internalist criteria.
Thanks to Jack Himelright for raising both the underlying issue as well as the illustrative example.
I hope I can extract the exegetical material I want without having to engage in this dispute, let alone resolve it. Perhaps my interpretation of Quine’s argument is misguided. Even so, the argument I present is one that would be available to him.
‘Verständlichkeit’ is perhaps better translated as ‘understanding’. Yet ‘understanding’ and ‘intelligibility’ are in this context interchangeable. For more historical detail, see Frost-Arnold (2013, especially pp. 34–37).
It’s unclear if even Sider would endorse extreme externalism. But for what it’s worth I find it to be the superior position. Arguably, there is historical precedent for endorsing unintelligible ideology. ‘Extended simple’ and ‘metaphysical structure’ come to mind.
Thanks to Callie K. Phillips for this point.
Rayo (2013): 1.3.1. See, also, 1.2.1 and 1.3.2. Robert Stalnaker raised a similar point at the 2014 Central APA book symposium of Williamson’s Modal Logic as Metaphysics, though I am unable to find written documentation of this.
I’ve defined knee-jerk realism generically to allow for disagreement among realists on what features the world has. A modal anti-realist and a moral anti-realist can both still be knee-jerk realists, assuming the rest of their beliefs are sufficiently in line with (i)–(iii).
Why the unusual name? The position I sketch here is commonly attributed to David Lewis. (See Sider (2011), Weatherson (2003), and Williams (2015).) But some philosophers (like Schwarz 2014) have argued that this is an unfaithful reading of Lewis. Maybe so. Nevertheless, this position has been so regularly attributed to Lewis that it has earned the status of philosophical folklore. Many thanks to Jason Turner for helpful discussion on these interpretive issues.
Thanks to an anonymous reviewer for encouraging me to address this sort of realist in this paper.
See Carnap (1950). He talks of the decision as “practical, not theoretical.” What we can do is evaluate the extent to which the language is “expedient, fruitful, [and] conducive to the aim for which [it] is intended” (31).
Some of what I say here is in line with Michaela McSweeney’s work on logical realism—see, e.g., McSweeney (forthcoming). I take my response to be not that far away from McSweeney’s own conclusions. I’m inclined to think that the perfectly correct logical ideology is as of now unfamiliar. But this happens all the time, e.g. previously unfamiliar scientific predicates used to characterize quarks.
To put it another way: the epistemology associated with maximal realism is no less problematic than the epistemology associated with folkloric Lewisian realism, at least so far as distinctly “metaphysical” predicates are concerned. A more naturalistically-inclined metaphysician might refuse to apply external criteria to these metaphysical predicates. If so, then she makes herself vulnerable to Putnams’s model-theoretic argument. Either both views can utilize some sort of non-causal reasoning to provide answers, or both views are unable to answer their respective external questions. (Thanks to an anonymous reviewer for helping me to phrase my point this way).
See, e.g., Haslanger (2000: p. 35).
For simplicity, I am ignoring the difference between quantifier pluralism and ontological pluralism.
This point, and many more, are developed in McDaniel (2017).
For related discussion, see Finocchiaro (Forthcoming a, b).
Maybe the commitments attached to tensed operators are in fact more desirable than the commitments attached to so-called Lucretian predicates. Perhaps, even, they are more desirable because they are simpler. But we would only know this after an intricate discussion of the metaphysical commitments of tense operator, a discussion cheaters want to avoid.
Thanks to an anonymous reviewer for encouraging me to address this issue. Note that this issue isn’t unique to quantification. The maximal realist faces similarly uncomfortable questions of comparison for truth-functional connectives, tense operators, and modal operators. What I say here is largely adaptable to those cases.
A maximal realist who uses this defense can still privilege externalist criteria over internalist criteria, using familiarity merely as a tie-breaker.
See Sider (2011: 10.2).
Thanks to an anonymous reviewer for drawing my attention to this challenge.
See Finocchiaro (Forthcoming a, b): Sect. 2. This is, of course, a controversial claim.
References
Bennett, K. (2009). Composition, colocation, and metaontology. In Chalmers et al. (2009), pp. 38–76.
Bigelow, J. (1996). Presentism and properties. Philosophical Perspectives, 10, 35–52.
Bricker, P. (2008). Concrete possible worlds. In T. Sider, J. Hawthorne, & D. W. Zimmerman (Eds.), Contemporary debates in metaphysics. Oxford: Blackwell.
Burgess, J., & Rosen, G. (1997). A subject with no object. Oxford: Oxford University Press.
Cameron, R. (2011). Truthmaking for presentists. Oxford Studies in Metaphysics, 6, 55–100.
Cameron, R. (2012). Why Lewis’s analysis of modality succeeds in its reductive ambitions. Philosophers’ Imprint 12.
Carnap, R. (1950). Empiricism, semantics and ontology. Revue Internationale de Philosophie, 4, 20–40.
Chalmers, D., Manley, D., & Wasserman, R. (Eds.). (2009). Metametaphysics. Oxford: Oxford University Press.
Cowling, S. (2013). Ideological parsimony. Synthese, 190, 3889–3908.
Crisp, T. (2007). Presentism and the grounding objection. Noûs, 41, 90–109.
Dasgupta, S. (2009). Individuals: An essay in revisionary metaphysics. Philosophical Studies, 145, 35–67.
Decock, L. (2002). Trading ontology for ideology. The interplay of logic, set theory and semantics in Quine’s philosophy. Synthese Library. Kluwer/Springer.
Decock, L. (2004). Quine’s ideological debacle. Principia, 8, 85–102.
Field, H. (1980). Science without numbers. Princeton: Princeton University Press.
Fine, K. (1994). Essence and modality. Philosophical Perspectives, 8, 1–16.
Finocchiaro, P. (Forthcoming a). The explosion of being: Ideological kinds in theory choice. Philosophical Quarterly, 1–28.
Finocchiaro, P. (Forthcoming b). The intelligibility of metaphysical structure. Philosophical Studies, 1–26.
Fisher, A. R. J. (2016). Truthmaking and fundamentality. Pacific Philosophical Quarterly, 97, 448–473.
Fisher, A. R. J. (2012). Ideology, truthmaking, and fundamentality. Ph.D. thesis, Syracuse University.
Frost-Arnold, G. (2013). Carnap, Tarski, and Quine at Harvard. Open Court.
Goodman, N. (1955). Fact, fiction, and forecast. Cambridge, MA: Harvard University Press.
Goodman, N., & Quine, W. V. (1947). Steps toward a constructive nominalism. Journal of Symbolic Logic, 12, 105–122.
Haslanger, S. (2000). Gender and race: (What) are they? (What) Do we want them to be? Noûs, 34, 31–55.
Hawthorne, J. (2009). Superficialism in ontology. In Chalmers et al. (2009), pp. 213–230.
Hirsch, E. (2013). The metaphysically best language. Philosophy and Phenomenological Research, 87, 709–716.
Kierland, B., & Monton, B. (2007). Presentism and the objection from being-supervenience. Australasian Journal of Philosophy, 85, 485–497.
Krämer, S. (2010). How not to defend ontological cheats. Analysis, 70, 290–296.
Lewis, D. (1983). New work for a theory of universals. Australasian Journal of Philosophy, 61, 343–377.
Lewis, D. (1984). Putnam’s paradox. Australasian Journal of Philosophy, 62, 221–236.
Lewis, D. (1986). On the plurality of worlds. Oxford: Blackwell Publishing.
McDaniel, K. (2009). Ways of being. In Chalmers et al. (2009), pp. 290–319.
McDaniel, K. (2010a). Being and almost nothingness. Nous, 44, 628–649.
McDaniel, K. (2010b). A return to the analogy of being. Philosophy and Phenomenological Research, 81, 688–717.
McDaniel, K. (2017). The fragmentation of being. Oxford: Oxford University Press.
McSweeney, M. M. (forthcoming). Following logical realism where it leads. Philosophical Studies, pp. 1–23.
Melia, J. (2000). Weaseling away the indispensibility argument. Mind, 109, 455–480.
Oliver, A. (1996). The metaphysics of properties. Mind, 105, 1–80.
Pickel, B., & Mantegani, N. (2012). A Quinean critique of Ostrich nominalism. Philosophers’ Imprint 12.
Prior, A. N., & Fine, K. (1977). Worlds, times, and selves. London: Duckworth.
Putnam, H. (1977). Realism and reason. Proceedings of the American Philosophical Association, 50, 483–498.
Quine, W. V. O. (1951a). Ontology and ideology. Philosophical Studies, 2, 11–15.
Quine, W. V. O. (1951b). Two dogmas of empiricism. Philosophical Review, 60, 20–43.
Quine, W. V. O. (1953). Three grades of modal involvement. In Proceedings of the 11th international congress of philosophy, (vol. 14, pp. 65–81). Amsterdam: North-Holland.
Quine, W. V. O. (1956). Quantifiers and propositional attitudes. Journal of Philosophy, 53, 177–187.
Quine, W. V. O. (1960). Variables explained away. Proceedings of the American Philosophy Society, 104, 343–347.
Rayo, A. (2013). The construction of logical space. Oxford: Oxford University Press.
Schaffer, J. (2014). What not to multiply without necessity. Australasian Journal of Philosophy, 93, 644–664.
Schwarz, W. (2014). Against magnetism. Australasian Journal of Philosophy, 92, 17–36.
Shapiro, S. (1993). Modality and ontology. Mind, 102, 455–481.
Sider, T. (2001). Four-dimensionalism: An ontology of persistence and time. Oxford: Oxford University Press.
Sider, T. (2011). Writing the book of the world. Oxford: Oxford University Press.
Sider, T. (2013). Replies to Dorr, Fine, and Hirsch. Philosophy and Phenomenological Research, 87, 733–754.
Sullivan, M. (2016). An A-theory without tense operators. Canadian Journal of Philosophy, 46, 735–758.
Tahko, T. E. (2016). An introduction to metametaphysics. Cambridge: Cambridge University Press.
Tallant, J. (2009). Ontological cheats just might prosper. Analysis, 69, 422–430.
Tallant, J., & Ingram, D. (2015). Nefarious presentism. Philosophical Quarterly, 65, 355–371.
Thomasson, A. L. (2017). Metaphysical disputes and metalinguistic negotiation. Analytic Philosophy, 58, 1–28.
Torrengo, G. (2014). Ostrich presentism. Philosophical Studies, 170, 255–276.
Torza, A. (2017). Ideology in a desert landscape. Philosophical Issues, 27, 383–406.
Turner, Jason. (2010). Ontological pluralism. Journal of Philosophy, 107, 5–34.
Turner, J. (2016). The facts in logical space: A tractarian ontology. Oxford: Oxford University Press.
van Inwagen, P. (1998). Meta-ontology. Erkenntnis, 48, 233–250.
van Inwagen, P. (2008). Quine’s 1946 lecture on nominalism. In Oxford studies in metaphysics, (Vol. 4, pp. 125–142). Oxford: Oxford University Press.
Weatherson, B. (2003). What good are counterexamples? Philosophical Studies, 115, 1–31.
Williams, J. R. G. (2015). Lewis on reference and eligibility. In B. Loewer & J. Schaffer (Eds.), A companion to David Lewis, chapter 23 (pp. 367–381). London: Wiley-Blackwell.
Wilson, J. (2011). Much Ado about ‘Something’. Analysis, 71, 172–188.
Zimmerman, D. W. (2005). The A-theory of time, the B-theory of time, and ‘taking tense seriously’. Dialectica, 59, 401–457.
Acknowledgements
I owe an enormous debt of gratitude to many people for their contributions to the development of this paper over the past few years. Among those people are: Sara Bernstein, Andrew Brenner, Anjan Chakravartty, Rebecca Chan, Justin Christy, Michael Longenecker, Daniel Nolan, David Pattillo, Callie K. Phillips, Benjamin Rossi, Margaret Schmitt, S.C. Schramm, Jeff Snapper, Jeff Speaks, Meghan Sullivan, Jeffrey Tolly, Jason Turner, Peter van Inwagen, and two anonymous reviewers for Synthese. I owe an even more enormous debt of gratitude to Michael Rea for the philosophical, practical, and emotional wisdom that he so generously shared throughout this paper’s journey.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Finocchiaro, P. Ideology and its role in metaphysics. Synthese 198, 957–983 (2021). https://doi.org/10.1007/s11229-018-02077-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-018-02077-6