This essay presents the framework for the foundational axiom and conceptual underpinnings of mathematics and how they are applied.

This paper presents an argument in support of physicalism and the biological foundations of consciousness, approached from the direction of human error. The ideas put forth are a framework in which consciousness, cognition and free will emerged from a single evolutionary adaptation to safeguard against perceptual errors.

Here I offer a critical evaluation of modalism about essential properties. To that effect, I begin by rehearsing Fine’s now infamous counterexamples to pure modalism. I then consider two recent defenses of it, offered by Livingstone-Banks and Cowling, respectively. I argue that both defenses fail. Next I consider the most plausible variety of impure modalism – sparse modalism – which has recently been defended by Wildman and de Melo. Skiles has argued that sparse modalism fails too. I argue that Skiles’s (...) counterexamples misfire; nonetheless, his conclusion that, like pure modalism, sparse modalism is too broad, is on the right track. And so, I offer an original objection – the sparse modal propria counterexample – to show that this is so. I conclude by considering ways the modalist might once again modify her account to circumvent this new objection and improve the account’s extensional adequacy. (shrink)

We consider the relationship between neural and behavioural evidence for animal consciousness. We critically examine two recent studies: one neural and one behavioural. The first, on crows, finds different neural activity depending on whether a stimulus is reported as seen or unseen. However, to implicate this neural activity in consciousness, we must assume that a specific conditioned behaviour is a report of conscious experience. The second study, on macaques, records behaviours strikingly similar to patterns of conscious and unconscious perception in (...) humans. However, confounds are only ruled out in human subjects, presupposing substantial neural similarity between humans and macaques. Taken together, the two studies reveal a sense in which neural and behavioural research rely on each other. Looking ahead, these two types of evidence could prove to be either mutually reinforcing or mutually undermining. The science of animal consciousness needs both neural and behavioural evidence, ideally obtained as part of a single coordinated programme. (shrink)

This paper argues against the correctness of the more popular -first views (fittingness first, reasons first, and value first). The aim of this paper is to argue that there are at least two categories of normative properties that are basic and that one of those categories is value. Although the emphasis of this paper is on reductionist -first accounts, most of the arguments work equally well against weaker views that are only committed to different categories of normative properties' being linked (...) by a necessary bi-conditional. -/- . (shrink)

The ramifications of existence provide the setup for a theory on civilization as a whole. This story is composed under the premise of looking at Rabbinic Judaism and the Old/New Testaments as contextual clues for an overview of civilization and existence in general. This includes a mathematical model for prior to the existence of time i.e. QSOPR Theorem: Quantum Similarity Origin Point References, MDQBT: Multi-Dimensional Quantum Breakpoint Theorem, and QSICT: Quantum Simulated Informational Consciousness Theory. As well as tracing back ancient (...) lineages such as Coptic DNA and the e1b1b haplogroup, FGC8712, or tribal lineages such as Berbers, the Quarashi, and ancient Mesopotamian groups. Next, we will look at history and philosophy through religious texts which include mythology, Quranic text and hadiths, and any related archaeological evidence in relationship to the Shashu, Temple 0, or contextual geological clues. This will provide a premise for human nature, civilization, world religions, societal falls, and history through correlative patterns, universal truth, linguistics, ethics and morality. (shrink)

Can fictional literature help us lead better lives? This essay argues that some works of literature can help us both change our personal narratives and develop new narratives that will guide our actions, enabling us to better achieve our goals. Works of literature can lead us to consider the hypothesis that we might beneficially change our future-oriented, personal narratives. As a case study, this essay considers Ben Lerner’s novel, 10:04, which focuses on humans’ ability to develop new narratives, and which (...) articulates a narrative that takes into account both everyday life and large-scale issues like the global, environmental crisis. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

Most elpistologists now agree that hope for a specific outcome involves more than just desire plus the presupposition that the outcome is possible. This paper argues that the additional element of hope is a disposition to focus on the desired outcome in a certain way. I first survey the debate about the nature of hope in the recent literature, offer objections to some important competing accounts, and describe and defend the view that hope involves a kind of focus or attention. (...) I then suggest that this account makes sense of the intuitive thought that there are moral and pragmatic norms on hope that go beyond the norms on desires and modal presuppositions. I conclude by considering some key questions. (shrink)

How do we know what we know and how do we derive meaning and value is one of my basic questions.

This paper argues that phenomenal consciousness is what makes an entity a welfare subject. I develop a variety of motivations for this view, and then defend it from objections concerning death, non-conscious entities that have interests (such as plants), and conscious entities that necessarily have welfare level zero. I also explain how my theory of welfare subjects relates to experientialist and anti-experientialist theories of welfare goods.

The thesis contains my early work arguing against evidentialism for reasons for belief (chapter 1), my early argument that rationality is not normative (chapter 2), an argument that rationality is not responding reasons, at least understood in one way (chapter 2), a general discussion of how normative conflicts might (appear to) arise in many different ways (chapter 3), a discussion of how to weigh pragmatic and evidential reasons for belief (chapter 4), and a discussion of the general structure of normativity (...) and its ramifications for understanding putative normative conflicts (chapter 4). At a more general level, the thesis aims to explore how putative normative conflicts might arise and whether they are genuine conflicts or only apparent. It also offers a defence of the view that there are genuine state-given reasons for propositional attitudes, including pragmatic reasons for belief. (shrink)

Kant’s “primacy of the practical” doctrine says that we can form morally justified commitments regarding what exists, even in the absence of sufficient epistemic grounds. In this paper I critically examine three different varieties of Kant’s “moral proof” that can be found in the critical works. My claim is that the third variety—the “moral-psychological argument” based in the need to sustain moral hope and avoid demoralization—has some intriguing advantages over the other two. It starts with a premise that more clearly (...) coheres with Kant’s mature account of moral motivation, and it invokes plausible empirical-psychological theses to motivate a commitment to the full-blown classical deity—the result Kant clearly wanted. From the point of view of its structure, I think this third variety of moral argument also has the most by way of contemporary interest. (shrink)

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)

Deflationists hold that it does not seem to us, in experience, as though time robustly passes. There is some recent empirical evidence that appears to support this contention. Equally, empirical evidence suggests that we naïvely represent time as dynamical. Thus deflationists are faced with an explanatory burden. If, as they maintain, the world seems to us in experience as though it is non-dynamical, then why do we represent time as dynamical? This paper takes up the challenge of investigating, on the (...) part of the deflationist, one candidate explanation. We hypothesise that people’s belief that the future is what we call deliberatively open partly explains why they represent time as dynamical. In a series of two experiments we test this hypothesis. We find no evidence that beliefs about deliberative openness explain why people represent time as dynamical. Hence there remains an explanatory burden for the deflationist to discharge. (shrink)

In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a degreed property to count as degrees of consciousness, (...) and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

In this paper I look at the much-discussed case of disabled parents seeking to conceive disabled children. I argue that the permissibility of selecting for disability does not depend on the precise impact the disability will have on the child’s wellbeing. I then turn to an alternative analysis, which argues that the permissibility of selecting for disability depends on the impact that disability will have on the child’s future opportunities. Nearly all bioethicists who have approached the issue in this way (...) have argued that disabilities like deafness unacceptably constrain a child’s opportunities. I argue, however, that this conclusion is premature for several reasons. Most importantly, we don’t have a good way of comparing opportunity sets. Thus, we can’t conclude that deaf children will grow up to have a constrained set of opportunities relative to hearing children. I conclude by suggesting that bioethicists and philosophers of disability need to spend more time thinking carefully about the relationship between disability and opportunity. (shrink)

A response to critical commentaries. Crookston begins her commentary by noting that my book would have been better with answers to “the following three questions: (1) Why is the harm principle the right principle upon which to base a theory of toleration? (2) How is Cohen thinking of the concept of volenti? (p. x ) Is interference (i.e., the abandonment of toleration) ever morally required by the harm principle?” (p. x ). She is right, and I address these questions below (...) in Sections 2, 3, and 4. That is the bulk of this essay. I then turn to Kelley's issues in Sections 6, 7, and 8; these have to do with “the link between toleration and relativism,” the way I distinguish “the concepts of toleration and endurance,” and a “question about moral toleration” (p. x ). Despite much agreement, there are points of contention and I try to make my position clearer in response . (shrink)

Comparative psychology, the multidisciplinary study of animal behavior and psychology, confronts the challenge of how to study animals we find cute and easy to anthropomorphize, and animals we find odd and easy to objectify, without letting these biases negatively impact the science. In this Element, Kristin Andrews identifies and critically examines the principles of comparative psychology and shows how they can introduce other biases by objectifying animal subjects and encouraging scientists to remain detached. Andrews outlines the scientific benefits of treating (...) animals as sentient research participants who come from their own social contexts and with whom we will be in relationship. With discussions of science's quest for objectivity, worries about romantic and killjoy theories, and debates about chimpanzee cognition between primatologists who work in the field and those in the lab, Andrews shows how scientists can address the different biases through greater integration of the subdisciplines of comparative psychology. (shrink)

“Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...) sonuçla da bağlantılı değildir. Bununla birlikte o, özel doğal olmayan yetilere (ESP, telepati, mistik deneyim) veya doğaüstü bilgi kaynaklarına (kutsal metinler, vahiy teolojisi, inanç otoriteleri, doğrudan doğaüstü iletişim) hitap etmekten kaçınır. Genel olarak, doğal din veya teoloji (bundan böyle “doğal teoloji” olarak anılacaktır), diğer felsefi ve bilimsel girişimlerle aynı rasyonel inceleme standartlarına uymayı amaçlamaktadır ve aynı değerlendirme ve eleştiri yöntemlerine tabidir. (shrink)

Empirical evidence shows that people have multiple time-biases. One is near-bias; another is future-bias. Philosophical theorising about these biases often proceeds on two assumptions. First, that the two biases are _independent_: that they are explained by different factors (the independence assumption). Second, that there is a normative asymmetry between the two biases: one is rationally impermissible (near-bias) and the other rationally permissible (future-bias). The former assumption at least partly feeds into the latter: if the two biases were not explained by (...) different factors, then it would be less plausible that their normative statuses differ. This paper investigates the independence assumption and finds it unwarranted. In light of this, we argue, there is reason to question the normative asymmetry assumption. (shrink)

The study of animal cognition raises profound questions about the minds of animals and philosophy of mind itself. Aristotle argued that humans are the only animal to laugh, but in recent experiments rats have also been shown to laugh. In other experiments, dogs have been shown to respond appropriately to over two hundred words in human language. In this introduction to the philosophy of animal minds Kristin Andrews introduces and assesses the essential topics, problems and debates as they cut across (...) animal cognition and philosophy of mind. She addresses the following key topics: what is cognition, and what is it to have a mind? What questions should we ask to determine whether behaviour has a cognitive basis? the science of animal minds explained: ethology, behaviourist psychology, and cognitive ethology rationality in animals animal consciousness: what does research into pain and the emotions reveal? What can empirical evidence about animal behaviour tell us about philosophical theories of consciousness? does animal cognition involve belief and concepts; do animals have a ‘Language of Thought’? animal communication other minds: do animals attribute ‘mindedness’ to other creatures? moral reasoning and ethical behaviour in animals animal cognition and memory. Extensive use of empirical examples and case studies is made throughout the book. These include Cheney and Seyfarth’s ververt monkey research, Thorndike’s cat puzzle boxes, Jensen’s research into humans and chimpanzees and the ultimatum game, Pankseep and Burgdorf’s research on rat laughter, and Clayton and Emery’s research on memory in scrub-jays. Additional features such as chapter summaries, annotated further reading and a glossary make this an indispensable introduction to those teaching philosophy of mind, animal cognition. It will also be an excellent resource for those in fields such as ethology, biology and psychology. (shrink)

This is a discussion of the state of discussion on pragmatic reasons for belief.

In this paper, I present and defend a novel account of doubt. In Part 1, I make some preliminary observations about the nature of doubt. In Part 2, I introduce a new puzzle about the relationship between three psychological states: doubt, belief, and confidence. I present this puzzle because my account of doubt emerges as a possible solution to it. Lastly, in Part 3, I elaborate on and defend my account of doubt. Roughly, one has doubt if and only if (...) one believes one might be wrong; I argue that this is superior to the account that says that one has doubt if and only if one has less than the highest degree of confidence. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

Religious dietary practices foster a sense of communal identity, certainly, but traditionally they are also regarded as pleasing to God (or the gods, or the ancestors) and spiritually beneficial. In other words, for many religious people, the effects of fasting go well beyond what is immediately observed or empirically measurable, and that is a large part of what motivates participation in the practice. The goal of this chapter is to develop that religious way of thinking into a response to a (...) motivational problem that arises from our awareness of the insensitivity of contemporary food supply chains. If someone can have faith, or at least tenacious hope, that the significance of her food choices goes well beyond what is immediately observed or empirically measurable, then she may be less demoralized by the apparent inefficacy of those choices. The chapter concludes by considering a way in which this broadly religious way of thinking might be available to secular people as well. (shrink)

Autoinhibition is a design principle realized in many molecular mechanisms in biology. After explicating the notion of a design principle and showing that autoinhibition is such a principle, we focus on how researchers discovered instances of autoinhibition, using research establishing the autoinhibition of the molecular motors kinesin and dynein as our case study. Research on kinesin and dynein began in the fashion described in accounts of mechanistic explanation but, once the mechanisms had been discovered, researchers discovered that they exhibited a (...) second phenomenon, autoinhibition. The discovery of autoinhibition not only reverses the pattern in terms of which philosophers have understood mechanism discovery but runs counter to the one phenomenon-one mechanism principle assumed to relate mechanisms and the phenomena they explain. The ubiquity of autoinhibition as a design principle, therefore, necessitates a philosophical understanding of mechanisms that recognizes how they can participate in more than one phenomenon. Since mechanisms with this design are released from autoinhibition only when they are acted on by control mechanisms, we advance a revised account of mechanisms that accommodates attribution of multiple phenomena to the same mechanism and distinguishes them from other processes that control them. (shrink)

Is consciousness intrinsically valuable? Some theorists favor the positive view, according to which consciousness itself accrues intrinsic value, independent of the particular kind of experience instantiated. In contrast, I favor the neutral view, according to which consciousness is neither intrinsically valuable nor disvaluable. The primary purpose of this paper is to clarify what is at stake when we ask whether consciousness is intrinsically valuable, to carve out the theoretical space, and to evaluate the question rigorously. Along the way, I also (...) show why the neutral view is attractive and why certain arguments for the positive view do not work. (shrink)

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

This entry discusses the notion of a unit of normativity. This notion may be understood in two distinct ways. One way to understand a unit of normativity is as some particular type of assignment of normative status, e.g., a requirement, an ought, a reason, or a permission. A second way to understand a unit of normativity is as a measure of a quantity of normativity, perhaps associated with the numerical assignment given to the strength of reasons. This entry outlines some (...) basic differences among units of normativity in the first sense, noting that they vary slightly depending on whether one is talking about normativity in a more general or more robust sense. This entry also discusses in more detail the question of whether there might be a unit of normativity in the second sense. It discusses the relevant metaphysical questions. It also provides an explanation of why reasons can be assigned numerical strengths, even if there are no units of normativity in the sense of measurements of quantities of normativity. (shrink)

This paper empirically investigates one aspect of the folk concept of time by testing how the presence or absence of directedness impacts judgements about whether there is time in a world. Experiment 1 found that dynamists, showed significantly higher levels of agreement that there is time in dynamically directed worlds than in non-dynamical non-directed worlds. Comparing our results to those we describe in Latham et al., we report that while ~ 70% of dynamists say there is time in B-theory worlds, (...) only ~ 45% say there is time in C-theory worlds. Thus, while the presence of directedness makes dynamists more inclined to say there is time in a world, a substantial subpopulation of dynamists judge that there is time in non-directed worlds. By contrast, a majority of non-dynamists judged that there was time in both growing block worlds and C-theory worlds, with no significant differences between the means. Experiment 2 found that when participants are only presented with non-dynamical worlds—namely, a directed world and a non-directed world—they report significantly higher levels of agreement that there is time in B-theory worlds. However, the majority of participants still judge that there is time in C-theory worlds. We conclude that while the presence of directedness bolsters judgements that there is time, most people do not judge it to be necessary for time. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

This paper argues that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) (...) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

Against a view currently popular in the literature, it is argued that Kant was not a niıve realist about perceptual experience. Naive realism entails that perceptual experience is object-dependent in a very strong sense. In the first half of the paper, I explain what this claim amounts to and I undermine the evidence that has been marshalled in support of attributing it to Kant. In the second half of the paper, I explore in some detail Kant’s account of hallucination and (...) argue that no such account is available to someone who thinks that veridical perceptual experience is object-dependent in the naive realist sense. Kant’s theory provides for a remarkably sophisticated, bottom-up explanation of the phenomenal character of hallucinatory episodes and is crucial for gaining a proper understanding of his model of the mind and its place in nature. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

In this paper I will introduce a new compatibilist account of free action: indirect conscious control compatibilism, or just indirect compatibilism for short. On this account, actions are free either when they are caused by compatibilist‐friendly conscious psychological processes, or else by sub‐personal level processes influenced in particular ways by compatibilist‐friendly conscious psychological processes. This view is motivated by a problem faced by a certain family of compatibilist views, which I call conscious control views. These views hold that we act (...) freely when we act in a way that is caused by certain conscious psychological processes. One problem for such views is that current neuroscience suggests that most of our actions are not caused by such processes. Instead, many of the actions we typically suppose are free are caused by sub‐personal level processes and hence would count as not free according to contemporary conscious control views. I argue, contra these views, that many actions caused by these sub‐personal level processes are indirectly free. Further, most of the actions we ordinarily judge to be free are free in this indirect manner. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

The aim of the Analytic of Concepts is to derive and deduce a set of pure concepts of the understanding, the categories, which play a central role in Kant’s explanation of the possibility of synthetic a priori cognition and judgment. This chapter is structured around two questions. First, what is a pure concept of the understanding? Second, what is involved in a deduction of a pure concept of the understanding? In answering the first, we focus on how the categories differ (...) from the pure forms of sensibility and examine whether they are known only to be the pure forms of human thinking or rather the forms of discursive cognition as such. In answering the second, we draw a distinction between the application and the exemplification of the categories and use it to identify different ways of understanding Kant’s project in the Transcendental Deduction of the Categories. These questions connect because the answer to the first determines how we should understand the kind of entitlement which is to be established in the Deduction. (shrink)