Geoengineering; specifically Solar Radiation Management ; has been proposed to effect rapid influence over the Earth’s climate system in order to counteract Anthropogenic Global Warming. This poses near-term to long-term governance challenges; some of which are within the planning horizon of current political administrations. Previous discussions of governance of SRM have focused primarily on two scenarios: an isolated “Greenfinger” individual; or state; acting independently ; versus more consensual; internationalist approaches. I argue that these models represent a very limited sub-set of (...) plausible deployment scenarios. To generate a range of alternative models; I offer a short; relatively unstructured discussion of a range of different types of warfare – each with an analogous SRM deployment regime. (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)

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)

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)

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)

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. And so there (...) is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

In a new study, Ben-Haim et al. use subliminal stimuli to separate conscious and unconscious perception in macaques. A programme of this type, using a range of cognitive tasks, is a promising way to look for conscious perception in more controversial cases.

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

The potential for scalable quantum computing depends on the viability of fault tolerance and quantum error correction, by which the entropy of environmental noise is removed during a quantum computation to maintain the physical reversibility of the computer’s logical qubits. However, the theory underlying quantum error correction applies a linguistic double standard to the words “noise” and “measurement” by treating environmental interactions during a quantum computation as inherently reversible, and environmental interactions at the end of a quantum computation as irreversible (...) measurements. Specifically, quantum error correction theory models noise as interactions that are uncorrelated or that result in correlations that decay in space and/or time, thus embedding no permanent information to the environment. I challenge this assumption both on logical grounds and by discussing a hypothetical quantum computer based on “position qubits.” The technological difficulties of producing a useful scalable position-qubit quantum computer parallel the overwhelming difficulties in performing a double-slit interference experiment on an object comprising a million to a billion fermions. (shrink)

The moral principle that Ought Implies Can (“OIC”) is often assumed without argument in normative discourse. Is this assumption defensible? Some would argue that it is not, as there are many purported counterexamples against it in the literature. However, OIC is not so much a single principle as rather a family of them. In this paper, I will argue that, while not every OIC-type principle is defensible, at least one of them may be. I defend the cognate moral principle that (...) Ought Implies Can or Could Have (“OICCH”). I first show that it is able to circumvent the traditional counterexamples to OIC. And then I show that OICCH is even more plausible than some of the best alternative OIC-type principles to date. The upshot of this paper is that those who find OIC compelling should consider accepting OICCH instead. (shrink)

Mark Johnston (2016, 2017) has raised concerns that a worm-theoretic account of persistence through time is incompatible with ethical singularity: that within the life of any actual person, there is only one morally considerable being, namely that person. To deny ethical singularity is to deny a core feature of our ordinary ethical and prudential thinking. The worm theory, Johnston concludes, proves to be “disastrous … for our ordinary moral outlook”. This paper defends the worm theory from Johnston’s argument. Though I (...) agree that the worm theory must deny ethical singularity, it can nevertheless be squared with our ordinary ethical thinking by adopting a temporal counterpart analysis of temporal predication (‘x will be F’, ‘x was previously F’, etc.) for those morally considerable beings involved in a person’s life that are not the person. (shrink)

Extended Essay Review of the 26 chapters in the collection Global Epistemologies and Philosophies of Science, Routledge, 2021.

Journal of Applied Philosophy, EarlyView.

The early modern period (roughly, 1600–1800 ce) in Europe brought tremendous changes in intellectual, political, and cultural life. It was a period in which philosophical debates were inevitably bound up with questions about the nature and sources of religious truth. A chronological examination of some of the period’s major thinkers highlights two issues that were central to the development of philosophy of religion in the period. The first concerns the relations between God, the soul, and the body; the other concerns (...) the relationship between human reason and divine revelation. (shrink)

I offer an interpretation of Carnap and Quine’s views on cognitive significance and insignificance. The basic idea behind their views is as follows: to judge an expression is insignificant is to recommend it not be used in or explicated into languages used to express truth-valued judgments in inquiry; to judge an expression is significant is to recommend it be used in or explicated into such languages. These judgments are pragmatic judgments, made in light of purposes for language use in inquiry. (...) For Carnap at least, these pragmatic judgments are non-cognitive. This basic idea is only a roughly correct statement of their views. This is because the details of the scientific languages they recommend for inquiry are necessary to understand their views and the way they understand their own views. Even so, I offer two reasons to suggest that this basic idea is worthy of our consideration today. First, it provides a conception of significance that captures the natural thought that epistemological concerns can lead us to consider expressions to be insignificant without requiring an objectionable form of verificationism. Second, if we appeal also to Carnap and Quine’s pluralistic attitude toward explication, we can make a pragmatic judgment that an expression is insignificant while judging it to be significant on a distinct explication of significance fit for describing and explaining natural language. (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)

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)

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)

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

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)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Contemporary philosophical debates surrounding toleration have revolved around three issues: What is toleration? Should we tolerate and, if so, why? What should be tolerated? These questions are of central importance to social and political thought.

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)

This paper looks at the nature of normal-proper functions and the role they play in theories of representational content. More specifically: I lay down two desiderata for a theory which tries to capture what's distinctive of normal-proper functions and discuss two prominent theories which claim to satisfy them. I discuss the advantages of having normal-proper functions ground a theory of representational content. And, I look at both orthodox and heterodox versions of such theories.

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (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)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should judge (...) the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

We suggest that there is confusion between why consciousness developed and what additional functions, through continued evolution, it has co-opted. Consider episodic memory. If we believe that episodic memory evolved solely to accurately represent past events, it seems like a terrible system—prone to forgetting and false memories. However, if we believe that episodic memory developed to flexibly and creatively combine and rearrange memories of prior events in order to plan for the future, then it is quite a good system. We (...) argue that consciousness originally developed as part of the episodic memory system—quite likely the part needed to accomplish that flexible recombining of information. We posit further that consciousness was subsequently co-opted to produce other functions that are not directly relevant to memory per se, such as problem-solving, abstract thinking, and language. We suggest that this theory is compatible with many phenomena, such as the slow speed and the after-the-fact order of consciousness, that cannot be explained well by other theories. We believe that our theory may have profound implications for understanding intentional action and consciousness in general. Moreover, we suggest that episodic memory and its associated memory systems of sensory, working, and semantic memory as a whole ought to be considered together as the conscious memory system in that they, together, give rise to the phenomenon of consciousness. Lastly, we suggest that the cerebral cortex is the part of the brain that makes consciousness possible, and that every cortical region contributes to this conscious memory system. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (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)

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)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (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)

This chapter explores global debunking arguments, debunking arguments that aim to give one a global defeater. I defend Alvin Plantinga’s view that global defeaters are possible and, once gained, are impossible to escape by reasoning. They thereby must be extinguished by other means: epistemically propitious actions, luck, or grace. I then distinguish between three types of global defeater—pure-undercutters, undercutters-because-rebutters, and undercutters-while-rebutters—and systematically consider how one can deflect such defeaters. Lastly, since I draw insights from the literature on perhaps the most (...) widely discussed global debunking argument in the literature, Plantinga’s evolutionary argument against naturalism, I end up responding to many potential problems for it. This includes the so-called conditionalization problem, as well as those raised by Bergmann (2002), Law (2012), Deem (2018), Hendricks and Anderson (2020), and Wielenberg (in Craig and Wielenberg (2021)). (shrink)

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)

This paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they can know that (...) they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

In this article I discuss the moral-coherence reading of Kant’s moral argument offered by Allen Wood in his recent book _Kant and Religion_, display some of the challenges that it faces and suggest that a moral-psychological formulation is preferable.

There are two kinds of time-bias: near-bias and future-bias. While philosophers typically hold that near-bias is rationally impermissible, many hold that future-bias is rationally permissible. Call this normative hybridism. According to arbitrariness objections, certain patterns of preference are rationally impermissible because they are arbitrary. While arbitrariness objections have been levelled against both near-bias and future-bias, the kind of arbitrariness in question has been different. In this paper we investigate whether there are forms of arbitrariness that are common to both kinds (...) of preferences, and hence whether there are versions of the arbitrariness objection that are objections both to near-bias and future-bias. If there are, then this might go some way towards undermining normative hybridism and to defending a thorough-going time-neutralism. (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)

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)

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

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 introduces and argues for contrastivism about intentions. According to contrastivism, intention is not a binary relation between an agent and an action. Rather, it is a ternary relation between an agent, an action, and an alternative. Contrastivism is introduced via a discussion of cases of known but (apparently) unintended side effects. Such cases are puzzling. They put pressure on us to reject a number of highly compelling theses about intention, intentional action, and practical reason. And they give rise (...) to a puzzle about rather than constructions such as ‘I intend to φ rather than ψ’: In side effect cases it can seem wrong to claim that the subject intends to φ, yet acceptable to claim that they intend to φ rather than ψ. This cries out for explanation. Contrastivism provides a unified response to all of these problems. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)