ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings (...) true. This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (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)

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)

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)

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)

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)

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)

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

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)

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.

This chapter explores the relationship between ethical judgement writ large (as opposed to merely moral judgement) and motivation. We discuss arguments for and against views on which ethical judgement entails motivation, either alone or under conditions of rationality or normalcy, either at the individual or community level.

In this chapter, we argue that it’s possible to lose your faith in God by the actions of other people. In particular, we argue that spiritually violent religious trauma, where religious texts are used to shame a person into thinking themselves unworthy of God’s love, can cause a person to stop engaging in activities that sustain their faith in God, such as engaging in the worship of God. To do this, we provide an analysis of faith, worship, and love on (...) which to have faith in God is to have an attitude of worship to him; to have such an attitude of worship to God is to love him; and to love God is to desire union with him. We apply this analysis particularly to the case of LGBT Christians and their experience in the church today. (shrink)

Liberal-contractarian philosophies of justice see the unjust systems of slavery and autocracy in the past as being based on coercion—whereas the social order in modern democratic market societies is based on consent and contract. However, the ‘best’ case for slavery and autocracy in the past were consent-based contractarian arguments. Hence, our first task is to recover those ‘forgotten’ apologia for slavery and autocracy. To counter those consent-based arguments, the historical anti-slavery and democratic movements developed a theory of inalienable rights. Our (...) second task is to recover that theory and to consider several other applications of the theory. Finally, the liberal theories of justice expounded by John Rawls and by Robert Nozick are briefly examined from this perspective. (shrink)

According to the Good True Self (GTS) theory, if an action is deemed good, its psychological source is typically viewed as more reflective of its agent’s true self, of who the agent really is ‘deep down inside’; if the action is deemed bad, its psychological source is typically viewed as more external to its agent’s true self. In previous work, we discovered a related asymmetry in judgments of blame- and praiseworthiness with respect to the mitigating effect of moral ignorance via (...) childhood deprivation. Inspired by work motivating the GTS theory, we ran a new study to discover whether our asymmetry likewise reflected judgments about the true self. It did. However, it is unclear whether our results fit with the ‘good’ part of the GTS theory: some of our and others’ results suggest that, in certain contexts, wrong actions are taken to be more expressive of agents’ true selves than right ones. In this paper, we propose that our and others’ data can be explained by the hypothesis that we are inclined to judge as the GTS theory predicts when there is a readily available external explanation for an agent’s action. In short, we give people the benefit of the doubt. (shrink)

Political equality is in tension with political quality, and quality has recently been neglected. My thesis is that proper attention to the quality of democratic procedures and their outcomes requires that we accept substantive inequalities of political input in the interest of increasing input overall. Mainly, I hope to refute political egalitarianism, the view that justice or legitimacy requires substantive political equality, specifically equal availability of power or influence over collective choices that have legal force. I hope to show that (...) political egalitarianism exaggerates individual rights in the conduct of political procedures, and neglects the substantive justice of the decisions made through those procedures. Some unequal distributions of influence may better promote just decisions, and without reliance on any invidious comparisons such as the relative wisdom of the wealthy or the educated. (shrink)

I argue that Meno’s Paradox targets the type of knowledge that Socrates has been looking for earlier in the dialogue: knowledge grounded in explanatory definitions. Socrates places strict requirements on definitions and thinks we need these definitions to acquire knowledge. Meno’s challenge uses Socrates’ constraints to argue that we can neither propose definitions nor recognize them. To understand Socrates’ response to the challenge, we need to view Meno’s challenge and Socrates’ response as part of a larger disagreement about the value (...) of inquiry. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, although not higher-order (...) abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

:Does social justice lose all application in the condition in which people are morally flawless? The answer, I will argue, is that it does not — justice might still have application. This is one lesson of my broader thesis in this paper, that there is a variety of conditions we would all regard as highly idealistic and unrealistic which are, nevertheless, not beyond justice. The idea of “circumstances of justice” developed especially by Hume and Rawls may seem to point in (...) a more realistic direction, but we can see that this is not so once we distinguish between conditions of need for norms of justice, conditions of their emergence, and conditions of applicability of the standard of justice. Justice, I argue, can have application even in conditions where no mechanism of justice is present or needed, such as the case of internalized motives of justice. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...) of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

I argue that the technique Socrates describes in the Meno at 86e-87c allows him to make progress without definitions, even while accepting that definitions are necessary for knowledge. Some contend that the technique involves provisionally accepting a claim. I argue, instead, that it provides a secure biconditional that one can use to reduce the question one cares care about to a new question that one thinks will be easier to answer.

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

Waldron argues that recent treatments of justice have neglected reasonable disagreement about justice itself. So Waldron offers a procedural account of democratic legitimacy, in which contending views of justice can be brought together to arrive at a decision without deciding which one is correct. However, if there is reasonable disagreement about everything, then this includes his preferred account of legitimacy. On the other hand, it is not clear that Waldron is right to count so much disagreement as reasonable. But then (...) Waldron has not undermined the view he opposes in which some prevailing disagreement about justice is held to be unreasonable. (shrink)