The paper claims that the strategy adopted in the proof of Cantor’s theorem is problematic. Using the strategy, an unacceptable situation is built. The paper also makes the suggestion that the proof of Cantor’s theorem is possible due to lack of an apparatus to represent emptiness at a certain level in the ontology of set-theory.

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

This paper proposes an account of mathematical reasoning as parallel in structure: the arguments which mathematicians use to persuade each other of their results comprise the argumentational structure; the inferential structure is composed of derivations which offer a formal counterpart to these arguments. Some conflicts about the foundations of mathematics correspond to disagreements over which steps should be admissible in the inferential structure. Similarly, disagreements over the admissibility of steps in the argumentational structure correspond to different views about mathematical practice. (...) The latter steps may be analysed in terms of argumentation schemes. Three broad types of scheme are distinguished, a distinction which is then used to characterize and evaluate four contrasting approaches to mathematical practice. (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)

Some authors have begun to appeal directly to studies of argumentation in their analyses of mathematical practice. These include researchers from an impressively diverse range of disciplines: not only philosophy of mathematics and argumentation theory, but also psychology, education, and computer science. This introduction provides some background to their work.

Conceptual limitations restrict our epistemic options. One cannot believe, disbelieve, or doubt what one cannot grasp. I show how, even granting an epistemic ought-implies-can principle, such restrictions might lead to epistemic dilemmas: situations where each of one’s options violates some epistemic requirement. An alternative reaction would be to take epistemic norms to be sensitive to one’s options in ways that ensure dilemmas never arise. I propose, on behalf of the dilemmist, that we treat puzzlement as a kind of epistemic residue, (...) roughly analogous with guilt, appropriate only when one has violated an epistemic requirement. Sometimes, in bumping up against the limits of one’s concepts, it is appropriate to be puzzled no matter what one believes. Puzzlement can thus play the same role in an epistemic dilemmist’s theory that guilt plays in the theories of many moral dilemmists. (shrink)

A mahāvidyā inference is used for establishing another inference. Its Reason is normally an omnipresent property. Its Target is defined in terms of a general feature that is satisfied by different properties in different cases. It assumes that there is no case that has the absence of its Target. The main defect of a mahāvidyā inference μ is a counterbalancing inference that can be formed by a little modification of μ. The discovery of its counterbalancing inference can invalidate such an (...) inference. This paper will argue that Cantor’s diagonal argument too shares some features of the mahāvidyā inference. A diagonal argument has a counterbalanced statement. Its main defect is its counterbalancing inference. Apart from presenting an epistemological perspective that explains the disquiet over Cantor’s proof, this paper would show that both the mahāvidyā and diagonal argument formally contain their own invalidators. (shrink)

This paper expands upon a way in which we might rationally doubt that there are multiple sizes of infinity. The argument draws its inspiration from recent work in the philosophy of truth and philosophy of set theory. More specifically, elements of contextualist theories of truth and multiverse accounts of set theory are brought together in an effort to make sense of Cantor’s troubling theorem. The resultant theory provides an alternative philosophical perspective on the transfinite, but has limited impact on everyday (...) mathematical practice. (shrink)

This paper offers an evaluation of Wittgenstein's critique of Cantorian set theory, illustrating his broader philosophical stance on mathematics. By emphasizing the constructed nature of mathematical theories, Wittgenstein encourages a reflective approach to mathematics that acknowledges human agency in its development. His engagement with Cantorian set theory provides valuable insights into the philosophical and practical dimensions of mathematics, urging a reconsideration of its foundations and the nature of mathematical proofs. This perspective aligns closely with the philosophy of mathematical practice, which (...) emphasizes the human side of mathematics by its focus on mathematical practice. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

Samuel J. Wheeler defends Wittgenstein's criticism of Cantor's set theory against the objections raised by Hilary Putnam. Putnam claims that Wittgenstein's dismissal of the basic tenets of this set theory concerning the noncountability of the set of real numbers was unfounded and ill‐conceived. In Wheeler's view, Putnam's charges result from his failure to grasp Wittgenstein's intention and, in particular, to consider the difference between empirical and logical impossibility. In my paper, I argue that Wheeler's defence is unsuccessful and, at the (...) same time, that Putnam's objections go too far. (shrink)

Charles Sanders Peirce was one of the United States’ most original and profound thinkers, and a prolific writer. Peirce’s game theory-based approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a toolkit for contemporary scholars and philosophers. Drawing on unpublished manuscripts, the book offers a rich, fresh picture of the achievements of a remarkable man.