I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, since, in their context (...) of assertion V was bivalent. This theory requires a theory of assertion that is a form of cognitive expressivism. (shrink)

Robust Realists think that there are irreducible, non-natural, and mind-independent moral properties. Quasi-Realists and Relaxed Realists think the same, but interpret these commitments differently. Robust Realists interpret them as metaphysical commitments, to be defended by metaphysical argument. Quasi-Realists and Relaxed Realists say that they can only be interpreted as moral commitments. These theories thus pose a serious threat to Robust Realism, for they apparently undermine the very possibility of articulating the robust metaphysical commitments of this theory. I clarify and respond (...) to this threat, showing that there is in fact space to develop and defend a robust moral ontology. (shrink)

Sufferers of eating disorders often hold false beliefs about their own body size. Such beliefs appear to violate norms of rationality, being neither grounded by nor responsive to appropriate forms of evidence. I defend the rationality of these beliefs. I argue that they are in fact supported by appropriate evidence, emanating from proprioceptive misperception of bodily boundaries. This argument has far‐reaching implications for the explanation and treatment of eating disorders, as well as debates over the relationship between rationality and human (...) psychology. (shrink)

Over the last fifteen years, an ambitious explanatory framework has been proposed to unify explanations across biology and cognitive science. Active inference, whose most famous tenet is the free energy principle, has inspired excitement and confusion in equal measure. Here, we lay the ground for proper critical analysis of active inference, in three ways. First, we give simplified versions of its core mathematical models. Second, we outline the historical development of active inference and its relationship to other theoretical approaches. Third, (...) we describe three different kinds of claim -- labelled mathematical, empirical and general -- routinely made by proponents of the framework, and suggest dialectical links between them. Overall, we aim to increase philosophical understanding of active inference so that it may be more readily evaluated. -/- This the final submitted version of the Introduction to the Topical Collection "The Free Energy Principle: From Biology to Cognition", forthcoming in Biology & Philosophy. (shrink)

I argue that Leibniz consistently subscribes to the view that phenomena (thus bodies) have their being in perceiving substances. I then argue that this mentalistic conception of phenomenon coheres with three of his doctrines of body: (1) that bodies presuppose the unities or simple substances on which they are founded; (2) that bodies are aggregates of those substances; and (3) that bodies derive or borrow their reality from their simple constituents.

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

In this paper, we argue for a particular informative and unified analysis of normative reasons. According to this analysis, a fact F is a reason to act in a certain way just in case it is evidence that one ought to act in that way. Similarly, F is a reason to believe a certain proposition just in case it is evidence for the truth of this proposition. Putting the relatively uncontroversial claim about reasons for belief to one side, we present (...) several arguments in favor of our analysis of reasons for action. We then turn to consider a series of objections to the analysis. We conclude that there are good reasons to accept the analysis and that the objections do not succeed. (shrink)

This paper focuses on the fact that AI is predominantly portrayed as white—in colour, ethnicity, or both. We first illustrate the prevalent Whiteness of real and imagined intelligent machines in four categories: humanoid robots, chatbots and virtual assistants, stock images of AI, and portrayals of AI in film and television. We then offer three interpretations of the Whiteness of AI, drawing on critical race theory, particularly the idea of the White racial frame. First, we examine the extent to which this (...) Whiteness might simply reflect the predominantly White milieus from which these artefacts arise. Second, we argue that to imagine machines that are intelligent, professional, or powerful is to imagine White machines because the White racial frame ascribes these attributes predominantly to White people. Third, we argue that AI racialised as White allows for a full erasure of people of colour from the White utopian imaginary. Finally, we examine potential consequences of the racialisation of AI, arguing it could exacerbate bias and misdirect concern. (shrink)

Levy (2021 Levy, N. (2021). Bad beliefs: Why they happen to good people. Oxford University Press.[Crossref], [Google Scholar]) argues that bad beliefs predominately stem from automatic (albeit rational) updating in response to testimonial evidence. To counteract such beliefs, then, we should focus on ridding our epistemic environments of misleading testimony. This paper responds as follows. First, I argue that the suite of automatic processes related to bad beliefs extends well beyond the deference-based processes that Levy identifies. Second, I push back (...) against Levy’s claim that bad beliefs stem from wholly rational processes, suggesting that, in many cases, such processes are better characterized as arational. Finally, I note that Levy is too quick to dismiss the role that individuals can play in cleaning up their own epistemic environments, and I suggest one route through which this is possible. (shrink)

Among contemporary epistemologists and scholars of ancient philosophy, one often hears that transmitting propositional knowledge by testimony is usually easy and straightforward, but transmitting understanding and know-how by testimony is usually difficult or simply impossible. Further provocative conclusions are then sometimes drawn from these claims: for instance, that know-how and understanding are not types of propositional knowledge. In contrast, I argue that transmitting propositional knowledge is sometimes easy and sometimes hard, just as transmitting know how and understanding is sometimes easy (...) and sometimes hard. No general lessons can be drawn about the relationships among propositional knowledge, know how, and understanding by considering the case of testimony alone. (shrink)

Body dissatisfaction has long been considered an integral component of and driving force behind anorexia nervosa. In this paper, I characterise body dissatisfaction in terms of problematic beliefs about body size and the value of thinness. I suggest two methods for understanding these beliefs. Regarding body size beliefs, I suggest focusing on certain forms of misleading phenomenal evidence that sufferers of anorexia nervosa are exposed to. Regarding beliefs about the value of thinness, I suggest focusing on the benefits of such (...) beliefs. (shrink)

Conceptual analysis is undergoing a revival in philosophy, and much of the credit goes to Frank Jackson. Jackson argues that conceptual analysis is needed as an integral component of so-called serious metaphysics and that it also does explanatory work in accounting for such phenomena as categorization, meaning change, communication, and linguistic understanding. He even goes so far as to argue that opponents of conceptual analysis are implicitly committed to it in practice. We show that he is wrong on all of (...) these points and that his case for conceptual analysis doesn't succeed. At the same time, we argue that the sorts of intuitions that figure in conceptual analysis may still have a significant role to play in philosophy. So naturalists needn't disregard intuitions altogether. (shrink)

Stephen Davies taught philosophy at the University of Auckland, Auckland, New Zealand. His research specialty is the philosophy of art. He is a former President of the American Society for Aesthetics. His books include Definitions of Art (Cornell UP, 1991), Musical Meaning and Expression (Cornell UP, 1994), Musical Works and Performances (Clarendon, 2001), Themes in the Philosophy of Music (OUP, 2003), Philosophical Perspectives on Art (OUP, 2007), Musical Understandings and Other Essays on the Philosophy of Music (OUP, 2011), The (...) Artful Species: Aesthetics, Art, and Evolution (OUP, 2012), The Philosophy of Art (Wiley-Blackwell, 2016 second ed.), and Adornment: What Self-decorations Tells Us about Who We Are, (Bloomsbury Academic, 2020). (shrink)

This paper investigates whether different philosophers’ claims about “normativity” are about the same subject or (as recently argued by Derek Parfit) theorists who appear to disagree are really using the term with different meanings, in order to cast disambiguating light on the debates over at least the nature, existence, extension, and analyzability of normativity. While I suggest the term may be multiply ambiguous, I also find reasons for optimism about a common subject-matter for metanormative theory. This is supported partly by (...) sketching a special kind of hybrid view of normative judgment, perspectivism, that occupies a position between cognitivism and noncognitivism, naturalism and nonnaturalism, objectivism and subjectivism, making it more plausible that radically different metanormative theories could be about the same thing. I explore three main fissures: between (i) the “normativity” of language/thought versus that of facts and properties, (ii) abstract versus substantive senses, and (iii) formal versus robust senses. (shrink)

I argue that Leibniz's treatment of void or empty space in the appendix to his fourth letter to Clarke conflicts with the way he elsewhere treats (metaphysical) evil, insofar as he allows that God has created a world with the one kind of privation (evil), while insisting that God would not have created a world with the other kind of privation (void). I consider three respects in which the moral case might be thought to differ relevantly from the physical one, (...) and argue that none of them succeed in removing the inconsistency. Rather than denying the existence of void, Leibniz should have been led by his treatment of evil to realize that the arguments he deploys in this appendix are dubious, and that the principles to which he appeals do not rule out empty space any more than they rule out evil, darkness, cold, or any other privations. (shrink)

This article explores the role of weakness of will in the Indian Buddhist tradition, and in particular within Śāntideva’s Introduction to the Practice of Awakening. In agreement with Jay Garfield, I argue that there are important differences between Aristotle’s account of akrasia and Buddhist moral psychology. Nevertheless, taking a more expanded conception of weakness of will, as is frequently done in contemporary work, allows us to draw significant connections with the pluralistic account of psychological conflict found in Buddhist texts. I (...) demonstrate this by showing how Amélie Rorty’s expanded treatment of akrasia as including emotional response and perceptual classification allows us to recognize that one of the purposes of many of Śāntideva’s meditations is to treat various forms of akratic response. (shrink)

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...) In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

I argue that Leibniz's rejection of the hypothesis of thinking matter on grounds of unintelligibility conflicts with his position on sensible qualities such as color. In the former case, he argues that thought must be a modification of something immaterial because we cannot explain thought in mechanical terms. In the latter case, however, he (rightly) grants that we cannot explain sensible qualities in mechanical terms, that is, cannot explain why a certain complex mechanical quality gives rise to the appearance of (...) a certain sensible quality, even while insisting that sensible qualities are modifications of bodies. I argue that the two cases are analogous in the relevant respects, and that Leibniz's (plausible) position on sensible qualities should have thrown his Principle of Intelligibility into doubt. (shrink)

How we feel is as vital to our survival as how we think. This claim, based on the premise that emotions are largely adaptive, serves as the organizing theme of Why We Need Religion. This book is a novel pathway in a well-trodden field of religious studies and philosophy of religion. Stephen Asma argues that, like art, religion has direct access to our emotional lives in ways that science does not. Yes, science can give us emotional feelings of wonder (...) and the sublime--we can feel the sacred depths of nature--but there are many forms of human suffering and vulnerability that are beyond the reach of help from science. Different emotional stresses require different kinds of rescue. Unlike secular authors who praise religion's ethical and civilizing function, Asma argues that its core value lies in its emotionally therapeutic power. No theorist of religion has failed to notice the importance of emotions in spiritual and ritual life, but truly systematic research has only recently delivered concrete data on the neurology, psychology, and anthropology of the emotional systems. This very recent "affective turn" has begun to map out a powerful territory of embodied cognition. Why We Need Religion incorporates new data from these affective sciences into the philosophy of religion. It goes on to describe the way in which religion manages those systems--rage, play, lust, care, grief, and so on. Finally, it argues that religion is still the best cultural apparatus for doing this adaptive work. In short, the book is a Darwinian defense of religious emotions and the cultural systems that manage them. (shrink)

Kripke, argued like this: it seems possible that E; the appearance can't be explained away as really pertaining to a "presentation" of E; so, pending a different explanation, it is possible that E. Textbook Kripkeans see in the contrast between E and its presentation intimations of a quite general distinction between two sorts of meaning. E's secondary or a posteriori meaning is the set of all worlds w which E, as employed here, truly describes. Its primary or a priori meaning (...) is the set of all w such that if w is actual, then E is true. "Conceivability error" occurs when a primary possibility is mistaken for a secondary one. Textbook Kripkeanism is rejected on the grounds that it makes meaning too modal and modality too much a matter of meaning. (shrink)

Many intelligent, capable, and successful individuals believe that their success is due to luck and fear that they will someday be exposed as imposters. A puzzling feature of this phenomenon, commonly referred to as imposter syndrome, is that these same individuals treat evidence in ways that maintain their false beliefs and debilitating fears: they ignore and misattribute evidence of their own abilities, while readily accepting evidence in favour of their inadequacy. I propose a novel account of imposter syndrome as an (...) instance of self-deception, whereby biased evidence treatment is driven by the motivational benefit of negative self-appraisal. This account illuminates a number of interconnected philosophical and scientific puzzles related to the explanation, definition, and value of imposter syndrome. (shrink)

We introduce the predictive processing account of body representation, according to which body representation emerges via a domain-general scheme of (long-term) prediction error minimisation. We contrast this account against one where body representation is underpinned by domain-specific systems, whose exclusive function is to track the body. We illustrate how the predictive processing account offers considerable advantages in explaining various empirical findings, and we draw out some implications for body representation research.

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

I introduce and discuss an underappreciated form of motivated cognition: motivational pessimism, which involves the biasing of beliefs for the sake of self-motivation. I illustrate how motivational pessimism avoids explanatory issues that plague other (putative) forms of motivated cognition and discuss distinctions within the category, related to awareness, aetiology, and proximal goals.

Given the fundamental role that concepts play in theories of cognition, philosophers and cognitive scientists have a common interest in concepts. Nonetheless, there is a great deal of controversy regarding what kinds of things concepts are, how they are structured, and how they are acquired. This chapter offers a detailed high-level overview and critical evaluation of the main theories of concepts and their motivations. Taking into account the various challenges that each theory faces, the chapter also presents a novel approach (...) to concepts that is organized around two ideas. The first is a pluralistic view of differing types of conceptual structure. The second is a model that treats concepts as atomic representations that are linked to various types of conceptual structures. (shrink)

Many who suffer from eating disorders claim that they see themselves as “fat”. Despite decades of research into the phenomenon, behavioural evidence has failed to confirm that eating disorders involve visual misperception of own-body size. I illustrate the importance of this phenomenon for our understanding of perceptual processing, outline the challenges involved in experimentally confirming it, and provide solutions to those challenges.

In this paper, I discuss empirical evidence regarding anorexic patients’ distorted body representations. I fit this evidence into a broader framework for understanding how the spatial content of the body is tracked and represented. This framework is motivated by O’Shaughnessy’s (1980) long-term body image hypothesis. This hypothesis posits a representation that tracks changes in the spatial content of the body and supplies this content to other body representations. I argue that a similar kind of body representation might exist and, in (...) the case of anorexia, be distorted. Finally, I suggest that this body representation might become distorted through influence by affect. -/- . (shrink)

Moral assertions express attitudes, but it is unclear how. This paper examines proposals by David Copp, Stephen Barker, and myself that moral attitudes are expressed as implicature (Grice), and Copp's and Barker's claim that this supports expressivism about moral speech acts. I reject this claim on the ground that implicatures of attitude are more plausibly conversational than conventional. I argue that Copp's and my own relational theory of moral assertions is superior to the indexical theory offered by Barker and (...) Jamie Dreier, and that since the relational theory supports conversational implicatures of attitude, expressive conventions would be redundant. Furthermore, moral expressions of attitude behave like conversational and not conventional implicatures, and there are reasons for doubting that conventions of the suggested kind could exist. (shrink)

The norms of simplicity, convenience, unfussiness, and self-control guide Diogenes the Cynic, Zeno of Citium, Chrysippus, Seneca, Musonius Rufus, Epictetus, and Marcus Aurelius in approaching food. These norms generate the precept that meat and dainties are luxuries, so Stoics should eschew them. Considerations of justice, environmental harm, anthropogenic global climate change, sustainability, food security, feminism, harm to animals, personal health, and public health lead contemporary Stoics to condemn the meat industrial complex, debunk carnism, and select low input, plant-based foods.

This entry offers a critical overview of the contemporary literature on understanding, especially in epistemology and the philosophy of science.

Much of the recent philosophical discussion about free will has been focused on whether compatibilists can adequately defend how a determined agent could exercise the type of free will that would enable the agent to be morally responsible in what has been called the basic desert sense :5–24, 1994; Fischer in Four views on free will, Wiley, Hoboken, 2007; Vargas in Four views on free will, Wiley, Hoboken, 2007; Vargas in Philos Stud, 144:45–62, 2009). While we agree with Derk Pereboom (...) and others that the compatibilist’s burden should be properly understood as providing a compelling account of how a determined agent could be morally responsible in the basic desert sense, the exact nature of this burden has been rendered somewhat unclear by the fact that there has been no definitive account given as to what the basic desert sense of moral responsibility amounts to. In Sect. 1 we set out to clarify the compatibilist’s burden by presenting our account of basic desert moral responsibility—which we call retributivist desert moral responsibility for purposes of clarity—and explain why it is of central philosophical and practical importance to the free will debate. In Sect. 2 we employ a thought experiment to illustrate the kind of difficulty that compatibilists of any stripe are likely to encounter in attempting to explain how determined agents can exercise the kind of free will needed for retributivist desert moral responsibility. (shrink)

According to content-relativist theories of moral language, different speakers use the same moral sentences to say different things. Content-relativism faces a well-known problem of lost disagreement. Recently, numerous content-relativists (including the author) have proposed to solve this problem by appeal to various kinds of non-content-based, or broadly pragmatic, disagreement. This presents content-relativists with a new problem—of found agreement. Which (if any) of these newly identified kinds of conflict is correctly identified as the lost moral disagreement we were looking for? This (...) paper offers a critical comparison of different content-relativist proposals. It divides them into two broad categories, quasi-expressivist theories (QED) and metalinguistic theories (MLD). Objections to each are considered, and QED is tentatively found to be superior. (shrink)

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. We argue that (...) teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

Despite a recent surge of interest in philosophy as a way of life, it is not clear what it might mean for philosophy to guide one's life, or how a “philosophical” way of life might differ from a life guided by religion, tradition, or some other source. We argue against John Cooper that spiritual exercises figure crucially in the idea of philosophy as a way of life—not just in the ancient world but also today, at least if the idea is (...) to be viable. In order to make the case we attempt to clarify the nature of spiritual exercises, and to explore a number of fundamental questions, such as “What role does reason have in helping us to live well?” Here we distinguish between the discerning and motivational powers of reason, and argue that both elements have limitations as guides to living well. (shrink)

Animistic cognition has adaptive value in domains of social and physical niche prediction. This argument is extended to our contemporary relationship with digital and AI technology.

I examine the (mediated) correspondence between Spinoza and Robert Boyle concerning the latter’s account of fluidity and his experiments on reconstitution of niter in the light of the epistemology and doctrine of method contained in the Treatise on the Emendation of the Intellect. I argue that both the Treatise and the correspondence reveal that for Spinoza, the proper method of science is not experimental, and that he accepted a powerful under-determination thesis. I argue that, in contrast to modern versions, Spinoza’s (...) form of naturalism was a highly rationalist and anti-empirical one. I conclude with a brief account of the value of experience and experimentation for Spinoza’s scientific method. (shrink)

Analyses of moral value judgements must meet a practicality requirement: moral speech acts characteristically express pro- or con-attitudes, indicate that speakers are motivated in certain ways, and exert influence on others' motivations. Nondescriptivists including Simon Blackburn and Allan Gibbard claim that no descriptivist analysis can satisfy this requirement. I argue first that while the practicality requirement is defeasible, it indeed demands a connection between value judgement and motivation that resembles a semantic or conceptual rather than merely contingent psychological link. I (...) then show how a form of descriptivism, the interest-relational theory, satisfies the requirement as a pragmatic and conversational feature of value judgement – thereby also accommodating its defeasibility. The word ``good'' is always indexed to some set of motivations: when this index is unarticulated in many contexts the speaker conversationally implicates possession of those motivations. (shrink)

A mythopoetic paradigm or perspective sees the world primarily as a dramatic story of competing personal intentions, rather than a system of objective impersonal laws. Asma argued that our contemporary imaginative cognition is evolutionarily conserved-it has structural and functional similarities to premodern Homo sapiens’s cognition. This article will outline the essential features of mythopoetic cognition or adaptive imagination, delineate the adaptive sociocultural advantages of mythopoetic cognition, explain the phylogenetic and ontogenetic mechanisms that give rise to human mythopoetic mind, show how (...) mythopoetic cognition challeng­es contemporary trends in cognitive science and philosophy, and recognize and outline empirical approaches for a new cognitive science of the imagination. (shrink)

Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances to putative mathematical (...) and logical theses. Mathematics and logic may both be a posteriori, but it does not follow that they are empirical. Indeed, as Williamson has demonstrated, what counts as empirical knowledge, and the role of experience in acquiring knowledge, are both unclear. Moreover, knowledge, even of necessary truths, is fallible. Nonetheless, logical consequence holds in virtue of the meaning of the logical terms, just as consequence in general holds in virtue of the meanings of the concepts involved; and so logic is both analytic and necessary. In this respect, it is exceptional. But its methodologyand its epistemology are the same as those of mathematics and science in being fallibilist, and counterexamples to seemingly analytic truths are as likely as those in any scientic endeavour. What is needed is a new account of the evidential basis of knowledge, one which is, perhaps surprisingly, found in Aristotle. (shrink)

Leibniz often refers to the Principle of Sufficient Reason (PSR) as something like a first principle. In some texts, however, he attempts to give positive arguments in its favor. I examine two such arguments, and find them wanting. The first argument has two defects. First, it is question-begging; and second, when the question-begging step is excised, the principle one can in fact derive is highly counter-intuitive. The second argument is valid, but has the defect of only reaching a nearly trivial (...) conclusion. (shrink)