In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...) K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

Two separate research programs have revealed two different factors that feature in our judgments of whether some entity persists. One program—inspired by Knobe—has found that normative considerations affect persistence judgments. For instance, people are more inclined to view a thing as persisting when the changes it undergoes lead to improvements. The other program—inspired by Kelemen—has found that teleological considerations affect persistence judgments. For instance, people are more inclined to view a thing as persisting when it preserves its purpose. Our goal (...) in this paper is to determine what causes persistence judgments. Across four studies, we pit normative considerations against teleological considerations. And using causal modeling procedures, we find a consistent, robust pattern with teleological and not normative considerations directly causing persistence judgments. Our findings put teleology in the driver’s seat, while at the same time shedding further light on our folk notion of an object. (shrink)

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

The law views with suspicion statistical evidence, even evidence that is probabilistically on a par with direct, individual evidence that the law is in no way suspicious of. But it has proved remarkably hard to either justify this suspicion, or to debunk it. In this paper, we connect the discussion of statistical evidence to broader epistemological discussions of similar phenomena. We highlight Sensitivity – the requirement that a belief be counterfactually sensitive to the truth in a specific way – as (...) a way of epistemically explaining the legal suspicion towards statistical evidence. Still, we do not think of this as a satisfactory vindication of the reluctance to rely on statistical evidence. Knowledge – and Sensitivity, and indeed epistemology in general – are of little, if any, legal value. Instead, we tell an incentive-based story vindicating the suspicion towards statistical evidence. We conclude by showing that the epistemological story and the incentive-based story are closely and interestingly related, and by offering initial thoughts about the role of statistical evidence in morality. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

This article uses the case study of ethnobiological classification to develop a positive and a negative thesis about the state of natural kind debates. On the one hand, I argue that current accounts of natural kinds can be integrated in a multidimensional framework that advances understanding of classificatory practices in ethnobiology. On the other hand, I argue that such a multidimensional framework does not leave any substantial work for the notion “natural kind” and that attempts to formulate a general account (...) of naturalness have become an obstacle to understanding classificatory practices. (shrink)

The starting point regarding consent has to be that it is both extremely important, and that it is often suspicious. In this article, the author tries to make sense of both of these claims, from a largely liberal perspective, tying consent, predictably, to the value of autonomy and distinguishing between autonomy as sovereignty and autonomy as nonalienation. The author then discusses adaptive preferences, claiming that they suffer from a rationality flaw but that it's not clear that this flaw matters morally (...) or politically. What matters is whether they suffer from an autonomy flaw. To answer this question, the author develops an account of autonomy failure, according to which a preference is nonautonomous if an injustice played an appropriate role in its causal history. The author then discusses the moral implications—and in an initial way, the political ones as well—of proclaiming a preference, or consent based on it, nonautonomous in this way. (shrink)

A natural view of testimony holds that a source's statements provide one with evidence about what the source believes, which in turn provides one with evidence about what is true. But some theorists have gone further and developed a broadly analogous view of memory. According to this view, which this essay calls the “diary model,” one's memory ordinarily serves as a means for one's present self to gain evidence about one's past judgments, and in turn about the truth. This essay (...) rejects the diary model's analogy between memory and testimony from one's former self, arguing first that memory and a diary differ with respect to their psychological roles, and second that this psychological difference underwrites important downstream epistemic differences. The resulting view stands opposed to prominent discussions of memory and testimony, which either, like the diary model, treat memory by analogy to what we naively wish to say about testimony, or which instead attempt to extend to testimony the epistemically preservative role of memory. (shrink)

People are often offended by beliefs, expect apologies for beliefs, apologize for their own beliefs. In many mundane cases, people are morally criticized for their beliefs. Intuitively, then, beliefs seem to sometimes wrong people. Recently, the philosophical literature has picked up on this theme, and has started to discuss it under the heading of doxastic wrongdoing. In this paper we argue that despite the strength of such initial intuitions, at the end of the day they have to be rejected. If (...) it can be ever truthfully asserted that beliefs wrong, this is always derivative – beliefs wrong only in virtue of other things (like evidence-gathering actions) wronging. We distinguish between modest and ambitious doxastic wrongdoing theories (the former deny, while the latter accept, the possibility of a morally wrong yet epistemically permissible belief); we argue that each of these options faces insurmountable problems; and we offer partly debunking explanations of the intuitions purportedly supporting doxastic wrongdoing. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

This paper critically examines currently influential transparency accounts of our knowledge of our own beliefs that say that self-ascriptions of belief typically are arrived at by “looking outward” onto the world. For example, one version of the transparency account says that one self-ascribes beliefs via an inference from a premise to the conclusion that one believes that premise. This rule of inference reliably yields accurate self-ascriptions because you cannot infer a conclusion from a premise without believing the premise, and so (...) you cannot infer from a premise that you believe the premise unless you do believe it. I argue that this procedure cannot be a source of justification, however, because one can be justified in inferring from p that q only if p amounts to strong evidence that q is true. This is incompatible with the transparency account because p often is not very strong evidence that you believe that p. For example, unless you are a weather expert, the fact that it will rain is not very strong evidence that you believe it will rain. After showing how this intuitive problem can be made precise, I conclude with a broader lesson about the nature of inferential justification: that beliefs, when justified, must be underwritten by beliefs, when justified, must be underwritten by evidential relationships between the facts or propositions which those beliefs represent. (shrink)

Statistical evidence—say, that 95% of your co-workers badmouth each other—can never render resenting your colleague appropriate, in the way that other evidence (say, the testimony of a reliable friend) can. The problem of statistical resentment is to explain why. We put the problem of statistical resentment in several wider contexts: The context of the problem of statistical evidence in legal theory; the epistemological context—with problems like the lottery paradox for knowledge, epistemic impurism and doxastic wrongdoing; and the context of a (...) wider set of examples of responses and attitudes that seem not to be appropriately groundable in statistical evidence. Regrettably, we do not come up with a fully general, fully adequate, fully unified account of all the phenomena discussed. But we give reasons to believe that no such account is forthcoming, and we sketch a somewhat messier account that may be the best that can be had here. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Plato's Phaedo is a literary gem that develops many of his most famous ideas. David Ebrey's careful reinterpretation argues that the many debates about the dialogue cannot be resolved so long as we consider its passages in relative isolation from one another, separated from their intellectual background. His book shows how Plato responds to his literary, religious, scientific, and philosophical context, and argues that we can only understand the dialogue's central ideas and arguments in light of its overall structure. (...) This approach yields new interpretations of the dialogue's key ideas, including the nature and existence of 'Platonic' forms, the existence of the soul after death, the method of hypothesis, and the contemplative ethical ideal. Moreover, this comprehensive approach shows how the characters play an integral role in the Phaedo's development and how its literary structure complements Socrates' views while making its own distinctive contribution to the dialogue's drama and ideas. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

Many philosophers have claimed that the folk endorse moral universalism. Some have taken the folk view to support moral universalism; others have taken the folk view to reflect a deep confusion. And while some empirical evidence supports the claim that the folk endorse moral universalism, this work has uncovered intra-domain differences in folk judgments of moral universalism. In light of all this, our question is: why do the folk endorse moral universalism? Our hypothesis is that folk judgments of moral universalism (...) are generated in part by a desire to punish. We present evidence supporting this across three studies. On the basis of this, we argue for a debunking explanation of folk judgments of moral universalism. Our results not only further our understanding of the psychological processes underpinning folk judgments of moral universalism. They also bear on philosophical discussions of folk meta-ethics. (shrink)

The sensorimotor theory of perceptual experience claims that perception is constituted by bodily interaction with the environment, drawing on practical knowledge of the systematic ways that sensory inputs are disposed to change as a result of movement. Despite the theory’s associations with enactivism, it is sometimes claimed that the appeal to ‘knowledge’ means that the theory is committed to giving an essential theoretical role to internal representation, and therefore to a form of orthodox cognitive science. This paper defends the role (...) ascribed to knowledge by the theory, but argues that this knowledge can and should be identified with bodily skill rather than representation. Making the further argument that the notion of ‘representation hunger’ can be replaced with ‘prima facie representation hunger’, it concludes that although the theory could optionally be developed scientifically in part by reference to internal representation, it makes a strong and natural fit with anti-representationalist embodied or enactive cognitive science. (shrink)

Philosophical Issues, Volume 31, Issue 1, Page 85-103, October 2021.

Many people believe that for someone to now be responsible for some past action, the agent of that action and the responsible agent now must be one and the same person. In other words, many people that moral responsibility presupposes numerical personal identity. In this paper, I show why this platitude is false. I then suggest an account of what actual metaphysical relationship moral responsibility presupposes instead.

ABSTRACTIn a recent paper, Michael Pardo argues that the epistemic property that is legally relevant is the one called Safety, rather than Sensitivity. In the process, he argues against our Sensitivity-related account of statistical evidence. Here we revisit these issues, partly in order to respond to Pardo, and partly in order to make general claims about legal epistemology. We clarify our account, we show how it adequately deals with counterexamples and other worries, we raise suspicions about Safety's value here, and (...) we revisit our general skepticism about the role that epistemological considerations should play in determining legal policy. (shrink)

In Human Nature and the Limits of Political Philosophy, I argued that justice might require things of people that they cannot bring themselves to do. A central step was to argue that this does not entail an inability to ‘do’ the putatively required thing. David Wiens challenges that argument of mine, and this piece is my reply.

Is behavioral integration (i.e., which occurs when a subjects assertion that p matches her non-verbal behavior) a necessary feature of belief in folk psychology? Our data from nearly 6,000 people across twenty-six samples, spanning twenty-two countries suggests that it is not. Given the surprising cross-cultural robustness of our findings, we suggest that the types of evidence for the ascription of a belief are, at least in some circumstances, lexicographically ordered: assertions are first taken into account, and when an agent sincerely (...) asserts that p, non-linguistic behavioral evidence is disregarded. In light of this, we take ourselves to have discovered a universal principle governing the ascription of beliefs in folk psychology. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

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

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

Does it count against a normative theory in political philosophy that it is in some important sense infeasible, that its prescriptions are unlikely to be complied with? Though a positive answer seems plausible, it has proved hard to defend against the claim that this is not how normative theories work - noncompliance shows a problem with the noncomplying agents, not with the normative theory. I think that this line of thought - this defense of Utopianism - wins the battle but (...) loses the war. It’s right about what does and what does not refute a normative theory. It’s wrong in misidentifying the problem. The right way to think about the feasibility worry is as essentially involving multiple agents, and how expected noncompliance by one agent may refute a normative claim addressed at another. Thus understood, feasibility problems may very well refute a theory in political philosophy. In this paper I develop this understanding of the feasibility worry, tie it to more general discussions in normative ethics, and in political philosophy. (shrink)

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

Reductive representationalism is the view that the qualitative properties associated with conscious experience are properties of the objects of the experience, and not of the experience itself. A prima facie problem for this view arises from dreams and hallucinations, in which qualitative properties are experienced but not instantiated in external objects of perception. I argue that representationalist attempts to solve it by appeal to actually uninstantiated properties are guilty of an absurdity akin to that which Ryle accused Descartes of in (...) the latter’s doctrine of immaterial substance. (shrink)

This is a contribution to the symposium on Tim Scanlon’s Being Realistic about Reasons. We have two aims here: First, we ask for more details about Scanlon’s meta-metaphysical view, showing problems with salient clarifications. And second, we raise independent objections to the view – to its explanatory productivity, its distinctness, and the argumentative support it enjoys.

The notion of an agent and the notion of a self are connected, for agency is one role played by the self. Millgram argues for a disunity thesis of agency on the basis of extreme incommensurability across some major life events. We propose a similar negative thesis about the self, that it is composed of relatively independent threads reflecting the different roles and different mind-sets of the person's life. Our understanding of those threads is based on theories of the narrative (...) construction of the self. Our disunity thesis is that there need be no overarching narrative that unifies those narrative threads. To explain how the threads hang together to produce coherent action, we make these positive claims: control normally switches smoothly and unconsciously between threads as circumstances require, within one thread there is likely to be acknowledgment of other threads, some situations require a temporary blending of threads, and some plans and policies reach across different threads and contribute to some coordination among them. Our account of a self provides an account of agency that has merits in comparison to Millgram's. Our narrative approach allows explanations of actions beyond rational deliberation. (shrink)

According to a traditional Cartesian epistemology of perception, perception does not provide one with direct knowledge of the external world. Instead, your immediate perceptual evidence is limited to facts about your own visual experience, from which conclusions about the external world must be inferred. Cartesianism faces well-known skeptical challenges. But this chapter argues that any anti-Cartesian view strong enough to avoid these challenges must license a way of updating one’s beliefs in response to anticipated experiences that seems diachronically irrational. To (...) avoid this result, the anti-Cartesian must either license an unacceptable epistemic chauvinism, or else claim that merely reflecting on one’s experiences defeats perceptual justification. This leaves us with a puzzle: Although Cartesianism faces problems, avoiding them brings a new set of problems. (shrink)