Are there arguments in mathematics? Are there explanations in mathematics? Are there any connections between argument, proof and explanation? Highly controversial answers and arguments are reviewed. The main point is that in the case of a mathematical proof, the pragmatic criterion used to make a distinction between argument and explanation is likely to be insufficient for you may grant the conclusion of a proof but keep on thinking that the proof is not explanatory.

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

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (shrink)

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book begins by first challenging the (...) assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

I define serendipity as the art of making an unsought finding. And I propose an overview of my collection of serendipities, the largest yet assembled, chiefly in science and technology, but also in art, by giving a list of ‘serendipity patterns’. Although my list of ‘patterns’ is just a list and not a classification, it serves to introduce a new and possibly stimulating perspective on the old subject of serendipity. Knowledge of these ‘serendipity patterns’ might help in expecting also the (...) unexpected and in finding also the unsought. * I acknowledge A. D. de Groot, R. C. M. Noordam, B. P. van Heusden, T. Pinkster, C. J. van den Berg, T. A. F. Kuipers, A. Wegener Sleeswijk and my referee for their suggestions and I dedicate this article to T. A. van Kooten. Cases and studies of serendipidy are welcome. À propos: a travelling serendipity exhibition is available, also for ‘new democracies’: ‘Freedom of opportunity as developed by democracy is the best human reaction to divergent phenomena. We may, in fact, define ‘freedom’ as ‘the opportunity to profit from the unexpected.’ (Langmuir [1956]). (shrink)

It was with some trepidation that I agreed to speak today, because of a strong doubt that I could say anything substantial not already to be found in the literature of the subject. I cannot say that this trepidation has been subsequently relieved: all I can claim to offer in this paper is a review of certain basic characteristics or themes in the quantum-mechanical situation (which by now should, I think, be thoroughly understood by everyone engaged with the matter), supplemented (...) by some rather general reflections on our philosophical predicament. In aid of these more general reflections, I shall indulge a proclivity for calling on historical matters—some fairly recent, some older, some ancient—which I hope may serve to place current issues in a useful perspective; and I ask your forgiveness for allowing myself to quote certain previous, but hitherto unpublished, remarks of my own. (shrink)

Origin of life studies have presented one of the most serious challenges to the mechanistic conception that life can be explained scientifically as a mere product of chemistry and physics. Hypotheses about the origin of life can be divided into two categories: (1) biogenesis – life comes from life, and (2) abiogenesis – life comes from non-living matter. The theory of the spontaneous generation of life from inanimate matter had been held even by the ancient Greeks and by numerous scientists (...) well into the 19th century. The theory of abiogenesis poses many problems for understanding the origin of life on Earth, and the appearance of life early in Earth’s history. Numerous chemical, mathematical and informational problems arise which make random mechanical processes of cellular formation and function unlikely. Fossil evidence contradicts a gradualist evolutionary mechanism of development of life, especially the well-known Cambrian explosion, in which highly developed metazoan species suddenly appear in the geological column without intermediate predecessors. But the physical conundrums that mechanistic theories of chemistry and physics face are only one side of the problem. Along with a rising chorus of philosophers, Thomas Nagel, an atheist philosopher, has protested that essential questions about the origin of life, and features such as mind, intelligence and morality are completely left unexplained by mechanistic evolutionary theories. In Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False, Nagel plainly lays out his argument that the modern materialist approach to life has conspicuously failed to explain something so integral to nature as mind or consciousness, thereby threatening to unravel the entire naturalistic world picture of biology, evolutionary theory and cosmology. [13] As an alternative he argues that at least natural teleological principles must be admitted to play a role in our view of science. He writes: “Each of our lives is a part of the lengthy process of the universe gradually waking up and becoming aware of itself.” The Vedantic view of the Absolute as sentient conceives of Bhagavan as the conscious and consequently personal source of the universe. This view holds that life is fundamental, and not merely coextensive with matter. It is thus consistent with the law of biogenesis which is scientifically established in agreement with empirical evidence. Life is the basis of Nature, not matter, and Nature is a system in which the different species are nodes or niches, each possessed of variety and adaptability. Evolution is of consciousness, not of the bodies of organisms. The sedimentary fossils are the result of catastrophic deposits, and are thus not indicative of gradual evolution which is concluded only on the questionable assumption of uniformitarianism. (shrink)

This paper considers contractarianism as a method of justification. The analysis accepts the key tenets of contractarianism: expected utility maximization, unanimity as the criteria of acceptance, and social-scientific uncertainty of modelled agents. In addition to these three features, however, the analysis introduces a fourth feature: a criteria of rational belief formation, viz. Bayesian belief updating. Using a formal model, this paper identifies a decisive objection to contractarian justification. Insofar as contractarian projects approximate the Agreement Model, therefore, they fail to justify (...) their conclusions. Insofar as they fail to approximate the Agreement Model, they must explain which modelling assumption they reject. (shrink)

Léon Brunschvicg a été un pionnier de la philosophie des mathématiques et de l’épistémologie des sciences exactes en France. Gaston Bachelard peut être considéré comme un des héritiers les plus importants de l’épistémologie constructiviste de Brunschvicg. Les deux philosophes partagent la même conception d’une dialectique immanente de la pensée scientifique et l’idée que la philosophie consiste à construire et à analyser la logique interne du discours scientifique.

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)

The article attempts to reconsider the relationship between Leibniz’s and Kant’s philosophy of geometry on the one hand and the nineteenth century debate on the foundation of geometry on the other. The author argues that the examples used by Leibniz and Kant to explain the peculiarity of the geometrical way of thinking are actually special cases of what the Jewish-German mathematician Felix Hausdorff called “transformation principle”, the very same principle that thinkers such as Helmholtz or Poincaré applied in a more (...) general form in their celebrated philosophical writings about geometry. The first two parts of the article try to show that Leibniz’s and Kant’s philosophies of geometry, despite their differences, appear to be preoccupied with the common problem of the impossibility to grasp conceptually the intuitive difference between two figures (such as a figure and its scaled, displaced or mirrored copy). In the third part, it is argued that from the perspective of Hausdorff’s philosophical-geometrical reflections, this very same problem seems to find a more radical application in Helmholtz’s or Poincaré’s thought experiments on the impossibility of distinguishing distorted copies of our universe from the original one. I draw the conclusion that in Hausdorff’s philosophical work, which has received scholarly attention only recently, one can find not only an original attempt to frame these classical arguments from a set-theoretical point of view, but also the possibility of considering the history of philosophy of geometry from an uncommon perspective, where especially the significance of Kant’s infamous appeal to “intuition” can be judged by more appropriate standards. (shrink)

The aim of the paper is to demonstratethat Special Relativity and the Early Quantum Theory were created within the same programme of statisticalmechanics, thermodynamics and maxwellianelectrodynamics reconciliation. I shall try to explainwhy classical mechanics and classicalelectrodynamics were ``refuted'''' almost simultaneouslyor, in more suitable terms for the present congress,why did the quantum revolution and the relativisticone both took place at the beginning of the 20-thcentury. I shall argue that the quantum andrelativistic revolutions were simultaneous since theyhad a common origin -- the (...) clash between thefundamental theories of the second half of the 19-thcentury that constituted the ``body'''' of ClassicalPhysics. The revolution''s most dramatic pointwas Einstein''s 1905 photon paper that laid thefoundations of both Special Relativity and OldQuantum Theory. Hence the dialectic of the oldtheories is crucial for theory change. Modern physicsbegan with Einstein''s reconciliation ofelectrodynamics, mechanics and thermodynamics in 1905and his unification of Special Relativity andNewtonian Theory of Gravity. Or, in a more generalsocial context: progressive scientific change can bedescribed not in Weberian terms of zweckrationalaction forcing out all the other forms of action onlybut in terms of Habermas''s communicative rationalityencouraging the establishment of mutual understandingbetween the various scientific communities also.Einstein''s programme constituted a progressive stepwith respect to its rivals not because it couldexplain more ``facts'''' or was more ``mathematical''''. Itwas better than its rivals because it constituted abasis of communication and interpenetration betweenthree main paradigms of 19-th century physics. Ofcourse in the long run it resulted in empiricalsuccesses. (shrink)

Much of the focus on Poincaré’s philosophy of science has been on the notion of convention, a crucial concept that has become distinctive of his position. However, other notions have received much less attention. That is the case of verifiable hypotheses. This kind of hypotheses seems to be constituted from the generalization of several observable facts. So, in order to understand what these hypotheses are, we need to know what a fact to Poincaré is. He divides facts into brute and (...) scientific facts. The characterization of this duality is not trivial at all, and leads us to the following questions that we will discuss in this paper: which the part of construction that exists in a scientific fact and which the part of translation, that is, what remains from the brute fact in the scientific one?; and when we conceive a generalized hypothesis, are we supposed to do it from scientific or from brute facts? The clarification of these questions could lead to distinguish the part of construction and the part of translation in the first steps of science, which is essential to get a better understanding of Poincaré’s conception of science. (shrink)

L’emploi par Poincaré de la notion de convention au sujet des hypothèses géométriques signale un déplacement par rapport aux problématiques traditionnelles. La découverte des géométries non euclidiennes montre qu’il n’y a pas de cadre spatial unique ; plusieurs systèmes sont possibles. On affirme ainsi l’existence d’un aspect essentiel de la connaissance qui ne dérive pas des faits et ne relève ni de l’inné ni de l’intuition. L’introduction de la notion de convention, dont il s’agit de prendre la mesure, ouvre la (...) voie à une prise en compte des facteurs décisionnels en science. Nous nous proposons, dans cet article, d’analyser l’argumentation de Poincaré en reconstruisant sa position face aux doctrines de Kant et de Mill.By understanding geometrical hypotheses as conventions, Poincaré significantly alters the traditional philosophical discussion of space. The discovery of non-Euclidean geometries proves that there is not a single spatial framework ; several systems are possible. Thus, there is an essential feature of knowledge that derives neither from empirical facts nor from intuition or innate understanding. The introduction of the notion of convention, whose significance is at issue here, provides a way of understanding the element of free choice in science. This article aims at analyzing Poincaré’s reasoning, by contrasting his viewpoint with that of Kant and Mill. (shrink)

The paper presents a detailed interpretation of Edgar Wind’s Experiment and Metaphysics, a unique work on the philosophy of physics which broke with the Neo-Kantian tradition under the influence of American pragmatism. Taking up Cassirer’s interpretation of physics, Wind develops a holistic theory of the experiment and a constructivist account of empirical facts. Based on the concept of embodiment which plays a key role in Wind’s later writings on art history, he argues, however, that the outcomes of measurements are contingent. (...) He then proposes an anti-Kantian conception of a metaphysics of nature. For him, nature is an unknown totality which manifests itself in discrepancies between theories and experiment, and hence the theory formation of physics can increasingly approximate the structure of nature. It is shown that this view is ambiguous between a transcendental, metaphysical realism in Kant’s sense and an internal realism in Putnam’s sense. Wind’s central claim is that twentieth century physics offers new options for resolving Kant’s cosmological antinomies. In particular, he connected quantum indeterminism with the possibility of human freedom, a connection that Cassirer sharply opposed. (shrink)

In, Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the relationship between informal mathematical proofs and their corresponding formal derivations. His argument considers the various strategies by means of which mathematicians can write informal proofs that meet mathematical standards of rigour, in spite of the prodigious length, complexity and conceptual difficulty that some proofs exhibit. He takes it that showing that and how such strategies work is a (...) necessary part of any defence of the Standard View.In this paper, I argue for two claims. The first is that Avigad’s list of strategies is no threat to critics of the Standard View. On the contrary, this observational core of heuristic advice in Avigad’s paper is agnostic between rival accounts of mathematical correctness. The second is that that Avigad’s project of accounting for the relation between formal and informal proofs requires an answer to a prior question: what sort of thing is an informal proof? His paper havers between two answers. One is that informal proofs are ultimately syntactic items that differ from formal derivations only in completeness and use of abbreviations. The other is that informal proofs are not purely syntactic items, and therefore the translation of an informal proof into a derivation is not a routine procedure but rather a creative act. Since the ‘syntactic’ reading of informal proofs reduces the Standard View to triviality, makes a mystery of the valuable observational core of his paper, and underestimates the value of the achievements of mathematical logic, he should choose some version of the second option. (shrink)

Much of the focus on Poincaré’s philosophy of science has been on the notion of convention, a crucial concept that has become distinctive of his position. However, other notions have received much less attention. That is the case of verifiable hypotheses. This kind of hypotheses seems to be constituted from the generalization of several observable facts. So, in order to understand what these hypotheses are, we need to know what a fact to Poincaré is. He divides facts into brute and (...) scientific facts. The characterization of this duality is not trivial at all, and leads us to the following questions that we will discuss in this paper: which the part of construction that exists in a scientific fact and which the part of translation, that is, what remains from the brute fact in the scientific one?; and when we conceive a generalized hypothesis, are we supposed to do it from scientific or from brute facts? The clarification of these questions could lead to distinguish the part of construction and the part of translation in the first steps of science, which is essential to get a better understanding of Poincaré’s conception of science. (shrink)

L’article développe une analyse des valeurs thématique et temporelle de la préposition over dans une perspective qui privilégie un rapport du langage au réel. Un rôle prépondérant est ainsi attribué au phénomène de la perception qui apparaît comme facteur central de la problématique de la préposition dans ces deux emplois spécifiques, comme tel est le cas lorsque le cadre d’emploi de over est spatial. Ce phénomène perceptif est ensuite réinvesti dans la langue en termes d’aspect.

This paper aims at understanding the concept of convention in mechanics as a notion transferred from the field of jurisprudence. This enables us to clarify it as a new epistemic category having a pertinent role in the transformation of mechanics in the nineteenth century. Such understanding permits a separation from linguistic and arbitrary conventions, thus highlighting its epistemic features and not transforming fundamental principles into mere arbitrary agreements. After addressing the main references in the literature discussing the role of convention (...) in mechanics, we analyze its classical use as a concept originating from law. Then we explain its use by Carl G. Jacobi, Ferdinand F. Reech, and J. Henri Poincaré. Here we also show how their uses conform to the features analyzed regarding conventions in jurisprudence. Finally, we try to explain how the use of this concept, among other factors, contributed to the transformation of mechanics. (shrink)

In this paper I argue that inconsistencies in scientific theories may arise from the type of causality relation they—tacitly or explicitly—embody. All these seemingly different causality relations can be subsumed under a general strategy developed to defeat the paradoxes which inevitably occur in our experience of the real. With respect to this, scientific theories are just a subclass of the larger class of metaphysical theories, construed as theories that attempt to explain a (part of) the world consistently. All metaphysical theories (...) share a common structural backbone specificially designed to defeat paradoxes, their often wildly diverging ontological claims notwithstanding. This common structure shapes the procedures which govern the invention of ideas in the context of such theories, by codifying some onto-logical a priori assumptions regarding the consistency of reality into its bare conceptual framework. Causality plays a key rôle here, because it implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalising power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of ‘system’ and ‘lawful behaviour’. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. The fundamental backbone’s specific gestalt thus functions as a theory’s individual signature and paves the way to a comparative historical approach towards their study. An important part of my paper therefore explores the strong connections between paradoxes as they appear and are dealt with in ancient philosophy and their re-appearance in early modern natural philosophy and science. This analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (shrink)

Currently, testimony is studied extensively in Anglo-American philosophy. However, most of this work is done from a justificationist perspective in which philosophers try to justify our reliance on testimony in some way. I agree with Popper that justificationism is radically mistaken. Thus, I construct an account of how we respond to testimony that in no way attempts to justify our reliance on it. This account is not a straightforward exegesis of Popper, as he never tackled testimony systematically. It makes use, (...) however, of several of Popper's key insights and incorporates them into a viable theory of testimony. Key Words: testimony • anti-justificationism • social epistemology • situational analysis • defeasibility. (shrink)

All the attempts to find the justification of the privileged evolution of phenomena exclusively in the external world need to refer to the inescapable fact that we are living in such an asymmetric universe. This leads us to look for the origin of the “arrow of time” in the relationship between the subject and the world. The anthropic argument shows that the arrow of time is the condition of the possibility of emergence and maintenance of life in the universe. Moreover, (...) according to Bohr’s, Poincaré’s and Watanabe’s analysis, this agreement between the earlier-later direction of entropy increase and the past-future direction of life is the very condition of the possibility for meaningful action, representation and creation. Beyond this relationship of logical necessity between the meaning process and the arrow of time the question of their possible physical connection is explored. To answer affirmatively to this question, the meaning process is modelled as an evolving tree-like structure, called “Semantic Time”, where thermodynamic irreversibility can be shown. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispensable research tool for obtaining new results. In this essay we will analyse a group of mathematicians who interacted with Luitzen Egbertus Jan Brouwer in order to compare their conceptions of intuition. We will see how to the same word “intuition” very different meanings corresponded: they varied from geometrical vision, to a unitary view of a demonstration, to the perception of time, to the faculty of considering concepts (...) that habitually occur in our thinking separately. Furthermore, we will discover that these different meanings had a philosophical, very relevant counterside: they passed from a racial characterization of mathematics to a pluralistic view of it. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Creativity is typically defined as a disposition to produce valuable ideas. We argue that this is a mistake and defend a new definition of creativity in terms of the imagination. It follows that creativity has instrumental value at most and then only in the right circumstances. We consider the role of tradition and judgment in worthwhile creativity and argue that there is frequently a tension between greater creativity and the production of value.

Inferential communities are communities using specific substantial argumentative schemes. The religious or scientific communities are examples. I discuss the status of the mathematical community as it appears through the position held by the French mathematician Henri Poincaré during his famous ar-guments with Russell, Hilbert, Peano and Cantor. The paper focuses on the status of complete induction and how logic and psychology shape the community of mathematicians and the teaching of mathematics.

Mathematical proofs are not sequences of arbitrary deductive steps—each deductive step is, to some extent, rational. This paper aims to identify and characterize the particular form of rationality at play in mathematical proofs. The approach adopted consists in viewing mathematical proofs as reports of proof activities—that is, sequences of deductive inferences—and in characterizing the rationality of the former in terms of that of the latter. It is argued that proof activities are governed by specific norms of rational planning agency, and (...) that a deductive step in a mathematical proof qualifies as rational whenever the corresponding deductive inference in the associated proof activity figures in a plan that has been constructed rationally. It is then shown that mathematical proofs whose associated proof activities violate these norms are likely to be judged as defective by mathematical agents, thereby providing evidence that these norms are indeed present in mathematical practice. We conclude that, if mathematical proofs are not mere sequences of deductive steps, if they possess a rational structure, it is because they are the product of rational planning agents. (shrink)

Mathematics stand in a privileged relationship with aesthetics: a relationship that follows two main directions. The first concerns the introduction of mathematical considerations into aesthetic discourse. For instance, it is common to mention the mathematical architecture of certain artistic productions. The second leads from aesthetics to mathematics. In this case, the question is that of the role and meaning that aesthetic considerations may assume in mathematics. It is indeed a widely held view among mathematicians, of whatever socio-historical context, not only (...) to see their discipline as presenting a strong aesthetic dimension, but also to consider that this dimension plays a fundamental role in the process of developing and understanding mathematics. The main ambition of this paper is to show how Nelson Goodman’s aesthetics can be used to justify this point of view and to propose a thesis concerning the aesthetic functioning of mathematics. This first result allows to resituate Goodman’s aesthetics within a very classical tradition that will be described. Finally, the underlying ambition is to show the keys provided by Goodman’s theory for the philosophy of mathematics. (shrink)

This paper deals with Parmenides of Elea’s way of inquiry about reality and the opposition emerging from it. In more detail, it analyses how Parmenides’ concepts of logos and doxa present some analogies with Bergson’s thoughts about duration and Time and how these theories influenced the understanding of visual media, especially the cinematographic camera. This survey will allow us to demonstrate that some scientific theories about space that accompanied the development of the cinematographic camera progressively allowed for the birth of (...) a new understanding of this device. In the last section of this study, we will then focus on the way through which the film camera - understood as an intelligent device - passes from the sphere of doxa to the sphere of logos. (shrink)

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

SummaryThe present paper attemps to demonstrate an analogy between the metascientific, i. e. epistemological, concepts of Niels Bohr and Jean Piaget. To make such a comparison possible a general model of an open circular process of acquiring knowledge is proposed including the following stages: generalization of a successful theory, origin of implicit assumptions, counter‐examples, disclosure of implicit and tacit assumptions ; attempts to eliminate counter‐examples, cul‐de‐sac, emergence of competing theories, explication of fundamental notions, distinction between narrower and broader theories. Parallelly, (...) historical exemplifications on each stage are given. Finally, the argument is advanced that scientific epistemology is only possible at the expense of re‐defining ≫science≪ in such a way that it would cease to be science in its strict classical sense on which the claim to this name has been based so far. (shrink)