Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

Harry Frankfurt has argued that Descartes’s madness doubt in the First Meditation is importantly different from his dreaming doubt. The madness doubt does not provide a reason for doubting the senses since were the meditator to suppose he was mad his ability to successfully complete the philosophical investigation he sets for himself in the first few pages of the Meditations would be undermined. I argue that Frankfurt’s interpretation of Descartes’s madness doubt is mistaken and that it should be understood as (...) playing the same role as his more famous dreaming doubt. I focus my discussion around four questions: (Q1) What does the meditator have in mind when speaking of madness?, (Q2) Why does the meditator so quickly dismiss the madness doubt but take seriously the dreaming doubt?, (Q3) Does the madness doubt have the same scope as the dreaming doubt?, and (Q4) Why does the meditator bring up the madness doubt at all? (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)

According to the worm theory, persons are (maximal) aggregates of person-stages existing at different times. Personites, on the other hand, are non-maximal aggregates of stages that are nonetheless very much like persons. Their existence appears to make instances of prudential self-sacrifice morally problematic: the personites that exist at the time of the sacrifice but not at the time of the reward seem to be unfairly exploited. Instances of punishment appear to give rise to a similar problem. We argue that these (...) impressions arise from a mistaken assumption about which beings are the primary bearers of properties such as suffering, receiving compensation (in the future) and having (previously) committed a crime. According to the worm theory, stages, rather than persons or personites, possess these properties. Persons and personites have these properties only in a derivative sense. As we show, once this clarification and related ones are made, the apparent moral problems raised by the existence of personites dissolve. (shrink)

This short paper is a "quick and dirty" introduction for non-philosophers (with some background in propositional logic) to Jaegwon Kim's famous supervenience argument against non-reductive physicalism (also known as the exclusion problem). It motivates the problem of mental causation, introduces Kim's formulation of the issue centered around mind-body supervenience, presents the argument in deductive form, and makes explicit why Kim concludes that vindicating mental causation demands a reduction of mind.

Mental causation is a problem and not just a problem for the nonphysicalist. One of the many lessons learned from Jaegwon Kim’s writings in the philosophy of mind is that mental causation is a problem for the nonreductive physicalist as well. A central component of the common sense picture we have of ourselves as persons is that our beliefs and desires causally explain our actions. But the completeness of the “brain sciences” threatens this picture. If all of our actions are (...) causally explained by neurophysiological events occurring in our brains, what causal role is left for our reasons and motives? It would seem that these brain events do all the causal work there is to do, thus robbing the mental of its efficacy altogether or else making it a merely superfluous or redundant causal factor. This essay presents a systematic treatment of this exclusion dilemma from the perspective of a nonreductive physicalist. I argue that both horns of this dilemma can be avoided if we ground mental causation in counterfactual dependence between distinct events and understand the mind-body relation as event realization. Although in the final analysis our actions are overdetermined by their mental and neurophysiological antecedents, this overdetermination is entirely unproblematic. (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)

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)

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)

In this paper I argue that the enkratic principle in its classic formulation may not be a requirement of rationality. The investigation of whether it is leads to some important methodological insights into the study of rationality. I also consider the possibility that we should consider rational requirements as a subset of a broader category of agential requirements.

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 1964, the young Walter Kasper (born in 1933) was granted by the Faculty of Catholic Theology at Tübingen the licence to teach dogmatic theology on the basis of a thesis on Philosophie und Theologie der Geschichte in der Spätphilosophie Schellings (Philosophy and Theology of History in Schelling’s Late Philosophy). Kasper’s interest in Schelling, himself a student at the Evangelisches Stift at Tübingen, thus originated in the context of his university studies in the school of J.R. Geiselmann and developed in (...) parallel with his theological education. For this reason, it is impossible to form a correct idea of Kasper and his whole theology unless one is willing to take into account this background, not least because he himself has always consciously and forcefully recognised this fact and seen in it his own centre of gravity. Kasper’s work and thought were shaped in a lasting manner during his university years. In fact, his entire academic oeuvre has been nurtured from this fecund origin so much so that he became one of the most well known names associated with the Catholic school at Tübingen to which he gave a new, creative impulse having himself been profoundly inspired by it. ‘He always emphasised his own roots not only as a teacher of theology and a member of the teaching faculty of this institution, but also as bishop’ and cardinal. The principal intention of the present article is precisely this: to return to this beginning and elucidate these decisive years for Kasper in broad outline by way of a relecture and interpretation of his book on The Absolute in History and the particular manner in which he interpreted the so-called second Schelling, an author whom he approached in the wake of Walter Schulz and at practically the same time as Xavier Tilliette. The analysis will subsequently move on into the more properly theological field. (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)

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of real possibility can (...) be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

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

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

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.

An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...) that action. Likewise with ought, when there is sufficient evidence for something, one ought to believe it (at least under normal circumstances). Not all guidance need be directed towards a specific state or a specific action. Subject to the requirements of normativity, too, are relations. It is commonly believed, for example, that we ought not to hold contradictory beliefs.1 At least some of the requirements that concern relations amongst an agent’s mental states are, or seem, distinctive. Agents who fail to satisfy these requirements are considered, at least to some degree, irrational. On many current views, being irrational is distinct in some way from not being how one ought to be; rationality is a concept distinct from normativity. Much of the literature on this topic over the last decade stems from attempts to capture the characteristic features of the requirements of rationality. Two influential views in particular did much to set the agenda. The first of these two was put forward John Broome.2 His view, the particulars of which I shall discuss in more detail below, is that the requirements of rationality could be expressed using a normative relation, which he calls a ‘normative requirement’. Normative requirements are conditionals governed by an all-thingsconsidered ought. In the case of rationality, the conditional is made up entirely of mental states.. (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)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

David Lewis—famously—never tasted vegemite. Did he have any knowledge of what it's like to taste vegemite? Most say 'no'; I say 'yes'. I argue 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)

In this chapter, I present and explore various arguments for skepticism that are related to memory. My focus will be on the aspects of the arguments that are unique to memory, which are not shared, for example, by the more often explored skeptical arguments related to perception. -/- Here are some interesting upshots. First, a particular problem for justifiably concluding that one's memory is reliable is that any reasoning in favor of this conclusion will either result in epistemically circularity or (...) not be sufficient to justify the conclusion. Second, since many beliefs stored in memory do not appear to be based on evidence, it might also appear to follow that they are not justified. Third, although many stored memory beliefs are not based on stored memory experiences in the same way that perceptual beliefs are based on perceptual experiences, skeptical scenarios loom just as problematically for memory beliefs as they do for perceptual beliefs. (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)

A list of resources for virtue theories of argumentation. Last updated October 31st, 2023.

I argue that assertoric content functions as a means for us to track the responsibilities undertaken by communicators, and that distinctively assertoric commitments are distinguished by being generated directly in virtue of the words the speaker uses. This raises two questions: (a) Why are speakers responsible for the content thus generated? (b) Why is it important for us to distinguish between commitments in terms of their manner of generation? I answer the first question by developing a novel responsibility based metasemantics. (...) I answer the second by reference to the conflicting pressures governing the resources we have available for appraising speech. (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)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (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)

I intend to bring recent work applying virtue theory to the study of argument to bear on a much older problem, that of disagreements that resist rational resolution, sometimes termed "deep disagreements". Just as some virtue epistemologists have lately shifted focus onto epistemic vices, I shall argue that a renewed focus on the vices of argument can help to illuminate deep disagreements. In particular, I address the role of arrogance, both as a factor in the diagnosis of deep disagreements and (...) as an obstacle to their mutually acceptable resolution. Arrogant arguers are likely to make any disagreements to which they are party seem deeper than they really are and arrogance impedes the strategies that we might adopt to resolve deep disagreements. As a case in point, since arrogant or otherwise vicious arguers cannot be trusted not to exploit such strategies for untoward ends, any policy for deep disagreement amelioration must require particularly close attention to the vices of argument, lest they be exploited by the unscrupulous. (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)

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.

Once upon a time, not too long ago, the question about apes and ethics had to do with moral standing—do apes have interests or rights that humans ought to respect? Given the fifty years of research on great ape cognition, life history, social organization, and behavior, the answer to that question seems obvious. Apes have emotions and projects, they can be harmed, and they have important social relationships.

In this chapter I hope to persuade you that defective contexts are more ubiquitous than we typically assume. In doing, so I will draw attention to a number of pressing social and theoretical issues which arise once we start to consider defective contexts. I will proceed by pointing to a number of ways in which defective contexts can emerge without self-correcting in the manner envisioned by Stalnaker. First I will consider situations in which some, but not all interlocutors recognise that (...) the context is defective. I will then consider cases of opaquely defective contexts, and the question of what it is for a context to be “close enough” to being non-defective. (shrink)

I want to say something about the sort of arguments that it is possible to lose, and whether losing arguments can be done well. I shall focus on losing philosophical arguments, and I will be talking about arguments in the sense of acts of arguing. This is the sort of act that one can perform on one’s own or with one other person in private. But in either of these cases it is difficult to win—or to lose. So I shall (...) concentrate on arguments with audiences. We may think of winning or losing such arguments in terms of whether the audience is convinced. Of course, this doesn’t necessarily have anything to do with who is in the right. That means that there are two sorts of loser: real losers, who lose the argument deservedly, because they are in the wrong, and mere losers, who lose the argument undeservedly, because they are in the right. Hence there must also be two sorts of winner: real winners, who win the argument deservedly, because they are in the right, and mere winners, who win the argument undeservedly, because they are in the wrong. An optimal outcome for arguments with losers would be if all the losers are real losers. (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)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of argumentation (...) schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

In this chapter I argue that intellectual humility is related to argumentation in several distinct but mutually supporting ways. I begin by drawing connections between humility and two topics of long-standing importance to the evaluation of informal arguments: the ad verecundiam fallacy and the principle of charity. I then explore the more explicit role that humility plays in recent work on critical thinking dispositions, deliberative virtues, and virtue theories of argumentation.

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)

This paper defines and defends a notion of teleological function which is fit to figure in explanations concerning how organic systems, and the items which compose them, are able to perform certain activities, such as surviving and reproducing or pumping blood. According to this notion, a teleological function of an item (such as the heart) is a typical way in which items of that type contribute to some containing system's ability to do some activity. An account of what it is (...) for an item to contribute to a containing system's ability to perform an activity is provided. I argue that the view acquires its normative status in virtue of the fact that it obeys a function-accident distinction and obeys a function-dysfunction distinction; that the view is ahistorical; and, that its ahistoricity provides it with an advantage over one of its main competitors. (shrink)

Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical (...) knowledge. (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)

Commentators typically neglect the distinct nature and role of hope in Kant’s system, and simply lump it together with the sort of Belief that arises from the moral proof. Kant himself is not entirely innocent of the conflation. Here I argue, however, that from a conceptual as well as a textual point of view, hope should be regarded as a different kind of attitude. It is an attitude that we can rationally adopt toward some of the doctrines that are not (...) able to be proved from within the bounds of mere reason – either theoretical or practical. This does not mean that hope is unconstrained; there are rational limits, as we shall see. In fact one of my central claims here is that a crucial difference between knowledge, rational Belief, and rational hope is that they are governed by different modal constraints; section II discusses those constraints and the kind of modality involved. In section III, I return to Religion and offer what I take to be Kant’s account of the main objects of rational hope in that text – namely, “alleged outer experiences (miracles)”;a “supposed inner experience(effect of grace)”;and a future collective experience (the construction of a truly ethical society). (shrink)