Programme

Novembertagung will take place from November 26th–28th 2020 using Zoom. The various sessions (presentations, coffee breaks, keynote talks etc.) will run in separate rooms, parallel sessions will run in parallel rooms.

Please note: We’ll send out the Zoom links to registered participants. Please make sure you are attentive, also to your spam folder.

Below you may find the programme of the conference. Talks cancelled at the last minute are crossed out. You may also download the Book of Abstracts, which includes a printable version of the programme.


Thursday the 26th November

9:30-10:00 CET

Conference Opening

10:00-11:00 CET

Chair: Deborah Kant

Tinne Hoff Kjeldsen (Copenhagen): A Multiple Perspective Approach to History: The Case of Mathematical Programming. Interplay Between Production of Mathematics and the Historical Conditions of its Production
Invited Talk

11:00-11:30 CET

☕️ Coffee Break

11:30-13:00 CET

Session A
Chairs: Anna Kiel Steensen, Paul Hasselkuß

Mohammadreza Shahidipak (Tehran) — German idealism against using axiomatic in ethics, politics, sociology by Hobbes, Spinoza, Comte

Martin Muffato (Paris VI) — What does it mean to divide?

Session B
Chairs: Tiago Hirth, Tobias Schütz

Michael Friedman (HU Berlin) — Axiomatics in Treatise on Measurement and Calculation and its translation to Latin

Rosie Lev-Halutz (Tel Aviv) — Euclid and his London-based Victorian Rivals

13:00-15:00 CET

🥪 Lunch Break

15:00-16:30 CET

Session A
Chairs: Deborah Kant, Paul Hasselkuß

João Vitor Schmidt (Campinas) — Axioms and Postulates as Speech Acts

Anusha Bhattacharya (Chennai Mathematical Institute) — Generalized theory of measures. An attempt to unite contrasting notions of sizes

Sophie Nagler (Oxford, Munich) — Proof-theoretic pluralism. Co-determination on two levels

Session B
Chairs: Tiago Hirth, Tobias Schütz

Jonas Häring (Hamburg) — History of the domination problem and the connection to incidence geometries

Meredith Houlton (St Andrews) — Axiomatics in Elementa Geometriae by William Sanders

16:30-17:00 CET

☕️ Coffee Break

17:00-19:00 CET

Session A
Chairs: Tiago Hirth, Tobias Schütz

Mahmoud Jalloh (Southern California) — Using Wilson’s ‘Semantic Detoxification’ to Reconsider Conceptual Change Through Axiomatic Theory Change

Pablo Rivas-Robledo (La Sabana) — Liar Paradoxes and Dialetheism

C.P. Hertogh (Chongqing, Brussels) — Mathematical Thought Experiments

Dóra Dergez-Rippl (Pecs) —
Bergson’s mathematical indiscretion. Russell’s Critics on Bergson

Session B
Chairs: Deborah Kant, Paul Hasselkuß

Julien Ouellette-Michaud (McGill) — From axiomatic logic to Gentzen’s natural deduction

Jonathan Ettel (Stanford) — Postulates, Demonstration and Exactness

José David García Cruz (UC, Santiago de, Chile) — What is Elementary Syllogistic? An Axiomatic Reconstruction of Aristotle’s Theory of Syllogism

Adwait Parker (Stanford) — Newton’s Third Axiom (Law) and Its Two Proofs


Friday the 27th November

9:30-11:00 CET

Session A
Chairs: Benjamin Wilck, Deniz Sarikaya

Eerik Tapio Norvio (Helsinki) — Aristotle’s categorical syllogistics studied by proof theoretic methods. Normalization and decidability results, reductions and linearization algorithm

Christopher Izgin (HU Berlin) — Axioms in Aristotle’s Non-Axiomatic Syllogistic

Jack Robert Edmunds-Coopey (Durham) –Aristotle’s and Husserl’s Philosophy of Numbers

Session B
Chairs: Tobias Schütz, Tiago Hirth

Tuya Sa (Loughborough) — Investigating the nature of aesthetics in mathematics

Brigitte Stenhouse (The Open University) — Mary Somerville’s ‘On the Theory of Differences’. A case study of researching an unpublished book

Alison Maidment (The Open University) — Edmund Taylor Whittaker’s mathematical research: should it be better known?

11:00-11:30 CET

☕️ Coffee Break

11:30-13:00 CET

Thematic Group Sessions

13:00-15:00 CET

🥙 Lunch Break

15:00-16:30 CET

Session A
Chair: Benjamin Wilck, Paul Hasselkuß

José Antonio Pérez-Escobar (ETH Zurich) and Deniz Sarikaya (Hamburg) — Purifying applied and applying pure mathematics. Wittgenstein and the axiomatic view on pure mathematics

Deborah Kant (Konstanz), José Antonio Pérez-Escobar (ETH Zürich), Deniz Sarikaya (Hamburg) — Indispensability of Empirical Information in Philosophy. Contrasting Philosophy of Mind/Science and Ethics with Philosophy of Mathematics

Clemens Wetcholowsky (Pittsburgh) — The Method of Aristotle’s Biology

Session B
Chairs: Tobias Schütz, Anna Kiel Steensen

Tiago Hirth (ULisbon) — The Congres International de Recreationes Mathematiques 1935 / 37

Henning Heller (Vienna) — The Dilemma of Case Studies in Philosophy of Mathematics

16:30-17:00 CET

☕️ Coffee Break

17:00-18:00 CET

Chair: Deniz Sarikaya

Juliette Kennedy (Helsinki): Gödel, Tarski, and the Lure of Natural Language
Invited Talk

19:00 CET

🎲🤹 Mathematical Game Session


Saturday the 28th November

9:30-11:00 CET

Session A
Chairs: Deborah Kant, Deniz Sarikaya

Carlos E. Freites — A contextual version of ZFC

Maria Beatrice Buonaguidi (King’s College London) — Shortcomings of Free Set Theory in determining the metaphysical foundations of the empty set

Marcel Ertel (Tübingen) — Axiomatics, open-endedness, and the justification of new axioms for set theory

Session B
Chairs: Benjamin Wilck, Anna Kiel Steensen

Anna Petiurenko (Krakow) — Interpreting book VI of Euclid’s Elements

Angela Axworthy (Max Planck Institute for the History of Science) — The transformation of Euclidean geometry in early modern European practical geometry

11:00-11:30 CET

☕️ Coffee Break

11:30-13:00 CET

Session A
Chair: Deniz Sarikaya, Tiago Hirth

Alexander Svirid (Minsk) — Category theory and philosophy. On the way to a new axiomatic method

Flavio Baracco (Amsterdam) — Hermann Weyl’s Unorthodox Axiomatic View

Session B
Chairs: Paul Hasselkuß, Deniz Sarikaya

Tabea Rohr (IHPST, Paris) — The Frege-Hilbert Controversy in the Context of 19th Century Mathematics

Richard Lawrence (Tübingen) — Hankel’s formalism and Frege’s logicism

Hazhir Roshangar (Masaryk University) — Mathematical Structuralism and Explanation Through Definitions

13:00-15:00 CET

🍕 Lunch Break

14:00 CET

🌆🚉Virtual Berlin Tour for Historians of Mathematics and Philosophy

15:00-16:00 CET

Chair: Benjamin Wilck

Dirk Schlimm (McGill): Axioms in Mathematical Practice
Invited Talk

16:00-17:30 CET

Discussion on the future of the Novembertagung