Andrew Aberdein

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.

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.

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.

It has been a decade since the phrase virtue argumentation was introduced, and while it would be an exaggeration to say that it burst onto the scene, it would be just as much of an understatement to say that it has gone unnoticed. Trying to strike the virtuous mean between the extremes of hyperbole and litotes, then, we can fairly characterize it as a way of thinking about arguments and argumentation that has steadily attracted more and more attention from argumentation theorists. We hope it is neither too late for an introduction to the field nor too soon for some retrospective assessment of where things stand.

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.

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.