PhilMath Intersem is a collaboration Notre Dame University and SPHERE (UMR7219, CNRS), initiated with Professor Michael Detlefsen.
PROGRAM 2022
The sessions will take place from June 1st to june 14.
The theme of this year’s seminar will be "Logic and geometry". Language will be English.
The seminar will be on facetoface and with webconference.
To get the connexion link, thanks to email Emmylou Haffner with subject : "ZoomIntersem2022"
Facetoface: Room Mondrian (646A), Building Condorcet (10 rue Alice Domon & Léonie Duquet, 75013 Paris), EXCEPT for session on June 14th (Room Rothko, 412B), on the campus of the Université Paris Cité (exDiderot)
Schedule, venue  Wednesday 1st  Friday 3  Tuesday 7  Thursday 9  Tuesday 14 
Wednesday 1st, 2:30pm  5:45pm, Room Mondrian (646A) & Zoom  
2:30pm 4pm 
Mathieu Anel (Carnegie Mellon University)
Three kinds of interactions between logic and geometry 
abstract 
4:15pm 5:45pm 
Chris Miller (Ohio State University)
Collapse of dimensions in the absence of arithmetic 
abstract 
Friday 3, 2:30pm  5:45pm, Room Mondrian (646A) & Zoom  
2:30pm  4pm  Thomas Seiller (CNRS, Laboratoire d’Informatique de Paris Nord)
Linear logic and the geometry of computation 

4:15pm 5:45pm 
David Waszek (AHPPReST, CNRS) & Nicolas Michel (Universiteit Utrecht)
“Eine prachtvolle Machine”: Notational innovation and the genesis of the Schubert calculus 
abstract 
Tuesday 7, 2:30pm  5:45pm, Room Mondrian (646A) & Zoom  
2:30pm 4pm 
Alberto Naibo (IHPST, Université Paris 1 Panthéon Sorbonne)
Gentzen, proof theory, and projective geometry 

4:15pm 5:45pm 
Vincenzo de Risi (SPHERE, CNRS)
Common Axioms in Euclid and Aristotle 
abstract 
Tuesday 9, 1:30pm  6:30pm, Room Mondrian (646A) & Zoom  
1:30pm 3pm 
Marwan Rashed (Centre Léon Robin, Sorbonne Université)
AlSamaw’al between mathematics, logic and theology] 

3:15pm 4:45pm 
JeanJacques Szczeciniarz (SPHere, Université Paris Cité)
Quelques remarques sur Le concept d’espace à travers les topologies de Grothendieck, et des analyses de Lawvere 

5pm 6:30pm 
Tabea Rohr (AHPPReST & IHPST)
The distinction between analytic and synthetic geometry from an axiomatic point of view 
abstract 
Tuesday 14, 1:30pm  6:30pm, Room Rothko, 412B  
1:30pm 3pm 
Victor Pambuccian (Arizona State University)
The Parallel Postulate: The View from Logic] 
abstract 
3:15pm 4:45pm 
Marco Panza (CNRS, IHPST, Université Paris 1 Panthéon Sorbonne)
What Universality Could Have Been for Euclid 

5pm 6:30pm 
Jemma Lorenat (Pitzer College)
Russell, Von Staudt, and Hilbert in the Bryn Mawr College Mathematics Journal Club Notebooks 
abstract 
ABSTRACTS
 2:30pm  4pm
Mathieu Anel (Carnegie Mellon University)
Three kinds of interactions between logic and geometry
I will introduce the following notions and explain how they articulate logic and geometry:
(1) the models of logical theories in spaces, (2) the space of models of a theory, and (3) the underlying space of a logical theory.
 4:15pm  5:45pm
Chris Miller (Ohio State University)
One often finds informal definitions of the dimension of a mathematical object to be along the lines of “the minimum number of coordinates needed to describe any arbitrarily given point of the object”. Even assuming for the moment that we understand what is meant by “coordinates”, “mathematical objects” and “points of mathematical objects”, there are still the issues of what it means to describe points of objects and the extent to which these informal definitions capture the notion of dimension in contemporary mathematics. It is now widely accepted in mathematics that dimensions can take on noninteger real values (e.g., the classical middlethirds Cantor set has Hausdorff dimension log_{3}(2)) and that different notions arise even among integervalued dimensions. However, one easily sees that the standard examples witnessing these differences tend to involve inductive constructions and choice principles. Thus, the question arises as to how “natural” are these differences. In joint work with Philipp Hieronymi [1], we provide at least one reasonably concrete answer via mathematical logic. Our result can be stated heuristically as follows:Let m and n be positive integers, X be a closed (in the usual topology) subset of ℝ^{m} (real mspace), and F be a continuous map from X into ℝ^{n}, regarded as a subset of ℝ^{m+n}. If the firstorder structure (ℝ,+, ·, F) does not define ℤ (the set of all integers), then all notions of topological or metric dimension commonly encountered in fractal geometry, geometric measure theory and analysis on metric spaces agree on F(X) := ⎨F(x) : x ∈ X⎬, the image of the set X under F. Moreover, they all agree on F(X) with what is arguably the most naive notion of dimension that could ever arise in dealing with subsets of finite cartesian powers of ℝ.
It follows immediately from Gödel’s Incompleteness Theorem that if the set F(X) is an example witnessing the inequality of certain notions of dimension, then the complete theory of (ℝ,+, ·, F) is undecidable. But much more is true: The definable (allowing real parameters) sets of (ℝ,+, ·,ℤ constitute the real projective hierarchy, and so F must somehow encode enough information so that every real Borel set is firstorder definable from F over the field of real numbers (allowing all real numbers as constants). I shall attempt to explain the result and its significance without assuming knowledge of dimension theory or descriptive set theory.
– Référence :
[1] Philipp Hieronymi and Chris Miller, Metric dimensions and tameness in expansions of the
real field, Trans. Amer. Math. Soc. 373 (2020), no. 2, 849–874, DOI 10.1090/tran/7691.
MR4068252
Friday 3, 2:30pm  5:45pm, Room Mondrian (646A) & Zoom
 2:30pm  4pm
Thomas Seiller (CNRS, Laboratoire d’Informatique de Paris Nord)
Linear logic and the geometry of computation
 4:15pm  5:45pm
David Waszek (AHPPReST, CNRS) & Nicolas Michel (Universiteit Utrecht)
“Eine prachtvolle Machine”: Notational innovation and the genesis of the Schubert calculus
New geometric calculi (i.e., new ways of obtaining geometric results by means of symbolic computations) are often seen as transformative achievements in the history of mathematics—analytic geometry being the bestknown example. From afar, such successes seem unmysterious: they appear like straightforward applications of some kind of algebraic device to geometry. Looking more closely, however, reveals littlestudied complexities to how and why such calculi succeed.
As an example, we shall explore the genesis of Hermann Schubert’s 1879 enumerative calculus, the purpose of which is to count how many geometric figures of a certain kind satisfy some conditions (for instance, how many plane conics are tangent to five given lines). This calculus struck its contemporaries by its remarkable, though rather mysterious, computational power; in 1900, Hilbert included its rigorous justification as the 15th of his famous list of open problems. While it looks like an application of Boole and Schröder’s algebra of logic to geometry, and has regularly been described as such —both by contemporaries, like Cayley or Peirce, and by later historians— we shall argue that it instead grew out of a circuitous sequence of computationally effective notational innovations rooted in classical projective geometry. We shall then draw broader lessons about the making of symbolic calculi.
Tuesday 7, 2:30pm  5:45pm, Room Mondrian (646A) & Zoom
 2:30pm  4pm
Alberto Naibo (IHPST, Université Paris 1 Panthéon Sorbonne)
Gentzen, proof theory, and projective geometry
 4:15pm  5:45pm
Vincenzo de Risi (SPHere, CNRS)
Common Axioms in Euclid and Aristotle
There is a strong relation between Euclid’s common notions in the Elements and the common axioms that Aristotle mentions in the Metaphysics and the Posterior Analytics. It is not likely, however, that Euclid may have been directly influenced by Aristotle’s work. This makes the relations between Euclid’s and Aristotle’s conceptions of common axioms even more interesting, since it shows how two very different personalities, a philosopher and a mathematician, may have read and interpreted the same set of principles. In this talk, I argue that Euclid’s first three common notions together provide a neat axiomatization of equality and additivity of measure. While they may have first been conceived in geometry, they are easily and flawlessly generalized to numbers and magnitudes in general, thus fitting in with the Aristotelian remarks about common axioms. They are entirely propositional and their application does not rely on any diagrammatic inference. By contrast, the fourth and fifth common notions listed in the Elements were external to this theory and responded to different epistemic needs. In particular, I claim that these common notions are employed in diagrammatic reasoning and display a different underlying epistemology than the other purely propositional principles. I complement these results on ancient mathematics with a discussion on Aristotle’s very different conception of the same axioms, and advance an “inferential” interpretation of Aristotle’s views on axioms that is at odds with the standard reading of them as schemata of principles. I conclude by showing the fruitful interplay between Aristotle’s philosophical speculation and Euclid’s mathematical practices.
Tuesday 9, 1:30pm  6:30pm, Room Mondrian (646A) & Zoom
 1:30pm  3pm
Marwan Rashed (Centre Léon Robin, Sorbonne Université)
AlSamaw’al between mathematics, logic and theology
 3:15pm  4:45pm
Tabea Rohr (AHPPReST & IHPST)
The distinction between analytic and synthetic geometry from an axiomatic point of view
19thcentury geometry was shaped by the methodological debate between analytic and synthetic geometers. In this talk, it will be shown how these methodological concerns reappear in Hilbert’s axiomatic setting, for example, in the question at which stage continuity principles are introduced. It will be argued that Hilbert favored a more synthetic approach. Nonetheless, Hilbert thought his axiomatic approach was superior to both analytic and synthetic geometry. For this purpose, Hilbert’s writings, including unpublished lectures, of the 1890s and the early 20th century, will be taken into account, as well as writings from Hilbert’s intellectual environment like Hertz and Helmholtz.
 5pm  6:30pm
JeanJacques Szczeciniarz (SPHere, Université Paris Cité)
Quelques remarques sur Le concept d’espace à travers les topologies de Grothendieck, et des analyses de Lawvere
Tuesday 14, 1:30pm  6:30pm, Room Rothko, 412B
 1:30pm  3pm
Victor Pambuccian (Arizona State University)
The Parallel Postulate: The View from Logic
The parallel postulate has several weakenings. Among these are: The rectangle axiom, stating that there exists a rectangle, the Lotschnittaxiom, stating that the perpendiculars raised on the sides of a right angle intersect, and Aristotle’s axiom, stating that the distances from one side of an angle to the other side grow indefinitely. The relations between these axioms, as well as purely incidencegeometric versions of the Lotschnittaxiom and Aristotle’s axiom, with an analysis of their syntactical simplicity. The unexplained fact that, whenever someone comes up with an "of course true" statement weaker than the parallel postulate, one that does not sound like a theorem but rather an "obviously true fact of experience", it turns out that the statement is equivalent to the Lotschnittaxiom. This entire world of weakenings of the parallel postulate collapses in the presence of the Archimedean axiom, given that, in its presence, the Lotschnittaxiom is equivalent to the parallel postulate.
 3:15pm  4:45pm
Marco Panza (CNRS, IHPST, Université Paris 1 Panthéon Sorbonne)
What Universality Could Have Been for Euclid
 5pm  6:30pm
Jemma Lorenat (Pitzer College)
Russell, Von Staudt, and Hilbert in the Bryn Mawr College Mathematics Journal Club Notebooks
As mathematics departments in the United States began to shift toward standards of original research at the end of the nineteenth century, many adopted journal clubs to stay abreast of new periodical literature. The Bryn Mawr Mathematics Journal Club, maintained episodically between 1896 and 1924, began as a supplement to the graduate course offerings. The Notebooks document the process of becoming a professional mathematician by recording ways in which graduate students engaged with contemporary literature, formulated research questions, and assessed tools and techniques for potential solutions. This talk will consider how Scott adapted the foundations of geometry in three case studies represented by journal club entries: nonEuclidean geometry in preparation for Bertrand Russell’s lectures on the foundations of geometry at Bryn Mawr (1896), Von Staudt’s treatment of imaginary elements (1898), and Hilbert’s Foundations of Geometry (1902). By situating wellknown texts in this pedagogical environment, I will emphasize how they modeled the “local knowledge traditions” of Bryn Mawr.
Also in this section :
 Seminar of the UMR 7219 202122
 Science and Philosophy from Ancient to Modern Age 20212022
 Powers of Imagination. Historical Approach. 2021–2022
 AXIS HISTORY AND PHILOSOPHY OF MATHEMATICS
 History and Philosophy of Mathematics 2021–2022
 Mathematics from Ancient to Modern Age 2021–2022
 Reading Ancient Mathematical Texts 2021–2022
 Mathematics 19th – 21st, History and Philosophy 2021–2022
 Reading group of cuneiform mathematical texts 2021–2022
 Workshop Mathesis 20212022
 AXIS HISTORY AND PHILOSOPHY OF SCIENCE OF NATURE
 Epistemological Approaches to Life Science
 AXIS HISTORY AND PHILOSOPHY OF MEDECINE
 Knowledge and field in health: ethical and epistemological issues 20212022
 History & philosophy of medecine 20212022
 AXIS HISTORY OF PHILOSOPHY FROM ANCIENT TO MODERN AGE
 Prolepsis: Πρόληψις 20212022
 Seminar of Hellenistic and Roman Philosophy: "Telling and Thinking the Future" 20212022
 AXIS INTERDISCIPLINARITY IN HISTORY AND PHILOSOPHY OF SCIENCE
 History of Science, History of Text 2021–2022