Andrew Aberdein

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.

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.

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.

Analysis of online mathematics forums can help reveal how explanation is used by mathematicians; we contend that this use of explanation may help to provide an informal conceptualization of simplicity. We extracted six conjectures from recent philosophical work on the occurrence and characteristics of explanation in mathematics. We then tested these conjectures against a corpus derived from online mathematical discussions. To this end, we employed two techniques, one based on indicator terms, the other on a random sample of comments lacking such indicators. Our findings suggest that explanation is widespread in mathematical practice and that it occurs not only in proofs but also in other mathematical contexts. Our work also provides further evidence for the utility of empirical methods in addressing philosophical problems.

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.

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.

Is bias an obstacle to a virtue theory of argumentation? Virtue theories seem vulnerable to a situationist challenge, analogous to similar challenges in virtue ethics and epistemology, that behavioural dispositions are too situation-specific for virtues to be psychologically plausible. This paper argues that virtue argumentation may respond to this challenge by combining a defence of the virtue of humility with a demonstration of the role of attitude strength, as exhibited by deep-seated virtues.

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.

Stephen Toulmin once observed that ”it has never been customary for philosophers to pay much attention to the rhetoric of mathematical debate’ [Toulmin et al., 1979, An Introduction to Reasoning, Macmillan, London, p. 89]. Might the application of Toulmin’s layout of arguments to mathematics remedy this oversight? Toulmin’s critics fault the layout as requiring so much abstraction as to permit incompatible reconstructions. Mathematical proofs may indeed be represented by fundamentally distinct layouts. However, cases of genuine conflict characteristically reflect an underlying disagreement about the nature of the proof in question.

This paper explores some surprising historical connections between philosophy and pornography (including pornography written by or about philosophers, and works that are both philosophical and pornographic). Examples discussed include Diderot's Les Bijoux Indiscrets, Argens's Therésè Philosophe, Aretino's Ragionamenti, Andeli's Lai d'Aristote, and the Gor novels of John Norman. It observes that these works frequently dramatize a tension between reason and emotion, and argues that their existence poses a problem for philosophical arguments against pornography.

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.

The status and limits of science are the focus of urgent public debate. This paper contributes a philosophical analysis of representations of science and the supernatural in popular culture. It explores and critiques a threefold taxonomy of supernatural narratives: (1) reduction of the supernatural to contemporary science; (2) reduction to a `future science' methodologically continuous with contemporary science; (3) the supernatural as irreducible. The means by which the TV series Buffy the Vampire Slayer adroitly negotiates the borderlines between these narratives is related to the `science wars', the two cultures debate, and the ancients vs. moderns dispute.

For the last decade there has been a growing interest in the interplay between mathematical practice and argumentation. The study of each of these areas promises to shed light on the other, as I and several other authors from a variety of disciplines have argued. I am particularly grateful to Begoña Carrascal for her careful critique of some central assumptions of this programme, as such challenges are vital for its long-term success. In this commentary, I wish to respond to two of her main points in a similar spirit. She writes: “From a review of many of the papers [of the programme]... we can extract two main ideas. First, Johnson’s influential definition placed a burden on many of their authors to justify the claim that mathematical products are argumentative. Second, there is a manifest tension in these works between the examples of mathematical products considered as arguments and the process that leads to them” (Carrascal, 2013, p. 6). I will address each of these ideas in turn.

Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is that a more nuanced understanding of mathematical proof and discovery may be achieved by paying attention to the aspects of mathematical argumentation which can be captured by informal, rather than formal, logic. Two accounts of argumentation are considered: the pioneering work of Stephen Toulmin [The uses of argument, Cambridge University Press, 1958] and the more recent studies of Douglas Walton, [e.g. The new dialectic: Conversational contexts of argument, University of Toronto Press, 1998]. The focus of both of these approaches has largely been restricted to natural language argumentation. However, Walton’s method in particular provides a fruitful analysis of mathematical proof. He offers a contextual account of argumentational strategies, distinguishing a variety of different types of dialogue in which arguments may occur. This analysis represents many different fallacious or otherwise illicit arguments as the deployment of strategies which are sometimes admissible in contexts in which they are inadmissible. I argue that mathematical proofs are deployed in a greater variety of types of dialogue than has commonly been assumed. I proceed to show that many of the important philosophical and pedagogical problems of mathematical proof arise from a failure to make explicit the type of dialogue in which the proof is introduced.

Charles Stevenson introduced the term 'persuasive definition’ to describe a suspect form of moral argument 'which gives a new conceptual meaning to a familiar word without substantially changing its emotive meaning’. However, as Stevenson acknowledges, such a move can be employed legitimately. If persuasive definition is to be a useful notion, we shall need a criterion for identifying specifically illegitimate usage. I criticize a recent proposed criterion from Keith Burgess-Jackson and offer an alternative.

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. The book begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​

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.

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.