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

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)

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)

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)

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.

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)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

What should a virtue theory of argumentation say about fallacious reasoning? If good arguments are virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of bad argumentation to be explicable in terms of vices. This approach is defended through analysis of several fallacies, with particular emphasis (...) on the ad misericordiam. (shrink)

The virtues and vices of argument are now an established part of argumentation theory. They have helped direct attention to hitherto neglected aspects of how we argue. However, it remains controversial whether a virtue theory can contribute to some of the central questions of argumentation theory. Notably, Harvey Siegel disputes whether what he calls ‘arguments in the abstract propositional sense’ can be evaluated meaningfully within a virtue theory. This paper explores the prospects for grounding an account of argument evaluation in (...) arguers’ virtues and vices by examination of a corresponding debate in virtue ethics: Can an ethics of virtue guide our actions? It is thereby argued that an affirmative answer is possible: virtues suffice for argument evaluation. (shrink)

A list of resources for virtue theories of argumentation. Last updated July 9th 2024.

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, the form of a subject's experience of an object provides the normative basis for an aesthetic judgement about it. In other words, if the subject's experience of an object has certain structural properties, then Kant thinks she can legitimately judge that the object is beautiful - and that it is beautiful for everyone. My goal in this paper is to provide a new account of how this 'subjective universalism' is supposed to work. In doing so, I appeal to (...) Kant's notions of an aesthetic idea and an aesthetic attribute, and the connection that Kant makes between an object's expression of rational and the normativity of aesthetic judgements about it. -/- . (shrink)

Deep disagreements are characteristically resistant to rational resolution. This paper explores the contribution a virtue theoretic approach to argumentation can make towards settling the practical matter of what to do when confronted with apparent deep disagreement, with particular attention to the virtue of courage.

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)

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)

Virtue theories have lately enjoyed a modest vogue in the study of argumentation, echoing the success of more far-reaching programmes in ethics and epistemology. Virtue theories of argumentation (VTA) comprise several conceptually distinct projects, including the provision of normative foundations for argument evaluation and a renewed focus on the character of good arguers. Perhaps the boldest of these is the pursuit of the fully satisfying argument, the argument that contributes to human flourishing. This project has an independently developed epistemic analogue: (...) eudaimonistic virtue epistemology. Both projects stress the importance of widening the range of cognitive goals beyond, respectively, cogency and knowledge; both projects emphasize social factors, the right sort of community being indispensable for the cultivation of the intellectual virtues necessary to each project. This paper proposes a unification of the two projects by arguing that the intellectual good life sought by eudaimonistic virtue epistemologists is best realized through the articulation of an account of argumentation that contributes to human flourishing. (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.

Peter van Inwagen's "special composition question" asks, more or less, "what must some objects be like in order for them to compose another object?" In this paper I develop and defend a theistic anti-realist response to the special composition question, according to which God decides when composition occurs. While I do not endorse this theistic mereological anti-realism, I think that it is worth developing. I argue that this theistic mereological anti-realism is preferable to extant non-theistic variants of mereological anti-realism, and (...) that theistic mereological anti-realism receives some motivation from several other sources. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (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.

I argue that the following theses are both popular among evidentialists but also jointly inconsistent with evidentialism: 1) Time-Slice Mentalism: one’s justificational properties at t are grounded only by one’s mental properties at t; 2) Experience Ultimacy: all ultimate evidence is experiential; and 3) Sleep Justification: we have justified beliefs while we have dreamless, nonexperiential sleep. Although I intend for this paper to be a polemic against evidentialists, it can also be viewed as an opportunity for them to clarify their (...) views. Furthermore, the paper is not only relevant to evidentialists. For example, the arguments of this paper could give Time-Slice Mentalists a reason to deny evidentialism. (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)

This overview of the philosophy of certainty will distinguish two types of certainty, specify controversial theses about certainty from recent literature, and explain some of the arguments for and against those theses.

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)

This paper argues against both conceptual and linguistic analysis as sources of a priori knowledge. Whether such knowledge is possible turns on the nature of concepts. The paper's chief contention is that none of the main views about what concepts are can underwrite the possibility of such knowledge.

I discuss whether "sentience" (i.e., phenomenal consciousness) comes in degrees.

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)

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)

Anonymous argumentation has recently been the focus of public controversy: flash points include the outing of pseudonymous bloggers by newspapers and the launch of an academic journal that expressly permits pseudonymous authorship. However, the controversy is not just a recent one—similar debates took place in the nineteenth century over the then common practice of anonymous journalism. Amongst the arguments advanced by advocates of anonymous argumentation in either era is the contention that it is essential if the widest range of voices (...) are to be heard; amongst the counterarguments of its critics, that it weakens the credibility of individual arguments and irresponsibly cheapens the standard of public discourse. This paper explores some implications of the controversy for the ethics of argumentation in general and virtue theories of argumentation in particular. (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)

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.

This paper proposes that virtue theories of argumentation and theories of visual argumentation can be of mutual assistance. An argument that adoption of a virtue approach provides a basis for rejecting the normative independence of visual argumentation is presented and its premisses analysed. This entails an independently valuable clarification of the contrasting normative presuppositions of the various virtue theories of argumentation. A range of different kinds of visual argument are examined, and it is argued that they may all be successfully (...) evaluated within a virtue framework, without invoking any novel virtues. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, which are essential (...) to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

Recent research (Latham, Miller and Norton, forthcoming) reveals that a majority of people represent actual time as dynamical. But do they, as suggested by McTaggart and Gödel, represent time as essentially dynamical? This paper distinguishes three interrelated questions. We ask (a) whether the folk representation of time is sensitive or insensitive: i.e., does what satisfies the folk representation of time in counterfactual worlds depend on what satisfies it actually—sensitive—or does is not depend on what satisfies it actually—insensitive, and (b) do (...) those who represent actual time as dynamical, represent time in all possible worlds as dynamical—what we call insensitive dynamism—or do they represent time in all possible worlds as dynamical only conditional on the actual world in fact being dynamical—what we call sensitive dynamism and (c) do dynamists and non-dynamists deploy two different representations of time, or deploy the same representation, but disagree about what actually satisfies that representation? We found no evidence that the folk representation of time is sensitive, or that the folk representation of time is essentially dynamical in either sense, though we did find evidence of a shared representation, on which dynamical features are sufficient, but not necessary, for time. (shrink)

In recent years, the science and the philosophy of consciousness has seen growing interest in structural questions about consciousness. This is the Editorial Introduction for a special volume for Philosophy and the Mind Sciences on “Structuralism in Consciousness Studies.”.

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)

Cultural attractor theory (CAT) is a highly visible and audacious approach to studying human cultural evolution. However, the explanatory aims and some central explanatory concepts of CAT remain unclear. Here I remedy these problems. I provide a reconstruction of CAT that recasts it as a theory of forces. I then demonstrate how this reinterpretation of CAT has the resources to generate both cultural distribution and evolvability explanations. I conclude by examining the potential benefits and drawbacks of this reconstruction.

There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such (...) as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book. (shrink)

Philosophers have long noted, and empirical psychology has lately confirmed, that most people are “biased toward the future”: we prefer to have positive experiences in the future, and negative experiences in the past. At least two explanations have been offered for this bias: belief in temporal passage and the practical irrelevance of the past resulting from our inability to influence past events. We set out to test the latter explanation. In a large survey, we find that participants exhibit significantly less (...) future bias when asked to consider scenarios where they can affect their own past experiences. This supports the “practical irrelevance” explanation of future bias. It also suggests that future bias is not an inflexible preference hardwired by evolution, but results from a more general disposition to “accept the things we cannot change”. However, participants still exhibited substantial future bias in scenarios in which they could affect the past, leaving room for complementary explanations. Beyond the main finding, our results also indicate that future bias is stake-sensitive and that participants endorse the normative correctness of their future-biased preferences and choices. In combination, these results shed light on philosophical debates over the rationality of future bias, suggesting that it may be a rational response to empirical realities rather than a brute, arational disposition. (shrink)

This paper presents an irreducibly inductive argument for physicalism based on the causal closure of the physical (for which it argues), and defends it against various detractors.

Matteo Ricci (1552-1610) was an Italian Jesuit and one of the first Christian missionaries to China in the modern era. He was a genuine polymath—a translator, cartographer, mathematician, astronomer, and musician. Above all, Ricci was a missionary for the gospel. As we briefly examine his 1603 seminal work, The True Meaning of the Lord of Heaven, our hope is that we, as evangelical educators, will perceive some of the deeper principles necessary for our own missionary work among unreached people.

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

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (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)

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)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (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)

Imagine a dog tracing a scent to a crossroads, sniffing all but one of the exits, and then proceeding down the last without further examination. According to Sextus Empiricus, Chrysippus argued that the dog effectively employs disjunctive syllogism, concluding that since the quarry left no trace on the other paths, it must have taken the last. The story has been retold many times, with at least four different morals: (1) dogs use logic, so they are as clever as humans; (2) (...) dogs use logic, so using logic is nothing special; (3) dogs reason well enough without logic; (4) dogs reason better for not having logic. This paper traces the history of Chrysippus's dog, from antiquity up to its discussion by relevance logicians in the twentieth century. (shrink)