# PhilMath Intersem 9. 2018

The PhilMath Intersem will convene for its ninth annual meeting during June 2018.

The theme of this year's seminar is the use of non-deductive methods in mathematics. The seminar is interdisciplinary, and we will consider a variety of philosophical, historical, logical and mathematical issues.

The seminar will meet on the following dates: June 5th, June 7th, June 12th, June 14th, June 19th, June 21st and June 26th. Some sessions are single sessions and some double. See the schedule below for details.

All meetings will take place on the Rive Gauche campus of the University of Paris 7-Diderot, in the salle Klimt (room 366A) of the Condorcet Building.

See the schedule below for further information, including titles, summaries and suggested readings.

Please continue to check here for updates.

###
**Schedule**

**Meeting 1: Tuesday, June 5th**

#### • Catherine Goldstein (CNRS, Institut de mathématiques de Jussieu-Paris Gauche)

**Title: "**Baconian mathematics"

**Summary:**

It is usual to oppose mathematics to the so-called Baconian, that is experimental, sciences. Thomas Kuhn even suggested that modern science was created by the separation of experimental science from mathematical sciences during the seventeenth century. However, a number of early-modern mathematicians shared Francis Bacon’s criticism of deductive procedures, either syllogistic or Euclidean. Focusing on Marin Mersenne's circle, in particular the work of Bernard Frenicle de Bessy (a founding member of the French Academy of Sciences), I shall discuss how some of the mathematical production in this circle went even further, following closely Baconian precepts. My key questions will be how induction and observation are used to produce mathematics, and in particular which type of induction for which mathematics.

**Reading:**

C. Goldstein, "Ecrire l'expérience des mathématiques au XVIIe siècle", in *Réduire en art*, éd. H. Vérin et P. Dubourg-Glatigny, Paris, MSH, 2008, pp. 213-234.

C. Goldstein, "How to Generate Mathematical Experimentation and Does it Provide Mathematical Knowledge?", in *Generating Experimental Knowledge*, ed. U. Fest, G. Hon, Hans-Joerg Rheinberger, Jutta Schickore, Friedrich Steinle, PMPIWG 340, Berlin, Max Planck Institute for the History of Science, 2008, p. 61-85 (available online here).

T. S. Kuhn, "Mathematical versus Experimental Traditions in the Development of Physical Science', The Journal of interdisciplinary History 7 (1976), 1-31 (repr. in *The Essential Tension*, Chicago: University of Chicago Press, 1977, pp. 31-65).

#### • Eberhard Knobloch (Institut für Philosophie, Literatur-, Wissenschafts- und Technikgeschichte, Berlin)

**Title: **"Archimedes and his successors Kepler and Leibniz: Their use of analogies and equivalences in mathematics"

**Summary:**

Archimedes used analogies in the context of discovery. Especially interesting examples are his calculation of the surface of the sphere and his way of transferring the structure of quantities to the structure of non-quantities or indivisibles. Kepler amply used analogies in his "New solid geometry of wine barrels“ (1615) also in the context of justification referring to Archimedes without knowing his famous letter to Eratosthenes (so-called Method). Leibniz, too, referred to Archimedes in order to justify his infinitesimal calculus. He considered analogies as special harmonies that are closely connected to his law of continuity. He transferred the structure and laws of finite quantities to that of infinitely small and infinite quantities. Curves have to be considered as equivalent to a polygon of infinitely many sides. An instructive example is his geometrical integration of the logarithmic curve. Mathematical creativity is closely connected to the surpassing of limits.

**Reading:**

J. Kepler, *Nova stereometria doliorum vinariorum / New solid geometry of wine barrels.* Accessit Stereometriae Archimedeae supplementum / A supplement too the Archimedean solid geometry has been added. Edited and translated, with an introduction by E. Knobloch. Paris 2018 (in the press) (Sciences et savoir vol. IV).

E. Knobloch, "Analogy and the growth of mathematical knowledge", in: E Grosholz, H. Breger (eds.), *The growth of mathematical knowledge*. Dordrecht etc. 2000, 295-314.

E. Knobloch, "Analogien und mathematisches Denken", in K. Hentschel (ed.), *Analogien in Naturwissenschaft, Medizin und Technik*, *Acta historica Leopoldina* 56 (2010), 309-327.

G. W. Leibniz, *De quadratura arithmetica circuli ellipseos et hyyperbolae cujus corollarium est trigonometria sine tabulis*, hrsg. und mit eine Nachwort versehen von E. Knobloch, Aus dem Lateinischen von O. Hamborg. Berlin-Heidelberg 2016.

**Meeting 2: Thursday, June 7th**

#### • James Franklin (School of mathematics and statistics, University of New South Wales, Sydney)

**Title: **"Evidence for mathematical conjectures and non-deductive logic"

**Summary:**

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann Hypothesis, have to be considered in terms of the evidence for and against them in the same way as legal verdicts and scientific hypotheses. After showing some examples, it is argued that it is not adequate to describe the relation of evidence to hypothesis in these cases as "subjective", "heuristic" or "pragmatic", but that it has an element of what it is strictly rational to believe on the evidence, that is, of non-deductive logic (or logical probability or objective Bayesianism with imprecise probabilities).

**Reading:**

George Pólya, *Mathematics and Plausible Reasoning *(Princeton University Press, 1954).

James Franklin, "Logical probability and the strength of mathematical conjectures", *Mathematical Intelligencer* 38 (3) (Sept 2016), 14-19.

**Meeting 3: Tuesday, June 12th**

#### • Jean Paul Van Bendegem (Centrum voor Logica en Wetenschapsfilosofie, Center for Logic and Philosophy of Science, Vrije Universiteit, Brussells)

**Title: TBA**

**Summary:**

**TBA**

#### • Emmylou Haffner (Arbeitsgruppe Didaktik und Geschichte der Mathematik, Bergische Universität Wuppertal & SPHERE, University of Paris Diderot)

**Title: TBA**

**Summary:**

**TBA**

**Meeting 4: Thursday, June 14th**

#### • James Franklin (School of mathematics and statistics, University of New South Wales, Sydney)

**Title: "**The nature of non-deductive logic in the light of its use in mathematics"

**Summary:**

The fact that non-deductive/probabilistic methods work in pure mathematics shows they are fully logical. For example, since induction works in pure mathematics, it cannot depend on any contingent fact such as the "uniformity of nature". It is argued that non-deductive methods are as strictly logic as deductive logic, as in Keynes' view that logical probability is a degree of partial implication. Philosophies of the nature of logic are canvassed, in the light of which non-deductive inference forms like the confirmation of theories by their consequences and the proportional syllogism are exhibited as purely logical. Non-deductive logic is no less formal than deductive logic.

**Reading:**

George Pólya, *Mathematics and Plausible Reasoning *(Princeton University Press, 1954).

James Franklin, "Logical probability and the strength of mathematical conjectures", *Mathematical Intelligencer* 38 (3) (Sept 2016), 14-19.

**Meeting 5: Tuesday, June 19th**

#### • Alex Paseau (Faculty of Philosophy, Wadham College, University of Oxford)

**Title: "**Knowledge of Mathematics without Proof"

**Summary:**

Mathematicians do not claim to know a proposition unless they think they possess a proof of it. For all their confidence in the truth of a proposition with weighty nondeductive support, they maintain that, strictly speaking, the proposition remains unknown until such time as someone has proved it. My talk will present and further develop some arguments in my 2015 BJPS paper of the same title that challenge this conception of knowledge within mathematics.

**Reading:**

Fallis, D. (1997), "The Epistemic Status of Probabilistic Proof", *The Journal of Philosophy* 94, pp. 165–86.

Echeverria, J. (1996), "Empirical Methods in Mathematics. A Case-Study: Goldbach’s Conjecture", in G. Munevar (ed.), *Spanish Studies in the Philosophy of Science*, Dordrecht: Kluwer, pp. 19–55.

Paseau, A. (2015), "Knowledge of Mathematics without Proof", *The British Journal for the Philosophy of Science* 66, pp. 775-99.

#### • Karine Chemla (CNRS, SPHERE, University of Paris Diderot)

**Title: **"When a diagram writes a proof"

**Summary:**

The talk will focus on a specific diagram, which, I claim, writes the correctness of an algorithm solving a quadratic equation numerically. After having outlined elements of context that are required to interpret the diagram, I will analyze the techniques used to formulate the proof in this way. We will thus see how the meaning of a single diagram unfolds while reading the text of the algorithm.

**Reading:**

Karine Chemla, "Changing mathematical cultures, conceptual history and the circulation of knowledge" in K. Chemla & E. Fox-Keller (eds.). Chemla Fox Keller Eds

**Meeting 6: Thursday, June 21st**

#### • Christine Proust & Adeline Reynaud (CNRS, SPHERE, University of Paris Diderot)

**Title: "**Reasoning with diagrams and layouts, examples from Mesopotamia"

**Summary:**

Algorithms and procedures are generally explained in cuneiform mathematical texts in a quite terse manner. Most often, the modalities of reasoning underlying them can be detected only through indirect evidence, such as terminology, structures of texts, diagrams, layouts, tabular formats, marginal notations, or epigraphy. A landmark work on evidence provided by terminology has been accomplished by Jens Høyrup (2002).

This presentation proposes a reflexion on the way in which other elements of reasoning can be grasped through the observation of diagrams and layouts. Adeline Reynaud will present some mathematical problems in which key elements of the solving procedure are absent from the discursive text and suggested only by a diagram drawn beneath it. She will analyse how these visual elements are articulated to those provided by means of words, and what this may reveal on the (non-)deductive character of the procedures. Christine Proust will present numerical texts that do not exhibit any discursive element. She will also analyze how the arrangement of the numbers on the surface of a clay tablet reflects the implementation and justification of an algorithm will also be given.

**Reading:**

Chemla, Karine (ed). 2012. *The History of Mathematical Proof in Ancient Traditions*. Cambridge: Cambridge University Press. Chs. 2, 11 and 12.

**Meeting 7: Tuesday, June 26th**

#### • Alan Baker (Swarthmore College, Swarthmore, PA)

**Title: "**Induction, Explanation, and Applied Mathematics"

**Summary:**

Some mathematical proofs are explanatory and others are not. I shall refer to a true, general mathematical proposition that lacks an explanatory proof as a “mathematical accident.” My interest in this talk is how mathematical accidents function in the context of applied mathematics. I shall focus on two main questions. Firstly, can mathematical accidents be used to explain scientific phenomena? Secondly, can the use of mathematical accidents in an applied context provide them with non-deductive support?

**Reading:**

Baker, A. (2009) “Mathematical Accidents and the End of Explanation,” in *New Waves in the Philosophy of Mathematics*, ed. O. Bueno & Ø. Linnebo, Palgrave Macmillan, 137-159