Interest has been renewed in the study of consciousness, both theoretical and applied, following developments in 20th and early 21st-century logic, metamathematics, computer science, and the brain sciences. In this evolving narrative, I explore several theoretical questions about the types of artificial intelligence and offer several conjectures about how they affect possible future developments in this exceptionally transformative field of research. I also address the practical significance of the advances in artificial intelligence in view of the cautions issued by prominent (...) scientists, politicians, and ethicists about the possible dangers of such sufficiently advanced general intelligence, including by implication the search for extraterrestrial intelligence. (shrink)

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

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.

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. -/- .

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)

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.

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)

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)

This article establishes grounds on which attributions of information and encoding in animal signals are warranted. As common interest increases between evolutionary agents, the theoretical approach best suited to describing their interaction shifts from evolutionary game theory to communication theory, which warrants informational language. The take-home positive message is that in cooperative settings, signals can appropriately be described as transmitting encoded information, regardless of the cognitive powers of signalers. The canonical example is the honeybee waggle dance, which is discussed extensively (...) in the second and third sections. The take-home negative message is that signals are not always a consequence of coadaptation. The communication theory approach is just one end of a continuum explored more thoroughly by evolutionary game theory. The fourth and fifth sections explore this wider framework, as well as overturning some widely held misconceptions about information theory. (shrink)

In this paper, I argue for two main theses. The first is that Spinoza held that space consists of relations between bodies. This creates a problem for his account of individuation. The second thesis is that he can solve this problem by appealing to another doctrine he accepted, that there is absolute motion. I conclude that Spinoza was among the first early modern figures to reject absolute space but accept absolute motion.

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). I offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. The 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, I 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, I 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, I discuss other axioms of infinity. I show that HP does not prove the Splitting or Pairing principles (axioms of infinity stronger than DI). (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)

Based on the author's lectures in Hong Kong, for classes on the philosophy of love, this book defends a theory of love as consisting of four types (two rational, two emotional) that tend to be experienced in three manifestations (sexuality, marriage, and friendship). Like a typical textbook, every chapter ends with a list of questions for further thought and a list of recommended further readings. The first of twelve chapters is shown here as an example.

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)

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)

This paper is a response to two sets of published criticisms of the 'Reasons as Evidence’ thesis concerning normative reasons, proposed and defended in earlier papers. According to this thesis, a fact is a normative reason for an agent to Φ just in case this fact is evidence that this agent ought to Φ. John Broome and John Brunero have presented a number of challenging criticisms of this thesis which focus, for the most part, on problems that it appears to (...) confront when it comes to the topic of the weighing of reasons. Our paper responds to all of the criticisms that these critics have provided, shedding fresh light on this interesting topic in the process. (shrink)

According to ‘orthodox’ epistemology, it has recently been said, whether or not a true belief amounts to knowledge depends exclusively on truth-related factors: for example, on whether the true belief was formed in a reliable way, or was supported by good evidence, and so on. Jason Stanley refers to this as the ‘intellectualist’ component of orthodox epistemology, and Jeremy Fantl and Matthew McGrath describe it as orthodox epistemology’s commitment to a ‘purely epistemic’ account of knowledge — that is, an account (...) of knowledge where only truth-related factors figure in whether or not a person knows. In the first part of this paper I try to clarify the intellectualist thesis and to distinguish what I take to be its two main strains. In the remainder of the paper I then take a more critical turn and argue that even if, as a matter of fact, traditional epistemology has endorsed intellectualism in both of its strains, this is a mistake on the part of the tradition. At least one way of understanding intellectualism should be rejected and its practicalist counterpart should be accepted instead. (shrink)

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)

This is a Lithuanian translation, by Giedrius Sadauskas, of my paper, ‘The Philosopher as a “Secret Agent” for Peace: Taking Seriously Kant’s Revival of the “Old Question” ’, in Valerio Rohden, Ricardo R. Terra and Guido A. de Almeida (eds.), Recht und Frieden in der Philosophie Kants, vol. 4 of Akten des X. Internationalen Kant-Kongresses (Berlin: Walter de Gruyter, 2008), pp.601-612. An offprint of the English version is available in the "Kant 4 - Moral and political philosophy articles" section of (...) this website. An online version of the text (in Lithuanian) is available at the link shown below. (shrink)

An academic division of labor resulted from the distinction between sex and gender. Sex remained a productive topic (excuse the pun) for biologists, who are interested in the genetic, developmental, and chemical pathways of male/female dimorphism. People in the social sciences and humanities, by contrast, made gender, not sex, the subject of their work. In gender studies, we learn about the ways that men and women “perform” their respective roles—people of male sex can perform as female gender, and vice versa, (...) by adopting modes of speech, dress, behavior, and even values. There is no talk of innate instincts or brain differences in gender studies. The French philosopher Michel Foucault set the agenda when he lamented, as early as 1976, that “the notion of sex made it possible to group together, in an artificial unity, anatomical elements, biological functions, conducts, sensations, and pleasures, and it enabled one to make use of this fictitious unity as a causal principle.” Following this approach, more-recent theorists like Anne Fausto-Sterling and Judith Butler have argued that even the biological categories of sex are just artificial inventions, designed to keep women and intersexed peoples down. Society, they suggest, decides which of us are males and which are females—pushing everyone into rigid binary categories. -/- There are two main arguments that are usually offered in defense of this controversial thesis that sexual dimorphism is political rather than ontological. One is based on a general critique of knowledge (an epistemological argument), and the other on a specific picture of reality (a metaphysical argument). I will offer counterarguments to both. (shrink)

Models are the coin of the realm in current philosophy of science, as they are in science itself, having replaced laws and theories as the primary strategy. Logical Positivism tried to erase the older neo-Kantian distinction between ideal constructions and reality. It returns in the case of models. Nowak’s concept of idealization pro- vided an alternative account of this issue. It construed model application as concretizations of hypotheses which improve by accounting for exceptions. This appears to account for physical law. (...) But it raises the problem of uniqueness: is the result unique, as physical law should be? Neo-Kantianism failed this test. Its solutions were circular justifications for claims of uniqueness. Nowak inherited the problem without resolving it. (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)

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)

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)

Speech and thought about what the law is commonly function in practical ways, to guide or assess behavior. These functions have often been seen as problematic for legal positivism in the tradition of H.L.A. Hart. One recent response is to advance an expressivist analysis of legal statements (Toh), which faces its own, familiar problems. This paper advances a rival, positivist-friendly account of legal statements which we call “quasi-expressivist”, explicitly modeled after Finlay’s metaethical theory of moral statements. This consists in a (...) descriptivist, “rule-relational” semantics combined with a pragmatic account of the expressive and practical functions of legal discourse. We argue that this approach is at least as well-equipped as expressivism to explain the motivational and prescriptive features of “internal” legal statements, as well as a fundamental kind of legal disagreement, while being better positioned to account for various “external” uses of the same language. We develop this theory in a Hartian framework, and in the final part of the paper argue (particularly against Toh’s expressivist interpretation) that Hart’s own views in The Concept of Law are best reconstructed along such quasi-expressivist lines. (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)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

We propose a pluralist account of content for predictive processing systems. Our pluralism combines Millikan's teleosemantics with existing structural resemblance accounts. The paper has two goals. First, we outline how a teleosemantic treatment of signal passing in predictive processing systems would work, and how it integrates with structural resemblance accounts. We show that the core explanatory motivations and conceptual machinery of teleosemantics and predictive processing mesh together well. Second, we argue this pluralist approach expands the range of empirical cases to (...) which the predictive processing framework might be successfully applied. This is because our pluralism is practice-oriented. A range of different notions of content are used in the cognitive sciences to explain behaviour, and some of these cases look to employ teleosemantic notions. As a result, our pluralism gives predictive processing the scope to cover these cases. (shrink)

Stephen Palmquist is Professor of Religion and Philosophy at Hong Kong Baptist University. We invited him to answer the question "What norms or values define excellent philosophy of religion? as part of our "Philosophers of Religion on Philosophy of Religion" series. If we regard this as a philosophical (not a scientific) question, then the first step to answering it is to determine what norms or values define excellent philosophy, in general. Once that is established, we can inquire whether the (...) nature of religion brings with it any special features that make the task of doing excellent philosophy of religion unique. Unlike scientific explanations, excellent philosophical explanations must be multi-perspectival. A question that has only one right answer is not philosophical; instead, it is likely to be about facts. While we philosophers should care (deeply!) about any facts relevant to our inquiries, our peculiar way of interpreting facts means that answering a philosophical question cannot be done in one absolutely "right" way. This does not mean there are no right answers to philosophical questions; rather, there are many. But this does not make any answer equally good; for there would then be no such thing as excellent philosophy. The essentially perspectival nature of all genuinely philosophical questions means that the correctness of each purportedly "right" answer must be assessed in terms of its aptness for the perspective the questioner adopts when posing the question. A single question, such as "Does God exist?" can have many good answers, depending on whether the questioner assumes science, morality, aesthetics, or something else as the context. Each different type of inquiry has different boundary-conditions, so a good answer within each context is bound to differ from those in other contexts. Bad philosophy typically lacks depth: like a cyclops, its approach to answering questions is mono-perspectival. But if good philosophy acknowledges perspectives, what makes philosophy excellent? Good philosophy achieves excellence when it approaches a completeness whereby we begin to understand the range of relevant perspectives from which a given question can be asked, and the distinct boundary-conditions for answering it properly from each relevant perspective. Before applying this definition of excellent philosophy to the specific case at hand, we must pause to consider whether anything distinctive characterizes the range of philosophical topics and questions that typically come under the umbrella of philosophy of religion. In particular, does religion have features that make it especially difficult (or for that matter, easy) to think about philosophically, compared to other philosophical topics? Yes and no. (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.

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)

The view that it is possible for someone to think at a time without existing at that time is not only perfectly coherent but in harmony with an attractive externalist view of the mental. Furthermore, it offers plausible solutions to various puzzles of personal identity.

‘Adams worlds’ are possible worlds that contain no creature whose life is not worth living or whose life is overall worse than in any other possible world in which it would have existed. Creating an Adams world involves no wrongdoing or unkindness towards creatures on the part of the creator. I argue that the notion of an Adams world is of little value in theodicy. Theists are not only committed to thinking that this world was created without wrongdoing or unkindness (...) but also must rule out the possibility that the world might have been better had God not existed. Nor is there much reason, independent of the availability of a satisfactory theodicy, for believing that the actual world is an Adams world. The need for a theodicy constructed along Leibnizian lines, incorporating the claim that this world is the best possible, is thus reinforced. (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)

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 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 examine the views of Thomas Reid with respect to a certain version of the problem of induction: Why are inductions using natural kinds successful, and what justifies them? I argue that while both Reid holds a kind of conventionalist view about natural kinds, this conventionalism has a realistic component which allows him to answer both questions.