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)

The paper discusses the sense in which the changes undergone by normative economics in the twentieth century can be said to be progressive. A simple criterion is proposed to decide whether a sequence of normative theories is progressive. This criterion is put to use on the historical transition from the new welfare economics to social choice theory. The paper reconstructs this classic case, and eventually concludes that the latter theory was progressive compared with the former. It also briefly comments on (...) the recent developments in normative economics and their connection with the previous two stages. (Published Online April 18 2006) Footnotes1 This paper suspersedes an earlier one entitled “Is There Progress in Normative Economics?” (Mongin 2002). I thank the organizers of the Fourth ESHET Conference (Graz 2000) for the opportunity they gave me to lecture on this topic. Thanks are also due to J. Alexander, K. Arrow, A. Bird, R. Bradley, M. Dascal, W. Gaertner, N. Gravel, D. Hausman, B. Hill, C. Howson, N. McClennen, A. Trannoy, J. Weymark, J. Worrall, two annonymous referees of this journal, and especially the editor M. Fleurbaey, for helpful comments. The editor's suggestions contributed to determine the final orientation of the paper. The author is grateful to the LSE and the Lachmann Foundation for their support at the time when he was writing the initial version. (shrink)

The general theme of this article is the actual practice of how definitions are justified and formulated in mathematics. The theoretical insights of this article are based on a case study of topological definitions of chaos. After introducing this case study, I identify the three kinds of justification which are important for topological definitions of chaos: natural-world-justification, condition-justification and redundancy-justification. To my knowledge, the latter two have not been identified before. I argue that these three kinds of justification are widespread (...) in mathematics. After that, I first discuss the state of the art in the literature about the justification of definitions in the light of actual mathematical practice. I then go on to criticize Lakatos’s account of proof-generated definitions—the main account in the literature on this issue—as being limited and also misguided: as for topological definitions of chaos, in nearly all mathematical fields various kinds of justification are found and are also reasonable. (shrink)

In this introductory paper I sketch the tradition, several early aspects of which are discussed in the following essays and reviews. I introduce the main figures whose work initiated and maintained the sociological orientation in Hungarian philosophy thereby tracing its evolution. I suggest that its sociological outlook, if taken to be a characteristic tendency that gives Hungarian philosophy its distinctive flavour, provides us with the framework of a possible narrative about the history of Hungarian philosophy in the broader context of (...) Central European philosophy. This narrative, in turn, suggests a way of integrating the latter into the history of Western philosophy rather than restricting its scope to a handful of canonical works only. (shrink)

This thesis attempts to justify a normative role for methodology by sketching a pragmatic way out of the dichotomy between two major strands in economic methodology: empiricism and postmodernism. I discuss several methodological approaches and assess their aptness for theory appraisal in economics. I begin with the most common views on methodology and argue why they are each ill-suited for giving methodological prescriptions to economics. Then, I consider positions that avoid the errors of empiricism and postmodernism. I specifically examine why (...) the two major strands of methodological criticism fail to give helpful methodological advice to economists and sketch out a pragmatic approach that can do this. (shrink)

After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because such a use would contradict one of the senses of “formal” that Gödel wants to preserve. This Gödelian notion of “formal” is directly tied to his notion of absolute proof and to the question of the general applicability of concepts, in a way that overcomes both (...) Kreisel and Myhill’s conceptions. This paper aims to contribute to the present-day debate on informal and epistemic mathematics, focusing on what appears necessary for a better understanding of the issues at stake. (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)

Mercier and Sperber illuminate many aspects of reasoning and rationality, providing refreshing and thoughtful analysis and elegant and well‐researched illustrations. They make a good case that reasoning should be viewed as a type of intuition, rather than a separate cognitive process or system. Yet questions remain. In what sense, if any, is reasoning a “module?” What is the link between rationality within an individual and rationality defined through the interaction between individuals? Formal theories of rationality, from logic, probability theory and (...) game theory, while not the focus of Mercier and Sperber's book, may help clarify this latter question. (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)

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

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)

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)

Everyone appreciates a clever mathematical picture, but the prevailing attitude is one of scepticism: diagrams, illustrations, and pictures prove nothing; they are psychologically important and heuristically useful, but only a traditional verbal/symbolic proof provides genuine evidence for a purported theorem. Like some other recent writers (Barwise and Etchemendy [1991]; Shin [1994]; and Giaquinto [1994]) I take a different view and argue, from historical considerations and some striking examples, for a positive evidential role for pictures in mathematics.

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)

This paper investigates an important aspect of mathematical practice: that proof is required for a finished piece of mathematics. If follows that non-deductive arguments — however convincing — are never sufficient. I explore four aspects of mathematical research that have facilitated the impressive success of the discipline. These I call the Practical Virtues: Permanence, Reliability, Autonomy, and Consensus. I then argue that permitting results to become established on the basis of non-deductive evidence alone would lead to their deterioration. This furnishes (...) us with a partial rational justification for mathematicians strict insistence on proof. (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.

The ArgumentStarting from the thesis that a science constructs the knowledge of the part of the world allotted to it, the present paper aims at bringing together all the various aspects of physics under a unified conceptual framework — that provided by the Marxian concept “mode of production.” After an introduction providing the initial plausibility grounds for the undertaking, the concept is analyzed into its conceptual elements in Part I of the paper. The analysis presents the reconstruction initiated by Louis (...) Althusser and developed by his followers. Part II starts from a characterization of physical problems. This offers a basis for “reading” physics in the terms introduced in Part I. The rest of Part II is devoted to the identification of all the aspects of physics with the conceptual elements in question. The paper aims at three things: to uncover the connections holding among seemingly disparate aspects of physics, usually discussed in almost total independence from each other; to take full account of the social dimensions of physics without vindicating social constructivism; to show that the boundaries separating the disciplines of philosophy, history and sociology of science are more arbitrary than usually considered. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (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)

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)

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)

In this paper I argue for a place for logic inscientific methodology, at the same level asthat of computational and historicalapproaches. While it is well known that a awhole generation of philosophers dismissedLogical Positivism (not just for the logicthough), there are at least two reasons toreconsider logical approaches in the philosophyof science. On the one hand, the presentsituation in logical research has gone farbeyond the formal developments that deductivelogic reached last century, and new researchincludes the formalization of several othertypes of (...) reasoning, like induction andabduction. On the other hand, we call for abalanced Philosophy of Science, one inwhich both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one. (shrink)

This paper reports a psychological study of human categorization that looked at the procedures used by expert scientists when dealing with puzzling items. Five professional botanists were asked to specify a category from a set of positive and negative instances. The target category in the study was defined by a feature that was unusual, hence situations of uncertainty and puzzlement were generated. Subjects were asked to think aloud while solving the tasks, and their verbal reports were analyzed. A number of (...) problem solving strategies were identified, and subsequently integrated in a model of knowledge‐guided inductive categorization. Our model proposes that expert knowledge influences the subjects' reasoning in more complex ways than suggested by earlier investigations of scientific reasoning. As in previous studies, domain knowledge influenced our subjects' hypothesis generation and testing; but, additionally, it played a central role when subjects revised their hypotheses. (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 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)

I argue that the construction of representation theorems is a powerful tool for creating novel objects and theories in mathematics, as the construction of a new representation introduces new pieces of information in a very specific way that enables a solution for a problem and a proof of a new theorem. In more detail I show how the work behind the proof of a representation theorem transforms a mathematical problem in a way that makes it tractable and introduces information into (...) it that it did not contain at the beginning of the process. (shrink)

Kaposy (2010) argues that contemporary neuroscience cannot provide rational reasons for abandoning folk psychological concepts like self, personhood, or free will because these concepts are necessa...

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)

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.

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)

Bernard Lavor and John Kadvany argue that Lakatos’s Hegelian approach to the philosophy of mathematics and science enabled him to overcome all competing philosophies. His use of the approach Hegel developed in his Phenomenology enabled him to show how mathematics and science develop, how they are open-ended, and that they are not subject to rules, even though their rationality may be understood after the fact. Hegel showed Lakatos how to falsify the past to make progress in the present. A critique (...) based on normal standards of fairness and honesty finds this argument an attack on rationality. The similarity of the methods Lakatos used as a Stalinist politician and those he used as a philosopher are pointed out. The Hegelian interpretation of his philosophy is an excuse for his misdeeds. Key Words: Lakatos • Popper • Agassi • research program • historiography. (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)

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of justification (...) can be found and can be reasonable, and they fail to acknowledge the interplay among the different kinds of justification. (shrink)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously -- having to do, amongst other things, with different "scientific mentalities" in the two disciplines. Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the key notion (...) of a "scientific theory" in a logical perspective. First, various formal explications of this notion are reviewed, then their further logical theory is discussed. In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science. (shrink)

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (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)

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)

Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but (...) conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction. (shrink)