There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

Given the centrality of arguments from vicious infinite regress to our philosophical reasoning, it is little wonder that they should also appear on the catalogue of arguments offered in defense of theses that pertain to the fundamental structure of reality. In particular, the metaphysical foundationalist will argue that, on pain of vicious infinite regress, there must be something fundamental. But why think that infinite regresses of grounds are vicious? I explore existing proposed accounts of viciousness cast in terms of contradictions, (...) dependence, failed reductive theories and parsimony. I argue that no one of these accounts adequately captures the conditions under which an infinite regress—any infinite regress—is vicious as opposed to benign. In their place, I suggest an account of viciousness in terms of explanatory failure. If this account is correct, infinite grounding regresses are not necessarily vicious; and we must be much more careful employing such arguments to the conclusion that there has to be something fundamental. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

2020 update of the entry "Properties".

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

The goal of this article is to address the problem of inconsistent models and the challenge it poses for perspectivism. I analyze the argument, draw attention to some hidden premises behind it, and deflate them. Then I introduce the notion of perspectival models as a distinctive class of modeling practices whose primary function is exploratory. I illustrate perspectival modeling with two examples taken from contemporary high-energy physics at the Large Hadron Collider at the European Organization for Nuclear Research, which are (...) designed to show how a plurality of seemingly incompatible models is methodologically crucial to advance the realist quest in cutting-edge areas of scientific inquiry. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

Resemblances obtain not only between objects but between properties. Resemblances of the latter sort - in particular resemblances between quantitative properties - prove to be the downfall of a well-known theory of universals, namely the one presented by David Armstrong. This paper examines Armstrong's efforts to account for such resemblances within the framework of his theory and also explores several extensions of that theory. All of them fail.

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

According to David Lewis, a realist about possible worlds must hold that actuality is relative: the worlds are ontologically all on a par; the actual and the merely possible differ, not absolutely, but in how they relate to us. Call this 'Lewisian realism'. The alternative, 'Leibnizian realism', holds that actuality is an absolute property that marks a distinction in ontological status. Lewis presents two arguments against Leibnizian realism. First, he argues that the Leibnizian realist cannot account for the contingency of (...) actuality. Second, he argues that the Leibnizian realist cannot explain why skepticism about one's own actuality is absurd. In this paper, I mount a defense of Leibnizian realism. (shrink)

Over the last decade or so, there has been a renewed interest in a view about properties known as quidditism. However, a review of the literature reveals that ‘quidditism’ is used to cover a range of distinct views. In this paper I explore the logical space of distinct types of quidditism. The first distinction noted is between quidditism as a thesis explicitly about property individuation and quidditism as a principle of unrestricted property recombination. The distinction recently drawn by Dustin Locke (...) between extravagant quidditism and austere quidditism is a distinction between quidditisms of the first type. It is then argued that austere quidditism may itself be further sub-divided into what I call ‘extremely austere quidditism’ and ‘moderately austere quidditism’. Moderately austere quidditism is argued to be preferable to extremely austere quidditism and further to be able to address many of the arguments leveled against quidditism in general. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

We argue that Lewis would have rejected recent appeals to the notions of ‘metaphysical dependency’, ‘grounding’ and ‘ontological priority’, because he would have held that they’re not needed and they’re not intelligible. We argue our case by drawing upon Lewis’s views on supervenience, the metaphysics of singletons and the dubiousness of Kripke’s essentialism.

Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument that this problem (...) is fatal for David Armstrong’s influential theory of the laws of nature but not for dispositional essentialism is seriously flawed. In place of this argument, I develop an argument that whether Bird’s inference problem raises serious difficulties for Armstrong’s theory depends on the answers to substantial questions about how best to understand essence. The key consequence is that considerations about the nature of essence have significant, underappreciated implications for Armstrong’s theory. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. In this (...) paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

I show that Armstrong’s view of laws as second-order contingent relations of ‘necessitation’ among categorical properties faces a dilemma. The necessitation relation confers a relation of extensional inclusion (‘constant conjunction’) on its relata. It does so either necessarily or contingently. If necessarily, it is not a categorical relation (in the relevant sense). If contingently, then an explanation is required of how it confers extensional inclusion. That explanation will need to appeal to a third-order relation between necessitation and extensional inclusion. The (...) same dilemma reappears at this level. Either Armstrong must concede that some properties are not categorical but have essential powers – or he is faced with a regress. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

A central problem for any truthmaker theory is the problem of negative truths. In this paper, I develop a novel, piecemeal strategy for solving this problem. The strategy puts central focus on a truth-relevant notion of aboutness within a metaphysically modest version of truthmaker theory and uses key conceptual tools gained by taking a deeper look at the best attempts to solve the problem of intentionality. I begin this task by critically discussing past proposed solutions to P-NEG in light of (...) Russell’s debate with Demos. This reveals a central difficulty with addressing the problem, specifically that one cannot be committed to incompatibility facts in one’s account of negation and of the truth of negative truths. I then present an aboutness-based version of truthmaker theory. Utilising what I call the strict and full account of aboutness, I extract aboutness-based theories of truth and falsity. I use this machinery to present a promising new strategy for solving P-NEG which does not have the problems of alternative approaches. Finally, I present and respond to some potential objections. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

Proponents of the dispositional theory of properties typically claim that their view is not one that offers a realist, governing conception of laws. My first aim is to show that, contrary to this claim, if one commits to dispositionalism then one does not automatically give up on a robust, realist theory of laws. This is because dispositionalism can readily be developed within a Platonic framework of universals. Second, I argue that there are good reasons for realist dispositionalists to favour a (...) Platonic view. This is because the alternative Aristotelian version of dispositionalism, on which universals are immanent entities, is unstable for various reasons. My final aim is to address a common criticism facing Platonic theories of laws, which is the problem of how external entities can play an explanatory role where the world’s law-like patterns of behaviour are concerned. I argue that the Platonists’ response to the one over many problem can help to shed light on this matter, and a possible solution is sketched, one which makes use of the notions of essence, constitution and ontological dependence. (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)