[Andrew Williams] It is difficult for prioritarians to explain the degree to which justice requires redress for misfortune in a way that avoids imposing unreasonably high costs on more advantaged individuals whilst also economising on intuitionist appeals to judgment. An appeal to hypothetical insurance may be able to solve the problems of cost and judgment more successfully, and can also be defended from critics who claim that resource egalitarianism is best understood to favour the ex post elimination of envy (...) over individual endowments. /// [Michael Otsuka] Inequality is intrinsically bad when and because it is unfair. It follows that the ideal of equality is not necessarily realised by a distribution of resources which is envy-free prior to the resolution of risks against which people have an equal opportunity to insure. Even if the upshot of such an ex ante envyfree distribution is just, it is not necessarily fair. (shrink)

A review of Andrew Melnyk, A Physicalist Manifesto: Thoroughly Modern Materialism (Cambridge University Press, 2003).

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.

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)

A list of resources for virtue theories of argumentation. Last updated December 5th 2024.

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

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)

Transmission views of testimony hold that a speaker's knowledge or justification can become the audience's knowledge or justification. We argue that transmission views are incompatible with the hypothesis that one's epistemic state, together with one's practical circumstances, determines what actions are rationally permissible for an agent. We argue that there are cases where, if the speaker's epistemic state were transmitted to the audience, then the audience would be warranted in acting in particular ways. Yet, the audience in these cases is (...) not so warranted, as their strength of justification does not come close to the speaker's. (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)

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.

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

Many of those working on moral responsibility assume that "once blameworthy, always blameworthy." They believe that blameworthiness is like diamonds: it is forever. We argue that blameworthiness is not forever; rather, it can diminish through time. We begin by showing that the view that blameworthiness is forever is best understood as the claim that personal identity is sufficient for diachronic blameworthiness. We argue that this view should be rejected because it entails that blameworthiness for past action is completely divorced from (...) the distinctive psychological features of the person at the later time. This is because on none of the leading accounts of personal identity does identity require the preservation of any distinctive psychological features, but merely requires some form of continuity. The claim that blameworthiness is forever should therefore be rejected. We then sketch an account of blameworthiness over time, and consider two objections. (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.

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)

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)

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)

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)

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

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)

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)

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)

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)

In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that empirical science characteristically exhibits inglorious revolutions but that revolutions in mathematics are at most glorious [2]. Here are three possible responses: 0. Accept that empirical science and mathematics are methodologically discontinuous; 1. Argue that mathematics can exhibit inglorious revolutions; 2. Deny that inglorious revolutions are (...) characteristic of science. Where Aberdein and Read take option 1, option 2 is preferred by Mizrahi [3]. This paper seeks to resolve this disagreement through consideration of some putative mathematical revolutions. [1] Andrew Aberdein and Stephen Read, The philosophy of alternative logics, The Development of Modern Logic (Leila Haaparanta, ed.), Oxford University Press, Oxford, 2009, pp. 613-723. [2] Donald Gillies (ed.), Revolutions in Mathematics, Oxford University Press, Oxford, 1992. [3] Moti Mizrahi, Kuhn's incommensurability thesis: What's the argument?, Social Epistemology 29 (2015), no. 4, 361-378. (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)

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

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.

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

I develop and defend a sense-datum theory of perception. My theory follows the spirit of classic sense-datum theories: I argue that what it is to have a perceptual experience is to be acquainted with some sense-data, where sense-data are private particulars that have all the properties they appear to have, that are common to both perception and hallucination, that constitute the phenomenal characters of perceptual experiences, and that are analogous to pictures inside one’s head. But my theory also diverges from (...) conventional sense-datum theories in some key respects: on my view, (1) sense-data are first-person presentations of neural states, (2) the sensational qualities of sense-data differ in kind from the sensible qualities of external objects, and (3) sense-data are the vehicles in virtue of which we perceive, rather than the objects that we perceive. I argue that this package of claims is appropriately labeled ‘sense-datum theory’, and that the resultant view ought to be a live contender in contemporary philosophy of perception. (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 argues that both a limited doxastic voluntarism and anti-evidentialism are consistent with the views that the aim of belief is truth or knowledge and that this aim plays an important role in norm-setting for beliefs. More cautiously, it argues that limited doxastic voluntarism is (or would be) a useful capacity for agents concerned with truth tracking to possess, and that having it would confer some straightforward benefits of both an epistemic and non-epistemic variety to an agent concerned with (...) truth tracking. (shrink)

Most work in Kant’s epistemology focuses on what happens “upstream” from experience, prior to the formation of conscious propositional attitudes. By contrast, this essay focuses on what happens "downstream": the formation of assent (Fuerwahrhalten) in its various modes. The mode of assent that Kant calls "Belief" (Glaube) is the main topic: not only moral Belief but also "pragmatic" and "doctrinal" Belief as well. I argue that Kant’s discussion shows that we should reject standard accounts of the extent to which theoretical (...) reason can provide justified assent about things-in-themselves, in favor of one that is much more liberal. Interpretive benefits are not the only results of the discussion, however. I also hope it will become clear along the way that there is such a thing as Kantian Belief, and that we often have quite a lot of it. -/- . (shrink)

I argue for an account of the vulnerability of trust, as a product of our need for secure social attachments to individuals and to a group. This account seeks to explain why it is true that, when we trust or distrust someone, we are susceptible to being betrayed by them, rather than merely disappointed or frustrated in our goals. What we are concerned about in matters of trust is, at the basic level, whether we matter, in a non-instrumental way, to (...) that individual, or to the group of which they are a member. We have this concern as a result of a drive to form secure social attachments. This makes us vulnerable in the characteristic way of being susceptible to betrayal, because how the other acts in such matters can demonstrate our lack of worth to them, or to the group, thereby threatening the security of our attachment, and eliciting the reactive attitudes characteristic of betrayal. (shrink)

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

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

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

A potentially new interpretation of quantum mechanics posits the state of the universe as a consistent set of facts that are instantiated in the correlations among entangled objects. A fact (or event) occurs exactly when the number or density of future possibilities decreases, and a quantum superposition exists if and only if the facts of the universe are consistent with the superposition. The interpretation sheds light on both in-principle and real-world predictability of the universe.

Empirical investigation of the conditions under which people prefer, or disprefer, causal explanation, has suggested to many that our judgements about what causally explains what are context sensitive in a number of ways. This has led many to suppose that whether or not a causal explanation obtains depends on various contextual factors, and that said explanations can obtain in one context, and not in another: they are both subjective and agent-relative. Surprisingly, most accounts of metaphysical explanation suppose there to be (...) no psychological, epistemic, or more broadly contextual, aspect to metaphysical explanation. Recently this approach has come under fire from those who argue that since metaphysical explanations are explanations, we should expect them to be both subjective and agent-relative. To date, however, there is no evidence about the conditions under which we make judgements about what metaphysically explains what. In what follows we remedy this. We find that judgements about what metaphysically explains what are indeed context sensitive. We then reflect on the implications of this discovery for extant accounts of metaphysical explanation. (shrink)

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

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

An effort to expand and defend aspects of my earlier reading of the Deduction of Taste. The Red Scorpion is just for fun. -/- .

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

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

The problem of moral luck arises due to a particular tension in our thought. On the one hand, we seem readily inclined to endorse the principle that moral responsibility, that is, one’s praiseworthiness or blameworthiness, cannot be affected by luck, that is, by factors over which one lacks control. But, when we examine our actual practices, we find that our moral judgments are highly sensitive to luck. This resulting tension between principle and practice is the problem of moral luck, and (...) an attempt to solve this problem is an attempt to resolve this tension. The article first explains the traditional characterization of the problem and reviews three general strategies in responding to it. It is then argued that we should characterize the problem in a slightly broader way. This refocusing turns out to have significant methodological implications. (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)

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)

Many theorists have found the notion of forgiveness to be paradoxical, for it is thought that only the blameworthy can be appropriately forgiven but that the blameworthy are appropriately blamed not forgiven. Some have appealed to the notion of repentance to resolve this tension. But others have objected that such a response is explanatorily inadequate in the sense that it merely stipulates and names a solution leaving the transformative power of repentance unexplained. Worse still, others have objected that such a (...) response cannot succeed because no amount of repentance can render the blameworthy not blameworthy. I argue that this latter objection is based on a mistaken assumption, the acknowledgement of which has the power to resolve the paradox in a way that meets the explanatory adequacy challenge, and, more generally, has significant implications with which any full theory of forgiveness must engage. (shrink)

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

As Dworkin puts it: moral scepticism is a moral view. This is in contrast to the more popular idea that the real challenge for moral realism is external scepticism, scepticism which arises because of non-moral considerations about the metaphysics of morality. I, too, do not concur with Dworkin’s strongest conclusions about the viability of external scepticism. But, I think his criticism of error scepticism offers a much needed corrective to more traditional metaethical projects. My aim in this paper is to (...) split the difference between Dworkin’s view and more traditional views, concluding that Dworkin’s work in Justice for Hedgehogs contributes to metaethics for everyone. (shrink)