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)

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)

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 paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

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 counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .

For some reason, participants hold agents more responsible for their actions when a situation is described concretely than when the situation is described abstractly. We present examples of this phenomenon, and survey some attempts to explain it. We divide these attempts into two classes: affective theories and cognitive theories. After criticizing both types of theories we advance our novel hypothesis: that people believe that whenever a norm is violated, someone is responsible for it. This belief, along with the familiar workings (...) of cognitive dissonance theory, is enough to not only explain all of the abstract/concrete paradoxes, but also explains seemingly unrelated effects, like the anthropomorphization of malfunctioning inanimate objects. (shrink)

We propose Knobe's explanation of his cases encounters a dilemma: Either his explanation works and, counterintuitively, morality is not at the heart of these effects; or morality is at the heart of the effects and Knobe's explanation does not succeed. This dilemma is then used to temper the use of the Knobe paradigm for discovering moral norms.

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (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)

This is a collective study of the epistemic significance of disagreement: twelve contributors explore rival responses to the problems that it raises for philosophy. They develop our understanding of epistemic phenomena that are central to any thoughtful engagement with others' beliefs.

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

Musical works change. Bruckner revised his Eighth Symphony. Ella Fitzgerald and many other artists have made it acceptable to sing the jazz standard “All the Things You Are” without its original verse. If we accept that musical works genuinely change in these ways, a puzzle arises: why can’t I change Bruckner’s Eighth Symphony? More generally, why are some individuals in a privileged position when it comes to changing musical works and other artifacts, such as novels, films, and games? I give (...) a view of musical works that helps to answer these questions. Musical works, on this view, are created abstract objects with no parts. The paradigmatic changes that musical works undergo are socially determined normative changes in how they should be performed. Due to contingent social practices, Bruckner, but not I, can change how his symphony should be performed. Were social practices radically different, I would be able to change his symphony. This view extends to abstract artifacts beyond music, including novels, films, words, games, and corporations. (shrink)

This paper articulates and defends a novel hybrid account of well-being. We will call our view a Robust Hybrid. We call it robust because it grants a broad and not subservient role to both objective and subjective values. In this paper we assume, we think plausibly but without argument, that there is a significant objective component to well-being. Here we clarify what it takes for an account of well-being to have a subjective component. Roughly, we argue, it must allow that (...) favoring attitudes that are not warranted by the lights of objective values can ground benefits. Given this understanding, we show that there is an important and unrecognized expansion in the resources available to fully objectivist views: namely that such views can help themselves to the value of warranted love of objective goods. Such a move by the objectivist can help them respond to concerns that, on their view, a person’s well-being can be too alien to them. We next argue that, nonetheless, such objectivist views are still unconvincing due to their lack of a subjective component. This motivates a move from fully objective accounts to hybrid accounts. We show that many prominent hybrid theories in the literature are inadequate because they implausibly minimize the subjective component. This motivates a move to a robust hybrid view that has an expanded subjectivist component. We conclude with some remarks about the interrelation between the subjective and objective components in the hybrid account that we favor and a role for resonance in a theory of well-being other than serving as a hard constraint on any benefit. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Plausibly, no agent ever performs an action without some desire to perform that action. If so, a regress argument shows that, given incompatibilism, we are only rarely free. The argument sidesteps recent objections to this thesis.

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

Do motivational limitations due to human nature constrain the demands of justice? Among those who say no, David Estlund offers perhaps the most compelling argument. Taking Estlund’s analysis of “ability” as a starting point, I show that motivational deficiencies can constrain the demands of justice under at least one common circumstance — that the motivationally-deficient agent makes a good faith effort to overcome her deficiency. In fact, my argument implies something stronger; namely, that the demands of justice are constrained (...) by what people are sufficiently likely to be motivated to do. Thus, contrary to the prevailing wisdom, it is the business of ideal theory — not just nonideal theory — to work with the motivational capacities people are likely enough to have. (See also Estlund's reply in the same issue of EJPT and my rejoinder on Philpapers.). (shrink)

Lady Mary Shepherd holds that the relation of cause and effect consists of the combination of two objects to create a third object. She also holds that this account implies that causes are synchronous with their effects. There is a single instant in which the objects that are causes combine to create the object which is their effect. Hume argues that cause and effect cannot be synchronous because if they were then the entire chain of successive causes and effects would (...) all collapse into a single moment, and succession would not be possible. I argue that Shepherd has a ready, although implicit response, to Hume’s argument. Since causation is combination on Shepherd’s view, she is free to hold that there are times in between those instants in which combinations occur, during which times other, non-combinatory changes occur, which changes account for succession. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

Revisionary ontologies seem to go against our common sense convictions about which material objects exist. These views face the so-called Problem of Reasonableness: they have to explain why reasonable people don’t seem to accept the true ontology. Most approaches to this problem treat the mismatch between the ontological truth and ordinary belief as superficial or not even real. By contrast, I propose what I call the “uncompromising solution”. First, I argue that our beliefs about material objects were influenced by evolutionary (...) forces that were independent of the ontological truth. Second, I draw an analogy between the Problem of Reasonableness and the New Evil Demon Problem and argue that the revisionary ontologist can always find a positive epistemic status to characterize ordinary people’s beliefs about material objects. Finally, I address the worry that the evolutionary component of my story also threatens to undermine the best arguments for revisionary ontologies. (shrink)

Evaluativism is best thought of as a way of enriching a perceptual view of pain to account for pain’s unpleasantness or painfulness. Once it was common for philosophers to contrast pains with perceptual experiences (McGinn 1982; Rorty 1980). It was thought that perceptual experiences were intentional (or content-bearing, or about something), whereas pains were representationally blank. But today many of us reject this contrast. For us, your having a pain in your toe is a matter not of your sensing “pain-ly” (...) or encountering a sense-datum, but of your having an interoceptive experience representing (accurately or inaccurately) that your toe is in a particular experience-independent condition, such as undergoing a certain “disturbance” or being damaged or in danger (Armstrong 1962; Tye 1995). But even if such representational content makes an experience a pain, a further ingredient seems required to make the pain unpleasant. According to evaluativism, the further ingredient is the experience’s possession of evaluative content: its representing the bodily condition as bad for the subject. In this chapter, I elaborate evaluativism, locate it among alternatives, and explain its attractions and challenges. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we will (...) analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

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

El propósito central del presente artículo, es formular un enfoque sistémico-jurídico para el análisis de los sistemas sociales. Para esto, se proponen tres tipologías de consensos denominados límites del sistema social: consenso normal, consenso normativo y consenso legítimo. La función de estas tipologías es, primero elaborar una explicación sobre la constitucionalización y democratización del poder político, con base en la regla de reconocimiento y la norma fundamental de un Estado; segundo postular dos metodologías normativas, un registro positivo y una demarcación (...) positiva, que desplieguen, tanto sobre las conductas sociales como sobre la estructura del sistema social, un proceso de legalidad emergente, cuya función sea, tercero regular, realimentar y optimizar el funcionamiento de la constitución política. Finalmente, se analizan los conceptos de completitud y de legitimidad del sistema normativo, con el fin de definir el alcance institucional que debe poseer un sistema jurídico sobre los subsistemas culturales del sistema social. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

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)

Orthodoxy has it that knowledge is a composite of belief and non-mental factors. However, Timothy Williamson suggests that orthodoxy implies that the concept of belief is acquired before the concept of knowledge, whereas developmental data suggest the reverse. More recently, Jennifer Nagel reviews the psychological evidence, building a psychological case that the concept of knowledge emerges prior to belief. I assess the psychological state of the art and find support for the opposite conclusion. Overall the empirical evidence supports the orthodox (...) view that the concept of belief is prior to the concept of knowledge. (shrink)

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.

Gilbert Harman’s famous principle of Clutter Avoidance commands that “one should not clutter one’s mind with trivialities". Many epistemologists have been inclined to accept Harman’s principle, or something like it. This is significant because the principle appears to have robust implications for our overall picture of epistemic normativity. Jane Friedman (2018) has recently argued that one potential implication is that there are no genuine purely evidential norms on belief revision. In this paper, we present some new objections to a suitably (...) formulated version of the clutter principle qua norm on belief revision. Moreover, we argue that the clutter principle is best understood as a norm on non-doxastic stages of inquiry. In our view, it is a norm of asking and considering questions rather than a norm of settling on an answer to a question by forming a belief. (shrink)

In introducing the reactive attitudes “of people directly involved in transactions with each other,” P. F. Strawson lists “gratitude, resentment, forgiveness, love, and hurt feelings.” To show how our interpersonal emotional practices of responsibility could not be undermined by determinism’s truth, Strawson focused exclusively on resentment, specifically on its nature and actual excusing and exempting conditions. So have many other philosophers theorizing about responsibility in Strawson’s wake. This method and focus has generated a host of quality of will theories of (...) responsibility. What I show in this paper is that if Strawson—and his followers—had focused on hurt feelings instead of resentment, not only would quality of will theories of responsibility be disfavored, but none of our other theories of responsibility could adequately account for them. I conclude by exploring what a conundrum this poses for our methods and starting points in theorizing about responsibility. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

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.

Jerome Wakefield has argued that a disorder is a harmful dysfunction. This paper develops how Wakefield should construe harmful in his harmful dysfunction analysis. Recently, Neil Feit has argued that classic puzzles involved in analyzing harm render Wakefield’s HDA better off without harm as a necessary condition. Whether or not one conceives of harm as comparative or non-comparative, the concern is that the HDA forces people to classify as mere dysfunction what they know to be a disorder. For instance, one (...) can conceive of cases where simultaneous disorders prevent each other from being, in any traditional sense, actually harmful; in such cases, according to the HDA, neither would be a disorder. I argue that the sense of harm that Wakefield should employ in the HDA is dispositional, similar to the sense of harm used when describing a vile of poison: “Be careful! That’s poison. It’s harmful.” I call this harm in the damage sense. Using this sense of harm enables the HDA to avoid Feit’s arguments, and thus it should be preferred to other senses when analyzing harmful dysfunction. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

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)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

It is common for theorists, drawing on P. F. Strawson, to account for morally responsible agency in terms of the nature of the emotions and feelings that characterize our responsibility practices, in terms of the nature of the so-called “reactive attitudes.” Here, I argue against this attitude-based Strawsonian strategy, and I argue in favor of an alternative, which I call the “concern-based Strawsonian strategy.” On this alternative, rather than account for morally responsible agency in terms of the nature of the (...) reactive attitudes, one accounts for such agency in terms of the concern that leaves us susceptible to those attitudes in the first place. This, I believe, is a more promising way to develop the Strawsonian approach than the attitude-based strategy. The concern-based strategy allows us to better countenance the number and variety of the reactive attitudes that characterize our responsibility practices; it shares the attitude-based strategy’s virtues; and it seems to position us to better understand the distinctive social and moral significance associated with being and being regarded as a morally responsible agent. (shrink)

Debiasing procedures are experimental methods aimed at correcting errors arising from the cognitive biases of the experimenter. We discuss two of these methods, the predesignation rule and randomization, showing to what extent they are open to the experimenter’s regress: there is no metarule to prove that, after implementing the procedure, the experimental data are actually free from biases. We claim that, from a contractarian perspective, these procedures are nonetheless defensible since they provide a warrant of the impartiality of the experiment: (...) we only need proof that the result has not been intentionally manipulated for prima facie acceptance. (shrink)

In his 1993 article ‘The Coming Technological Singularity: How to survive in the posthuman era’ the computer scientist Virnor Vinge speculated that developments in artificial intelligence might reach a point where improvements in machine intelligence result in smart AI’s producing ever-smarter AI’s. According to Vinge the ‘singularity’, as he called this threshold of recursive self-improvement, would be a ‘transcendental event’ transforming life on Earth in ways that unaugmented humans are not equipped to envisage. In this paper I argue Vinge’s idea (...) of a technologically led intelligence explosion is philosophically important because it requires us to consider the prospect of a posthuman condition succeeding the human one. What is the ‘humanity’ to which the posthuman is ‘post’? Does the possibility of a posthumanity presuppose that there is a ‘human essence’, or is there some other way of conceiving the human-posthuman difference? I argue that the difference should be conceived as a historically emergent disconnection between individuals, not in terms of the presence or lack of essential properties. I also suggest that these individuals should not be conceived in narrow biological terms but in ‘wide’ terms permitting biological, cultural and technological relations of descent between human and posthuman. Finally, I consider the ethical implications of this metaphysics of the posthuman. If, as I claim, the posthuman difference is not one between kinds but between individuals, we cannot specify its nature a priori but only a posteriori. Thus the only way to evaluate the posthuman condition would be to witness the emergence of posthumans. The implications of this are somewhat paradoxical. We are not currently in a position to evaluate the posthuman condition. Since there are no posthumans, the condition of posthumanity is not defined. However, posthumans could result from some iteration of our current technical activity, so we have an interest in understanding what they might be like. It follows that we have an interest in making or becoming posthumans. (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)