Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

Attempts to elucidate grounding are often made by connecting grounding to metaphysical explanation, but the notion of metaphysical explanation is itself opaque, and has received little attention in the literature. We can appeal to theories of explanation in the philosophy of science to give us a characterization of metaphysical explanation, but this reveals a tension between three theses: that grounding relations are objective and mind-independent; that there are pragmatic elements to metaphysical explanation; and that grounding and metaphysical explanation share a (...) close connection. Holding fixed the mind-independence of grounding, I show that neither horn of the resultant dilemma can be blunted. Consequently, we should reject the assumption that grounding relations are mind-independent. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

This paper is about metaphysical ‘infinitism’, the view that there are, or could be, infinite chains of ontological dependence. Its main aim is to show that, contrary to widespread opinion, metaphysical infinitism is a coherent position. On the basis of this, it is then additionally argued that metaphysical infinitism need not fare worse than the more canonical ‘foundationalist’ alternatives when it comes to formulating metaphysical explanations. In the course of the discussion, a rather unexplored parallel with the debate concerning infinitism (...) about justification is suggested. (shrink)

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

"Toward a Feminist Theory of the State" presents Catharine MacKinnon's powerful analysis of politics, sexuality, and the law from the perspective of women.

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

_Postures of the Mind _was first published in 1985. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. Annette Baier develops, in these essays, a posture in philosophy of mind and in ethics that grows out of her reading of Hume and the later Wittgenstein, and that challenges several Kantian or analytic articles of faith. She questions the assumption that intellect has authority over all (...) human feelings and traditions; that to recognize order we must recognize universal laws—descriptive or prescriptive; that the essential mental activity is representing; and that mental acts can be analyzed into discrete basic elements, combined according to statable rules of synthesis. In the first group of essays—"Varieties of Mental Postures"—Baier evaluates the positions taken by philosophers ranging from Descartes to Dennett and Davidson. Among her topics are remembering, intending, realizing, caring, representing, changing one's mind, justifying one's actions and feelings, and having conflicting reasons for them. The second group of essays—"Varieties of Moral Postures" - explores the sort of morality we get when all of these capacities become reflective and self-corrective. Some deal with particular moral issues—our treatment of animals, our policies regarding risk to human life, our contractual obligations; others, with more general questions on the role of moral philosophers and the place of moral theory. These essays respond to the theories of Hobbes, Kant, Rawls, and MacIntyre, but Baier's most positive reaction is to David Hume; _Postures of the Mind _ affirms and cultivates his version of a moral reflection that employs feeling and tradition as well as reason. (shrink)

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all (...) mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail. (shrink)

In discussions about whether the Principle of the Identity of Indiscernibles is compatible with structuralist ontologies of mathematics, it is usually assumed that individual objects are subject to criteria of identity which somehow account for the identity of the individuals. Much of this debate concerns structures that admit of non-trivial automorphisms. We consider cases from graph theory that violate even weak formulations of PII. We argue that (i) the identity or difference of places in a structure is not to be (...) accounted for by anything other than the structure itself and that (ii) mathematical practice provides evidence for this view. We want to thank Leon Horsten, Jeff Ketland, Øystein Linnebo, John Mayberry, Richard Pettigrew, and Philip Welch for valuable comments on drafts of this paper. We are especially grateful to Fraser MacBride for correcting our interpretation of two of his papers and for other helpful comments. CiteULike Connotea Del.icio.us What's this? (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

I will argue for two main points. First, the regress imbedded in infinitism need not be subject to the Structural Objection; and second, the Structural Objection does not pose a real problem for any regress. I will not be arguing for the correctness of my proposal directly. That is, as will become apparent soon, my proposal rests on two principles of reasoning which together entail infinitism and I will not present my arguments for those principles here. The purpose of this (...) paper is to show that the objections raised by Gillett do not pose a grave problem for infinitism. (shrink)

The article explores the irreflexivity of metaphysical dependence in the physical structure of reality. It stresses that the word dependence denotes quasi-ireflexivity which affects the metaphysical relations of a physical structure. It focuses on the view that irreflexivity assumption has been made without discussion of the dependence relations on the structure of reality.

The notions of ground and ontological dependence have made a prominent resurgence in much of contemporary metaphysics. However, objections have been raised. On the one hand, objections have been raised to the need for distinctively metaphysical notions of ground and ontological dependence. On the other, objections have been raised to the usefulness of adding ground and ontological dependence to the existing store of other metaphysical notions. Even the logical properties of ground and ontological dependence are under debate. In this article, (...) I focus on how to account for the judgements of non-symmetry in several of the cases that motivate the introduction of notions like ground and ontological dependence. By focusing on the notion of explanation relative to a theory, I conclude that we do not need to postulate a distinctively asymmetric metaphysical notion in order to account for these judgements. (shrink)

The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA (...) is justified on the conception, which provides, contra Rieger (Mind 109:241–253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation. (shrink)

I investigate two asymmetrical approaches to knowledge of absolute possibility and of necessity--one which treats knowledge of possibility as more fundamental, the other according epistemological priority to necessity. Two necessary conditions for the success of an asymmetrical approach are proposed. I argue that a possibility-based approach seems unable to meet my second condition, but that on certain assumptions--including, pivotally, the assumption that logical and conceptual necessities, while absolute, do not exhaust the class of absolute necessities--a necessity-based approach may be able (...) to do so. (shrink)

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths need no truthmakers (...) and that positive existential falsehoods need no falsemakers. (shrink)

Foundationalist, Coherentist, Skeptic etc., have all been united in one respect--all accept epistemic justification cannot result from an unending, and non-repeating, chain of reasons. Peter Klein has recently challenged this minimal consensus with a defense of what he calls "Infinitism"--the position that justification can result from such a regress. Klein provides surprisingly convincing responses to most of the common objections to Infinitism, but I will argue that he fails to address a venerable metaphysical concern about a certain type of regress. (...) My conclusion will be that until Klein answers these metaphysical worries he will not have restored Infinitism as a viable option in epistemology. (shrink)

This paper presents a systematic approach for analyzing and explaining the nature of social groups. I argue against prominent views that attempt to unify all social groups or to divide them into simple typologies. Instead I argue that social groups are enormously diverse, but show how we can investigate their natures nonetheless. I analyze social groups from a bottom-up perspective, constructing profiles of the metaphysical features of groups of specific kinds. We can characterize any given kind of social group with (...) four complementary profiles: its “construction” profile, its “extra essentials” profile, its “anchor” profile, and its “accident” profile. Together these provide a framework for understanding the nature of groups, help classify and categorize groups, and shed light on group agency. (shrink)

In his insightful and challenging paper, Jonathan Schaffer argues against a distinction I make in The Ant Trap (Epstein 2015) and related articles. I argue that in addition to the widely discussed “grounding” relation, there is a different kind of metaphysical determination I name “anchoring.” Grounding and anchoring are distinct, and both need to be a part of full explanations of how facts are metaphysically determined. Schaffer argues instead that anchoring is a species of grounding. The crux of his argument (...) comes in the last sections of his paper, in his discussion of “exportation,” the relations strategy, and the definitions strategy. I am inclined to agree that Schaffer’s interesting strategies offer the best choices for the philosopher who wants to insist that anchoring is a species of grounding. But both, I will argue, are fatally flawed. I do not take the separation of anchors from grounds lightly, but find the evidence in its favor overwhelming. And once the distinction is made, I find anchoring to be a powerful practical tool in metaphysics. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 768-781, November 2019. (shrink)

Realists about universals face a question about grounding. Are things how they are because they instantiate the universals they do? Or do they instantiate those universals because they are how they are? Take Ebenezer Scrooge. You can say that Scrooge is greedy because he instantiates greediness, or you can say that Scrooge instantiates greediness because he is greedy. I argue that there is reason to prefer the latter to the former. I develop two arguments for the view. I also respond (...) to some concerns one might have about the view defended. I close by showing that analogous views regarding the truth of propositions and the existence of facts are supported by analogs of one of these arguments. (shrink)

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

This book first argues that what philosophers are really after, or at least should be after, when they seek a theory of explanation, is a theory of answers to why-questions. The book's main thesis, then, is a theory of reasons why. Every reason why some event happened is either a cause, or a ground, of that event. Challenging this thesis are many examples philosophers have thought they have found of "non-causal explanations." Reasons Why uses two ideas to show that these (...) examples are not counterexamples to the theory it defends. First is the idea that not every part of a good response to a why-question is part of an answer to that why-question. Second is the idea that not every reason why something is a reason why an event happened is itself a reason why that event happened. (shrink)

Although Leibniz's writing forms an enormous corpus, no single work stands as a canonical expression of his whole philosophy. In addition, the wide range of Leibniz's work--letters, published papers, and fragments on a variety of philosophical, religious, mathematical, and scientific questions over a fifty-year period--heightens the challenge of preparing an edition of his writings in English translation from the French and Latin.

Ross P. Cameron argues that the flow of time is a genuine feature of reality. He suggests that the best version of the A-Theory is a version of the Moving Spotlight view, according to which past and future beings are real, but there is nonetheless an objectively privileged present. Cameron argues that the Moving Spotlight theory should be viewed as having more in common with Presentism than with the B-Theory. Furthermore, it provides the best account of truthmakers for claims about (...) what was or will be the case. Cameron goes on to defend an account of the open future, and argues that this is a better account than that available to the Growing Block theory. (shrink)

What does the passage of time consist in? There are some suggestive metaphors. âEvents approach us, pass us, and recede from us, like sticks and leaves floating on the river of time.â âWe are moving from the past into the future, like ships sailing into an unknown ocean.â There is surely something right and deep about these metaphors. But how close are they to the literal truth? In this book Bradford Skow argues that they are far from the literal truth. (...) Skowâs argument takes the form of a defense of the block universe theory of time, a theory that, in many ways, treats time as a dimension of reality that closely resembles the three dimensions of space. Opposed to the block universe theory of time are theories that take the metaphors more seriously: presentism, the moving spotlight theory, the growing block theory, and the branching time theory. These are theories of ârobustâ passage of time, or âobjective becoming.â Skow argues that the best of these theories, the block universe theoryâs most worthy opponent, is the moving spotlight theory, the theory that says that âpresentnessâ moves along the series of times from the past into the future. Skow defends the moving spotlight theory against the objection that it is inconsistent, and the objection that it cannot answer the question of how fast time passes. He also defends it against the objection that it is incompatible with Einsteinâs theory of relativity. Skow proposes several ways in which the moving spotlight theory may be made compatible with the theory of relativity. Still, this book is ultimately a defense of the block universe theory, not of the moving spotlight theory. Skow holds that the best arguments against the block universe theory, and for the moving spotlight theory, start from the idea that, somehow, the passage of time is given to us in experience. Skow discusses several different arguments that start from this idea, and argues that they all fail. (shrink)

This book explores the social practice of holding each other in our identities, beginning with pregnancy and on through the life span. Lindemann argues that our identities give us our sense of how to act and how to treat others, and that the ways in which we we hold each other in them is of crucial moral importance.

In this collection of previously published essays, Sally Haslanger draws on insights from feminist and critical race theory and on the resources of contemporary analytic philosophy to develop the idea that gender and race are positions ...

Stephen Mumford puts forward a new theory of dispositions, showing how central their role is in metaphysics and philosophy of science. Much of our understanding of the physical and psychological world is expressed in terms of dispositional properties--from the solubility of sugar to the belief that zebras have stripes. Mumford discusses what it means to say that something has a property of this kind, and how dispositions can possibly be real things in the world. His clear, straightforward, realist account reveals (...) them to be less mysterious than they seem, and shows that an understanding of dispositions is essential to an understanding of properties, causation, and scientific laws. (shrink)

Real Time II extends and evolves D.H. Mellor's classic exploration of the philosophy of time, Real Time . This wholly new book answers such basic metaphysical questions about time as: how do past, present and future differ, how are time and space related, what is change, is time travel possible? His Real Time dominated the philosophy of time for fifteen years. This book will do the same for the next twenty years.

Let us agree that everything that there is exists, and that to be, to be real, and to exist are one and the same. Does everything that there is exist to the same degree? Or do some things exist more than others? Are there gradations of being? I argue that some entities exist more than others. Moreover, many of the notions in play in contemporary metaphysical discourse, such as fundamentality, perfect naturalness, and grounding ought to be cashed out in terms (...) of degree of existence. (shrink)

This paper argues that ground is irreducibly plural: a group of facts can be grounded together, as a collective, even though no member of the group has a ground on its own. This kind of plural grounding is applied to the metaphysics of individuals and quantities, yielding a “structuralist” view in each case. Some more general implications of plural grounding are also discussed.

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

There is a long history of worrying about whether or not metaphysics is a legitimate philosophical discipline. Traditionally such worries center around issues of meaning and epistemological concerns. Do the metaphysical questions have any meaning? Can metaphysical methodology lead to knowledge? But these questions are, in my opinion, not as serious as they have sometimes (historically) been taken to be. What is much more concerning is another set of worries about metaphysics, which I take to the greatest threat to metaphysics (...) as a philosophical discipline. These worries, in effect, hold that the questions that metaphysics tries to answer have long been answered in other parts of inquiry, ones that have much greater authority. And if they haven’t been answered yet then one should not look to philosophy for an answer. What metaphysics tries to do has been or will be done by the sciences. There is nothing left to do for philosophy, or so the worry. Let me illustrate this with two examples, one of which is our main concern here. (shrink)

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

Interest surges in a distinctively metaphysical notion of ground. But a Schism has emerged between Orthodoxy’s view of ground as inducing a strict partial order structure on reality and Heresy’s rejection of this view. What’s at stake is the structure of reality (for proponents of ground), or even ground itself (for those who think this Schism casts doubt upon its coherence). I defend Orthodoxy against Heresy.

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.