In a recent paper, Firt, Hemmo and Shenker argue that Hempel’s dilemma, typically thought to primarily undermine physicalism, is generalizable and impacts mind-body dualism and many other theories equally. I challenge this view and argue that Hempel’s dilemma admits of at least two distinct construals: a general-skeptical construal, underpinned by historically driven arguments such as the pessimistic induction, and a non-skeptical construal, driven by the specific puzzles and volatility of current physics. While the general-skeptical construal applies to (...) all changeable deep-structure theories, the non-skeptical construal primarily targets volatile theories which harbor exclusionary ambitions. As a result, dualism largely evades both construals due to the stability of theories of the mental and their lack of exclusionary ambitions. Conversely, physicalism is uniquely susceptible to both construals due to its strong commitment to deep-structure realism, inherent exclusionary ambitions, and the volatility of certain branches of fundamental physics. The paper ultimately concludes that Hempel’s dilemma is not universally problematic, but presents a unique challenge to physicalism while being relatively congenial to dualism. (shrink)

I propose a construal of aesthetic value that gives us reason to emphasize some aesthetic practices over others. This construal rests on the existence of a central aesthetic value, namely apprehension-testing intricacy within an appropriate domain. I address three objections: the objection that asks how an aesthetic value based on intricacy can account for the value of minimalism; the objection that asks about the difference between intricacy within a medium and intricacy between media; and the objection that asks (...) about the danger of a regress. I then say that, although this central aesthetic value can in principle allow us to adjudicate between aesthetic practices, we have epistemic limits (about the potential of certain artistic domains to allow for apprehension-testing intricacy) that prevent adjudication in some cases. Even if there is a difference between the vastness of the potential-intricacy-fields somewhere down the line, it is too far for us to see. (shrink)

Coffee and tea are two beverages commonly-consumed around the world. Therefore, there is much research regarding their physiological effects. However, less is known about their psychological meanings. Derived from a predicted lay association between coffee and arousal, we posit that exposure to coffee-related cues should increase arousal, even in the absence of actual ingestion, relative to exposure to tea-related cues. We further suggest that higher arousal levels should facilitate a concrete level of mental construal as conceptualized by Construal (...) Level Theory. In four experiments, we find that coffee cues prompted participants to see temporal distances as shorter and to think in more concrete, precise terms. Both subjective and physiological arousal explain the effects. We situate our work in the literature that connects food and beverage to cognition or decision-making. We also discuss the applied relevance of our results as coffee and tea are among the most prevalent beverages globally. (shrink)

Here, I put forth a construal of P. F. Strawson’s so-called reversal, his view that what it means to be morally responsible is determined by our practices of holding responsible. The “concern-based” construal that I defend holds that what it means to be morally responsible is determined by the basic social concerns of which our practices are an expression. This construal, I argue, avoids a dilemma that Patrick Todd has recently raised for the reversal.

On the face of it, suffering from the loss of a loved one and suffering from intense pain are very different things. What makes them both experiences of suffering? I argue it’s neither their unpleasantness nor the fact that we desire not to have such experiences. Rather, what we suffer from negatively transforms the way our situation as a whole appears to us. To cash this out, I introduce the notion of negative affective construal, which involves practically perceiving our (...) situation as calling for change, registering this perception with a felt desire for change, and believing that the change is not within our power. We (attitudinally) suffer when negative affective construal is pervasive, either because it colours a large swath of possibilities, as in the case of anxiety, or because it narrows our attention to what hurts, as in the case of grief. On this view, sensory or bodily suffering is a special case of attitudinal suffering: the unpleasantness of pain causes pervasive negative affective construal. Pain that doesn’t negatively transform our world doesn’t make for suffering. (shrink)

Adam Smith argued that the ideal moral judge is both well-informed and impartial. As non-ideal moral agents, we tend only to be truly well-informed about those with whom we frequently interact. These are also those with whom we tend to have the closest affective bonds. Hence, those who are well-informed, like our friends, tend to make for partial judges, while those who are impartial, like strangers, tend to make for ill-informed ones. Combining these two traits in one person seems far (...) from straightforward. Still, if becoming well-informed is, as Smith also claims, a matter of imaginative perspective-taking with the “person principally concerned”, it might be possible to become well-informed without the emotional entanglement that comes from any actual proximity to those we judge. Against this intuition, I use Construal Level Theory to show that the tension between being well-informed and impartial is likely to persist even if we take any actual proximity out of the equation. I end by discussing some implications of this, and suggest that we should consider revising the ideal to accommodate them. (shrink)

I examine Hume’s ‘construal of the basic structure of human agency’ and his ‘analysis of human agency’ as they arise in his investigation of causal power. Hume’s construal holds both that volition is separable from action and that the causal mechanism of voluntary action is incomprehensible. Hume’s analysis argues, on the basis of these two claims, that we cannot draw the concept of causal power from human agency. Some commentators suggest that Hume’s construal of human agency is (...) untenable, unduly skeptical, or uniquely entailed by the limits of empiricism. However, as I argue, these criticisms depend either on a misunderstanding of Hume’s analysis of human agency or on a neglect of the historical context of his view. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by (...) the “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...) must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

How should we understand the notion of moral objectivity? Metaethical positions that vindicate morality’s objective appearance are often associated with moral realism. On a realist construal, moral objectivity is understood in terms of mind-, stance-, or attitude-independence. But realism is not the only game in town for moral objectivists. On an antirealist construal, morality’s objective features are understood in virtue of our attitudes. In this paper I aim to develop this antirealist construal of moral objectivity in further (...) detail, and to make its metaphysical commitments explicit. I do so by building on Sharon Street’s version of “Humean Constructivism”. Instead of the realist notion of attitude-independence, the antirealist account of moral objectivity that I articulate centres on the notion of standpoint-invariance. While constructivists have been criticized for compromising on the issue of moral objectivity, I make a preliminary case for the thesis that, armed with the notion of standpoint-invariance, constructivists have resources to vindicate an account of objectivity with just the right strength, given the commitments of ordinary moral thought and practice. In support of this thesis I highlight recent experimental findings about folk moral objectivism. Empirical observations about the nature of moral discourse have traditionally been taken to give prima facie support to moral realism. I argue, by contrast, that from what we can tell from our current experimental understanding, antirealists can capture the commitments of ordinary discourse at least as well as realists can. (shrink)

The alleged for-me-ness or mineness of conscious experience has been the topic of considerable debate in recent phenomenology and philosophy of mind. By considering a series of objections to the notion of for-me-ness, or to a properly robust construal of it, this paper attempts to clarify to what the notion is committed and to what it is not committed. This exercise results in the emergence of a relatively determinate and textured portrayal of for-me-ness as the authors conceive of it.

Advocates of conceptual engineering as a method of philosophy face a dilemma: either they are ignorant of how conceptual engineering can be implemented, or else it is trivial to implement but of very little value, representing no new or especially fruitful method of philosophizing. Two key distinctions frame this dilemma and explain its two horns. First, the distinction between speaker’s meaning and reference and semantic meaning and reference reveals a severe implementation problem for one construal of conceptual engineering. Second, (...) the distinction between stipulating meanings and conceptually analyzing allows us to see why, on another construal of what conceptual engineering involves, the practice is neither a new nor neglected philosophical methodology. The article also argues that semantic externalism is not the root of the implementation problem for conceptual engineering, and that the usual rationale for adopting the practice, one that ties its value to the amelioration of “conceptual defects”, is unsound. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Ever since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to (...) say that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting 2016, Wikforss 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes. (shrink)

Much has been written about the free energy principle (FEP), and much misunderstood. The principle has traditionally been put forth as a theory of brain function or biological self-organisation. Critiques of the framework have focused on its lack of empirical support and a failure to generate concrete, falsifiable predictions. I take both positive and negative evaluations of the FEP thus far to have been largely in error, and appeal to a robust literature on scientific modelling to rectify the situation. A (...) prominent account of scientific modelling distinguishes between model structure and model construal. I propose that the FEP be reserved to designate a model structure, to which philosophers and scientists add various construals, leading to a plethora of models based on the formal structure of the FEP. An entailment of this position is that demands placed on the FEP that it be falsifiable or that it conform to some degree of biological realism rest on a category error. To this end, I deliver first an account of the phenomenon of model transfer and the breakdown between model structure and model construal. In the second section, I offer an overview of the formal elements of the framework, tracing their history of model transfer and illustrating how the formalism comes apart from any interpretation thereof. Next, I evaluate existing comprehensive critical assessments of the FEP, and hypothesise as to potential sources of existing confusions in the literature. In the final section, I distinguish between what I hold to be the FEP—taken to be a modelling language or modelling framework—and what I term “FEP models.”. (shrink)

Max Deutsch has recently argued that conceptual engineering is stuck in a dilemma. If it is construed as the activity of revising the semantic meanings of existing terms, then it faces an unsurmountable implementation problem. If, on the other hand, it is construed as the activity of introducing new technical terms, then it becomes trivial. According to Deutsch, this conclusion need not worry us, however, for conceptual engineering is ill-motivated to begin with. This paper responds to Deutsch by arguing, first, (...) that there is a third construal of conceptual engineering, neglected by him, which renders it both implementable and non-trivial, and second, that even the more ambitious project of changing semantic meanings is no less feasible than other normative projects we currently pursue. Lastly, the value of conceptual engineering is defended against Deutsch’s objections. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers and its form something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and timbers best (...) conceived as a part of the house, or is it related to the house in some non-mereological fashion? Kathrin Koslicki argues that substances have formal parts, that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non-mereological construal of forms. (shrink)

In this paper, we argue that, in order to account for the apparently substantive nature of definitional disputes, a commitment to what we call ‘Socratic essentialism’ is needed. We defend Socratic essentialism against a prominent neo-Carnapian challenge according to which apparently substantive definitional disputes always in some way trace back to disagreements over how expressions belonging to a particular language or concepts belonging to a certain conceptual scheme are properly used. Socratic essentialism, we argue, is not threatened by the possibility (...) that some apparently substantive definitional disputes may turn out to be verbal or conceptual, since this pluralist strategy, in our view, requires a commitment to more, rather than fewer, essences. What is more, a deflationary, metaphysically ‘light-weight’ construal of the essence-ascriptions in question leads to a peculiar conception of the pursuit of metaphysicians as behaving like deceptive (or self-deceived) grammarians pretending to be scientists. Moreover, this deflationary attitude, we argue, spreads beyond metaphysics and philosophy more broadly to apparently substantive definitional disputes in the sciences as well as other in other disciplines, such as art criticism. (shrink)

This is a contribution to the symposium on Herman Cappelen’s book Fixing Language. Cappelen proposes a metasemantic framework—the “Austerity Framework”—within which to understand the general phenomenon of conceptual engineering. The proposed framework is austere in the sense that it makes no reference to concepts. Conceptual engineering is then given a “worldly” construal according to which conceptual engineering is a process that operates on the world. I argue, contra Cappelen, that an adequate theory of conceptual engineering must make reference to (...) concepts. This is because concepts are required to account for topic continuity, a phenomenon which lies at the heart of projects in conceptual engineering. I argue that Cappelen’s own account of topic continuity is inadequate as a result of the austerity of his metasemantic framework, and that his worldly construal of conceptual engineering is untenable. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka-Volterra equations. (...) There are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

In this paper, we argue that the neo-Aristotelian conception of “friendships of character” appears to misrepresent the essential nature of "genuine", or "true", friendship. We question the neo-Aristotelian imperative that true friendship entails disinterested love of the other “for their own sake” and strives at enhancing moral virtue. We propose an alternative conception of true friendship as involving affective and motivational features which we call closeness, intimacy, identity, and trust. Even on this minimal construal, however, friendship can turn vicious (...) when one of its characteristics becomes overpowering and thereby destroys the very goods for which the friendship was originally sought. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with outright assertions, with (...) first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

The reduction of grounding to causation, or each to a more general relation of which they are species, has sometimes been justified by the impressive inferential capacity of structural equation modelling, causal Bayes nets, and interventionist causal modelling. Many criticisms of this assimilation focus on how causation is inadequate for grounding. Here, I examine the other direction: how treating grounding in the image of causation makes the resulting view worse for causation. The distinctive features of causal modelling that make this (...) connection appealing are distorted beyond use by forcing them to fit onto grounding. The very inferential strength that makes causation attractive is only possible because of a narrow construal of what counts as a causal relation; as soon as that broadens, the inferential capacity markedly diminishes. Making causation suitable for application to grounding spoils what was appealing about causation for this task in the first place. However, grounding need not appeal to causation: causal modelling does not have exclusive claim to structural equation modeling or other formal techniques of modelling structure. I offer a case in favour of a different kind of metaphysical frugality, which tend towards narrow, more restrictive construals of relations like causation or grounding, because then each relation behaves more homogenously. This more homogenous behavior delivers stronger inferential power per relation even though there may be more relations to which one is committed. (shrink)

This article starts an engagement on the aesthetics of experiments and offers an account for analysing how aesthetics features in the design, evaluation and reception of experiments. I identify two dimensions of aesthetic evaluation of experiments: design and significance. When it comes to design, a number of qualities, such as simplicity, economy and aptness, are analysed and illustrated with the famous Meselson-Stahl experiment. Beautiful experiments are also regarded to make significant discoveries, but I argue against a narrow construal of (...) experimental aims. By drawing on the plurality of goals experimenters have and diversity of aesthetic responses, I argue that experiments are aesthetically appreciated both when they discover and when they produce disruptive results. (shrink)

According to Kant, it is impermissible to treat humanity as a mere means. If we accept Kant's equation of humanity with rational agency, and are literalists about ascriptions of agency to collectives it appears to follow that we may not treat collectives as mere means. On most standard accounts of what it is to treat something as a means this conclusion seems highly implausible. I conclude that we are faced with a range of options. One would be to rethink the (...) equation of humanity with rationality. Another would be to abandon the prohibition on treating as a means. The last would be to abandon literalist construals of attribution of agency to collectives. (shrink)

In this paper, I examine Wittgenstein’s conception of reason and rationality through the lens of his conception of reasons. Central in this context, I argue, is the image of the chain, which informs not only his methodology in the form of the chain-method, but also his conception of reasons as linking up immediately, like the links of a chain. I first provide a general sketch of what reasons are on Wittgenstein’s view, arguing that giving reasons consists in making thought and (...) action intelligible by delineating reasoning routes; that something is a reason not in virtue of some intrinsic property, but in virtue of its role; and that citing something as a reason characterises it in terms of the rational relations it stands in according to context-dependent norms. I then argue that on Wittgenstein’s view, we misconceive chains of reasons if we think of them on the model of chains of causes. Chains of reasons are necessarily finite, because they are anchored in and held in place by our reason-giving practices, and it is in virtue of their finitude that chains of reasons can guide, justify and explain. I argue that this liberates us from the expectation that one should be able to give reasons for everything, but that it limits the reach of reasons by tying them to particular reasoning-practices that they cannot themselves justify. I end by comparing and reconciling Wittgenstein’s dichotomy between chains of reasons and chains of causes with seemingly competing construals of the dichotomy, and I clarify its relation to the dichotomy between explanation and justification. (shrink)

In a friendly interdisciplinary debate, we interrogate from several vantage points the question of “personhood” in light of contemporary and near-future forms of social AI. David J. Gunkel approaches the matter from a philosophical and legal standpoint, while Jordan Wales offers reflections theological and psychological. Attending to metaphysical, moral, social, and legal understandings of personhood, we ask about the position of apparently personal artificial intelligences in our society and individual lives. Re-examining the “person” and questioning prominent construals of that category, (...) we hope to open new views upon urgent and much-discussed questions that, quite soon, may confront us in our daily lives. (shrink)

Among the cognitive capacities of evolved creatures is the capacity to represent. Theories in cognitive neuroscience typically explain our manifest representational capacities by positing internal representations, but there is little agreement about how these representations function, especially with the relatively recent proliferation of connectionist, dynamical, embodied, and enactive approaches to cognition. In this talk I sketch an account of the nature and function of representation in cognitive neuroscience that couples a realist construal of representational vehicles with a pragmatic account (...) of mental content. I call the resulting package a deflationary account of mental representation and I argue that it avoids the problems that afflict competing accounts. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

A common misunderstanding of the selected effects theory of function is that natural selection operating over an evolutionary time scale is the only functionbestowing process in the natural world. This construal of the selected effects theory conflicts with the existence and ubiquity of neurobiological functions that are evolutionary novel, such as structures underlying reading ability. This conflict has suggested to some that, while the selected effects theory may be relevant to some areas of evolutionary biology, its relevance to neuroscience (...) is marginal. This line of reasoning, however, neglects the fact that synapses, entire neurons, and potentially groups of neurons can undergo a type of selection analogous to natural selection operating over an evolutionary time scale. In the following, I argue that neural selection should be construed, by the selected effect theorist, as a distinct type of function-bestowing process in addition to natural selection. After explicating a generalized selected effects theory of function and distinguishing it from similar attempts to extend the selected effects theory, I do four things. First, I show how it allows one to identify neural selection as a distinct function-bestowing process, in contrast to other forms of neural structure formation such as neural construction. Second, I defend the view from one major criticism, and in so doing I clarify the content of the view. Third, I examine drug addiction to show the potential relevance of neural selection to neuroscientific and psychological research. Finally, I endorse a modest pluralism of function concepts within biology. (shrink)

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given (...) discourse is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims (...) at engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

This article reviews research on counterfactual, social, and temporal comparisons and proposes a Reflection and Evaluation Model (REM) as an organizing framework. At the heart of the model is the assertion that 2 psychologically distinct modes of mental simulation operate during comparative thinking: reflection, an experiential (“as if”) mode of thinking characterized by vividly simulating that information about the comparison standard is true of, or part of, the self; and evaluation, an evaluative mode of thinking characterized by the use of (...) information about the standard as a reference point against which to evaluate one’s present standing. Reflection occurs when information about the standard is included in one’s self-construal, and evaluation occurs when such information is excluded. The result of reflection is that standard–consistent cognitions about the self become highly accessible, thereby yielding affective assimilation; whereas the result of evaluation is that comparison information is used as a standard against which one’s present standing is evaluated, thereby yielding affective contrast. The resulting affect leads to either an increase or decrease in behavioral persistence as a function of the type of task with which one is engaged, and a combination of comparison-derived causal inferences and regulatory focus strategies direct one toward adopting specific future action plans. (shrink)

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting (...) reality conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)

We present experimental evidence that people's modes of social interaction influence their construal of truth. Participants who engaged in cooperative interactions were less inclined to agree that there was an objective truth about that topic than were those who engaged in a competitive interaction. Follow-up experiments ruled out alternative explanations and indicated that the changes in objectivity are explained by argumentative mindsets: When people are in cooperative arguments, they see the truth as more subjective. These findings can help inform (...) research on moral objectivism and, more broadly, on the distinctive cognitive consequences of different types of social interaction. (shrink)

Mereological nihilism is the thesis that composition never occurs. Some philosophers have thought that science gives us compelling evidence against nihilism. In this article I respond to this concern. An initial challenge for nihilism stems from the fact that composition is such a ubiquitous feature of scientific theories. In response I motivate a restricted form of scientific anti-realism with respect to those components of scientific theories which make reference to composition. A second scientifically based worry for nihilism is that certain (...) specific scientific phenomena might require ineliminable quantification over composite objects. I address these concerns, and argue that there seem to be nihilist-friendly construals of the scientific phenomena in question. (shrink)

This paper defends pro-realism, the view that it is better if moral realism is true rather than any of its rivals. After offering an account of philosophical angst, I make three general arguments. The first targets nihilism: in securing the possibility of moral justification and vindication in objecting to certain harms, moral realism secures something that is non-morally valuable and even essential to the meaning and intelligibility of our lives. The second argument targets antirealism: moral realism secures a desirable independence (...) for moral justification that is qualitatively different from the anti-realistic construal of independence that is only explicable in terms of degrees of distance from our subjective responses and attitudes. Finally, I argue that while the pan-expressivist semantic program of quasi-realism has significant effects on what can be appropriately said in meta-ethical discourse, it provides no comfort to the pro-realist who is already angsty about anti-realism. (shrink)

One can lie by asserting non-literal content. If I tell you “You are the cream in my coffee” while hating you, I can be rightfully accused of lying if my true emotions are unearthed. This is not easy to accommodate under many definitions of lying while also preserving the lying-misleading distinction. The essential feature of non-literal utterances is their falsity when literally construed. This interferes with accounts of lying and misleading, because such accounts often combine a literal construal of (...) what is said by an utterance with a falsity requirement for lying. In the presence of non-literal lies such definitions struggle to make plau- sible predictions for non-literal lies and merely misleading utterances together. In this article I aim to fix this by extending Daniel Hoek’s pragmatic account of conversational exculpature to assertions in general. Since this mechanism is designed to compute the intended meanings of non-literal utterances, it straightforwardly predicts non-literal lies to be as such. The lying-misleading distinction is also preserved, because merely misleading utterances arise out of exploiting a different pragmatic mechanism—Gricean additive implicatures. Along the way I also draw some general lessons about assertion and implicatures. (shrink)

I examine the once popular claim according to which interpersonal comparisons of welfare are necessary for social choice. I side with current social choice theorists in emphasizing that, on a narrow construal, this necessity claim is refuted beyond appeal. However, I depart from the opinion presently prevailing in social choice theory in highlighting that on a broader construal, this claim proves not only compatible with, but even comforted by, the current state of the field. I submit that all (...) in all, the most accurate philosophical assessment consists not in flatly rejecting this necessity claim, but in accepting it in a suitably revised form. (shrink)

This chapter compares simple predicates of personal taste (PPTs) such as tasty and beautiful with their complex counterparts (eg tastes good, looks beautiful). I argue that the former differ from the latter along two dimensions. Firstly, simple PPTs are individual-level predicates, whereas complex ones are stage-level. Secondly, covert Experiencer arguments of simple PPTs obligatorily receive a generic interpretation; by contrast, the covert Experiencer of a complex PPT can receive a generic, bound variable or referential interpretation. I provide an analysis of (...) these facts based on a novel proposal about the licensing of individual-level predicates (the ‘Licensing Condition on ILPs’). This condition states that all covert pronominal arguments of an individual-level predicate must be bound by the generic operator. Finally, I show that generic construal of the Experiencer is a necessary condition for faultless disagreement. This is evidence in favour of treatments of subjective meaning that appeal to genericity, and against relativism about PPTs. (shrink)

Newton had a fivefold argument that true motion must be motion in absolute space, not relative to matter. Like Newton, Kant holds that bodies have true motions. Unlike him, though, Kant takes all motion to be relative to matter, not to space itself. Thus, he must respond to Newton’s argument above. I reconstruct here Kant’s answer in detail. I prove that Kant addresses just one part of Newton’s case, namely, his “argument from the effects” of rotation. And, to show that (...) rotation is relative to matter, Kant changes the meaning of ‘relative motion.’ However, that change puts Kant’s doctrine in deep tension with Newton’s science. Based on my construal, I correct earlier readings of Kant by John Earman and Martin Carrier. And, I argue that we need to revise Michael Friedman’s influential view of Kant. Kant’s struggle, I conclude, illustrate the difficulties that early modern relationists faced as they turned down Newtonian absolute space ; and it typifies their selective engagement with Newton’s case for it. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can (...) contribute to experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

In this paper, I explore the question what a continuant is, in the context of a very interesting suggestion recently made by Rowland Stout, as part of his attempt to develop a coherent ontology of processes. Stout claims that a continuant is best thought of as something that primarily has its properties at times, rather than atemporally—and that on this construal, processes should count as continuants. While accepting that Stout is onto something here, I reject his suggestion that we (...) should accept that processes are both occurrents and continuants; nothing, I argue, can truly occur or happen, which does not have temporal parts. I make an alternative suggestion as to how one might deal with the peculiar status of processes without jettisoning a very natural account of occurrence; and assess the consequences for the category of continuant. (shrink)

Physicalism is the claim that that there is nothing in the world but the physical. Philosophers who defend physicalism have to confront a well-known dilemma, known as Hempel’s dilemma, concerning the definition of ‘the physical’: if ‘the physical’ is whatever current physics says there is, then physicalism is most probably false; but if ‘the physical’ is whatever the true theory of physics would say that there is, we have that physicalism is vacuous and runs the risk of becoming trivial. This (...) article has two parts. The first, negative, part is devoted to developing a criticism of the so-called via negativa response to Hempel’s dilemma. In the second, more substantial, part, I propose to take the first horn of Hempel’s dilemma. However, I argue for a broad construal of ‘current physics’ and characterize ‘the physical’ accordingly. The virtues of the broad characterization of ‘the physical’ are: first, it makes physicalism less likely to be false; and second, it ties our understanding of ‘the physical’ to the reasons we have for believing in physicalism. That is, it fulfills the desideratum of construing our theses according to the reasons we have to believe in them. (shrink)

This article aims to provide a consistent explication of the doctrine of Divine Simplicity. To achieve this end, a re-construal of the doctrine is made within an “aspectival trope-theoretic” metaphysical framework, which will ultimately enable the doctrine to be elucidated in a consistent manner, and the Plantingian objections raised against it will be shown to be unproblematic.

Kripke (1977) views Donnellan's (1966) misdescription cases as cases where semantic reference and speaker's reference come apart. Such cases, however, are also cases where semantic reference conflicts with a distinct species of reference I call "public reference", i.e. the object that the cues publicly available at the time of utterance indicate is the speaker's referent of the utterance. This raises the question: do the misdescription cases trade on the distinction between semantic reference and speaker's reference, or the distinction between semantic (...) reference and public reference? I argue that Kripke's own construal in terms of semantic reference and speaker's reference is at best incomplete, and probably wrong. I also explain the general importance of the notion of 'public reference'. (shrink)

Inflationists have argued that truth is a causal-explanatory property on the grounds that true belief facilitates practical success: we must postulate truth to explain the practical success of certain actions performed by rational agents. Deflationists, however, have a seductive response. Rather than deny that true belief facilitates practical success, the deflationist maintains that the sole role for truth here is as a device for generalisation. In particular, each individual instance of practical success can be explained only by reference to a (...) relevant instance of a T-schema; the role of truth is just to generalise over these individualised explanations. I present a critical problem for this strategy. Analogues of the deflationist’s individualised explanations can be produced by way of explanation of coincidental instances of practical success where the agent merely has the right false beliefs. By deflationary lights, there is no substantive explanatory difference between such coincidental and non-coincidental instances of practical success. But the non-/coincidental distinction just is an explanatory distinction. The deflationist’s individualised explanations of non-coincidental instances of practical success must therefore be inadequate. However, I argue that the deflationist’s prospects for establishing an explanatory contrast between these cases by supplementing her individualised explanations are, at best, bleak. The inflationist, by contrast, is entitled to the obvious further explanatory premise needed to make sense of the distinction. As such, pending some future deflationary rejoinder, the deflationary construal of the principle that true belief facilitates practical success must be rejected; and with it the deflationary conception of truth. (shrink)