Modal Primitivism

The belief that Aristotle opposes potency (dunamis) to actuality (energeia or entelecheia) has gone untested. This essay defines and distinguishes forms of the Opposition Hypothesis—the Actualization, Privation, and Modal—examining the texts and arguments adduced to support them. Using Aristotle’s own account of opposition, the texts appear instead to show that potency and actuality are compatible, while arguments for their opposition produce intractable problems. Notably, Aristotle’s refutation of the Megarian Identity Hypothesis applies with equal or greater force to the Opposition Hypothesis. (...) For Aristotle, then, potency and actuality are compatible. (shrink)

Could laws of nature be violated, in the sense that some proposition is both a law and false? I argue that opponents of regularity theories of laws should accept the metaphysical possibility of such genuine violations. I begin with a clarification of this claim. The main argument is then developed in three steps. I first argue that opponents of regularity theory should endorse the modal-essence view: certain modal principles are essential to the laws of nature. Second, I argue that the (...) modal-essence view entails sophisticated modal primitivism. Third, I argue from sophisticated primitivism to the metaphysical possibility of genuine violations of laws. (shrink)

Summary: The paper provides an argument for modal primitivism, the view that necessity is not defined and is therefore part of the structure of reality. It then raises the explanation-challenge for primitivists: how can modal truths be explained by hyper-intensional truths, if necessity is not defined in terms of hyper-intensional phenomena? To address the challenge, the paper introduces 'sophisticated modal primitivism' which gives a substantive analysis of the notion of a 'source of necessity'. The final part of the paper offers (...) some applications of that novel piece of ideology. (shrink)

Review of Bob Hale's "Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them". Oxford: Oxford University Press 2013, ISBN 9780199669578.

Actualist counterpart theory replaces David Lewis’s concrete possible worlds and individuals with ersatz worlds and individuals, but retains counterpart theory about de re modality. While intuitively attractive, this view has been rejected for two main reasons: the problem of indiscernibles and the Humphrey objection. I argue that in insisting that ersatz individuals play the same role as Lewisian individuals, actualists commit the particularist fallacy. The actualist should not require stand-ins for every Lewisian individual. Ersatz individuals should instead be construed as (...) representations of actually existing qualitative ways for individuals to be, or qualitative properties individuals can instantiate. This necessitates changes elsewhere. Non-instrumental uses of Kripke semantics and standard counterpart semantics also require stand-ins for particular non-actual individuals. I argue that the actualist should instead adopt a non-standard counterpart semantics that more clearly illuminates the role that actual properties and relations play in explaining de re possibilities and necessities. The result is an intuitive and forceful reply to both the problem of indiscernibles and the Humphrey objection. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

Modal primitivism is the view that there are modal features of the world which cannot be reduced to the non-modal. Theories which embrace primitive modality are often rejected for reasons of ideological simplicity: the fewer primitive notions a theory invokes, the better. Furthermore, modal primitivism is often associated with the view that all modal features of the world are irreducibly modal, which appears unsystematic and unexplanatory. As a result, many prefer modal reductionism. This work is an articulation and defense of (...) a modal primitivist theory of modality which requires minimal ideology and is systematic and explanatory. On this version of modal primitivism, only some modal features of the world are irreducibly modal—namely, incompatibilities between certain properties or relations. Other modal features of the world are reducible to a combination of primitive incompatibilities and the non-modal features of the world. In chapter 1, I introduce various issues in the metaphysics of modality, giving appropriate background for what follows. My modal primitivist theory of modality is introduced in chapters 2 and 3. In chapter 2, I argue that a well-known modal reductionist theory of modality is not as ideologically innocent as it’s thought to be: modal primitivism has the upper hand with respect to primitive notions. I then introduce the primitive notion of incompatibility and show how this notion can be used to account for de dicto modality, which concerns purely qualitative modal claims. In chapter 3, I present a theory of de re modality, that which concerns modal claims involving particular individuals. Since on this theory the de re is reducible to the de dicto, it requires no more primitive modality than that which appears at the level of the de dicto. I end in chapter 4 by arguing against a rival modal primitivist theory, showing that the primitive notion that it countenances, dispositionality, cannot account for all modal claims. (shrink)

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world the combinatorialist must adopt (...) two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

Suppose dispositions bear a distinctive connection to counterfactual facts, perhaps one that could be enshrined in a variation on the well-worn schema "Necessarily, x is disposed to phi in psi iff x would phi in psi. Could we exploit this connection to provide an account of what it is to be a disposition? This paper is about four views of dispositionality that attempt to do so.

It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And, reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even made its way into linguistics and decision theory. What are those possible worlds, the entities to which theorists in these disciplines all appeal? Some have hoped that a theory of possible worlds can be used to reduce modality to non-modal terms. This paper (...) sets reductive theories aside, and articulates and applies a framework for evaluating non-reductive theories of possible worlds. I argue that, if we abjure reduction, we should aim for a theory of possible worlds that is user-friendly. I then outline four leading contemporary theories and consider objections to each. My conclusions are negative: every theory we discuss fails to be user-friendly in some significant respect. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. He (...) provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. He (...) provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

Kant's claim that modality is a 'category' provides an approach to modality to be contrasted with Lewis's reductive analysis. Lewis's position is unsatisfactory, since it depends on an inherently modal conception of a world. This suggests that modality is 'primitive'; and the Kantian position is a prima facie plausible position of this kind, which is filled out by considering the relationship between modality and inference. This provides a context for comparing the Kantian position with Wright's non-cognitivist 'conventionalism'. Wright's position is (...) vulnerable to the type of argument used against ethical non-cognitivism, and the Kantian position is further confirmed by Blackburn's acknowledgment that modality is 'antinaturalistic to its core'. The position is further elaborated to show that it can accommodate the famous Kripkean categories of the empirically necessary and the contingent a priori, and finally defended against the criticisms used by Quine against Carnap. (shrink)

Kant's claim that modality is a 'category' provides an approach to modality to be contrasted with Lewis's reductive analysis. Lewis's position is unsatisfactory, since it depends on an inherently modal conception of a world. This suggests that modality is 'primitive'; and the Kantian position is a prima facie plausible position of this kind, which is filled out by considering the relationship between modality and inference. This provides a context for comparing the Kantian position with Wright's non-cognitivist 'conventionalism'. Wright's position is (...) vulnerable to the type of argument used against ethical non-cognitivism, and the Kantian position is further confirmed by Blackburn's acknowledgment that modality is 'antinaturalistic to its core'. The position is further elaborated to show that it can accommodate the famous Kripkean categories of the empirically necessary and the contingent a priori, and finally defended against the criticisms used by Quine against Carnap. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type of connection relates (...) specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

A central stream running through the history of philosophy has been the attempt to gather a wide range of ostensibly disparate intuitive phenomena under a small, integrated set of concepts. Edward Zalta’s work is a sustained celebration of this tradition. This paper — part of a symposium on Zalta's work — is a friendly, but critical examination of Zalta's commitment to possibilism and the roles they play in his theory.