It has recently been suggested that a distinctive metaphysical relation---"Grounding"---is ultimately at issue in contexts where some goings-on are said to hold "in virtue of"", be (constitutively) "metaphysically dependent on", or be "nothing over and above" some others (see Fine 2001, Schaffer 2009, and Rosen 2010). Grounding is supposed to do good work (better than merely modal notions, in particular) in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do (...) this work, for bare claims of Grounding leave open such basic questions as whether Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence---e.g., type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on---that are typically at issue in contexts where metaphysical dependence is at issue, and which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding, either as tracking a coarse-grained but still useful level of investigation, as needed for the specific relations to fix the direction of priority, or as unifying the specific relations. (shrink)

I problematize Grounding-based formulations of physicalism. More specifically, I argue, first, that motivations for adopting a Grounding-based formulation of physicalism are unsound; second, that a Grounding-based formulation lacks illuminating content, and that attempts to imbue Grounding with content by taking it to be a strict partial order are unuseful and problematic ; third, that conceptions of Grounding as constitutively connected to metaphysical explanation conflate metaphysics and epistemology, are ultimately either circular or self-undermining, and controversially assume that physical dependence is incompatible (...) with explanatory gaps; fourth, that in order to appropriately distinguish physicalism from strong emergentism, a Grounding-based formulation must introduce one and likely two primitives in addition to Grounding; and fifth, that understanding physical dependence in terms of Grounding gives rise to ‘spandrel’ questions, including, e.g., “What Grounds Grounding?”, which arise only due to the overly abstract nature of Grounding. (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)

Contemporary philosophers commonly suppose that any fundamental entities there may be are maximally determinate. More generally, they commonly suppose that, whether or not there are fundamental entities, any determinable entities there may be are grounded in, hence less fundamental than, more determinate entities. So, for example, Armstrong takes the physical objects constituting the presumed fundamental base to be “determinate in all respects” (1961, 59), and Lewis takes the properties characterizing things “completely and without redundancy” to be “highly specific” (1986, 60). (...) Here I look at the usually cited reasons for these suppositions as directed against the case of determinable properties, in particular, and argue that none is compelling (Sections 1 to 3). The discussion in Section 3 moreover identifies positive reason for taking some determinable properties to be part of a fundamental (or relatively fundamental) base. I close (Section 4) by noting certain questions arising from the possibility of fundamental determinables, as directions for future research. (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)

I argue that an adequate account of non-reductive realization must guarantee satisfaction of a certain condition on the token causal powers associated with (instances of) realized and realizing entities---namely, what I call the 'Subset Condition on Causal Powers' (first introduced in Wilson 1999). In terms of states, the condition requires that the token powers had by a realized state on a given occasion be a proper subset of the token powers had by the state that realizes it on that occasion. (...) Accounts of non-reductive realization conforming to this condition are implementing what I call 'the powers-based subset strategy'. I focus on the crucial case involving mental and brain states; the results may be generalized, as appropriate. I first situate and motivate the strategy by attention to the problem of mental causation; I make the case, in schematic terms, that implementation of the strategy makes room (contra Kim 1989, 1993, 1998, and elsewhere) for mental states to be ontologically and causally autonomous from their realizing physical states, without inducing problematic causal overdetermination, and compatible with both Physicalism and Non-reduction; and I show that several contemporary accounts of non-reductive realization (in terms of functional realization, parthood, and the determinable/determinate relation) are plausibly seen as implementing the strategy. As I also show, implementation of the powers-based strategy does not require endorsement of any particular accounts of either properties or causation---indeed, a categoricalist contingentist Humean can implement the strategy. The schematic location of the strategy in the space of available responses to the problem of mental (more generally, higher-level) causation, as well as the fact that the schema may be metaphysically instantiated, strongly suggests that the strategy is, appropriately generalized and instantiated, sufficient and moreover necessary for non-reductive realization. I go on to defend the sufficiency and necessity claims against a variety of objections, considering, along the way, how the powers-based subset strategy fares against competing accounts of purportedly non-reductive realization in terms of supervenience, token identity, and constitution. (shrink)

Every paper in this collection is worth reading, for one reason or another. Still, due to certain problematic metametaphysical presuppositions most of these discussions miss the deeper mark, on the pessimist as well as the optimist side. My reasons for thinking this come from considering how best to answer three metametaphysical questions. First, why be pessimistic about metaphysics – why be Carnapian in a post-positivist age? There is, I’ll suggest, a post-positivist strategy for reviving Carnapian pessimism, but it is almost (...) entirely neglected here; and the motivations that pessimists offer instead are not compelling. Second, why think that the best way to approach metametaphysical questions is by attention to features of language, and in particular to quantifier semantics, in ordinary or ontological language(s)? Here again we are offered little motivation for this supposition, which, notwithstanding its acceptance by nearly all contributors, faces clear difficulties. Third, granting that quantification is somehow bound up with first-order questions about what exists, what is the nature of this connection, and what are the associated implications for metametaphysics? Here I find the accounts of the connection on offer implausible, especially as compared to an alternative that makes better sense of metaphysical practice and disagreement. The moral following consideration of these questions is that real progress in metametaphysics is likely to occur less by attention to semantic issues pertaining to representation, translation and quantification and more to non-semantic issues pertaining to epistemology and metaphysical determinacy. (shrink)

How can mental properties bring about physical effects, as they seem to do, given that the physical realizers of the mental goings-on are already sufficient to cause these effects? This question gives rise to the problem of mental causation (MC) and its associated threats of causal overdetermination, mental causal exclusion, and mental causal irrelevance. Some (e.g., Cynthia and Graham Macdonald, and Stephen Yablo) have suggested that understanding mental-physical realization in terms of the determinable/determinate relation (henceforth, 'determination') provides the key to (...) solving the problem of MC: if mental properties are determinables of their physical realizers, then (since determinables and determinates are distinct, yet don't causally compete) all three threats may be avoided. Not everyone agrees that determination can do this good work, however. Some (e.g., Douglas Ehring, Eric Funkhauser, and Sven Walter) object that mental-physical realization can't be determination, since such realization lacks one or other characteristic feature of determination. I argue that on a proper understanding of the features of determination key to solving the problem of MC these arguments can be resisted. (shrink)

How should physical entities be characterized? Physicalists, who have most to do with the notion, usually characterize the physical by reference to two components: 1. The physical entities are the entities treated by fundamental physics with the proviso that 2. Physical entities are not fundamentally mental (that is, do not individually possess or bestow mentality) Here I explore the extent to which the appeals to fundamental physics and to the NFM (“no fundamental mentality”) constraint are appropriate for characterizing the physical, (...) especially for purposes of formulating physicalism. Ultimately, I motivate and defend a version of an account incorporating both components: The physics-based NFM account: An entity existing at a world w is physical iff (i) it is treated, approximately accurately, by current or future (in the limit of inquiry, ideal) versions of fundamental physics at w, and (ii) it is not fundamentally mental (that is, does not individually either possess or bestow mentality). (shrink)

Note: this is the first published presentation and defense of the 'proper subset strategy' for making sense of non-reductive physicalism or the associated notion of realization; this is sometimes, inaccurately, called "Shoemaker's subset strategy"; if people could either call it the 'subset strategy' or better yet, add my name to the mix I would appreciate it. Horgan claims that physicalism requires "superdupervenience" -- supervenience plus robust ontological explanation of the supervenient in terms of the base properties. I argue that Horgan's (...) account fails to rule out physically unacceptable emergence. I rather suggest that this and other unacceptable possibilities may be ruled out by requiring that each individual causal power in the set associated with a given supervenient property be numerically identical with a causal power in the set associated with its base property. I go on to show that a wide variety of physicalist accounts, both reductive and non-reductive, are implicitly or explicitly designed to meet this condition, and so are more similar than they seem. In particular, non-reductive physicalism accounts typically appeal to a relation plausibly ensuring that the powers of a higher-level property are a proper subset of those of its physical base property. (shrink)

Some claim that Non- reductive Physicalism is an unstable position, on grounds that NRP either collapses into reductive physicalism, or expands into emergentism of a robust or ‘strong’ variety. I argue that this claim is unfounded, by attention to the notion of a degree of freedom—roughly, an independent parameter needed to characterize an entity as being in a state functionally relevant to its law-governed properties and behavior. I start by distinguishing three relations that may hold between the degrees of freedom (...) needed to characterize certain special science entities, and those needed to characterize their composing physical entities; these correspond to what I call ‘reductions’, ‘restrictions’, and ‘eliminations’ in degrees of freedom. I then argue that eliminations in degrees of freedom, in particular—when strictly fewer degrees of freedom are required to characterize certain special science entities than are required to characterize their composing physical entities—provide a basis for making sense of how certain special science entities can be both physically acceptable and ontologically irreducible to physical entities. (shrink)

Grounding, understood as a primitive posit operative in contexts where metaphysical dependence is at issue, is not able on its own to do any substantive work in characterizing or illuminating metaphysical dependence---or so I argue in 'No Work for a Theory of Grounding' (Inquiry, 2014). Such illumination rather requires appeal to specific metaphysical relations---type or token identity, functional realization, the determinable-determinate relation, the mereological part-whole relation, and so on---of the sort typically at issue in these contexts. In that case, why (...) posit 'big-G' Grounding in addition to the 'small-g' grounding relations already in the metaphysician's toolkit? The best reasons for doing so stem from the Unity argument, according to which the further posit of Grounding is motivated as an apt unifier of the specific relations, and the Priority argument, according to which Grounding is needed in order to fix the direction of priority of the specific relations. I previously considered versions of these arguments, and argued that they did not succeed; in two papers, however, Jonathan Schaffer aims to develop a better version of the Unity argument, and offers certain objections to my reasons for rejecting the Priority argument. Here I consider these new arguments for Grounding. (shrink)

Here we challenge the orthodoxy according to which abduction is an a posteriori mode of inference. We start by providing a case study illustrating how abduction can justify a philosophical claim not justifiable by empirical evidence alone. While many grant abduction's epistemic value, nearly all assume that abductive justification is a posteriori, on grounds that our belief in abduction's epistemic value depends on empirical evidence about how the world contingently is. Contra this assumption, we argue, first, that our belief in (...) abduction’s epistemic value is not and could not be justified a posteriori, and second, that attention to the roles experience plays in abductive justification supports taking abduction to be an a priori mode of inference. We close by highlighting how our strategy for establishing the a priority of abduction positively contrasts with strategies in Bonjour (1998), Swinburne (2001), and Peacocke (2004) aiming to establish the a priority of certain ampliative modes of inference or abductive principles. (shrink)

Many phenomena appear to be indeterminate, including material macro-object boundaries, predicates or properties admitting of borderline cases, and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous such accounts have been "meta-level" accounts, taking metaphysical indeterminacy (MI) to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative, "object-level" account, MI involves its being determinate (or just plain true) that an indeterminate (less than maximally (...) specific) SOA obtains. I more specifically suggest that MI involves an object's (i) having a determinable property, but (ii) not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in intuitive and intelligible fashion, indeterminacy in macro-object boundaries and the open future, while satisfactorily treating the usual concerns to accounts of MI stemming from Evans's argument and the problem of the many. (shrink)

I problematize Grounding-based formulations of physicalism. More specifically, I argue, first, that motivations for adopting a Grounding-based formulation of physicalism are unsound; second, that a Grounding-based formulation lacks illuminating content, and that attempts to imbue Grounding with content by taking it to be a strict partial order are unuseful and problematic ; third, that conceptions of Grounding as constitutively connected to metaphysical explanation conflate metaphysics and epistemology, are ultimately either circular or self-undermining, and controversially assume that physical dependence is incompatible (...) with explanatory gaps; fourth, that in order to appropriately distinguish physicalism from strong emergentism, a Grounding-based formulation must introduce one and likely two primitives in addition to Grounding; and fifth, that understanding physical dependence in terms of Grounding gives rise to ‘spandrel’ questions, including, e.g., “What Grounds Grounding?”, which arise only due to the overly abstract nature of Grounding. (shrink)

Some claim that the notion of strong emergence as involving ontological or causal novelty makes no sense, on grounds that any purportedly strongly emergent features or associated powers 'collapse', one way or another, into the lower-level base features upon which they depend. Here we argue that there are several independently motivated and defensible means of preventing the collapse of strongly emergent features or powers into their lower-level bases, as directed against a conception of strongly emergent features as having fundamentally novel (...) powers. After introducing the project (Section 1), we motivate and present the powers-based account (Section 2); we then canvass the two main versions of the collapse objection, show how these apply to the powers-based account, and problematize certain strategies of response (Section 3); we then present and defend four better strategies of response (Section 4). (shrink)

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine emergence (...) of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, I (...) present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

Do component forces exist in conjoined circumstances? Cartwright (1980) says no; Creary (1981) says yes. I'm inclined towards Cartwright's side in this matter, but find several problems with her argumentation. My primary aim here is to present a better, distinctly causal, argument against component forces: very roughly, I argue that the joint posit of component and resultant forces in conjoined circumstances gives rise to a threat of causal overdetermination, avoidance of which best proceeds via eliminativism about component forces. A secondary (...) aim is to show that rejecting component forces does not require, pace Cartwright, rejecting certain attractive theses about what laws of nature express and the role such laws play in scientific explanations. (shrink)

Horgan (1993) proposed that "superdupervenience" - supervenience preserving physicalistic acceptability - is a matter of robust explanation. I argued against him (1999) that (as nearly all physicalist and emergentist accounts reflect) superdupervenience is a matter of Condition on Causal Powers (CCP): every causal power bestowed by the supervenient property is identical with a causal power bestowed by its base property. Here I show that CCP is, as it stands, unsatisfactory,for on the usual understandings of causal power bestowal, it is trivially (...) satisfied or falsified. I offer a revision of CCP which incorporates the evident fact that causal powers are grounded in fundamental forces. (shrink)

I argue that Cartesian skepticism about the external world leads to a vicious regress of skeptical attitudes, the only principled and unproblematic response to which requires refraining from taking the very first skeptical step.

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion that metaphysical supervaluationism (...) cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

I argue that the present (if not insuperable) lack of fixed standards in philosophy is associated with three barriers to philosophical progress, pertaining to intra-disciplinary siloing, sociological rather than philosophical determinants of philosophical attention, and the encouraging of bias.

The nonlinearity of a composite system, whereby certain of its features (including powers and behaviors) cannot be seen as linear or other broadly additive combinations of features of the system's composing entities, has been frequently seen as a mark of metaphysical emergence, coupling the dependence of a composite system on an underlying system of composing entities with the composite system's ontological autonomy from its underlying system. But why think that nonlinearity is a mark of emergence, and moreover, of metaphysical rather (...) than merely epistemological emergence? Are there diverse ways in which nonlinearity might enter into an account of properly metaphysical emergence? And what are the prospects for there actually being phenomena that are metaphysically emergent in any available sense? Here I explore the mutual bearing of nonlinearity and metaphysical emergence, with an eye towards answering these and related questions. (shrink)

In what does philosophical progress consist? 'Vertical' progress corresponds to development within a specific paradigm/framework for theorizing (of the sort associated, revolutions aside, with science); 'horizontal' progress corresponds to the identification and cultivation of diverse paradigms (of the sort associated, conservativism aside, with art and pure mathematics). Philosophical progress seems to involve both horizontal and vertical dimensions, in a way that is somewhat puzzling: philosophers work in a number of competing frameworks (like artists or mathematicians), while typically maintaining that only (...) one of these is correct (like scientists). I diagnose this situation as reflecting that we are presently quite far from the end of inquiry into philosophical methodology. The good news is that we appear to be making advances on this score. The bad news is that failure to recognize or make explicit that our standards are in flux often leads to dogmatism, as I illustrate by attention to three assumptions presently operative in metaphysical and metametaphysical contexts. I close by identifying a tension between vertical and horizontal progress in philosophy, and suggesting an updated version of Carnap's principle of tolerance for new philosophical forms. (shrink)

Why believe Hume's Dictum, according to which there are, roughly speaking, no necessary connections between wholly distinct entities? Schaffer suggests that HD, at least as applied to causal or nomological connections, is motivated as required by the best account of of counterfactuals---namely, a similarity-based possible worlds account, where the operative notion of similarity requires 'miracles'---more specifically, worlds where entities of the same type that actually exist enter into different laws. The main cited motivations for such an account of similarity are (...) first, that some salient contexts presuppose CF asymmetry, and second, that accounts of CFs failing to presuppose CF asymmetry are epistemologically problematic, such that under conditions of determinism, the variations in initial micro-conditions needed to implement a given counterfactual antecedent would result in so many changes to macro-states that evaluation of CFs would be rendered practically impossible. Against the first reason, I argue that no non-artificial contexts presuppose CF asymmetry; against the second, I observe that such micro-variation is compatible, in principle, with significant similarity as regards macroscopic states of affairs---enough, in particular, to allow CFs to be appropriately evaluated. (shrink)

Free will, if such there be, involves free choosing: the ability to mentally choose an outcome, where the outcome is 'free' in being, in some substantive sense, up to the agent of the choice. As such, it is clear that the questions of how to understand free will and mental causation are connected, for events of seemingly free choosing are mental events that appear to be efficacious vis-a-vis other mental events as well as physical events. Nonetheless, the free will and (...) mental causation debates have proceeded largely independently of each other. Here we aim to make progress in determining how the free will and mental causation debates bear on one another. We first argue that the problems of free will and of mental causation can be seen as special cases of a more general problem, concerning whether and how mental events of a given type may be efficacious, qua the types of event they are---qualitative, intentional, freely deliberative---given their apparent causal irrelevancy for effects of the type in question; here we generalize what Horgan 1989 identifies as "the problem of mental quausation" (S1). We then build on this result to identify fruitful parallels between hard determinism and eliminative physicalism (S2) and soft determinism and non-reductive physicalism (S3). (shrink)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

I address the question of whether there is any role for metaphysics to play on which it is both non-redundant and capable of genuinely illuminating whatever subject matter is at issue. I first argue that metaphysical methodology itself obliges metaphysicians to take this question seriously. I then argue that the currently popular “hands-off” conception of metaphysical theorizing is unable to provide a satisfactory answer to the question of metaphysics. Third, I present my preferred “embedded” conception of metaphysics, and say why (...) it makes good sense of metaphysics as a non-redundant discipline, capable of producing intelligible and illuminating results. (shrink)

In Meaning and Necessity (1947/1950), Carnap advances an intensional semantic framework on which modal claims are true in virtue of semantical rules alone, and so are a priori. In 'Empiricism, Semantics, and Ontology' (1950), Carnap advances an epistemic-ontological framework on which metaphysical claims are either trivial or meaningless, since lacking any means of substantive confirmation. Carnap carried out these projects two decades before Kripke influentially argued, in Naming and Necessity (1972/1980), that some modal claims are true a posteriori. How should (...) a neo-Carnapian respond to Kripke's results? Some (notably, Chalmers and Jackson, in their 2001) have suggested that an extension of intensional semantics along lines of "epistemic two-dimensionalism" can accommodate Kripke's results while largely preserving commitment to the semantics-based a priority of modal claims. Here we consider how best to implement this suggestion, and how the resulting semantics fits with Carnap's second project. We find that the most promising (and most Carnapian!) post-Kripke version of Carnap’s semantics---abductive two-dimensionalism---presupposes an epistemology which undermines Carnap's metaphysical anti-realism. (shrink)

Here I compare two accounts of metaphysical indeterminacy (MI): first, the 'meta-level' approach described by Elizabeth Barnes and Ross Cameron in the companion to this paper, on which every state of affairs (SOA) is itself precise/determinate, and MI is a matter of its being indeterminate which determinate SOA obtains; second, my preferred 'object-level' determinable-based approach, on which MI is a matter of its being determinate---or just plain true---that an indeterminate SOA obtains, where an indeterminate SOA is one whose constitutive object (...) has a determinable property, but no unique determinate of that determinable. In S1, I first note an important difference between our accounts, concerning whether MI is taken to induce propositional indeterminacy; in S2, I highlight and defend certain advantages of my account; in S3, I address certain of Barnes and Cameron's objections to my account. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

Alberto Casullo ("Necessity, Certainty, and the A Priori", Canadian Journal of Philosophy 18, 1988) argues that arithmetical propositions could be disconfirmed by appeal to an invented scenario, wherein our standard counting procedures indicate that 2 + 2 != 4. Our best response to such a scenario would be, Casullo suggests, to accept the results of the counting procedures, and give up standard arithmetic. While Casullo's scenario avoids arguments against previous "disconfirming" scenarios, it founders on the assumption, common to scenario and (...) response, that arithmetic might be independent of standard counting procedures. Here I show, by attention to tallying as the simplest form of counting, that this assumption is incoherent: given standard counting procedures, then (on pain of irrationality) arithmetical theory follows. (shrink)

(No abstract is available for this citation).

Hume argued that experience could not justify commonly held beliefs in singular causal effcacy, according to which individual or singular causes produce their effects or make their effects happen. Hume's discussion has been influential, as motivating the view that Causal reductionism (denying that causal efficacy is an irreducible feature of natural reality) requires Causal generalism (according to which causal relations are metaphysically constituted by patterns of events). Here I argue that causal reductionists---indeed, Hume himself---have previously unappreciated resources for making sense (...) of Causal singularism, associated with a relation that has been curiously underexploited in the causation debates: resemblance. The core idea I explore here is that causation may be metaphysically and epistemologically indicated by the coming-to-be of a resemblance. Comings-to-be of resemblances are epistemically available in the singular instance, even by Hume's strict lights, and, I argue, can justify (albeit fallibly) belief in the holding of singular causal relations; hence Hume's general argument for generalism fails. More to the contemporary metaphysical point, comings-to-be of resemblances provide valuable resources for existing singularist accounts: while neither changes (Ducasse) nor transfers of physical quantities (Fair, Dowe, Salmon) provide a suffciently fine-grained basis for the individuation of causes, either changes or transfers, in combination with comings-to-be of resemblances, can do so. (shrink)

Perry, in this lucid, deep, and entertaining book , supposes that type-identity physicalism is antecedently plausible, and that rejecting this thesis requires good reason (this is.

The subjective effects and therapeutic potential of the shamanic practice of journeying is well known. However, previous research has neglected to provide a comprehensive assessment of the subjective effects of shamanic-like journeying techniques on non-shamans. Shamanic-like techniques are those that demonstrate some similarity to shamanic practices and yet deviate from what may genuinely be considered shamanism. Furthermore, the personality traits that influence individual susceptibility to shamanic-like techniques are unclear. The aim of the present study was, thus, to investigate experimentally the (...) effect of shamanic-like techniques and a personality trait referred to as "ego boundaries" on subjective experience including mood disturbance. Forty-three non-shamans were administered a composite questionnaire consisting of demographic items and a measure of ego boundaries (i.e., the Short Boundary Questionnaire; BQ-Sh). Participants were randomly assigned to one of three conditions: listening to monotonous drumming for 15 minutes coupled with one of two sets of journeying instructions; or sitting quietly with eyes closed for 15 minutes. Participants' subjective experience and mood disturbance were retrospectively assessed using the Phenomenology of Consciousness Inventory (PCI) and the Profile of Mood States-Short Form, respectively. The results indicated that there was a statistically significant difference between conditions with regard to the PCI major dimensions of visual imagery, attention and rationality, and minor dimensions of imagery amount and absorption. However, the shamanic-like conditions were not associated with a major reorganization of the pattern of subjective experience compared to the sitting quietly condition, suggesting that what is typically referred to as an altered state of consciousness effect was not evident. One shamanic-like condition and the BQ-Sh subscales need for order, childlikeness, and sensitivity were statistically significant predictors of total mood disturbance. Implications of the findings for the anthropology of consciousness are also considered. (shrink)

Physicalism is the thesis that all entities are nothing over and above physical entities. Here I investigate into whether and how physicalism might be formulated so as to substantively contrast with its best traditional rivals---including and especially emergentism. Formulating physicalism requires making sense of both the physical/non-physical distinction and the nothing/something over and above distinction. It has been argued that no distinction between the physical and the non-physical exists, that can serve as the basis for a sub stantive physicalism. But (...) such arguments miss the mark, for participants to the physicalism debates do not disagree about the boundary of the physical, which, while roughly drawn is clear enough for debate to proceed. Rather, participants disagree on whether there are any entities over and above those entities they agree are physical. Hence the viability of physicalism primarily depends on the over and above distinction. ;I argue that existing accounts of over and aboveness are inadequate, for the key class of cases where two properties are instanced in a single subject, and one property is supposed to necessitate the other, with at least nomological necessity. I go on to provide an adequate account of over and aboveness, by reference to the notion of a fundamental force . We can formulate physicalism and emergentism using Force-relative Over and Aboveness: according to physicalism, all causal powers bestowed by all properties are grounded only in fundamental physical forces; according to emergentism, some causal powers are grounded in a new fundamental force, different from any physical force. ;Understanding over and aboveness as involving fundamental forces is not new. But arguments against forces have lately been accepted; hence the notable absence of forces from contemporary philosophizing. I distinguish two uses of 'force', and show that these arguments do not tell against fundamental forces. I then give positive arguments for admitting fundamental forces, stemming from the reasonable hypothesis that fundamental forces are collections of interacting fields. Forces, so understood, are ontologically defensible; and thus can serve as the needed basis for formulating physicalism and emergentism. (shrink)