Since at least the 1980s, the role of adversariality in argumentation has been extensively discussed within different domains. Prima facie, there seem to be two extreme positions on this issue: argumentation should never be adversarial, as we should always aim for cooperative argumentative engagement; argumentation should be and in fact is always adversarial, given that adversariality is an intrinsic property of argumentation. I here defend the view that specific instances of argumentation are adversarial or cooperative to different degrees. What determines (...) whether an argumentative situation should be primarily adversarial or primarily cooperative are contextual features and background conditions external to the argumentative situation itself, in particular the extent to which the parties involved have prior conflicting or else convergent interests. To further develop this claim, I consider three teloi that are frequently associated with argumentation: the epistemic telos, the consensus-building telos, and the conflict management telos. I start with a brief discussion of the concepts of adversariality, cooperation, and conflict in general. I then sketch the main lines of the debates in the recent literature on adversariality in argumentation. Next, I discuss the three teloi of argumentation listed above in turn, emphasizing the roles of adversariality and cooperation for each of them. (shrink)

There are different narratives on mathematics as part of our world, some of which are more appropriate than others. Such narratives might be of the form ‘Mathematics is useful’, ‘Mathematics is beautiful’, or ‘Mathematicians aim at theorem-credit’. These narratives play a crucial role in mathematics education and in society as they are influencing people’s willingness to engage with the subject or the way they interpret mathematical results in relation to real-world questions; the latter yielding important normative considerations. Our strategy is (...) to frame current narratives of mathematics from a virtue-theoretic perspective. We identify the practice of mathematizing, put forward by Freudenthal’s ‘Realistic mathematics education’, as virtuous and use it to evaluate different narratives. We show that this can help to render the narratives more adequately, and to provide implications for societal organization. (shrink)

Résumé Dans cet article, nous discuterons de l’intégration du numérique à la sémiotique et proposerons qu’une modélisation conceptuelle puisse offrir un pont de dialogue entre ces deux domaines classiquement cloisonnés. Plus précisément, nous avancerons l’hypothèse que tout projet de recherche qui en appellera à l’informatique soit une démarche scientifique que s’il construit une théorie qui contient, en plus des modèles classiques que sont les modèles formel, computationnel et physique, un modèle conceptuel. Ce lieu, où les chercheur-es conceptualisent les multiples dimensions (...) de leur objet de recherche, sera alors défini en tant que socle d’une relation solide entre la sémiotique et l’informatique. Nous verrons que les différentes définitions du modèle conceptuel convergent vers la thèse soutenant que la connaissance scientifique met en œuvre une instance de conceptualisation qui doit identifier les diverses dimensions du problème en plus de devoir s’exprimer de manière à ce qu’elle soit communicable entre les membres des communautés épistémiques. Nous verrons, enfin, qu’un projet de recherché sémiotique exige la construction d’un tel modèle afin de décrire, généraliser et sélectionner des problèmes et que ce même modèle, conceptuel, sera aussi nécessaire si le ou la sémioticien-ne utilise l’informatique dans le cadre de sa recherche.fr. (shrink)

The article is a response to the calls for a comprehensive understanding of the nature of monstrosity, that is, those phenomena that are not amenable to empirical observation but are increasingly attracting scholarly interest. It is shown how the monster can be conceptualized as an object of culture of human imagination, i.e., in the form of works created by a culture in order to constitute its own identity, as well as in terms of behavior and practical actions through which they (...) appear and can be discussed from a moral point of view. Admitting the importance of understanding of monstrosity within the humanities and social sciences, it is necessary to note a connection of this phenomenon with philosophy as something constantly emerging and associated with liminal zones. The author considers designations that are often used as synonyms for monstrosity and determines its specific nature. The article postulates that philosophy tries to conceptualize how a person is attracted by the world with its monstrosity, which is not just a component of being but its inherent nature. Moreover, as it deals with monstrosity, philosophy itself acquires a monstrous nature; in this sense, it cannot not be a creative activity of a universal character. In conclusion, it is stated that the philosophical understanding of monstrosity is critically important, since philosophy postulates foundations that are always monstrous in one way or another. It is also noted that the natural-scientific origins of the study of monstrosity have a philosophical orientation, since they address the fundamental question - “What is life?” Thus, monstrosity requires constant philosophical reflection on the human nature and life in general, whose boundaries are unstable and elusive. (shrink)

ABSTRACTIn this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

O tendinţă relativ nouă în filosofia contemporană a matematicii este reprezentată de nemulţumirea manifestată de un număr din ce în ce mai mare de filosofi faţă de viziunea tradiţională asupra matematicii ca având un statut special ce poate fi surprins doar cu ajutorul unei epistemologii speciale. Această nemulţumire i-a determinat pe mulţi să propună o nouă perspectivă asupra matematicii – una care ia în serios aspecte până acum neglijate de filosofia matematicii, precum latura sociologică, istorică şi empirică a cercetării matematice (...) şi care acordă astfel o atenţie deosebită practicii matematice. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

What is the definition of 'type'? Having a clear and precise answer to this question would avoid many misunderstandings and prevent meaningless discussions that arise from them. But having such clear and precise answer to this question would also hurt science, "hamper the growth of knowledge" and "deflect the course of investigation into narrow channels of things already understood". In this essay, I argue that not everything we work with needs to be precisely defined. There are many definitions used by (...) different communities, but none of them applies universally. A brief excursion into philosophy of science shows that this is not just tolerable, but necessary for progress. Philosophy also suggests how we can think about this imprecise notion of type. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified informal (...) calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

-/- Les agents artificiels et les nouvelles technologies de l’information, de par leur capacité à établir de nouvelles dynamiques de transfert d’information, ont des effets perturbateurs sur les écosystèmes épistémiques. Se représenter la responsabilité pour ces chambardements représente un défi considérable : comment ce concept peut-il rendre compte de son objet dans des systèmes complexes dans lesquels il est difficile de rattacher l’action à un agent ou à une agente ? Cet article présente un aperçu du concept d’écosystème épistémique et (...) de la force de changement que représentent les nouvelles technologies pour celui-ci, puis illustre les difficultés rencontrées avec la notion classique de responsabilité dans les écosystèmes épistémiques. -/- Artificial agents and new information technologies, through their capacity to foster new information dynamics, have disruptive effects on epistemic ecosystems. Making sense of responsibility for these changes represent a challenge: the notion of responsibility struggles in complex systems, where actions are often hard to connect to an agent. This paper presents an overview of the concept of epistemic ecosystem and of the potential for disruption in new technologies, and then illustrates the difficulties with the classical notion of responsibility in such cases. (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 objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The Argument Web is maturing as both a platform built upon a synthesis of many contemporary theories of argumentation in philosophy and also as an ecosystem in which various applications and application components are contributed by different research groups around the world. It already hosts the largest publicly accessible corpora of argumentation and has the largest number of interoperable and cross compatible tools for the analysis, navigation and evaluation of arguments across a broad range of domains, languages and activity types. (...) Such interoperability is key in allowing innovative combinations of tool and data reuse that can further catalyse the development of the field of computational argumentation. The aim of this paper is to summarise the key foundations, the recent advances and the goals of the Argument Web, with a particular focus on demonstrating the relevance to, and roots in, philosophical argumentation theory. (shrink)

open journal of Philosophical Investigations (PI) is an international journal dedicated to the latest advancements in philosophy. The goal of this journal is to provide a platform for academicians all over the world to promote, share, and discuss various new issues and developments in different areas of philosophy. -/- All manuscripts to be prepared in English or Persian and are subject to a rigorous and fair peer-review process. Generally, accepted papers will appear online. The journal publishes papers including the following (...) fields: -/- · Analytic Philosophy · Ancient Greek and Roman Philosophy · Art Aesthetics · Comparative Philosophy West and Chinese · Eastern Philosophy . Islamic philosophy · Epistemology · Ethics · Hermeneutics · History of Religious Thought · History of Western Philosophy · Language Logic . (shrink)

The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms of (...) partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory. (shrink)

In this paper, we discuss Hintikka’s theory of interrogative approach to inquiry with a focus on bracketing. First, we dispute the use of bracketing in the interrogative model of inquiry arguing that bracketing provides an indispensable component of an inquiry. Then, we suggest a formal system based on strategy logic and logic of paradox to describe the epistemic aspects of an inquiry, and obtain a naturally paraconsistent system. We then apply our framework to some cases to illustrate its use.

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...) are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce several notions of symmetry in mathematics and explain how they can also be used in resolving different problems in the philosophy of mathematics. We use symmetry to discuss the objectivity of mathematics, the role of mathematical objects, the unreasonable effectiveness of (...) mathematics and the relationship of mathematics to physics. (shrink)

The philosophy of mathematics of the last few decades is commonly distinguished into mainstream and maverick, to which a ‘third way’ has been recently added, the philosophy of mathematical practice. In this paper the limitations of these trends in the philosophy of mathematics are pointed out, and it is argued that they are due to the fact that all of them are based on a top-down approach, that is, an approach which explains the nature of mathematics in terms of some (...) general unproven assumption. As an alternative, a bottom-up approach is proposed, which explains the nature of mathematics in terms of the activity of real individuals and interactions between them. This involves distinguishing between mathematics as a discipline and the mathematics embodied in organisms as a result of biological evolution, which however, while being distinguished, are not opposed. Moreover, it requires a view of mathematical proof, mathematical definition and mathematical objects which is alternative to the top-down approach. (shrink)

Philosophical conceptual analysis is an experimental method. Focusing on this helps to justify it from the skepticism of experimental philosophers who follow Weinberg, Nichols & Stich. To explore the experimental aspect of philosophical conceptual analysis, I consider a simpler instance of the same activity: everyday linguistic interpretation. I argue that this, too, is experimental in nature. And in both conceptual analysis and linguistic interpretation, the intuitions considered problematic by experimental philosophers are necessary but epistemically irrelevant. They are like variables introduced (...) into mathematical proofs which drop out before the solution. Or better, they are like the hypotheses that drive science, which do not themselves need to be true. In other words, it does not matter whether or not intuitions are accurate as descriptions of the natural kinds that undergird philosophical concepts; the aims of conceptual analysis can still be met. (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces, state-spaces, and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures, can be provided which not only captures the positive features of (...) these models, but also accommodates the partiality of information ubiquitous in science and mathematics. (shrink)

This article addresses the question of the coherence of enactivism as a research perspective by making a case study of enactivism in mathematics education research. Main theoretical directions in mathematics education are reviewed and the history of adoption of concepts from enactivism is described. It is concluded that enactivism offers a ‘grand theory’ that can be brought to bear on most of the phenomena of interest in mathematics education research, and so it provides a sufficient theoretical framework. It has particular (...) strength in describing interactions between cognitive systems, including human beings, human conversations and larger human social systems. Some apparent incoherencies of enactivism in mathematics education and in other fields come from the adoption of parts of enactivism that are then grafted onto incompatible theories. However, another significant source of incoherence is the inadequacy of Maturana’s definition of a social system and the lack of a generally agreed upon alternative. (shrink)

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 this paper I investigate two notions of concepts that have played a dominant role in 20th century philosophy of mathematics. According to the first, concepts are definite and fixed; in contrast, according to the second notion concepts are open and subject to modifications. The motivations behind these two incompatible notions and how they can be used to account for conceptual change are presented and discussed. On the basis of historical developments in mathematics I argue that both notions of concepts (...) capture important aspects of mathematical and scientific reasoning, and, consequently, that a pluralistic approach that allows for representing both of these aspects is most useful for an adequate account of investigative practices. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

In current philosophical research, there is a rather one-sided focus on the foundations of proof. A full picture of mathematical practice should however additionally involve considerations about various methodological aspects. A number of these is identified, from large-scale to small-scale ones. After that, naturalism, a philosophical school concerned with scientific practice, is looked at, as far as the translations of its epistemic principles to mathematics is concerned. Finally, we call for intensifying the interaction between both dimensions of practice and epistemology.

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.

We all know that ships are safest in the harbor; but alas, that is not what ships are built for. They are destined to leave the harbor and to confront the challenges that are waiting beyond the harbor mole. A similar challenge confronts the practice of research. Research at work cannot play it safe and stay in whatever theoretical and methodological harbors in which it may have found shelter in the past. Still less can it examine and maintain its foundations (...) in the dry dock. Research is more like a ship that must be repaired on the open sea. Yet foundationalist ideas persist in the practice of research. Counter to what is often assumed, today’s dominating model for research--the fallibilist model of critical rationalism--has not really overcome the empirical foundationalism of earlier, positivist research practices. This paper analyses two major foundationalist traps that are currently in the upswing and work against reflective research practice. (shrink)

We describe recent developments in research on mathematical practice and cognition and outline the nine contributions in this special issue of topiCS. We divide these contributions into those that address (a) mathematical reasoning: patterns, levels, and evaluation; (b) mathematical concepts: evolution and meaning; and (c) the number concept: representation and processing.

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)

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

Starting from a concept of reasonableness as well-consideredness, it is discussed in what way science could serve as a model for reasonable argumentation. It turns out that in order to be reasonable two requirements have to be fulfilled. The argumentation should comply with rules which are both problem-valid and intersubjectively valid. Geometrical and anthropological perspectives don't meet these criteria, but a critical perspective does. It is explained that a pragma-dialectical approach to argumentation which agrees with this critical perspective is indeed (...) problem-valid and that strong pragmatic and utilitarian arguments can be given for its intersubjective validity. Thus, conventional validity is promoted for a code of conduct for discussants who want to resolve their disputes reasonably by way of a critical discussion. (shrink)

Two decades ago, Rolf Landauer (1991) argued that “information is physical” and ought to have a role in the scientific analysis of reality comparable to that of matter, energy, space and time. This would also help to bridge the gap between biology and mathematics and physics. Although it can be argued that we are living in the ‘golden age’ of biology, both because of the great challenges posed by medicine and the environment and the significant advances that have been made—especially (...) in genetics and molecular and cell biology—we feel that information as an essential aspect of life has been neglected, or at least misunderstood. We therefore summon Maxwell’s Demon and its distant relative the ratchet, and apply these to biology. (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)

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)

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)

Cauchy’s contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, (...) the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Björling, an infinitesimal definition of the criterion of uniform convergence. Cauchy’s foundational stance is hereby reconsidered. (shrink)

The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], and argumentation (...) schemes constructed by Walton et al. [54], and explore some connections between, as well as within, the theories. For instance, we investigate Peirce’s abduction to deal with surprising situations in mathematics, represent Pollock’s examples in terms of Toulmin’s layout, discuss connections between Toulmin’s layout and Walton’s argumentation schemes, and suggest new argumentation schemes to cover the sort of reasoning that Lakatos describes, in which arguments may be accepted as faulty, but revised, rather than being accepted or rejected. We also consider how such theories may apply to reasoning in mathematics: in particular, we aim to build on ideas such as Dove’s [13], which help to show ways in which the work of Lakatos fits into the informal reasoning community. (shrink)

The point of this paper is to provide a principled framework for a naturalistic, interactivist-constructivist model of rational capacity and a sketch of the model itself, indicating its merits. Being naturalistic, it takes its orientation from scientific understanding. In particular, it adopts the developing interactivist-constructivist understanding of the functional capacities of biological organisms as a useful naturalistic platform for constructing such higher order capacities as reason and cognition. Further, both the framework and model are marked by the finitude and fallibility (...) that science attributes to organisms, with their radical consequences, and also by the individual and collective capacities to improve their performances that learning organisms display. Part A prepares the ground for the exposition through a critique of the dominant Western analytic tradition in rationalising science, followed by a brief exposition of the naturalist framework that will be employed to frame the construction. This results in two sets of guidelines for constructing an alternative. Part B provides the new conception of reason as a rich complex of processes of improvement against epistemic values, and argues its merits. It closes with an account of normativity and our similarly developing rational knowledge of it, including (reflexively) of reason itself. (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.

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)