[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Causation is one of philosophy's most venerable and thoroughly-analyzed concepts. However, the study of how ordinary people make causal judgments is a much more recent addition to the philosophical arsenal. One of the most prominent views of causal explanation, especially in the realm of harmful or potentially harmful behavior, is that unusual or counternormative events are accorded privileged status in ordinary causal explanations. This is a fundamental assumption in psychological theories of counterfactual reasoning, and has been transported to philosophy by (...) Hitchcock and Knobe (2009). A different view--the basis of the culpable control model of blame (CCM)--is that primary causal status is accorded to behaviors that arouse negative evaluative reactions, including behaviors that stem from nefarious motives, negligence or recklessness, a faulty character, or behaviors that lead to harmful or potentially harmful consequences. This paper describes four empirical studies that show consistent support for the CCM. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...) other does not.). (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (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)

The Problem of Obligation is the problem of how to explain the features of moral obligations that distinguish them from other normative phenomena. Two recent accounts, the Second-Personal Account and the Relational Account, propose superficially similar solutions to this problem. Both regard obligations as based on the claims or legitimate demands that persons as such have on one another. However, unlike the Second-Personal Account, the Relational Account does not regard these claims as based in persons’ authority to address them. Advocates (...) of the Relational Account accuse the Second-Personal Account of falling prey to the Problem of Antecedence. According to this objection, the Second-Personal Account is committed to the implausible claim that we have an obligation to φ only if, and because, others demand that we φ. Since the Relational Account’s proposed solution to the Problem of Obligation does not face the Problem of Antecedence, its advocates argue that it is dialectically superior to the Second-Personal Account. In this paper, I defend the Second-Personal Account by arguing that, first, the Relational Account does not actually solve the Problem of Obligation and, second, the Second-Personal Account does not fall prey to the Problem of Antecedence. (shrink)

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

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)

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

This essay focuses on three recent books on morality and virtue, Michael Slote's 'Morals from Motives', Rosalind Hursthouse's 'On Virtue Ethics', and Philippa Foot's 'Natural Goodness'. Slote proposes an "agent-based" ethical theory according to which the ethical status of acts is derivative from assessments of virtue. Following Foot's lead, Hursthouse aims to vindicate an ethical naturalism that explains human goodness on the basis of views about human nature. Both Hursthouse and Slote take virtue to be morally basic in a way (...) that Foot, to her credit, does not. We argue that all three views face a range of serious difficulties. (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)

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)

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

This paper is an explication of Gadamer's idea of "application." I argue that the relation between the first and third persons in application contains a viable conception of the normativity of understanding. Application includes a measure for understanding. The thing that is to be understood must be allowed to address me, and such involvement responds to the text’s meaning. While this measure is not expressible in principled rules, application is normatively accountable both to the text’s third-person claim to meaning and (...) to my first-person involvement with the text. The participation of the interpreter with the item of her understanding forms a normative standard. (shrink)

Philosophical accounts of the nature of belief, at least in the western tradition, are framed in large part by two ideas. One is that believing is a form of representing. The other is that a belief plays a causal role when a person acts on it. The standard picture of belief as a mental entity with representational properties and causal powers merges these two ideas. We are to think of beliefs as things that are true or false and that interact (...) with desires, intentions, and emotions to bring about rational action. Both ideas, I think, are ill-founded. One effect of abandoning them is a further blurring of the distinction between what is inside and what is outside our minds. Another is a shift towards a less mentalistic picture of the roots of rational action. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

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)

The chapter challenges hyperbolic claims about the centrality of appreciation of beauty to Buddhism. Within the texts, attitudes are more mixed, except for a form of 'inner beauty' - the beauty found in the expression of virtues or wisdom in forms of bodily comportment. Inner beauty is a stable presence throughout Buddhist history, practices, and art.

The proposal I offer attempts to remedy the inadequacies of exclusive focus on well-being for moral purposes. The proposal is this: We should allow the agent to decide for herself where she wants to throw the weight that is her due in moral reflection, with the proviso that she understands the way that her weight will be aggregated with others in reaching a moral outcome. I will call this the "autonomy principle." The autonomy principle, I claim, provides the consequentialist's best (...) prospect for taking people into account morally in a way that they endorse. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have interests — (...) before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (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)

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (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)

It is natural to think that rationality imposes some relationship between what a person believes, and what she believes about what she’s rational to believe. Epistemic akrasia—for example, believing P while believing that P is not rational to believe in your situation—is often seen as intrinsically irrational. This paper argues otherwise. In certain cases, akrasia is intuitively rational. Understanding why akratic beliefs in those case are indeed rational provides a deeper explanation how typical akratic beliefs are irrational—an explanation that does (...) not flow from akrasia per se. This understanding also allows us to diagnose where general anti-akratic arguments go wrong. We can then see why even principles designed to allow only moderate akrasia fail, and also why recognizing the possibility of rational akratic beliefs does not call for finding some other epistemic defect in agents who believe akratically. Believing akratically, in itself, is nothing to apologize for. (shrink)

After Marx, dissenting economics almost always used 'the labour theory' as a theory of value. This paper develops a modern treatment of the alternative labour theory of property that is essentially the property theoretic application of the juridical principle of responsibility: impute legal responsibility in accordance with who was in fact responsible. To understand descriptively how assets and liabilities are appropriated in normal production, a 'fundamental myth' needs to be cleared away, and then the market mechanism of appropriation can be (...) understood. On the normative side, neoclassical theory represents marginal productivity theory as showing that (a metaphorical version of) the imputation principle is satisfied ('people get what they produce') in competitive enterprises. Since that shows the moral commitment of neoclassical economics to the imputation principle, the labour theory of property is presented here as the actual non-metaphorical application of the imputation principle to property appropriation. The property-theoretic analysis at the firm level shows how the neoclassical (and much heterodox) analysis in terms of 'distributive shares' wholly misframed the basic questions. Finally, the paper shows how the imputation principle (modernised labour theory of property) is systematically violated in the present wage labour system of renting persons. The paper can be seen as taking up the recent challenge posed by Donald Katzner for a dialogue between neoclassical and heterodox microeconomics. (shrink)

Suppose Alice asserts p, and the Caterpillar wants to disagree. If the Caterpillar accepts classical logic, he has an easy way to indicate this disagreement: he can simply assert ¬p. Sometimes, though, things are not so easy. For example, suppose the Cheshire Cat is a paracompletist who thinks that p ∨ ¬p fails (in familiar (if possibly misleading) language, the Cheshire Cat thinks p is a gap). Then he surely disagrees with Alice's assertion of p, but should himself be unwilling (...) to assert ¬p. So he cannot simply use the classical solution. Dually, suppose the Mad Hatter is a dialetheist who thinks that p ∧ ¬p holds (that is, he thinks p is a glut). Then he may assert ¬p, but it should not be taken to indicate that he disagrees with Alice; he doesn't. So he too can't use the classical solution. The Cheshire Cat and the Mad Hatter, then, have a common problem, and philosophers with opinions like theirs have adopted a common solution to this problem: appeal to denial. Denial, these philosophers suppose, is a speech act like assertion, but it is not to be understood as in any way reducing to assertion. Importantly, denial is something different from the assertion of a negation; this is what allows it to work even in cases where assertion of negation does not. Just as importantly, denial must express disagreement, since this is the job it's being enlisted to do. (shrink)

A complementary strategy can be defined as any organizing activity which recruits external elements to reduce cognitive loads. Typical organizing activities include pointing, arranging the position and orientation of nearby objects, writing things down, manipulating counters, rulers or other artifacts that can encode the state of a process or simplify perception. To illustrate the idea of a complementary strategy, a simple experiment was performed in which subjects were asked to determine the dollar value of collections of coins. In the no-hands (...) condition, subjects were not allowed to touch the coin images or to move their hands in any way. In the hands condition, they were allowed to use their hands and fingers however they liked. Significant improvements in time and number of errors were observed when S's used their hands over when they did not. To explain these facts, a brief account of some commonly observed complementary strategies is presented, and an account of their potential benefits to perception, memory and attention. (shrink)

Shamik Dasgupta (2016) proposes to tame the Principle of Sufficient Reason (PSR) to apply to only non-autonomous facts, which are facts that are apt for explanation. Call this strategy to tame the PSR the taming strategy. In a recent paper, Della Rocca (2020a) argues that proponents of the taming strategy, in attempting to formulate a restricted version of the PSR, nevertheless find themselves committed to endorsing a form of radical monism, which, in turn, leads right back to an untamed-PSR. Suppose, (...) for the sake of argument, that Della Rocca is right. My question is this: Is there reason to believe the principle of sufficient reason (in its untamed version)? In this paper, I argue that it is impossible for there to be a reason to believe the untamed-PSR. (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)

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)

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)

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.

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

These are my replies to comments on my book *On Believing* (OUP 2022) by Daniel Drucker, Miriam Schleifer McCormick, and Mark Richard.

Counterfactual skepticism says that most ordinary counterfactuals are false. While few endorse counterfactual skepticism, the precise costs of the view are disputed and not generally well-understood. I have two aims in this paper. My first and primary aim is to establish, on grounds acceptable to all parties, that counterfactual skepticism is not benign. I argue it leads to significant skepticism about the future: if counterfactual skepticism is true, then we can have only very limited knowledge about the future. I give (...) three arguments to this conclusion, taking as premises principles connecting knowledge of indicative conditionals to knowledge of disjunctions; and principles linking knowledge of indicative conditionals to knowledge of counterfactual conditionals.My second aim is to examine the consequences for non-skeptical theories. My arguments indicate that not only are many ordinary counterfactuals true, but that we also know them. How can this be reconciled with the very real tension between counterfactuals and chance? I consider two solutions, one purely epistemic and one contextualist. Together they suggest something like contextualism about knowledge is required to fully resolve the skeptical threat. (shrink)

An experiment was performed to test the hypothesis that people sometimes take physical actions to make themselves more effective problem solvers. The task was to generate all possible words that could be formed from seven Scrabble letters. In one condition, participants could use their hands to manipulate the letters, and in another condition, they could not. Results show that more words were generated with physical manipulation than without. However, an interaction was obtained between the physical manipulation conditions and the specific (...) letter sets chosen, indicating that physical manipulation helps more for generating words in some circumstances than in others. Overall, our findings can be explained in terms of an interactive search process in which external, physical activity effectively complements internal, cognitive activity. Within this framework, the interaction can be explained in terms of the relative difficulty of generating words from the letters given in the different sets. (shrink)

This paper argues that the problematic of rule following in Wittgenstein's Philosophical Investigations and Heidegger's analysis of anxiety in Being and Time have analogous structures. Working through these analogies helps our interpretation of both of these authors. Contrasting sceptical and anti-sceptical readings of Wittgenstein helps us to resolve an interpretive puzzle about what an authentic response to anxiety looks like for Heidegger. And considering the importance of anxiety to Heidegger's conception of authenticity allows us to locate in Wittgenstein's later philosophy (...) a covert appeal to something resembling Heideggerian authenticity. (shrink)

“The Ethics of Infection Challenges in Primates,” by Anne Barnhill, Steven Joffe, and Franklin Miller, is an exceptionally timely contribution to the literature on animal research ethics. Animal research has long been both a source of high hopes and a cause for moral concern. When it comes to infection challenge studies with nonhuman primates, neither the hope—to save thousands of human lives from such diseases as Ebola and Marburg—nor the concern—the conviction that primates deserve especially strong protections—could be much higher. (...) Coming just a few years after the National Institutes of Health adopted the Institute of Medicine's recommendations regarding chimpanzees, Barnhill and colleagues attempt to nudge the clarification and specification—one might say the evolution—of NHP research ethics and regulation. They assert that NHP challenge studies “are not justified by marginal gains in human safety or by efficacy gains that are unlikely to translate directly into saving human lives or preventing morbidity.” How, in turn, is their standard—which, although stringent, does permit causing NHPs to suffer and die for human benefit—to be justified? (shrink)

This paper examines whether Socrates provides his interlocutors with good reasons to seek knowledge of what virtue is, reasons that they are in a position to appreciate. I argue that in the Laches he does provide such reasons, but they are not the reasons that are most commonly identified as Socratic. Socrates thinks his interlocutors should be motivated not by the idea that virtue is knowledge nor by the idea that knowledge is good for its own sake, but rather by (...) the idea that knowledge is needed to recognize what to aim at. His argument reaches the potentially life-altering conclusion that we should all seek knowledge of what virtue is. It is powerful precisely because it relies on uncontroversial premises that his interlocutors could be expected to accept. In laying out this argument, I distinguish different ways in which someone could count as a teacher of virtue. At the end of the article, I situate the argument within the debate about whether virtue is teachable. (shrink)

What is the temporal structure of conscious experience? While it is popular to think that our most basic conscious experiences are temporally extended, we will be arguing against this view, on the grounds that it makes our conscious experiences depend on the future in an implausible way. We then defend an alternative view of the temporal structure of experience from a variety of different objections. Along the way, we hope to illustrate the wider philosophical ramifications of the relationship between experience (...) and time. What one thinks about the temporal structure of experience is, we believe, deeply interconnected with issues concerning whether consciousness is vague or precise, whether conscious states can be reduced to physical states, whether phenomenal properties are intrinsic properties, and whether phenomenal consciousness can “overflow” access consciousness. As we will see, even seemingly unrelated metaphysical questions, such as the debate between Humean and Non-Humean accounts of natural necessity, bear on questions about the relationship between experience and time. (shrink)

The appeal to ordinary language is a central feature of Wittgenstein’s later philosophy: he reminds us that our words find meaning in the ordinary practices and forms of life in which they are used. This emphasis on the ordinary may seem to clash with Heidegger’s claim that average everyday understanding is marked by inauthenticity: is Wittgenstein’s emphasis on ordinary language fundamentally inauthentic? On the contrary, I argue, Wittgenstein’s emphasis on the ungroundedness of our ordinary practices parallels Heidegger’s discussion of anxiety (...) and uncanniness, suggesting that we can unearth something like a Heideggerian appeal to authenticity in Wittgenstein’s appeal to ordinary language. (shrink)

There is a fault line running through classical liberalism as to whether or not democratic self-governance is a necessary part of a liberal social order. The democratic and non-democratic strains of classical liberalism are both present today—particularly in America. Many contemporary libertarians and neo-Austrian economists represent the non-democratic strain in their promotion of non-democratic sovereign city-states (startup cities or charter cities). We will take the late James M. Buchanan as a representative of the democratic strain of classical liberalism. Since the (...) fundamental norm of classical liberalism is consent, we must start with the intellectual history of the voluntary slavery contract, the coverture marriage contract, and the voluntary non-democratic constitution (or pactum subjectionis). Next we recover the theory of inalienable rights that descends from the Reformation doctrine of the inalienability of conscience through the Enlightenment (e.g., Spinoza and Hutcheson) in the abolitionist and democratic movements. Consent-based governments divide into those based on the subjects' alienation of power to a sovereign and those based on the citizens' delegation of power to representatives. Inalienable rights theory rules out that alienation in favor of delegation, so the citizens remain the ultimate principals and the form of government is democratic. Thus the argument concludes in agreement with Buchanan that the classical liberal endorsement of sovereign individuals acting in the marketplace generalizes to the joint action of individuals as the principals in their own organizations. (shrink)

Volume 20, Issue 3, March 2020, Page 71-73.

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that self-referential sentences, like the (...) Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

I suggest that the social justice issues raised by Internet regulation can be exposed and examined by using a methodology adapted from that described by John Rawls in 'A Theory of Justice'. Rawls' theory uses the hypothetical scenario of people deliberating about the justice of social institutions from the 'original position' as a method of removing bias in decision-making about justice. The original position imposes a 'veil of ignorance' that hides the particular circumstances of individuals from them so that they (...) will not be influenced by self-interest. I adapt Rawls' methodology by introducing an abstract description of information technology to those deliberating about justice from within the original position. This abstract description focuses on computing devices that users can use to access information and information networks that information devices use to communicate. The abstractness of this description prevents the particular characteristics of the Internet and the computing devices in use from influencing the decisions about the just use and regulation of information technology and networks. From this abstract position, the principles of justice that the participants accept for the rest of society will also apply to the computing devices people use to communicate, and to Internet regulation. (shrink)