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)

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

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (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)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

Previously, we introduced a capability approach to assess the responsible use of brain-computer interface. In this commentary, we say more about the ethical basis of our capability view and respond to three objections. The first objection holds that by stressing that capability lists are provisional and subject to change, we threaten the persistence of human dignity, which is tied to capabilities. The second objection states that we conflate capabilities and abilities. The third objection claims that the goal of using neuroenhancements (...) should be preserving capabilities, not altering them. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Many philosophers hold that ‘one-instant worlds’—worlds that contain a single instant—fail to contain time. We experimentally investigate whether these worlds satisfy the folk concept of time. We found that ~50% of participants hold that there is time in such worlds. We argue that this suggests one of two possibilities. First, the population disagree about whether at least one of the A-, B-, or C-series is necessary for time, with there being a substantial sub-population for whom the presence of neither an (...) A-, B-, nor C-series, is necessary for time, and hence those folk have a radically more minimal concept of time than has been attributed to them by philosophers. Or, second, the population do not disagree about whether at least one of the A-, B-, or C-series is necessary for time, but disagree about what it takes for a world to fail to contain even a C-series. (shrink)

The usual way of discussing normativity and naturalism is by running through a standard range of issues: the relations of fact and value, objectivity, reason and emotion, is and ought, and the so-called ‘naturalistic fallacy’. This is a naturalism that is virtually silent on nature. I outline an alternative approach that relates normativity to our nature as living beings, for whom specific things are good or bad for us. Our nature as evaluative beings is shown to be rooted in and (...) emergent from this biological normativity. There is also significant downward causation, such that our brain-bodies are continually modified by our experience and thoughts. Cultures, as emergent from the affordances of our brain-bodies, create further extensive, irreducible sources of normativity, albeit ones which do not wholly escape biological normativity and can impact back on it. (shrink)

This is part 1 on a paper whose final variation of parts shall be titled,”The Universal Theory of Existence: The Sashu, Pharaohs, and the al-Mahdī”. The first part of this series sets the premise for a proposed ”Theory of Everything” that will be the foundation for encompassing many different topics. Since, the beginning of time, a singularity existed. This singularity is what we call an origin point of everything. Beyond, this origin point for time is different depending on position, being (...) outside of the singularity, or the idea that multiple universes exists with different time dilation, and likely different laws. Existence in essence is centered around the idea of what is prior to the origin point of time, and in theory, what is the space-time complexity together, in regards to how civilization come to be. From a physics standpoint, there are multiple theories around this. For starters, the author of this paper coined QSOPR Theorem, MDQBT, QSICT, and how this relates to Time/Multiverse Dilation and Origin Points. Quantum Similarity on a molecular, atomic, theoretical, and chemical level is one of these vast things humanity should be trying to explore. (shrink)

While more species are being identified as cultural on a regular basis, stark differences between human and animal cultures remain. Humans are more richly cultural, with group-specific practices and social norms guiding almost every element of our lives. Furthermore, human culture is seen as cumulative, cooperative, and normative, in contrast to animal cultures. One hypothesis to explain these differences is grounded in the observation that human children across cultures appear to spontaneously over-imitate silly or causally irrelevant behaviors that they observe. (...) The few studies on over-imitation in other species are largely taken as evidence that spontaneous over-imitation is not present in other species. This leads to the over-imitation hypothesis – that the differences between human culture and animal cultures can be traced to the human unique tendency to over-imitate. In this paper, we analyze the current state of the literature on animal over-imitation and challenge the adequacy of the over-imitation hypothesis for the differences between humans and animal cultures. To make this argument, we first argue that the function of human over-imitation is norm-learning and that over-imitation, like skill-learning, should be subject to selective social learning effects. Then we review the empirical evidence against animal over-imitation and argue that these studies do not take into account the relevant variables given the normative and selective nature of over-imitation. We then analyze positive empirical evidence of over-imitation in great apes and canids from the experimental literature and conclude that the current body of evidence suggests that some canids and primates may have the capacity for over-imitation. This paper offers a methodological suggestion for how to study animal over-imitation, and a theoretical suggestion that over-imitation might be much more widely found among species. The larger implication for claims about human uniqueness suggests that if we do find widespread evidence of over-imitation across species, many of the current theories of human uniqueness that focus on human hyper-cooperation or social norms may have only identified a difference of degree, not of kind, between humans and other animals. (shrink)

Critical comments on David Papineau's idea that people find physicalism about phenomenal consciousness unbelievable because they commit what he calls the 'antipathetic fallacy'.

Intelligent neurotechnology is an emerging field that combines neurotechnologies like brain-computer interface (BCI) with artificial intelligence. This paper introduces a capability framework to assess the responsible use of intelligent BCI systems and provide practical ethical guidance. It proposes two tests, the threshold and flourishing tests, that BCI applications must meet, and illustrates them in a series of cases. After a brief introduction (Section 1), Section 2 sets forth the capability view and the two tests. It illustrates the threshold test using (...) examples from clinical medicine of BCI applications that enable patients with profound disabilities to function at a threshold level through computer mediation. Section 3 illustrates the flourishing test by exploring possible future applications of BCI involving neuroenhancements for healthy people, using examples adapted from research currently underway in the US military. Section 3 applies a capability lens to a complex case involving dual effects, both therapeutic and non-therapeutic, showing how the threshold and flourishing tests resolve the case. Section 4 replies to three objections: neurorights are the best tool for assessing BCI; the two tests are moving targets; and the analysis utilizes a capability view to do work it is not designed for. The paper concludes that a capability view offers unique advantages and gives practical guidance for evaluating the responsible use of present and future BCI applications. Extrapolating from our analysis may help guide other emerging technologies, such as germline gene editing, expected to impact central human capabilities. (shrink)

One debate surrounding Derk Pereboom’s (2001, 2014) four-case argument against compatibilism focuses on whether, and why, we judge manipulated agents to be neither free nor morally responsible. In this paper, we propose a novel explanation. The four-case argument features cases where an agent is the only individual in her universe who has been manipulated. Let us call manipulation whose scope includes at least one but not all agents existential manipulation. Contrast this with universal manipulation, which affects all agents within a (...) universe. We propose that we find agents in Pereboom’s manipulation cases less free and morally responsible in part because they are the target of existential manipulation. We empirically tested this hypothesis and found that people’s free will and moral responsibility judgments were sensitive to the scope of manipulation: people judged existentially manipulated agents significantly less free and responsible than universally manipulated agents. (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)

What makes a certain consideration an aesthetic reason rather than a reason of some other kind? Is it a solely a matter of the kind of attitude or activity that the reason supports? How fundamental or structural are such reasons? Do they contrast in a natural way with epistemic or practical reasons? Is skilled aesthetic achievement, whether interpretative or creative, a matter of recognizing the aesthetic reasons we have for a given response, and correctly according with such reasons? In this (...) paper, I offer a preliminary discussion of these topics. I argue that our account of aesthetic reasons should respect the fact that they play an important regulative role, over and above directly supporting aesthetic response. Such a role allows aesthetic reasons to moderate a wide range of practical and epistemic activities, but not by adding or substituting distinctively aesthetic ends or purposes for such activities. I then go on to argue against the view that skilled aesthetic achievement consists in correct recognition of and accord with aesthetic reasons, adapting a recent argument of Timothy Williamson’s. (shrink)

The goal of this paper is to show that Thomas Aquinas, in his _Disputed Questions on Evil_, presents a theory of free will that is compatibilist but still involves a version of the principle of alternative possibilities (PAP) and even requires alternative possibilities for a certain kind of responsibility. In Aquinas’ view, choosing between possibilities is not the primary power of the will. Rather, choice arises through the complex interaction of various parts of human psychology, in particular through the indeterminacy (...) of the intellect and through the interaction between reason and passion. Both of these ways provide cases where Aquinas not only allows for alternative possibilities but thinks that they are necessary for moral responsibility, all the while remaining, strictly speaking, a compatibilist. (shrink)

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)

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)

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)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

Is a human more conscious than an octopus? 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)

This paper argues that underlying social biases are able to affect the processes underlying linguistic interpretation. The result is a series of harms systematically inflicted on marginalised speakers. It is also argued that the role of biases and stereotypes in interpretation complicates Miranda Fricker's proposed solution to epistemic injustice.

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)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (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)

It has widely been assumed, by philosophers, that most people unambiguously have a phenomenology as of time passing, and that this is a datum that philosophical theories must accommodate. Moreover, it has been assumed that the greater the extent to which people have said phenomenology, the more likely they are to endorse a dynamical theory of time. This paper is the first to empirically test these assumptions. Surprisingly, our results do not support either assumption. One experiment instead found the reverse (...) correlation: people were more likely to report having passage phenomenology if they endorsed a non-dynamical theory of time. Given that people do not have an unambiguous phenomenology as of time passing, we conclude that this is suggestive evidence in favor of veridical non-dynamism—the view that our phenomenology is veridical, and that it does not unambiguously represent that time passes. Instead, our phenomenology veridically has some quite different content. (shrink)

What are the prospects (if any) for a virtue-theoretic account of inference? This paper compares three options. Firstly, assess each argument individually in terms of the virtues of the participants. Secondly, make the capacity for cogent inference itself a virtue. Thirdly, recapture a standard treatment of cogency by accounting for each of its components in terms of more familiar virtues. The three approaches are contrasted and their strengths and weaknesses assessed.

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)

In the ‘Refutation of Idealism’ chapter of the first Critique, Kant argues that the conditions required for having certain kinds of mental episodes are sufficient to guarantee that there are ‘objects in space’ outside us. A perennially influential way of reading this compressed argument is as a kind of causal inference: in order for us to make justified judgements about the order of our inner states, those states must be caused by the successive states of objects in space outside us. (...) Here I consider the best recent versions of this reading, and argue that each suffers from apparently fatal flaws. -/- . (shrink)

Norman forms the belief that the president is in New York by way of a clairvoyance faculty he doesn’t know he has. Many agree that his belief is unjustified but disagree about why it is unjustified. I argue that the lack of justification cannot be explained by a higher-level evidence requirement on justification, but it can be explained by a no-defeater requirement. I then explain how you can use cognitive faculties you don’t know you have. Lastly, I use lessons from (...) the foregoing to compare Norman’s belief, formed by clairvoyance, with Sally’s theistic belief, formed by a sensus divinitatis. (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)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Much has been written about the free energy principle (FEP), and much misunderstood. The principle has traditionally been put forth as a theory of brain function or biological self-organisation. Critiques of the framework have focused on its lack of empirical support and a failure to generate concrete, falsifiable predictions. I take both positive and negative evaluations of the FEP thus far to have been largely in error, and appeal to a robust literature on scientific modelling to rectify the situation. A (...) prominent account of scientific modelling distinguishes between model structure and model construal. I propose that the FEP be reserved to designate a model structure, to which philosophers and scientists add various construals, leading to a plethora of models based on the formal structure of the FEP. An entailment of this position is that demands placed on the FEP that it be falsifiable or that it conform to some degree of biological realism rest on a category error. To this end, I deliver first an account of the phenomenon of model transfer and the breakdown between model structure and model construal. In the second section, I offer an overview of the formal elements of the framework, tracing their history of model transfer and illustrating how the formalism comes apart from any interpretation thereof. Next, I evaluate existing comprehensive critical assessments of the FEP, and hypothesise as to potential sources of existing confusions in the literature. In the final section, I distinguish between what I hold to be the FEP—taken to be a modelling language or modelling framework—and what I term “FEP models.”. (shrink)

This work was written for the Midlands Conference of Critical Thought which took place on 5–6th April 2024 at Nottingham Trent University. It was presented for a session on productivity, process, and the value of making, organised by the Vienna Contemporary Art Space. The work provides an overview of two of the presenter’s essays, Content and Operation and Instinct and Intelligence, to show how the process of philosophy can be the subject matter of philosophical works.

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings (...) of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (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)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

Can physicalism (or materialism) be non-reductive? I provide an opinionated survey of the debate on this question. I suggest that attempts to formulate non-reductive physicalism by appeal to claims of event identity, supervenience, or realization have produced doctrines that fail either to be physicalist or to be non-reductive. Then I treat in more detail a recent attempt to formulate non-reductive physicalism by Derk Pereboom, but argue that it fares no better.

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (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)

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)

Virtue theories have become influential in ethics and epistemology. This paper argues for a similar approach to argumentation. Several potential obstacles to virtue theories in general, and to this new application in particular, are considered and rejected. A first attempt is made at a survey of argumentational virtues, and finally it is argued that the dialectical nature of argumentation makes it particularly suited for virtue theoretic analysis.

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)

In this paper, I present counterexamples to the evidence thesis, the thesis that S knows that p at t only if S believes that p on the basis of evidence at t. The outline of my paper is as follows. In section 1, I explain the evidence thesis and make clear what a successful counterexample to the evidence thesis will look like. In section 2, I show that instances of non-occurrent knowledge are counterexamples to the evidence thesis. At the end (...) of section 2, I consider the primary thesis of my paper — that the evidence thesis is false — to be successfully defended. In section 3, I consider three variations of the evidence thesis. The first variation restricts the evidence thesis to occurrent knowledge; the second requires for knowledge that one’s belief could be based on evidence; and the third requires for knowledge that the belief was based on evidence at a suitable prior time. The secondary thesis of this paper is that these variations are also subject to serious objections. (shrink)

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.

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)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)