According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this (...) theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)

Each truth has a truthmaker: an entity in virtue of whose existence that truth is true. So say truthmaker maximalists. Arguments for maximalism are hard to find, whereas those against are legion. Most accept that maximalism comes at a significant cost, which many judge to be too high. The scales would seem to be balanced against maximalism. Yet, as I show here, maximalism can be derived from an acceptable premise which many will pre-theoretically accept.

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

In the Grundlagen , Frege offers eight main arguments, together with a series of more minor supporting arguments, against Mill’s view that numbers are “properties of external things”. This paper reviews all eight of these arguments, arguing that none are conclusive.

Plenitude, roughly, the thesis that for any non-empty region of spacetime there is a material object that is exactly located at that region, is often thought to be part and parcel of the standard Lewisian package in the metaphysics of persistence. While the wedding of plentitude and Lewisian four-dimensionalism is a natural one indeed, there are a hand-full of dissenters who argue against the notion that Lewisian four-dimensionalism has exclusive rights to plentitude. These ‘promiscuous’ three-dimensionalists argue that a temporalized version (...) of plenitude is entirely compatible with a three-dimensional ontology of enduring entities. While few would deny the coherence of such a position, and much work has been done by its proponents to appease critics, there has been surprisingly little by way of exploring the various forms such an ontology might take as well as the potential advantages of one plenitudinous three-dimensional ontology over another. Here I develop a novel form of plenitudinous three-dimensionalism, what John Hawthorne (Metaphysical essays, 2006a, b) has called “Neo-Aristotelian Plenitude,” and argue that if one is inclined to endorse an abundant three-dimensional ontology, one is wise to opt for a plenitude of accidental unities. (shrink)

The paper aims to elucidate in better detail than before the dispute about whether or not dispositional monism—the view that all basic properties are pure powers—entails a vicious infinite regress. Particular focus is on Alexander Bird's and George Molnar's attempts to show that the arguments professing to demonstrate a vicious regress are inconclusive because they presuppose what they aim to prove, notably that powers are for their nature dependent on something else. I argue that Bird and Molnar are mistaken. It (...) is true that dispositional monism is popularly assumed to characterize powers as dependent entities, but this is not what the arguments aim to prove. They merely aim to demonstrate that it would be absurd to assume that all properties are dependent in this way. Finally, it is argued that there is an unresolved tension in Bird's and Molnar's accounts of powers. They characterize them as being for their nature dependent on the manifestations that they are for, and yet ontologically independent of those same manifestations. Until that tension is resolved, their accounts are not equipped to remove the threat of vicious regress. (shrink)

This volume contains essays by five British philosophers and one Swedish philosopher working in metaphysics and in particular metaphysics as it relates to the philosophy of science. These philosophers are the core of a tight network of European philosophers of science and metaphysicians and their essays have evolved as a result of workshops in Lund, Edinburgh, and Athens.

In this article, I oppose the view that knowledge is a species of belief, and argue that belief should be defined in terms of knowledge, instead of the other way round. However, I reject the idea that the concept of knowledge has a primary or basic role or position in our system of mental and logical concepts, because I reject the hierarchical conception of philosophical analysis implicit in this idea. I approach the topic of knowledge and belief from a discussion (...) of Richard Holton’s views about facts and factive verbs. (shrink)

Argument for fatalism attempts to prove that free choice is a logical or conceptual impossibility. The paper argues that the first two premises of the argument are sound: propositions are either true or false and they have their truth-value eternally. But the claim that from the fatalistic premises with the introduction of some innocent further premise dire consequences follow as regards to the possibility of free choice is false. The introduced premise, which establishes the connection between the first two premises (...) (which are about the nature of propositions) and the concept of free choice is not innocent. It creates the impression that the truth of certain propositions can somehow determine the occurrence of certain events. But no proposition can have such an effect since the counterfactuals If proposition P were true, event E would happen does not say anything about determination. The argument for fatalism is, however, not a boring sophism. It does reveal something about the nature of propositional representation. It shows that each proposition represents necessarily the fact what it represents, i.e. it shows that propositions have their truth conditions non-contingently. But from this nothing follows as regards to the contingent nature of the facts represented. On the bases of the first two premises of the argument for fatalism we cannot infer to the impossibility of free choice. The argument for fatalism should not be interpreted as an attempt to prove on purely logical or conceptual grounds that we do not have the ability to influence future events by our choices. But it could be used to show something about the nature of propositional representation. (shrink)

This paper explores the prospects of a combinatorial account of modality. We argue against David M. Armstrong’s version of combinatorialism, which seeks to do without modal primitives, on the grounds, among other things, that Armstrong’s basic ontological categories are themselves subject to non-contingent constraints on recombination. We outline an alternative version, which acknowledges the necessity of modal primitives, at the level of ontology, and not just of our concepts.

In this paper, I shall assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. The question is: are the attribute values in frames to be interpreted as universal properties or rather as tropes? I shall argue that universals realism and trope theory face similar complications as far as non-terminal values, i.e., values which refer to the determinable properties of objects, are concerned. It is suggested that these complications can be overcome if one (...) is prepared to adopt an ontology of structured complexes. Such an ontology, in turn, is indifferent as to whether attribute values are interpreted as universals or as tropes. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

The theory of frames has recently been proposed as a universal format for knowledge representation in language, cognition and science. Frames represent categories as well as individual objects and events in terms of recursive attribute-value structures. In this paper, we would like to explore the potential ontological commitments of frame-based knowledge representations, with particular emphasis on the ontological status of the possessors of quality attributes in individual object frames. While not strictly incompatible with nominalistic, bundle- or substratum-theoretic approaches to the (...) metaphysics of particular objects, it will be argued that representing objects in terms of attribute-value structures is more in accordance with a tradition that can be traced back to Aristotle’s doctrine of physical substances. Attributes appear to describe primary potentialities of objects, which, in the Aristotelian view, are the unchangeable nature or essence, hence substance, of any separate object. (shrink)

In Hommen, I refer to the work of Garcia in Garcia. In this addendum, I would like to supplement additional references to these papers.

In this paper, I assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. Attributes are the general aspects by which a category or individual is described; their values are more or less specific properties that are assigned to the referential object. The question is: are these properties to be interpreted as universals or as tropes? Some trope theorists allege that an interpretation in terms of universals is incompatible with frames for individuals in (...) which the values of quality attributes are recursively specified by further attributes. I shall argue, however, that recursive extension poses a challenge, not specifically to the universals realist, but rather to realists about determinables as opposed to determinables nominalists. Moreover, it is suggested that even determinables realists are able to cope with recursively extended frames once they relativize relations between determinables and determinates to particular objects. It is indicated how these findings might bear on adjacent debates in the metaphysics of natural language. (shrink)

Incongruent counterparts are pairs of objects which cannot be enclosed in the same spatial limits despite an exact similarity in magnitude, proportion, and relative position of their parts. Kant discerns in such objects, whose most familiar example is left and right hands, a “paradox” demanding “demotion of space and time to mere forms of our sensory intuition.” This paper aims at an adequate understanding of Kant’s enigmatic idealist argument from handed objects, as well as an understanding of its relation to (...) the other key supports of his idealism. The paper’s central finding is that Kant’s idealist argument from incongruent counterparts rests essentially on his theory of freedom. The surprising result sheds new light on deep and overlooked links among the pillars of transcendental idealism, pointing the way to a comprehensive and unified reading of Kant’s system of idealist arguments. (shrink)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of the (...) issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (shrink)

The paper is an investigation into the prospects of an epistemology of non-conceptual knowledge. According to the orthodox view, knowledge requires concepts and belief. I present several arguments to the effect that there is non-conceptual, non-doxastic knowledge, the obvious candidate for such knowledge being non-conceptual perception. Non-conceptual perception seems to be allowed for by cognitive scientists and it exhibits the central role features of knowledge—it plays the knowledge role: it respects an anti-luck condition, it is an achievement, it enables one (...) to act for a reason, and it provides justification. Furthermore, it makes a straightforward and elegant explanation of perceptual knowledge possible: doxastic perceptual knowledge builds on non-conceptual perception as non-conceptual knowledge. Three objections that might naturally arise will be discussed and answered. Thus, the prospects of an epistemology without belief seem to be much better than the orthodoxy wants to have it. We can extend knowledge into the non-conceptual realm. (shrink)

According to the so-called metaphysical conception of analyticity, analytic truths are true in virtue of meaning (or content) alone and independently of (extralinguistic) facts. Quine and Boghossian have tried to present a conclusive argument against the metaphysical conception of analyticity. In effect, they tried to show that the metaphysical conception inevitably leads into a highly implausible view about the truthmakers of analytic truths. We would like to show that their argument fails, since it relies on an ambiguity of the notion (...) of 'independence of (extralinguistic) facts'. If one distinguishes between variation independence and existence independence, the unwelcome view about the truthmakers of analytic truths no longer follows. Thus, there is at best a challenge, but no conclusive argument. The door to the metaphysical conception of analyticity is still open. (shrink)

The question of what means-and-ends structure our epistemic endeavors have is an important issue in recent epistemology, and is fundamental for understanding epistemic matters in principle. Crispin Sartwell has proposed arguments for the view that knowledge is our only ultimate goal, and justification is no part of it. An important argument is his instrumentality argument which is concerned with the conditions under which something could belong to our ultimate epistemic goal. Recently, this argument has been reconstructed and criticized by Pierre (...) Le Morvan in a clear and helpful way. It will be shown, however, that Le Morvan’s criticism is not adequate, since it misconstrues the real instrumentality argument that can be found in Sartwell’s writings. (shrink)

How can a present or future event causally influence one in the past? Even though the case of such a relationship is often quickly dismissed as impossible, this paper suggests that this reaction is hasty and omits interesting as well as substantive arguments and considerations. In an introductory synopsis of the metaphysics of causality, we first present and discuss arguments for and against the possibility of backwards causation. On the other hand, we suggest that a probabilistic notion of causality according (...) to Suppes need not exclude that causes occur temporally after their effects. (shrink)

Philosophers of mathematics commonly distinguish between explanatory and non-explanatory proofs. An important subclass of mathematical proofs are proofs by induction. Are they explanatory? This paper addresses the question, based on general principles about explanation. First, a recent argument for a negative answer is discussed and rebutted. Second, a case is made for a qualified positive take on the issue.

An important task for metaphysicians and philosophers of science is to account for laws of nature – in particular, how they distinguish themselves from ‘mere’ regularities, and the modal force they are endowed with, ‘natural necessity’. Dispositional essentialism about laws is roughly the view that laws distinguish themselves by being grounded in the essences of natural entities. This paper does not primarily concern how essentialism compares to its main rivals – Humeanism and Armstrongeanism. Rather, it distinguishes and comparatively assesses various (...) brands of essentialism – which mainly differ as to where exactly they take laws to find their essentialist sources, and what they take to be the targets of laws, namely what they apply to. Yet, this internal comparison is not unrelated to the more general debate about laws: the main criteria with which I compare these essentialist views concern how they can deal with some of the main objections faced by essentialism in general, and how they can keep what is arguably the main intuitive advantage of essentialism over its rivals. Thus, the paper also concerns the relative position of essentialism in the larger debate about laws – ultimately bringing support to it. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

Do causes necessitate their effects? Causal necessitarianism is the view that they do. One major objection—the “monotonicity objection”—runs roughly as follows. For many particular causal relations, we can easily find a possible “blocker”—an additional causal factor that, had it also been there, would have prevented the cause from producing its effect. However—the objection goes on—, if the cause really necessitated its effect in the first place, it would have produced it anyway—despite the blocker. Thus, CN must be false. Though different (...) from Hume’s famous attacks against CN, the monotonicity objection is no less important. In one form or another, it has actually been invoked by various opponents to CN, past and present. And indeed, its intuitive appeal is quite powerful. Yet, this paper argues that, once carefully analysed, the objection can be resisted—and should be. First, I show how its success depends on three implicit assumptions concerning, respectively, the notion of cause, the composition of causal factors, and the relation of necessitation. Second, I present general motivations for rejecting at least one of those assumptions: appropriate variants of them threaten views that even opponents to CN would want to preserve—in particular, the popular thesis of grounding necessitarianism. Finally, I argue that the assumption we should reject is the one concerning how causes should be understood: causes, I suggest, include an element of completeness that excludes blockers. In particular, I propose a way of understanding causal completeness that avoids common difficulties. (shrink)

The necessitarian solution to the problem of induction involves two claims: first, that necessary connections are justified by an inference to the best explanation; second, that the best theory of necessary connections entails the timeless uniformity of nature. In this paper, I defend the second claim. My arguments are based on considerations from the metaphysics of laws, properties, and fundamentality.

The laws of nature have an internal explanatory structure. This leads to interesting questions for metaphysicians of laws. What is the nature of this explanation? Marc Lange has recently argued in favor of metalaws: higher-order laws governing other laws, of which symmetry principles may be an example. Lange argues that his view, unlike its competitors, can make sense of the explanatory power of symmetries. I agree with Lange about the explanatory structure of laws but disagree with him about the nature (...) of this explanation. I then present a Humean view that neatly captures the explanatory power of symmetry principles. (shrink)

Humeans are often accused of accounting for natural laws in such a way that the fundamental entities that are supposed to explain the laws circle back and explain themselves. Loewer (2012) contends this is only the appearance of circularity. When it comes to the laws of nature, the Humean posits two kinds of explanation: metaphysical and scientific. The circle is then cut because the kind of explanation the laws provide for the fundamental entities is distinct from the kind of explanation (...) the entities provide for the laws. Lange (2013) has replied that Loewer’s defense is a distinction without a difference. As Lange sees it, Humeanism still produces a circular explanation because scientific explanations are transmitted across metaphysical explanations. We disagree that metaphysical explanation is such a ready conduit of scientific explanation. In what follows, we clear Humeanism of all charges of circularity by exploring how different kinds of explanation can and cannot interact. Our defense of Humeanism begins by presenting the circularity objection and detailing how it relies on an implausible principle about the transitivity of explanation. Then, we turn to Lange’s (2013) transitivity principle for explanation to argue that it fairs no better. With objections neutral to the debate between Humeanism and anti-Humeanism, we will show that his principle is not able to make the circularity objection sound. (shrink)

In 1927, the Scottish philosopher John Anderson arrived in Australia to take up the chair of Philosophy at the University of Sydney. By the late 1930s, the ‘macrostructure’ of his realist system was in place. It includes a theory of process and a substantial metaphysics, one that opposes positivism, linguistic philosophy and all forms of idealism. However, beyond Australia it remains largely unknown, despite its bearing on a number of current issues in psychology and the social sciences generally. This article (...) outlines Anderson’s transition from Hegelian idealism to realism, describes aspects of his ontology and epistemology, compares some of Anderson’s ideas with Dewey’s pragmatism and explains their relevance to present-day psychology. (shrink)

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

This paper transforms a development of an argument against pantheism into an objection to the usual account of God within contemporary analytic philosophy. A standard criticism of pantheism has it that pantheists cannot offer a satisfactory account of God as personal. My paper will develop this criticism along two lines: first, that personhood requires contentful mental states, which in turn necessitate the membership of a linguistic community, and second that personhood requires limitation within a wider context constitutive of the ’setting’ (...) of the agent’s life. Pantheism can, I argue, satisfy neither criterion of personhood. At this point the tables are turned on the Swinburnian theist. If the pantheist cannot defend herself against the personhood-based attacks, neither can the Swinburnian, and for instructively parallel reasons: for neither doctrine is God in the material world; in the pantheist case God is identical with the world, in the Swinburnian case God transcends it. Either way both the pantheist and the Swinburnian are left with a dilemma: abandon divine personhood or modify the doctrine of God so as to block the move to personhood. (shrink)

In recent work on truth and truthmaking, D. M. Armstrong has defended a version of 'truthmaker necessitarianism', the doctrine that truths necessitate truthmakers. Truthmaker necessitarianism, he contends, requires the postulation of 'totality facts', which serve as ingredients of truthmakers for general truths and negative truths, and propositions, which function as the fundamental truth bearers. I argue that neither totality facts nor propositions need figure in an account of truthmaking, and suggest that both are artifacts stemming, albeit in different ways, from (...) an ontologically shady 'linguisticizing' tendency to conflate features of descriptions and features of what is described. (shrink)

ABSTRACTThe paper takes up a conception of substances according to which substances are simple property bearers, properties being modes, particular qualitative ways individual substances are. What a substance does or would do is determined by its qualities. Efficient causation is to be understood as the manifesting of powers possessed by substances owing to their qualitative natures. Although complexes, entities with substantial parts, are not substances, they would be no less real, no less participants in the causal fray. What the substances (...) and properties are is an empirical matter, however, to be settled, if at all, by physics. For all we know, the substances might be particles, or fields, or the universe as a whole. Efficient causation appears to require pluralism: distinct interacting substances. In a non-pluralistic universe, causal truths would be relegated to the manifest image: true still, but made true by non-causal features of the universe perhaps revealed by the scientific image. There remains the final reflection, how shallow, puny, and imperfect are efforts to sound the depths in the nature of things. In philosophical discussion, the merest hint of dogmatic certainty as to finality of statement is an exhibition of folly. : x). (shrink)

Brian Ellis advances a robust species of realism he calls Physical Realism. Physical Realism includes an ontology comprising three kinds of universal and three kinds of particular: a six‐category ontology. After comparing Physical Realism to a modest two‐category ontology inspired by Locke, I mention two apparent difficulties a proponent of a six‐category ontology might address.1.

In his paper in the same volume, Sider argues that, of maximalism and quantifier variance, the latter promises to let us make better sense of neo-Fregeanism. I argue that neo-Fregeans should, and seemingly do, reject quantifier variance. If they must choose between these two options, they should choose maximalism.

The problem of masking is widely regarded as a grave threat to the conditional analysis of dispositions. Unlike the difficulty arising in connection with finkish situations, the problem does not involve the (dis)appearance of a disposition upon the arrival of its activating conditions. Consequently, some promising responses to the finkish cases, in particular David Lewis's reformed analysis, are ill-equipped to deal with masks. I contend that the difficulty posed by masks can be surmounted by supplementing the counterfactual at the heart (...) of the conditional analysis with a ceteris paribus clause. In spelling out this idea, I first examine the issue of provisos in nomic statements. Then I show how the employment of the ceteris paribus clause escapes the objections that are often raised against it, including the charge that the clause cannot informatively capture all the possible masks of a disposition. (shrink)

The problem of masking is widely regarded as a grave threat to the conditional analysis of dispositions. Unlike the difficulty arising in connection with finkish situations, the problem does not involve the (dis)appearance of a disposition upon the arrival of its activating conditions. Consequently, some promising responses to the finkish cases, in particular David Lewis's reformed analysis, are ill‐equipped to deal with masks. I contend that the difficulty posed by masks can be surmounted by supplementing the counterfactual at the heart (...) of the conditional analysis with a ceteris paribus clause. In spelling out this idea, I first examine the issue of provisos in nomic statements. Then I show how the employment of the ceteris paribus clause escapes the objections that are often raised against it, including the charge that the clause cannot informatively capture all the possible masks of a disposition. (shrink)

The traditional ontology within which chemistry has developed involved various versions of a general substance/attribute scheme. Recently this has been challenged by two versions of Dynamism. One version is derived from the writings of A. N. Whitehead and the other from several sources, including G. Leibniz and I. Kant. Both involve the idea of flux of actual occasions. Unlike the former scheme, the latter involves a foundation of causal powers and the energetics of field theory. The situation has been made (...) more interesting because of the revival of trope theory, based on an ontology of particularized attributes. This notion is claimed to resolve philosophical problems about the nature of universals and of substances through the introduction of spatial and temporal sequences of tropes. While trope theory seems, at first sight, to work as an attractive alternative to substance/attribute close inspection shows that it is beset with difficulties that are more problematic that the dynamist ontology based on casual powers, dispositions and affordances. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

Two recurrent arguments levelled against the view that enduring objects survive change are examined within the framework of the B-theory of time: the argument from Leibniz's Law and the argument from Instantiation of Incompatible Properties. Both arguments are shown to be question-begging and hence unsuccessful.

Saying so can make it so, J. L. Austin taught us long ago. Famously, John Searle has developed this Austinian insight in an account of the construction of institutional reality. Searle maintains that so-called Status Function Declarations, allegedly having a “double direction of fit”, synchronically create worldly institutional facts, corresponding to the propositional content of the declarations. I argue that Searle’s account of the making of institutional reality is in tension with the special theory of relativity—irrespective of whether the account (...) is interpreted as involving causal generation or non-causal grounding of worldly institutional facts—and should be replaced by a more modest theory which interprets the results of Status Function Declarations in terms of mere Cambridge change and institutional truth. I end the paper by indicating the import of this more modest theory for theorizing about the causal potency of institutional phenomena generated by declarations. (shrink)

Setting off from a familiar distinction in the philosophy of properties, this paper introduces a tripartite distinction between sparse causation, abundant causation and mere abundant causation. It is argued that the contrast between sparse and mere abundant causation allows us to resolve notorious philosophical issues having to do with negative causation, causation involving institutional properties and physical macro-causation in a way that is unified, intuitive and in line with scientific doctrines and practices.

I argue that Mumford and Anjum’s recent theory of simultaneous causation among powerful meso-level objects is problematic in several respects: it is based on a false dichotomy, it is incompatible with standard meso-level physics, it is explanatory deficient, and it threatens to render the powers metaphysics incoherent. Powers theorists are advised, therefore, to adopt a purely sequential conception of causation.