[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces (...) of nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

In November 2022, OpenAI released ChatGPT, an incredibly sophisticated chatbot. Its capability is astonishing: as well as conversing with human interlocutors, it can answer questions about history, explain almost anything you might think to ask it, and write poetry. This level of achievement has provoked interest in questions about whether a chatbot might have something similar to human intelligence or even consciousness. Given that the function of a chatbot is to process linguistic input and produce linguistic output, we consider the (...) question whether a sophisticated chatbot might have inner speech. That is: Might it talk to itself, internally? We explored this via a conversation with ‘Playground’, a chatbot which is very similar to ChatGPT but more flexible in certain respects. We asked it questions which, plausibly, can only be answered if one first produces some inner speech. Here, we present our findings and discuss their philosophical significance. (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)

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)

This essay is a systematic exposition and partial defense of Kant's philosophy of prayer. "Does Kant even HAVE a philosophy of prayer?" you may ask. Read on...and you'll see.

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 being a common phenomenon with significant consequences on our everyday life, strikes (and direct actions in general) are still relatively undertheorized in the philosophical literature. Our paper has a specific focus that is best encapsulated in a question: What is the relationship between liberalism and the right to strike? Liberalism’s cornerstone is the idea that rights and liberties of individuals are of supreme political importance. Rights and liberties, however, are not created equal. The basic liberties are those that are (...) so politically important that legal restrictions upon them are unjustified unless to protect other basic liberties within an overall scheme of liberties, such as under a bill of rights. So, our question becomes: Is the right to strike a basic liberty? Two ongoing disputes are relevant here. The ‘older’ debate concerns the status of economic liberties and their relation to the right to strike. We will focus on a ‘newer’ discussion because it poses a challenge to liberalism itself. Namely, some ‘radical’ critics of liberalism (Gourevitch, Raekstad and Rossi) have argued that there are rights that involve coercing others, exercised during strikes or engagement in other direct action, that do not qualify as liberal basic liberties and that can sometimes take normative precedence over the liberal basic liberties. This criticism, if correct, defeats liberalism. Notice, though: since the weighing of different particular basic liberties against each other in an overall scheme of liberty is integral to high liberalism, the genuine threat that the radical critique poses stems not from the second conjunct (which its proponents have defended) but from its first (which they have merely assumed). For, if (contrary to what the radical work assumes) the right to engage in coercive strike action is a liberal basic liberty then it can, at least in principle, win out over other basic liberties, within an overall scheme of liberties, in situations of prima facie moral conflict. Raekstad and Rossi extend the radical critique, beyond the case of coercive strikes, to other forms of direct action (outside of industrial disputes) that have avowedly moral or political goals. These could include workplace occupations, street blockades, hacktivism, counter-economics, tax resistance and more. In the paper we argue that the ‘radicals’ are not entitled to the assumption that the right to strike is not a liberal basic liberty. Moreover, we suggest, high liberalism has the resources to accommodate not only a general right to engage in non-coercive strike action, but also the right to engage in some forms of coercive direct action, whether as part of an industrial dispute or not. More precisely, we show that liberalism has the resources to accommodate not only (i) a general right to engage in non-coercive strike action, but also (ii) the right to engage in some forms of coercive direct action, whether (iii) as part of an industrial dispute or (iv) not. (shrink)

From the school yard to the workplace, there’s no charge more damning than “you’re being unfair!” Born out of democracy and raised in open markets, fairness has become our de facto modern creed. The very symbol of American ethics—Lady Justice—wears a blindfold as she weighs the law on her impartial scale. In our zealous pursuit of fairness, we have banished our urges to like one person more than another, one thing over another, hiding them away as dirty secrets of our (...) humanity. In Against Fairness, polymath philosopher Stephen T. Asma drags them triumphantly back into the light. Through playful, witty, but always serious arguments and examples, he vindicates our unspoken and undeniable instinct to favor, making the case that we would all be better off if we showed our unfair tendencies a little more kindness—indeed, if we favored favoritism. Conscious of the egalitarian feathers his argument is sure to ruffle, Asma makes his point by synthesizing a startling array of scientific findings, historical philosophies, cultural practices, analytic arguments, and a variety of personal and literary narratives to give a remarkably nuanced and thorough understanding of how fairness and favoritism fit within our moral architecture. Examining everything from the survival-enhancing biochemistry that makes our mothers love us to the motivating properties of our “affective community,” he not only shows how we favor but the reasons we should. Drawing on thinkers from Confucius to Tocqueville to Nietzsche, he reveals how we have confused fairness with more noble traits, like compassion and open-mindedness. He dismantles a number of seemingly egalitarian pursuits, from classwide Valentine’s Day cards to civil rights, to reveal the envy that lies at their hearts, going on to prove that we can still be kind to strangers, have no prejudice, and fight for equal opportunity at the same time we reserve the best of what we can offer for those dearest to us. Fed up with the blue-ribbons-for-all absurdity of "fairness" today, and wary of the psychological paralysis it creates, Asma resets our moral compass with favoritism as its lodestar, providing a strikingly new and remarkably positive way to think through all our actions, big and small. (shrink)

Could interacting mindreaders be in a position to know things which they would be unable to know if they were manifestly passive observers? This paper argues that they could. Mindreading is sometimes reciprocal: the mindreader’s target reciprocates by taking the mindreader as a target for mindreading. The paper explains how such reciprocity can significantly narrow the range of possible interpretations of behaviour where mindreaders are, or appear to be, in a position to interact. A consequence is that revisions and extensions (...) are needed to standard theories of the evidential basis of mindreading. The view also has consequences for understanding how abilities to interact combined with comparatively simple forms of mindreading may explain the emergence, in evolution or development, of sophisticated forms of social cognition. (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)

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)

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.

I explore the extent to which the epistemic state of understanding is transparent to the one who understands. Against several contemporary epistemologists, I argue that it is not transparent in the way that many have claimed, drawing on results from developmental psychology, animal cognition, and other fields.

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.

We characterize, more precisely than before, what Rawls calls the “analytical” method of drawing up a list of basic liberties. This method employs one or more general conditions that, under any just social order whatever, putative entitlements must meet for them to be among the basic liberties encompassed, within some just social order, by Rawls’s first principle of justice (i.e., the liberty principle). We argue that the general conditions that feature in Rawls’s own account of the analytical method, which employ (...) the notion of necessity, are too stringent. They ultimately fail to deliver as basic certain particular liberties that should be encompassed within any fully adequate scheme of liberties. To address this under-generation problem, we provide an amended general condition. This replaces Rawls’s necessity condition with a probabilistic condition and it appeals to the standard liberal prohibition on arbitrary coercion by the state. We defend our new approach both as apt to feature in applications of the analytical method and as adequately grounded in justice as fairness as Rawls articulates the theory’s fundamental ideas. (shrink)

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)

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)

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

If intuitions are associated with gender this might help to explain the fact that while the gender gap has disappeared in many other learned clubs, women are still seriously under-represented in the Philosophers Club. Since people who don’t have the intuitions that most club members share have a harder time getting into the club, and since the majority of Philosophers are now and always have been men, perhaps the under-representation of women is due, in part, to a selection effect.

What is it that makes someone wise, or one person wiser than another? I argue that wisdom consists in knowledge of how to live well, and that this knowledge of how to live well is constituted by various further kinds of knowledge. One concern for this view is that knowledge is not needed for wisdom but rather some state short of knowledge, such as having rational or justified beliefs about various topics. Another concern is that the emphasis on knowing how (...) to live well fails to do justice to the ancient tradition of ‘theoretical wisdom’. I address both of these concerns in filling out the account. (shrink)

I present a "moral argument" for the nonexistence of God. Theism, I argue, can’t accommodate an ordinary and fundamental moral obligation acknowledged by many people, including many theists. My argument turns on a principle that a number of philosophers already accept as a constraint on God’s treatment of human beings. I defend the principle against objections from those inclined to reject it.

More than a century before Anscombe counseled us to jettison concepts such as that of the moral ought, or moral law, Schopenhauer mounted a vigorous attack on such prescriptive moral concepts, particularly as found in Kant. In this chapter I consider the four objections that constitute this attack. According to the first, Kant begs the question by merely assuming that ethics has a prescriptive or legislative-imperative form, when a purely descriptive-explanatory conception such as Schopenhauer’s also presents itself as a possibility. (...) According to the second, Kant’s purportedly philosophical ethics is in fact a theological ethics in disguise, because the moral ought and its prescriptive cousins presuppose a divine lawgiver. According to the third, Kant’s conceptions of the moral law as a law of freedom, and of moral imperatives as categorical or unconditioned, involve him in contradictions. Finally, Schopenhauer objects that there can be no such thing as a moral ought because a binding ought or law must be understood to operate through appeals to self-interest, which stands in opposition to morality. I contend that these last three objections are sound and that the fourth in particular succeeds in confuting the prescriptivist conception of morality. (shrink)

Many authors have proposed constraining the behaviour of intelligent systems with ‘machine ethics’ to ensure positive social outcomes from the development of such systems. This paper critically analyses the prospects for machine ethics, identifying several inherent limitations. While machine ethics may increase the probability of ethical behaviour in some situations, it cannot guarantee it due to the nature of ethics, the computational limitations of computational agents and the complexity of the world. In addition, machine ethics, even if it were to (...) be ‘solved’ at a technical level, would be insufficient to ensure positive social outcomes from intelligent systems. (shrink)

Many philosophers have argued that the past must be finite in duration because otherwise reaching the present moment would have involved something impossible, namely, the sequential occurrence of an actual infinity of events. In reply, some philosophers have objected that there can be nothing amiss in such an occurrence, since actually infinite sequences are ‘traversed’ all the time in nature, for example, whenever an object moves from one location in space to another. This essay focuses on one of the two (...) available replies to this objection, namely, the claim that actual infinities are not traversed in nature because space, time, and other continuous wholes divide into parts only in so far as we divide them in thought, and thus divide into only a finite number of parts. I grant that this reply succeeds in blunting the anti-finitist objection, but I argue that it also subverts the very argument against an eternal past that it was intended to save. (shrink)

Intuitions play an important role in contemporary epistemology. Over the last decade, however, experimental philosophers have published a number of studies suggesting that epistemic intuitions may vary in ways that challenge the widespread reliance on intuitions in epistemology. In a recent paper, Jennifer Nagel offers a pair of arguments aimed at showing that epistemic intuitions do not, in fact, vary in problematic ways. One of these arguments relies on a number of claims defended by appeal to the psychological literature on (...) intuitive judgment and on mental state attribution (also known as “theory of mind”, “mindreading” and “folk psychology”). I call this the "theoretical argument". The other argument relies on recent experimental work carried out by Nagel and her collaborators. It is my contention that in setting out her theoretical argument, Nagel offers an account of the relevant scientific literature that is, in crucial respects, flawed and misleading. My main goal in this paper is to rectify these errors and to make it clear that, once this is done, Nagel’s theoretical argument collapses. Since Nagel’s experimental work has not yet been published, and available details are very sketchy, I do not discuss this work in detail. However, in the final section of the paper I offer some critical observations about Nagel’s strategy for dealing with empirical data that does not support her view – both other people’s and her own. (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...) that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (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)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our thesis (...) on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

Skeptical theism combines theism with skepticism about the ability of human beings to know God's reasons for permitting suffering. In recent years, it has become perhaps the most prominent theistic response from philosophers to the evidential argument from evil. Some critics of skeptical theism charge that it implies positions that theists and many atheists alike would reject, such as skepticism about our knowledge of the external world and about our knowledge of our moral obligations. I discuss these charges, with emphasis (...) on the charge of moral skepticism. I argue that the charges have merit, and I conclude by rebutting the claim that God's commands could give skeptical theists moral guidance despite the morally skeptical implications of their position. (shrink)

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (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)

After reviewing Kant’s well-known criticisms of the traditional proofs of God’s existence and his preferred moral argument, this paper presents a detailedanalysis of a densely-packed theistic argument in Religion within the Bounds of Bare Reason. Humanity’s ultimate moral destiny can be fulfilled only through organized religion, for only by participating in a religious community (or “church”) can we overcome the evil in human nature. Yet we cannot conceive how such a community can even be founded without presupposing God’s existence. Viewing (...) God as the internal moral lawgiver, empowering a community of believers, is Kant’s ultimate rationale for theistic belief. (shrink)

It has long been known that in the context of axiomatic second-order logic (SOL), Hume’s Principle (HP) is mutually interpretable with “the universe is Dedekind infinite” (DI). In this paper, we offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. Our main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not (...) provable from SOL + DI alone. Arguably, then, HP is not just a pure axiom of infinity, but rather it carries additional logical content. On the other hand, we show that HP is \(\Pi ^1_1\) conservative over SOL + DI, and that HP is conservative over SOL + DI + “the universe is well ordered” (WO). Next, we show that SOL + HP does not prove any of the simplest and most natural versions of the axiom of choice, including WO and weaker principles. Lastly, we discuss other axioms of infinity. We show that HP does not prove the Splitting or Pairing principles (axioms of infinity stronger than DI). (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (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.

Two major clarifications have greatly abetted the understanding and fruitful expansion of the theory of natural selection in recent years: the acknowledgment that interactors, not replicators, constitute the causal unit of selection; and the recognition that interactors are Darwinian individuals, and that such individuals exist with potency at several levels of organization (genes, organisms, demes, and species in particular), thus engendering a rich hierarchical theory of selection in contrast with Darwin’s own emphasis on the organismic level. But a piece of (...) the argument has been missing, and individuals at levels distinct from organisms have been denied potency (although granted existence within the undeniable logic of the theory), because they do not achieve individuality with the same devices used by organisms and therefore seem weak by comparison. We show here that different features define Darwinian individuality across scales of size and time. In particular, species-individuals may develop few emergent features as direct adaptations. The interactor approach works with emergent fitnesses, not with emergent features; and species, as a consequence of their different mechanism for achieving individuality (reproductive exclusivity among subparts, that is, among organisms), express many effects from other levels. Organisms, by contrast, suppress upwardly cascading effects, because the organismic style of individuality (by functional integration of subparts) does not permit much competition or differential reproduction of parts from within. Species do not suppress the operation of lower levels; such effects therefore become available as exaptations conferring emergent fitness—a primary source of the different strength that species achieve as effective Darwinian individuals in evolution. (shrink)

Prominent views about representation share a premise: that mathematical communication theory is blind to representational content. Here I challenge that premise by rejecting two common misconceptions: that Claude Shannon said that the meanings of signals are irrelevant for communication theory (he didn't and they aren't), and that since correlational measures can't distinguish representations from natural signs, communication theory can't distinguish them either (the premise is true but the conclusion is false; no valid argument can link them).

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 ancient Stoics believed that virtue is the only true good and as such both necessary and sufficient for happiness. Accordingly, they classified food as among the things that are neither good nor bad but "indifferent." These "indifferents" included health, illness, wealth, poverty, good and bad reputation, life, death, pleasure, and pain. How one deals with having or lacking these things reflects one’s virtue or vice and thus determines one’s happiness or misery. So, while the Stoics held that food in (...) itself contributes nothing to a person’s happiness, how one obtains, prepares, and serves it, and both what and how one eats, all reveal a person’s character as good or bad. Thus, understanding the purpose of food, the necessity of frugality, and the virtue of temperance are all important in Stoicism. This paper traces the ethical views on food from Zeno of Citium and Chrysippus to Seneca, Musonius Rufus, Epictetus, and Marcus Aurelius. They agree that the wise and temperate know that simple, inexpensive foods in moderate amounts produced locally are easy to get and prepare, healthy for the body, and good for the mind. Thus, Stoicism dictates frugality of diet and the rejection of ambitious eating, gluttony, luxuries, delicacies, and gustatory extravagance. Some Stoics favor vegetarianism. All Stoics think it wise to limit eating and drinking to strict bodily need and to eradicate all food anxieties. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)