logo Sphere
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Sur ce site

Sur le Web du CNRS

Accueil > Séminaires en cours > Seminar PhilMath Intersem 10. 2019

Seminar PhilMath Intersem 10. 2019

PhilMath Intersem is jointly sponsored by the History and Philosophy of Science department of the University of Paris 7-Diderot, the University of Notre Dame and the research unit SPHERE (UMR7219) of the University of Paris Diderot

The 9th edition of PhilMath Intersem will take place in June 2019.

The theme of this year’s seminar will be the nature and place of rigor in mathematics. The seminar is interdisciplinary, and we will consider a variety of philosophical, historical, logical and mathematical issues.
The language of the seminar will be English.
Abstracts, advices of reading are available underneath and on this website :

Contact : Emmylou Haffner (U. Wuppertal & SPHERE)

Archives : 2018, 2017, 2016,
2015, 2014, 2013,
2012, 2011, 2010

PROGRAM – June 2019
All meetings will take place on the Rive Gauche campus of the University of Paris 7-Diderot, in the Condorcet Building. All but one of the meetings (namely, that of June 20th) will be in the salle Klimt (room 366A). The meeting on June 20th will be in the salle Mondrian (room 646A)
map of campus PRG - University Paris Diderot.

Sessions of 4, 6, 11, 13, 18, 20, 25

Tuesday 4, 14:00–16:00

  • Pr. Emer. Marcus Giaquinto (University College London)
    Baconian mathematics
    Rigorous and non-rigorous thinking using diagrams : both can be epistemically valuable"
    Résumé : Consider the following claims : "In mathematics, a diagrammatic argument which is non-rigorous (even by standards of non-formal rigour) cannot warrant high confidence in its conclusion. A (non-formal) diagrammatic argument in which a diagram is used as visual evidence for a proposition of the argument is not mathematically rigorous, and therefore not a proof." By focussing on two or three examples, I will cast doubt on these claims.
    • "Theoretical mathematics : Toward a cultural synthesis of mathematics and theoretical physics", A. Jaffe and F. Quinn, Bulletin of the American Mathematics Society, Vol. 29 (1) July 1993, pages 1-13.
    • "On Proof and Progress in Mathematics", William Thurston, Bulletin of the American Mathematical Society, Vol. 30 (2), April 1994

2. Thursday 6, 14:00–18:00

  • 14:00
 Pr. Hourya Benis-Sinaceur (IHPST, CNRS)
    “Proving what everyone already knows” : Bolzano’s conceptual analysis

    I will sketch the main traits of Bolzano’s conceptual analysis : determining precisely what the concepts and propositions mean, stating definitions for fundamental and non primitive concepts such as the concept of continuity, seeking proofs even for obvious truths, revealing the "objective connection" of truths, distinguishing between principles [Grundsätze] and theorems [Folgewahrheiten], "unfolding all truths of mathematics down to their ultimate grounds", making clear the intrinsic nature of concepts so as to describe the architecture of mathematics ("classification of pure mathematics" Bolzano 1810, §7) and promoting a neo-Aristotelian demand for purity of methods.
    • Benis-Sinaceur H., "Bolzano et les mathématiques", in Les Philosophes et les mathématiques, (Barbin É. & Caveing M. eds.), Paris, Ellipses, 1996, p. 150-173.
    • Bolzano B., "Betrachtungen über einige Gegenstände der Elementargeometrie’’, Prag, 1804, Schriften 5 : Geom. Arbeiten, Prag 1948. English transl. in Russ.
    • Bolzano B., "Beyträge zu einer begründeteren Darstellung der Mathematik’’, Prag, 1810, English transl. by Russ S. in Russ and in Ewald.
      Bolzano B., "Der binomische Lehrsatz und als Folgerung aus ihm der polynomische, und die Reihen, die zur Berechnung der Logarithmen und Exponentialgrössen dienen, genauer als bisher erwiesen’’, Prag, 1816, English transl. in Russ.
    • Bolzano B., "Rein analytischer Beweis, dass zwischen je zwey Werthen, die ein entgegensetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege’’, Prag, 1817. English Transl. in Russ and in Ewald. Ewald W., From Kant to Hilbert, Volume 1, n° 6, p. 168-248.
    • Russ S., The mathematical works of Bernard Bolzano, Oxford University Press, 2004.
  • 16:00
 Dr. Silvia de Toffoli (Princeton University)
    Rigorous Diagrammatic Proofs

    The aim of my talk is to investigate the role of diagrams, and in particular of diagrammatic notations, in the context of proving in mathematics. First of all, I will address the preliminary issue of characterizing mathematical diagrams and I will propose a technical definition to delineate the phenomenon under investigation. I will then focus on the features of diagrams that underwrite the possibility for them to enter in the inferential structure of proofs. My main philosophical point will be to show that in some cases not only proof presentations, but proofs as well are dependent on certain features of the notations they deploy, the ones which I will label constitutive features. I will argue for this point through examples of diagrams used in different areas of contemporary mathematics.
    • S. De Toffoli. “‘Chasing’ the diagram - the use of visualizations in algebraic reasoning.” The Review of Symbolic Logic, 10(1):158–186, 2017
    • S. De Toffoli and V. Giardino. “Roles and forms of diagrams in knot theory.” Erkenntnis, 79(3):829–842, 2014
    • M. Giaquinto. “Visualizing in mathematics.” In P. Mancosu, editor, The Philosophy of Mathematical Practice, 22–42. Oxford University Press, 2008

3. Tuesday 11, 16:00–18:00

  • 14:00 Dr. Erika Luciano (University of Turin)
    A matter of style and praxis : On Peano’s concept of rigour in mathematics education
    Between the late 19th century and the 1920s, many of the greatest Italian mathematicians showed a particular sensitivity regarding educational issues. These were sometimes spurred by their own scientific activity, and sometimes by interests of a pedagogical and epistemological or social type. It is in this context that we consider the reflections of the members of the two Italian research ‘schools’ that flourished in Turin (those of G. Peano and C. Segre) on the possibility of introducing the results of studies on the foundations of mathematics into teaching. These reflections renewed at various levels the traditional treatment of rational arithmetic and geometry.
    The range of topics addressed by Peano, Segre and their protégés, in keeping with international influences (of Klein, Poincaré, Borel, Young, Halsted, …), included the dialectic between rigour and intuition ; the cognitive aspects of the axiomatic-deductive approach in mathematics education and the reflexions on mathematical language, in a constant search for the right balance between the opposing poles of natural narrative and logical symbolism (ideography).
    My talk is to be taken in this context. It is intended
    - to pinpoint the different ways in which rigour and intuition were characterized by the ‘Peanians’, in relation to both teaching practice and pedagogic theory, and
    - to examine the debates that hypothetico-deductive teaching ignited within the context of Italian mathematical instruction, particularly those concerning the features and the role of rigour in textbooks by Peano and his followers
    • Segre C. 1891. Su alcuni indirizzi nelle investigazioni geometriche, Rivista di Matematica, 1, 42-65, translated by J.W. Young in 1904, and published with the title “On some tendencies in geometric investigations” in Bulletin of the American Mathematical Society, 2, 10, 442-468
    • Peano G. 1891. Osservazioni del Direttore sull’articolo precedente [Segre, “Su alcuni indirizzi nelle investigazioni geometriche”], Rivista di Matematica, 1, 66-69.
    • Peano G. 1910. Sui fondamenti dell’Analisi, Bollettino della Mathesis, 31-37, translated by H. Kennedy in Selected works of Giuseppe Peano, Toronto : Univ. Press, 219-226.
  • 16:00
 Dr. Yacin Hamami (Center for Logic & Philosophy of Science, Free University, Brussels)
    Judgments of rigor in mathematical practice
    How are mathematical proofs judged to be rigorous in mathematical practice ? Traditional answers to this question have usually considered that judging the rigor of a mathematical proof proceeds through some sort of comparison with the standards of formal proof. Several authors have argued, however, that this kind of view is implausible (see, e.g., Robinson, 1997 ; Detlefsen, 2009 ; Antonutti Marfori, 2010), and have thus called for the development of a more realistic account of rigor judgments in mathematical practice. In this talk, I will sketch a framework aiming to move forward in this direction. My starting point is the observation that judging a mathematical proof to be correct or rigorous amounts to judging the validity of each of the inferences that comprise it. Accordingly, the framework focuses on the processes by which mathematical agents identify and judge the validity of inferences when processing the text of an ordinary mathematical proof. From the perspective of the resulting framework, I will then discuss what is sometimes called the standard view of mathematical rigor, by examining whether there is any ground supporting the thesis that whenever a proof has been judged to be rigorous in mathematical practice it can be routinely translated into a formal proof.
    • Antonutti Marfori, M. "Informal proofs and mathematical rigour’’, Studia Logica 96(2) : 261–272, 2010.
    • Detlefsen, M. ``Proof : Its nature and significance’’, in Bonnie Gold and Roger A. Simons (eds), Proof and Other Dilemmas : Mathematics and Philosophy. The Mathematical Association of America, Washington, DC, 2009.
    • Robinson, J. A. "Informal rigor and mathematical understanding’’, In G. Gottlob, A. Leitsch, and D. Mundici (eds.), Computational Logic and Proof Theory : Proceedings of the 5th Annual Kurt Gödel Colloquium, August 25-29, 1997, volume 1289 of Lecture Notes in Computer Science, pages 54–64, Heidelberg & New York, Springer, 1997

Thursday 13, 16:00–18:00

Conference in honor of Göran Sundholm at IHPST

4. Tuesday 18, 16:00–18:00

  • 16:00
 Pr. Antoni Malet (Pompeu Fabra University)
    Circular definitions, and circular reasoning in 17th-century mathematics
    Questions about rigor in early modern mathematical arguments are more often than not cast in foundational terms, particularly but not exclusively about the well-trod issue of the foundations of the calculus. Furthermore, questions about early modern mathematical rigor have been widely and generally raised, with a large number of historians pointing to it as a major feature of modern mathematics—remember Morris Kline’s celebrated chapter title, “The Instillation of Rigor in Analysis”, in his influential account of mathematics’ history. I aim at problematizing the traditional historiographical approach by pointing to a different but also prominent case in point of early modern mathematics, the handling of ratios and proportionality. As explicitly shown in John Wallis’s well-known Mathesis universalis (1657), the so-called ‘arithmetical’ understanding of ratio and proportionality involves an obvious, explicit logical loop, or petitio principii. Interestingly, the fact that most mathematicians were embracing a central notion that they defined fallaciously was publicly exposed—to no avail. I will argue that historical accounts of past understandings of mathematical rigor (when historical artefacts are disregarded) were in part responding to presentist concerns, concerns that were relevant to mathematics in historians’s own days. Moreover, reconstructions of past discussions on rigor have crucially disregarded the role of social convention in determining what can or cannot pass by a rigorous argument.
    • I. Hacking, "What makes mathematics mathematics ?", J. Lear, A. Oliver (eds.) The Force of Argument (OUP 2000) : 82-106
    • D. Jesseph, "The ‘Merely Mechanical’ vs. the ‘Scab of Symbols’ : Seventeenth Century Debates over the Criteria for Mathematical Rigor,” Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics, ed. Albrecht Heeffer and Maarten Van Dyck. Special Issue of Studies in Logic (2010), pp. 273-288.

5. Thursday 20, 15:00–18:00, !!! Room Mondrian 646A !!!

  • Kevin Buzzard (Imperial College London), Michael Harris (Columbia University & IMJ-PRG), Patrick Massot (Université Paris-Sud)
    Mechanization of rigor
    Most mathematicians have been generally satisfied in recent decades with the state of rigor, as enforced by the peer review process as well as by informal means. Increasingly, however, some proofs have become so long or complex, or both, that they cannot be checked for errors by human experts. They may also rely on results which were announced but whose proofs never appeared in the literature. In response, a small but growing community of mathematicians, collaborating with computer scientists, have begun to work with systems designed by the latter that allow proofs to be verified by machine. Do the development of automated proof checkers and the promise of effective automatic theorem provers, represent a turning point in mathematical research ? If so, how will future human mathematicians adapt — or will there still be a place for human mathematicians ?

6. Tuesday 25, 14:00–18:00

  • 14:00
 Dr. Renaud Chorlay (Sorbonne Université)
    Did Bourkabi care about rigor ?
    We will study the epistemological values put forward by the founders of the Bourbaki group, and their connections with mathematical practice. We will endeavor to challenge the received view that “rigor” was a key value for the Bourbaki group by comparing three sets of texts ; texts of different genres, and associated with three facets of mathematical practice : (1) the manuscripts and discussions which document the collective writing of the first volumes of the "Elements of Mathematics", (2) the manifesto entitled "L’architecture des mathématiques", (3) and the research papers which lead to the emergence of the sheaf concept.
    • Chorlay, R. (2010). "From Problems to Structures : The Cousin Problems and the Emergence of the Sheaf Concept". Archive for History of Exact Sciences 64(1), 2010, p.1-73. click here
  • 16:00
 Pr. Jean-Jacques Szczeciniarz (Université Paris 7-Diderot)
    Towards a history of the concept of rigor
    I propose steps in the history of the concept of rigor. I then propose a philosophical exercise---namely, to answer the following question : What are the differences between rigor and accuracy and rigor and precision ?
    My examples will be taken from category theory but not only from it. The goal will be to refine hypothetical historical reasoning.

Scientific Directors : Pr. Michael Detlefsen (University of Notre Dame) et Pr. Jean-Jacques Szczeciniarz (Université de Paris 7-Diderot)

Sponsors : Pics Proofs and Computations, & Bergische Universität Wuppertal.