Genevieve Lloyd’s Spinoza is quite a different thinker from the arch rationalist caricature of some undergraduate philosophy courses devoted to “The Continental Rationalists”. Lloyd’s Spinoza does not see reason as a complete source of knowledge, nor is deductive rational thought productive of the highest grade of knowledge. Instead, that honour goes to a third kind of knowledge—intuitive knowledge (scientia intuitiva), which provides an immediate, non-discursive knowledge of its singular object. To the embarrassment of some hard-nosed philosophers, intellectual intuition has an (...) affective component; it is a form of love, and ultimately given that human beings are finite modes of God/Nature (Deus sive Natura), it is a form of the intellectual love of God (amor Dei intellectualis). Some philosophers do not know what to make of this mysterious aspect of Spinoza’s philosophy, which is nonetheless firmly anchored in a reading of Part V of the Ethics. Nonetheless, this note will insist with Lloyd’s “Reconsidering Spinoza’s Rationalism” that such doctrine is an integral part of Spinoza’s philosophy. Moreover, it will be shown that Spinoza is well aware of the limitations of reason (ratio) in gaining scientific knowledge of the world and requires intuition precisely because of the inability of reason to represent individuals in their full particularity. Imagination too has a role to play in shaping scientific knowledge, although reason performs a vital critical role in disciplining and liberating the human mind from inadequate imaginary ideas. The result is an interpretation of Spinoza’s epistemology as both rationalist and intuitionist. DOI: 10.1080/24740500.2021.1962652. (shrink)

In chapter 7 of The Varieties of Reference, Gareth Evans claimed to have an argument that would present "an antidote" to the Cartesian conception of the self as a purely mental entity. On the basis of considerations drawn from philosophy of language and thought, Evans claimed to be able to show that bodily awareness is a form of self-awareness. The apparent basis for this claim is the datum that sometimes judgements about one’s position based on body sense are immune to (...) errors of misidentification relative to the first-person pronoun 'I'. However, Evans’s argument suffers from a crucial ambiguity. 'I' sometimes refers to the subject's mind, sometimes to the person, and sometimes to the subject's body. Once disambiguated, it turns out that Evans’s argument either begs the question against the Cartesian or fails to be plausible at all. Nonetheless, the argument is important for drawing our attention to the idea that bodily modes of awareness should be taken seriously as possible forms of self-awareness. (shrink)

This is a grant proposal written as a post-doctoral application for MQRF at Macquarie University in 2009. As I did so much research for it, I have plans to spin it into an article. I note with pleasure the increased relevance of this kind of research given developments such as Neuralink and ChatGPT.

In a recent article, Christopher Ormell argues against the traditional mathematical view that the real numbers form an uncountably infinite set. He rejects the conclusion of Cantor’s diagonal argument for the higher, non-denumerable infinity of the real numbers. He does so on the basis that the classical conception of a real number is mys- terious, ineffable, and epistemically suspect. Instead, he urges that mathematics should admit only ‘well-defined’ real numbers as proper objects of study. In practice, this means excluding as (...) inadmissible all those real numbers whose decimal expansions cannot be calculated in as much detail as one would like by some rule. We argue against Ormell that the classical realist account of the continuum has explanatory power in mathematics and should be accepted, much in the same way that "dark matter" is posited by physicists to explain observations in cosmology. In effect, the indefinable real numbers are like the "dark matter" of real analysis. (shrink)

It is argued that there are ways of individuating the objects of perception without using sortal concepts. The result is an moderate anti-sortalist position on which one can single out objects using demonstrative expressions without knowing exactly what sort of thing those objects are.

Online philosophy seminar notes, for virtual conference on the Aristotelian philosophy of mathematics, hosted by University of Geneva (organiser Ryan Miller), June 15, 2023.

The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristotelian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian voluntarist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in Cantor’s thought with (...) reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspectives on the Actual Infinite”) (1885). (shrink)

A fallibilist theory of knowledge is employed to make sense of the idea that agents know what they are doing 'without observation' (as on Anscombe's theory of practical knowledge).

Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical mathematician (...) Georg Cantor (1845-1918) says that between the realm of the finite and the absolute infinite, there is an intermediate realm partaking in properties in a certain sense of both the finite and the infinite: the transfinite realm. Like the finite, the transfinite realm is a realm of mathematical objects, numbers, and knowledge. Like the absolute infinite, the transfinite is a form of infinity insofar as transfinite sets and numbers transcend any finite number. Echoing Cusanus and neo-Platonism, Cantor says that the transfinite sequence of all ordinals is a symbol of the absolutely infinite, that is, God. This paper considers how the doctrine of symbolism and the philosophers' different commitments to the laws of logic, especially the Law of Non-Contradiction (LNC), enables these thinkers to articulate a transcendental apophatic approach to divinity. (shrink)

This is a copy of the presentation given at the "Workshop on Agency and Distributed Cognition" at Macquarie University, March 2012. What is noteworthy about this piece of work is that (i) it is a very early foray into the pedagogy, ontology, and epistemology of virtual worlds (it's 2012, way before David Chalmers' book "Reality+" in 2022); and (ii) it was my first foray into "social epistemology" beyond the standard "S knows that p" epistemology, drawing on Vygotskian collaborative approaches to (...) learning and teaching, moving beyond analytic philosophy into educational research. Finally, (iii) there's a hyperlink to the actual virtual world in Unity3D created by a cross-disciplinary team of researchers from Sydney University and Macquarie University for the purposes of teaching scientific inquiry. (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

This paper is on Aristotle's conception of the continuum. It is argued that although Aristotle did not have the modern conception of real numbers, his account of the continuum does mirror the topology of the real number continuum in modern mathematics especially as seen in the work of Georg Cantor. Some differences are noted, particularly as regards Aristotle's conception of number and the modern conception of real numbers. The issue of whether Aristotle had the notion of open versus closed intervals (...) is discussed. Finally, it is suggested that one reason there is a common structure between Aristotle's account of the continuum and that found in Cantor's definition of the real number continuum is that our intuitions about the continuum have their source in the experience of the real spatiotemporal world. A plea is made to consider Aristotle's abstractionist philosophy of mathematics anew. (shrink)

G. E. M. Anscombe’s view that agents know what they are doing “without observation” has been met with skepticism and the charge of confusion and falsehood. Simultaneously, some commentators think that Anscombe has captured an important truth about the first-personal character of an agent’s awareness of her actions. This paper attempts an explanation and vindication of Anscombe’s view. The key to the vindication lies in focusing on the role of practical knowledge in an agent’s knowledge of her actions. Few commentators, (...) with the exception of Moran (2004) and Hursthouse (2000), have gotten the emphasis right. The key to a proper interpretation of Anscombe’s views is to explain her claims within the context of her teleological theory of action. The result is a theory ofintentional action that makes self-knowledge of one’s own actions the norm. (shrink)

Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical mathematician (...) Georg Cantor (1845-1918) says that between the realm of the finite and the absolute infinite, there is an intermediate realm partaking in properties in a certain sense of both the finite and the infinite: the transfinite realm. Like the finite, the transfinite realm is a realm of mathematical objects, numbers, and knowledge. Like the absolute infinite, the transfinite is a form of infinity insofar as transfinite sets and numbers transcend any finite number. Echoing Cusanus and neo-Platonism, Cantor says that the transfinite sequence of all ordinals is a symbol of the absolutely infinite, that is, God. Moreover, Cantor envisioned his transfinite set theory (Mengenlehre) as providing the analytical methods and techniques necessary for a comprehensive, organic, non-reductive description of nature, a Naturphilosophie. Thus Cantor’s novel mathematics is presented as part of a long tradition, to which Cusanus, Bruno, Spinoza, Leibniz and others belong, in which the infinity and infinite character of organic life forms is appreciated, and is in some sense a mirror or symbol of the divine. The doctrine of symbolism and their different approach to the laws of logic present in both the work of Cusanus and Cantor enables these thinkers to articulate a transcendental apophatic approach to divinity. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

Coping with everyday life limits the extent of one’s scepticism. It is practically impossible to doubt the existence of the things with which one is immediately engaged and interacting. To doubt that, say, a door exists, is to step back from merely using the door (opening it) and to reflect on it in a detached, theoretical way. It is impossible to simultaneously act and live immersed in situation S while doubting that one is in S. Sceptical doubts—such as ‘Is this (...) really a door?’, ‘Am I really walking?’ — require a reflective withdrawal in thought from the situation at hand. Maintaining sceptical doubt while coping with everyday life requires a split consciousness, a bad faith, with one part of consciousness doubting the existing of things that the other part takes forgranted. For this reason, a sustained lived sceptical doubt is sometimes thought to be impossible. -/- In this article, I examine Wittgenstein's response to scepticism in "On Certainty". I argue that one of his responses is "the response based on action", which is (as other Wittgenstein interpreters have noted) a characteristically pragmatist response. I then evaluate the quality of this pragmatist response to scepticism, noting that actions just as much as representations are susceptible to mis-interpretation. It is argued that despite the insights contained in it, Wittgenstein's contextualism about meaning is inadequate to rescue the Wittgensteinian response to scepticism. (shrink)

This is a very short book review of a recent volume on the philosophy of Gareth Evans with special attention to work on first-person reference.

This is a grant proposal for a research project conceived and written as a Research Associate at UNSW in 2011. I have plans to spin it into an article.

In this paper, I argue for two main theses. The first is that Spinoza held that space was not an independently existing thing such as absolute space 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.

This thesis proposes that an account of first-person reference and first-person thinking requires an account of practical knowledge. At a minimum, first-person reference requires at least a capacity for knowledge of the intentional act of reference. More typically, first-person reasoning requires deliberation and the ability to draw inferences while entertaining different 'I' thoughts. Other accounts of first-person reference--such as the perceptual account and the rule-based account--are criticized as inadequate. An account of practical knowledge is provided by an interpretation of GEM (...) Anscombe's account in her landmark monograph "Intention". (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). 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)

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)

The goal of this paper is to show that the information carried by a structural representation can be decomposed into the information carried by its component parts. In particular, the relations between the components of a structural representation carry quantifiable information about the relations between components of their signifieds. It follows that the information carried by cognitive structural representations, including cognitive maps, can in principle be quantified and decomposed. This is perhaps surprising given that the formal tools of communication theory (...) have typically only been applied to simpler representation-like states without significant structure, such as detectors or indicators. In the final section I consider using computational complexity theory to capture the processing advantages afforded by structural representation. (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)

Evoke is a Python library for evolutionary simulations of signalling games. It offers a simple and intuitive API that can be used to analyze arbitrary game-theoretic models, and to easily reproduce and customize well-known results and figures from the literature.

This is a book review of Oppy's "Philosophical Perspectives on Infinity", which is of interest to those in metaphysics, epistemology, philosophy of science, mathematics, and philosophy of religion.

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

This paper champions the view (REG) that the concept of a normative reason for an agent S to perform an action A is that of an explanation why it would be good (in some way, to some degree) for S to do A. REG has numerous virtues, but faces some significant challenges which prompt many philosophers to be skeptical that it can correctly account for all our reasons. I demonstrate how five different puzzles about normative reasons can be solved by (...) attention to the concept of goodness, and in particular observing the ways in which it—and consequently, talk about reasons—is sensitive to context (ends and information). Rather than asking simply whether or not certain facts are reasons for S to do A, we need to explore the contexts in which it is and is not correct to describe a certain fact as “a reason” for S to do A. These five puzzles concern: (1) reasons for attitudes of the “right kind”, (2) evidence as reasons, (3) normative facts as reasons, (4) subjective reasons, and (5) attitudes as reasons. (shrink)

Moral error theory of the kind defended by J. L. Mackie and Richard Joyce is premised on two claims: (1) that moral judgements essentially presuppose that moral value has absolute authority, and (2) that this presupposition is false, because nothing has absolute authority. This paper accepts (2) but rejects (1). It is argued first that (1) is not the best explanation of the evidence from moral practice, and second that even if it were, the error theory would still be mistaken, (...) because the assumption does not contaminate the meaning or truth-conditions of moral claims. These are determined by the essential application conditions for moral concepts, which are relational rather than absolute. An analogy is drawn between moral judgements and motion judgements. (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)

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)

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)

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)

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)

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)

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.

[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)

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)

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 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)

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)

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.

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)

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)

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)