The logic of discovering and that of justifying have been a permanent source of debate in mathematics, because of their different and apparently contradictory features within the processes of production of mathematical sentences. In fact, a fundamental unity appears as soon as one investigates deeply the phenomenology of conjecturing and proving using concrete examples. In this paper it is shown that abduction, in the sense of Peirce, is an essential unifying activity, ruling such phenomena. Abduction is the major ingredient in (...) a theoretical model suitable for describing the tran-sition from the conjecturing to the proving phase. In the paper such a model is introduced and worked out to test Lakatos' machinery of proofs and refutations from a new point of view. Abduction and its categorical counter-part, adjunction, allow to explain within a unifying framework most of the phenomenology of conjectures and proofs, encompassing also the method of Greek analysis-synthesis. (shrink)

Three big philosophical problems about consciousness are: Why does it exist? How do we explain and understand it? How can we explain brain-consciousness correlations? If functionalism were true, all three problems would be solved. But it is false, and that means all three problems remain unsolved (in that there is no other obvious candidate for a solution). Here, it is argued that the first problem cannot have a solution; this is inherent in the nature of explanation. The second problem is (...) solved by recognizing that (a) there is an explanation as to why science cannot explain consciousness, and (b) consciousness can be explained by a different kind of explanation, empathic or “personalistic” explanation, compatible with, but not reducible to, scientific explanation. The third problem is solved by exploiting David Chalmers“principle of structural coherence”, and involves postulating that sensations experienced by us–visual, auditory, tactile, and so on–amount to minute scattered regions in a vast, multi dimensional “space” of all possible sensations, which vary smoothly, and in a linear way, throughout the space. There is also the space of all possible sentient brain processes. There is just one, unique one-one mapping between these two spaces that preserves continuity and linearity. It is this which provides the explanation as to why brain processes and sensations are correlated as they are. I consider objections to this unique-matching theory, and consider how the theory might be empirically confirmed. (shrink)

This paper describes an attempt to develop a program for teaching history and philosophy of mathematics to inservice mathematics teachers. I argue briefly for the view that philosophical positions and epistemological accounts related to mathematics have a significant influence and a powerful impact on the way mathematics is taught. But since philosophy of mathematics without history of mathematics does not exist, both philosophy and history of mathematics are necessary components of programs for the training of preservice as well as inservice (...) mathematics teachers. (shrink)

It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it (...) accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field. (shrink)

Abstract The paper is an attempt to interpret Imre Lakatos's methodology of scientific research programmes (MSRP) on the basis of his mathematical methodology, the method of proofs and refutations (MPR). After sketching MSRP and MPR and analysing their relationship to Popper's and Poly a's work, I argue that MSRP was originally conceived as a methodology in the same sense as MPR. The most conspicuous difference between the two, namely that MSRP is fundamentally backward?looking, whereas MPR is primarily forward?looking, is due (...) to the fact that Lakatos could not carry out his project in the full sense. I also explain why he could not. (shrink)

The research described here explores the idea of using Supreme Court oral arguments as pedagogical examples in first year classes to help students learn the role of hypothetical reasoning in law. The article presents examples of patterns of reasoning with hypotheticals in appellate legal argument and in the legal classroom and a process model of hypothetical reasoning that relates them to work in cognitive science and Artificial Intelligence. The process model describes the relationships between an advocate’s proposed test for deciding (...) a case or issue, the facts of the hypothetical and of the case to be decided, and the often conflicting legal principles and policies underlying the issue. The process model of hypothetical reasoning has been partially implemented in a computerized teaching environment, LARGO (“Legal ARgument Graph Observer”) that helps students identify, analyze, and reflect on episodes of hypothetical reasoning in oral argument transcripts. Using LARGO, students reconstruct examples of hypothetical reasoning in the oral arguments by representing them in simple diagrams that focus students on the proposed test, the hypothetical challenge to the test, and the responses to the challenge. The program analyzes the diagrams and provides feedback to help students complete the diagrams and reflect on the significance of the hypothetical reasoning in the argument. The article reports the results of experiments evaluating instruction of first year law students at the University of Pittsburgh using the LARGO program as applied to Supreme Court personal jurisdiction cases. The learning results so far have been mixed. Instruction with LARGO has been shown to help law student volunteers with lower LSAT scores learn skills and knowledge regarding hypothetical reasoning better than a text-based approach, but not when the students were required to participate. On the other hand, the diagrams students produce with LARGO have been shown to have some diagnostic value, distinguishing among law students on the basis of LSAT scores, posttest performance, and years in law school. This lends support to the underlying model of hypothetical argument and suggests using LARGO as a pedagogically diagnostic tool. (shrink)

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large extent (...) with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

Bachelard's concept of the problématique is used in order to classify physical problems and their interrelations. This classification is effectuated along two dimensions. Along the horizontal dimension, physical problems are divided into the kinds that the different modes of physics' development define. These modes are themselves determined by the interplay among the conceptual system, the object and the experimentation transactions specific to physics. Along the vertical dimension, physical problems are classified according to the different stages of maturation they have to (...) undergo before the process of their solution is effectively undertaken. To determine these maturation stages, the Althusserian conception of ideology is used. The interrelations between physical problems are examined through the introduction and elaboration of the notion interdependence network. (shrink)

In this article, extracted from his book Exploring Meinong's Jungle and Beyond, Sylvan argues that, contrary to widespread opinion, mathematics is not an extensional discipline and cannot be extensionalized without considerable damage. He argues that some of the insights of Meinong's theory of objects, and its modern development, item theory, should be applied to mathematics and that mathematical objects and structures should be treated as mind-independent, non-existent objects.

In this paper, I argue against Penelope Maddy's set-theoretic realism by arguing (1) that it is perfectly consistent with mathematical Platonism to deny that there is a fact of the matter concerning statements which are independent of the axioms of set theory, and that (2) denying this accords further that many contemporary Platonists assert that there is a fact of the matter because they are closet foundationalists, and that their brand of foundationalism is in radical conflict with actual mathematical practice.

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

There has been little research into the weak kindsof negating hypotheses. Hypotheses may be unfalsifiable. In this case it is impossible tofind a contradiction in some area of the conceptualsystems in which they are incorporated.Notwithstanding this fact, it is sometimes necessaryto construct ways of rejecting the unfalsifiablehypothesis at hand by resorting to some external forms of negation, external because wewant to avoid any arbitrary and subjectiveelimination, which would be rationally orepistemologically unjustified. I will consider akind of ``weak'''' (unfalsifiable) hypotheses that (...) arehard to negate and the ways for making it easy. Inthese cases the subject can ``rationally'''' decide towithdraw his hypotheses even in contexts where it is``impossible'''' to find ``explicit'''' contradictions: theuse of negation as failure (an interestingtechnique for negating hypotheses and accessing newones suggested by artificial intelligence) isilluminating. I plan to explore whether this kind ofnegation can be employed to model hypothesiswithdrawal in Poincaré''s conventionalism of theprinciples of physics and in Freudian analyticreasoning. (shrink)

The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...) appealing to the logic of common nouns and applying it to the logic of natural-kind terms.This strategy yields a new insight into the concept of natural kinds. While the strategy reveals deep affinity between empirical induction and deduction it also reveals two problems peculiar to induction. This helps to explain the intuition that induction is the more problematic of the two. The paper does not set out ‘to solve the problem of induction’. 1The paper has benefited from the support and critical comments of several friends: Steven Davis, Kevin Dunbar, Anil Gupta, Michael Hallett, Ray Jackendoff and Storrs McCall. Two friends, however, deserve special thanks, Michael Makkai and Gonzalo Reyes. Many of the points made in the paper, otherwise unacknowledged, are due to their generosity and patience. In fact, the paper can be seen as an application of the logic of kinds on which Gonzalo Reyes has been working for several years. (shrink)

Reasoners compare problems to prior cases to draw conclusions about a problem and guide decision making. All Case-Based Reasoning (CBR) employs some methods for generalizing from cases to support indexing and relevance assessment and evidences two basic inference methods: constraining search by tracing a solution from a past case or evaluating a case by comparing it to past cases. Across domains and tasks, however, humans reason with cases in subtly different ways evidencing different mixes of and mechanisms for these components.In (...) recent CBR research in Artificial Intelligence (AI), five paradigmatic approaches have emerged: statistically-oriented, model-based, planning/design-oriented, exemplar-based, and adversarial or precedent-based. The paradigms differ in the assumptions they make about domain models, the extent to which they support symbolic case comparison, and the kinds of inferences for which they employ cases. (shrink)

Public engagement is one of the fundamental pillars of the European programme for research and innovation _Horizon 2020_. The programme encourages engagement that not only fosters science education and dissemination, but also promotes two-way dialogues between scientists and the public at various stages of research. Establishing such dialogues between different groups of societal actors is seen as crucial in order to attain epistemic as well as social desiderata at the intersection between science and society. However, whether these dialogues can actually (...) help attaining these desiderata is far from obvious. This paper discusses some of the costs, risks, and benefits of dialogical public engagement practices, and proposes a strategy to analyse these argumentative practices based on a three-tiered model of epistemic exchange. As a case study, we discuss the phenomenon of vaccine hesitancy, arguably a result of suboptimal public engagement, and show how the proposed model can shed new light on the problem. (shrink)

As far as disputes in the philosophy of pure mathematics goes, these are usually between classical mathematics, intuitionist mathematics, paraconsistent mathematics, and so on. My own view is that of a mathematical pluralist: all these different kinds of mathematics are equally legitimate. Applied mathematics is a different matter. In this, a piece of pure mathematics is applied in an empirical area, such as physics, biology, or economics. There can then certainly be a disputes about what the correct pure mathematics to (...) apply is. Such disputes may be settled by the standard criteria of scientific theory selection (adequacy of empirical predications, simplicity, etc.) But what, exactly is it to apply a piece of pure mathematics? How is mathematics applied? By and large, philosophers of mathematics have cared more about pure mathematics than applied mathematics, and not a lot of thought has gone into this question. In this paper I will address the issue and some of its implications. (shrink)

This contribution defends two claims. The first is about why thought experiments are so relevant and powerful in mathematics. Heuristics and proof are not strictly and, therefore, the relevance of thought experiments is not contained to heuristics. The main argument is based on a semiotic analysis of how mathematics works with signs. Seen in this way, formal symbols do not eliminate thought experiments (replacing them by something rigorous), but rather provide a new stage for them. The formal world resembles the (...) empirical world in that it calls for exploration and offers surprises. This presents a major reason why thought experiments occur both in empirical sciences and in mathematics. The second claim is about a looming aporia that signals the limitation of thought experiments. This aporia arises when mathematical arguments cease to be fully accessible, thus violating a precondition for experimenting in thought. The contribution focuses on the work of Vladimir Voevodsky (1966–2017, Fields medalist in 2002) who argued that even very pure branches of mathematics cannot avoid inaccessibility of proof. Furthermore, he suggested that computer verification is a feasible path forward, but only if proof is not modeled in terms of formal logic. (shrink)

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

The main purpose of the present paper is to demonstrate that as early as 1904 pre-eminent American mathematician Maxime Bôcher was an adherent to the presently relevant argument of reasonableness, or even necessity of parallel development of two philosophical methods of reflection on mathematics, so that its essence could be more fully comprehended. The goal of the research gives rise to the question: what two types of philosophical deliberation on mathematics were proposed by Bôcher?

200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates two aspects of (...) the transformation which concern the introduction of concept based mathematics and the related shift in standards of mathematical rigor. Furthermore, the article outlines some of the many bicentennial celebrations in Norway and gives a short, thematic introduction to the literature on Abel and his work. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...) imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

The view that a mathematical proof is a sketch of or recipe for a formal derivation requires the proof to function as an argument that there is a suitable derivation. This is a mathematical conclusion, and to avoid a regress we require some other account of how the proof can establish it.

How do Dutch people let each other know that they disagree? What do they say when they want to resolve their difference of opinion by way of an argumentative discussion? In what way do they convey that they are convinced by each other’s argumentation? How do they criticize each other’s argumentative moves? Which words and expressions do they use in these endeavors? By answering these questions this short essay provides a brief inventory of the language of argumentation in Dutch.

Some conspicuous characteristics of argumentation as we all know this phenomenon from our shared everyday experiences are in my view vital to its theoretical treatment because they should have methodological consequences for the way in which argumentation research is conducted. To start with, argumentation is in the first place a communicative act complex, which is realized by making functional verbal communicative moves.

The small, the tiny, and the infinitesimal have been the object of both fascination and vilification for millenia. One of the most vitriolic reviews in mathematics was that written by Errett Bishop about Keisler’s book Elementary Calculus: an Infinitesimal Approach. In this skit we investigate both the argument itself, and some of its roots in Bishop George Berkeley’s criticism of Leibnizian and Newtonian Calculus. We also explore some of the consequences to students for whom the infinitesimal approach is congenial. The (...) casual mathematical reader may be satisfied to read the text of the five act play, whereas the others may wish to delve into the 130 footnotes, some of which contain elucidation of the mathematics or comments on the history. (shrink)

In the spirit of James and Dewey, I ask what one might want from a theory of knowledge. Much Anglophone epistemology is centered on questions that were once highly pertinent, but are no longer central to broader human and scientific concerns. The first sense in which epistemology without history is blind lies in the tendency of philosophers to ignore the history of philosophical problems. A second sense consists in the perennial attraction of approaches to knowledge that divorce knowing subjects from (...) their societies and from the tradition of socially assembling a body of transmitted knowledge. When epistemology fails to use the history of inquiry as a laboratory in which methodological claims can be tested, there is a third way in which it becomes blind. Finally, lack of attention to the growth of knowledge in various domains leaves us with puzzles about the character of the knowledge we have. I illustrate this last theme by showing how reflections on the history of mathematics can expand our options for understanding mathematical knowledge. (shrink)

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (shrink)

The aim of this paper is to introduce Wittgenstein’s concept of the form of a language into geometry and to show how it can be used to achieve a better understanding of the development of geometry, from Desargues, Lobachevsky and Beltrami to Cayley, Klein and Poincaré. Thus this essay can be seen as an attempt to rehabilitate the Picture Theory of Meaning, from the Tractatus. Its basic idea is to use Picture Theory to understand the pictures of geometry. I will (...) try to show, that the historical evolution of geometry can be interpreted as the development of the form of its language. This confrontation of the Picture Theory with history of geometry sheds new light also on the ideas of Wittgenstein. (shrink)

We discuss several aspects of legal arguments, primarily arguments about the meaning of statutes. First, we discuss how the requirements of argument guide the specification and selection of supporting cases and how an existing case base influences argument formation. Second, we present,our evolving taxonomy of patterns of actual legal argument. This taxonomy builds upon our much earlier work on argument moves and also on our more recent analysis of how cases are used to support arguments for the interpretation of legal (...) statutes. Third, we show how the theory of argument used by CABARET, a hybrid case-based/rule-based reasoner, can support many of the argument patterns in our taxonomy. (shrink)

There are two distinct meanings to ‘mathematical proof’. The connection between them is an unsolved problem. The first step in attacking it is noticing that it is an unsolved problem.

It is shown how the historiographic purport of Lakatosian methodology of mathematics is structured on the theme of analysis and synthesis. This theme is explored and extended to the revolutionary phase around 1800. On the basis of this historical investigation it is argued that major innovations, crucial to the appraisal of mathematical progress, defy reconstruction as irreducibly rational processes and should instead essentially be understood as processes of social-cognitive interaction. A model of conceptual change is developed whose essential ingredients are (...) the variability of rational responses to new intellectual and practical challenges arising in the cultural environment of mathematics, and the shifting selective pressure of society. The resulting view of mathematical development is compared with Kuhn's theory of scientific paradigms in the light of some personal communications. (shrink)

Throughout the last century there has been much discussion over what it is that makes an activity or a theory 'scientific'. In the philosophy of science, conversation has focused on differentiating legitimate science from so-called 'pseudoscience'. In the broader cultural sphere this topic has received attention in multiple legal debates regarding the status of creationism, where it has been generally agreed that the 'supernatural' nature of the claims involved renders them unscientific. In this thesis I focus upon the latter of (...) these issues, arguing that although there may be merit in the larger demarcation project of separating science from pseudoscience, the notion of 'supernaturality' does not belong in this adjudication. Due to the complex cultural issues that have played a role in the history of this topic, this will involve a degree of historical and normative analysis alongside more philosophically abstract considerations. Complicating the discussion is thefact that neither the term 'science' nor 'supernatural' enjoys a widely agreed upon definition. In order to assess the question then, I will survey a wide variety of definitions of each term in order to identify areas of potential conflict. I argue that in none of the prevalent understandings can we find impediment to scientific investigation inherent in the supernaturality of a claim, but rather posit that where difficulty arises it does so for more mundane reasons. I conclude that not only is there no inherent issue with scientific investigation of the supernatural, but that the term 'supernatural' itself is too poorly defined to provide a useful role in philosophical discussion. While I argue that notions of supernaturality should be abandoned entirely when assessing demarcation criteria, I concede that numerous extraneous factors, including the significant degree of overlap between the supernatural and the 'religious', warrant consideration of a compromise position. (shrink)

In my () I argued that a central component of mathematical practice is that published proofs must be “transferable” — that is, they must be such that the author's reasons for believing the conclusion are shared directly with the reader, rather than requiring the reader to essentially rely on testimony. The goal of this paper is to explain this requirement of transferability in terms of a more general norm on defeat in mathematical reasoning that I will call “convertibility”. I begin (...) by discussing two types of epistemic defeat: “rebutting” and “undercutting”. I give examples of both of these kinds of defeat from the history of mathematics. I then argue that an important requirement in mathematics is that published proofs be detailed enough to allow the conversion of rebutting defeat into undercutting defeat. Finally, I show how this sort of convertibility explains the requirement of transferability, and contributes to the way mathematics develops by the pattern referred to by Lakatos () as “lemma incorporation”. (shrink)

The article deals with Cantor’s diagonal argument and its alleged philosophical consequences such as that there are more reals than integers and, hence, that some of the reals must be independent of language because the totality of words and sentences is always count-able. My claim is that the main flaw of the argument for the existence of non-nameable objects or truths lies in a very superficial understanding of what a name or representation actually is.

Bertrand Russell's contributions to last century's philosophy and, in particular, to the philosophy of mathematics cannot be overestimated.Russell, besides being, with Frege and G.E. Moore, one of the founding fathers of analytical philosophy, played a major rôle in the development of logicism, one of the oldest and most resilient1 programmes in the foundations of mathematics.Among his many achievements, we need to mention the discovery of the paradox that bears his name and the identification of its logical nature; the generalization to (...) the whole of mathematics of Frege's idea that it is not possible to draw a demarcation line between logic and arithmetic; the programme, carried out with Whitehead, of derivation of mathematics from the logical system of Principia Mathematica ; and the ramified theory of types, devised by Russell to protect the system of PM from the known paradoxes.Although there is an ample literature on these topics, it is quite important to reconsider Russell's contributions to the foundations of mathematics at a time when, as a consequence of the crisis of the classical programmes in the foundations of mathematics, new trends are beginning to develop within the philosophy of mathematics. These are trends which move in a very different direction from that of logicism, intuitionism, and Hilbert's programme.To see this we need to consider that, in spite of profound disagreements on the nature of mathematical activity, on the relationship existing between logic and mathematics, on the causes of and therapies for the paradoxes, etc., logicism, intuitionism, and Hilbert's programme share an important metaphor: the idea that mathematics is an edifice built on unshakable foundations,2 an edifice which makes possible only a cumulative growth of mathematical knowledge.Such a metaphor—which, together with more specific theses belonging to these schools of thought, remained unsupported …. (shrink)

Philosophers have tried to explain how science finds the truth by using new developments in logic to study scientific language and inference. R. G. Collingwood argued that only a logic of problems could take context into account. He was ignored, but the need to reconcile secure meanings with changes in context and meanings was seen by Karl Popper, W. v. O. Quine, and Mario Bunge. Jagdish Hattiangadi uses problems to reconcile the need for security with that for growth. But he (...) mistakenly insists that all problems are mere contradictions and artificially separates rigid from flexible aspects of meanings. In order to resolve the conflict we must (1) replace the quest for rigid terms with techniques for improvement, (2) use plausible arguments to uncover confused meanings, (3) use frameworks to choose problems and to regulate meanings, and (4) employ a bootstrap approach that uses frameworks to improve meanings and refined meanings to improve frameworks. (shrink)

Geometrical and physical intuition, both untutored andcultivated, is ubiquitous in the research, teaching,and development of mathematics. A number ofmathematical ``monsters'', or pathological objects, havebeen produced which – according to somemathematicians – seriously challenge the reliability ofintuition. We examine several famous geometrical,topological and set-theoretical examples of suchmonsters in order to see to what extent, if at all,intuition is undermined in its everyday roles.