Just as Quine and others have argued for a deflationism about the property of truth, Sinan Dogramaci has argued for a deflationism about rationality. Specifically, Dogramaci claims that we have no reason to think that the basic, deductive, epistemic rules we call “rational” have any sort of “unifying property.” A “unifying property” is a property that is necessary, sufficient, and explanatorily illuminating. My goal in this paper is to undermine Dogramaci’s argument for this radical position. I do this by first (...) outlining Dogramaci’s distinctive view on the function of our epistemically evaluative terms. This view, called epistemic communism, has it that the function of terms like “rational” is to support the coordination of our community on a single set of epistemic rules. I offer a reconstruction of Dogramaci’s argument from epistemic communism to deflationism about rationality. I next raise an objection to Dogramaci’s argument: different sets of epistemic rules do not equally support the coordinative function. Dogramaci has a response to this objection, but I argue that this response is less than satisfactory. I illustrate that this response is unsatisfactory by employing work by David Enoch and Joshua Schechter. After pushing my objection to Dogramaci’s argument, I develop, on Dogramaci’s behalf, an objection to my non-deflationary attempt to undermine his argument. In the final section of the paper, I reply to this objection offered on Dogramaci’s behalf and conclude that whether we are epistemic communists or not, we need not accept deflationism. (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)

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)

This study in moral, political, and legal philosophy contends that it is morally impermissible to circumcise male minors without a medical indication (nontherapeutic circumcision). Male minors have a moral anticipatory autonomy right-in-trust not to be circumcised. This right depends on norms of autonomy and bodily integrity. These norms generate three direct non-consequentialist arguments against nontherapeutic circumcision: (1) the loss of nonrenewable functional tissue, (2) genital salience, and (3) limits on a parental right to permanently modify their sons' bodies. An indirect (...) argument holds (4) that if it is morally impermissible to remove the female prepuce (clitoral hood), then it is also morally impermissible to remove the male prepuce (foreskin). Although there is debate across medical cultures, a reasonable understanding supports the claim that nontherapeutic circumcision causes some harms and imposes unwarranted risks on male minors. The overall moral case applies to secular circumcisions and, with some qualifications, to religious circumcisions in Judaism and Islam. Arguments of political philosophy that invoke the freedom of religion, toleration, multiculturalism, and social meaning qualify somewhat, but do not eliminate, the case against circumcising male minors without a medical indication. Nevertheless, the arguments deployed in this study do not warrant legal interference at this time with secular and religious practices of nontherapeutic circumcision. (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)

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)

I set out and explore an argument for God's existence based on the idea that the possibility of God requires the existence of God as a ground. After setting this argument out, I compare it to other arguments for God, concentrating on an argument from Descartes's Third Meditation. I then address various objections and conclude by setting out a non-theistic version of the argument.

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)

Frege’s distinction between force and sense is a central pillar of modern thinking about meaning. This is the idea that a self-standing utterance of a sentence S can be divided into two components. One is the proposition P that S’s linguistic meaning and context associates with it. The other is S’s illocutionary force. The force/sense distinction is associated with another thesis, the embedding principle, that implies that the only content that embeds in compound sentences is propositional content. We argue that (...) both the Force/Sense distinction and the principle of embedding are seriously challenged by figurative language, and irony in particular. We conclude that theorists need to go back to the drawing board about the nature of illocutionary acts. (shrink)

Can hybridism about moral claims be made to work? I argue it can if we accept the conventional implicature approach developed in Barker (Analysis 2000). However, this kind of hybrid expressivism is only acceptable if we can make sense of conventional implicature, the kind of meaning carried by operators like ‘even’, ‘but’, etc. Conventional implictures are a form of pragmatic presupposition, which involves an unsaid mode of delivery of content. I argue that we can make sense of conventional implicatures, but (...) doing so requires we embrace a form of pure, non-hybrid expressivism. This is a cognitivist expressivism I have developed elsewhere. We need cognitivist expressivism to make sense of how we evaluate—judge as correct or incorrect—implicature-bearing sentences. Once we embraced the possibility of this pure expressivism, we might as well be pure expressivists about normative discourse too. I show how we can do that. The motivations for a specifically hybrid theory are dialectically undercut. (shrink)

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

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)

Skeptical theism combines theism with skepticism about our capacity to discern God’s morally sufficient reasons for permitting evil. Proponents have claimed that skeptical theism defeats the evidential argument from evil. Many opponents have objected that it implies untenable moral skepticism, induces appalling moral paralysis, and the like. Recently Daniel Howard-Snyder has tried to rebut this prevalent objection to skeptical theism by rebutting it as an objection to the skeptical part of skeptical theism, which part he labels “Agnosticism” (with an intentionally (...) capital “A”). I argue that his rebuttal fails as a defense of Agnosticism against the objection and even more so as a defense of skeptical theism. (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)

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (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)

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)

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)

Here I outline the argument in Kim Sterelny’s book The Evolved Apprentice. I present some worries for Sterelny from the perspective of modelers in behavioral ecology. I go on to discuss Sterelny’s approach to moral psychology and finally introduce some potential new applications for his evolved apprentice view.

A revised version of this paper became chapter I of Kant's Critical Religion.

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)

People in many parts of the world link morality with God and see good ethical values as an important benefit of theistic belief. A recent survey showed that Americans, for example, distrust atheists more than any other group listed in the survey, this distrust stemming mainly from the conviction that only believers in God can be counted on to respect morality. I argue against this widespread tendency to see theism as the friend of morality. I argue that our most serious (...) moral obligations -- the foundations of what can be called “ordinary morality ” -- remain in place only if God doesn’t exist. In recent years, some atheists have reacted to society’s distrust of them by claiming that atheism accommodates ordinary morality just as well as theism does. The truth is even stronger: only atheism accommodates ordinary morality. Logically speaking, morality is not common ground between theists and atheists. Morality depends on atheism. (shrink)

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

In this paper I elucidate various ways in which understanding can be seen as an excellence of the mind or intellectual virtue. Along the way, I take up the neglected issue of what it might mean to be an “understanding person”—by which I mean not a person who understands a number of things about the natural world, but a person who steers clear of things like judgmentalism in her evaluation of other people, and thus is better able to take up (...) different perspectives and view them with a sympathetic eye. Being an understanding person in this sense seems to be a character-level virtue that interestingly combines moral and epistemic elements; it also seems to be a virtue particularly needed in our age of deep political division, where it is commonly said that failures of mutual understanding are partly to blame for this problem. (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.

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)

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

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

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)

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

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)

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.

For at least several decades, and arguably since the time of Descartes, it has been fashionable to offer scientific or quasi-scientific arguments for skepticism about human knowledge. I critique five attempts to argue for skeptical conclusions from the findings of science and scientifically informed common sense.

After a long hiatus, psychology and philosophy are returning to formal study of imagination. While excellent work is being done in the current environment, this article argues for a stronger thesis than usually adopted. Imagination is not just a peripheral feature of cognition or a domain for aesthetic research. It is instead the core operating system or cognitive capacity for humans and has epistemic and therapeutic functions that ground all our sense-making activities. A sketch of imagination as embodied cognition is (...) offered, followed by suggestions of how to organize imagination studies into a more rigorous science–humanities research area. (shrink)

Guided by neuroscience, animal behavior, evolution, philosophy, and psychology, Asma burrows deep into the human psyche to look right at the enigmatic but powerful engine that is our improvisational creativity—the source, he argues, of our remarkable imaginational capacity. How is it, he asks, that a story can evoke a whole world inside of us? How are we able to rehearse a skill, a speech, or even an entire scenario simply by thinking about it? How does creativity go beyond experience and (...) help us make something completely new? And how does our moral imagination help us sculpt a better society? As he shows, we live in a world that is only partly happening in reality. Huge swaths of our cognitive experiences are made up by “what-ifs,” “almosts,” and “maybes,” an imagined terrain that churns out one of the most overlooked but necessary resources for our flourishing: possibilities. Considering everything from how imagination works in our physical bodies to the ways we make images, from the mechanics of language and our ability to tell stories to the creative composition of self-consciousness, Asma expands our personal and day-to-day forms of imagination into a grand scale: as one of the decisive evolutionary forces that has guided human development from the Paleolithic era to today. The result is an inspiring look at the rich relationships among improvisation, imagination, and culture, and a privileged glimpse into the unique nature of our evolved minds. (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)

This fourth article in a six-part series correlating Kant’s philosophy with the Yijing begins by summarizing the foregoing articles: both Kant and the Yijing’s 64 hexagrams (gua) employ “architectonic” reasoning to form a four-level system with 0+4+12+(4x12) elements, the fourth level’s four sets of 12 correlating to Kant’s model of four university “faculties”. This article explores the second twelvefold set, the law faculty. The “idea of reason” guiding this wing of the comparative analysis is immortality. Three of Kant’s “quaternities” correspond (...) to three sets of four gua in the Yijing: the fourfold nature of the soul in rational psychology (as substantial, simple, unified, spatially related) corresponds to gua 47, 6, 58, 10, respectively; the three “Definitive Articles” and fourth, “Secret Article”, in Perpetual Peace correspond to gua 16, 35,51, 21; and the four objective relations of law to duty in Metaphysics of Morals correspond to gua 45, 12, 17, 25. (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)

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