3rd Congress of the

Association for the Philosophy of Mathematical Practice (APMP)

Paris, Institut Henri Poincaré

November, 2nd-4th 2015




Monday, November 2n2015

8:30 – 9:30:          REGISTRATION

9:30 – 10:00:        OPENING SESSION: Marco Panza, Jessica Carter, José Ferreiros

10:00 – 11:30:    Chair: Marco Panza   

Paolo Mancosu (UC, Berkeley, USA), Definitions by abstraction and the nature of abstracta from Grassmann to Weyl

11:30 – 11:45:       COFFEE BREAK

11:45 – 1:15:       CONTRIBUTED PAPERS

Amphi Hermite

Chair: Giorgio Venturi

Room 01

Chair: Gisele Secco

Room 201 (2nd floor)

Chair: Juan Luis Gastaldi

11:45 – 12:30

Pauline van Wierst

(Scuola Normale Superiore, Italy)

Grounding in Bolzano’s Purely Analytic Proof

Yacin Hamami

(Vrije Universiteit Brussel, Belgium)

The granularity of proof : McKay’s Proof of Cauchy’s Group theorem as a case study

Moreno Andreatta


Exploring the « mathmusical » dynamics:  some theoretical and philosophical aspects of a musically driven mathematical practice

12:30 –1:15

Georg Schiemer

(University of Vienna, Austria)

Duality and transfer principles:

The rise of model-theoretic methods in projective geometry.

Davide Crippa

(Université Paris Diderot, France)

From irreducible to reducible impossibility theorems : A shift in mathematical practice

Karen Francois

(Free University Brussels, Belgium)

Brendan Larvor

(University of Hertfordshire, UK) The concept of culture in the study of mathematical practice


1:15 – 2:45:       LUNCH BREAK


2:45 – 3:00:    Bourbaki à l'Amphi Hermite, Jean-Jacques Szczeciniarz

3:00 – 4:30:      Chair: Jean-Jacques Szczeciniarz 

Danielle Macbeth (Haveford College, USA), Logical Form, Mathematical Practice, and Frege's Begriffsschrift.

4:30 – 5:00:       COFFEE BREAK

5:00 – 6:30:       CONTRIBUTED PAPERS

Amphi Hermite

Chair: Dirk Schlimm

Room 01

Chair: Michele Ginammi

Room 201 (2nd floor)

Chair: Bart van Kerkhove


 5:00 – 5:45


Madeline Muntersbjorn

(University of Toledo, USA)

Geometric rectification & Algebraic epresentation

Sorin Bangu

(University of Bergen, Norway)

Mathematical Knowledge from a Psychological point of view

J. Brian Pitts

(Cambridge University, UK)

Theory Testing, Theory Construction, and Ontology for Space-time:  What Theory(s), Logic(s), and Geometry(s) Do We Need?


 5:45 – 6:30


 Javier Legris


Symbolic knowledge and the constitution of objects in Mathematical Practice


Markus Pantsar

(University of Helsinki, Finland)

Metaphors and Mathematical concepts

Méven Cadet

(Universite Paris 1, France)

The Logocentric Predicament: What about

a Semantic Theory? A study of Frege’s case



Tuesday, November 3rd 2015

9:30 – 11:00:    Chair: Pierre Wagner

Abel Lassalle Casanave (Univ. Fed. De Bahia, Brésil), Toward a rhetorical analysis of proofs

11:00 – 11:30:       COFFEE BREAK

11:30 – 1:00:       CONTRIBUTED PAPERS

Amphi Hermite

Chair: Markus Pantsar

Room 01

Chair: Yacin Hamami

Room 201 (2nd floor)

Chair: Pauline van Wierst


 11:30 – 12:15


James Tappenden

(University of Michigan, USA)

Styles of Mathematical Explanation

Gisele Secco

(Universidade Federal do Rio

Grande do Sul, Brasil)

On the relevance of the Four-color theorem

Roy Wagner

(Tel Aviv University, Israel)

A constraints based philosophy of mathematics


 12:15 –1:00


Giorgio Venturi

(University of Campinas, Brasil)

Mathematical explanation and its practice

Luca San Mauro

(Scuola Normale Superiore, Italy) 

Taking Foundational Programs as practices themselves : Informal proofs in computability

Ansten Klev

(Czech Academy of Sciences, Czech


The algebraic notion of function


1:00 – 3:00 :      LUNCH BREAK


3:00 – 4:30 :     Chair: Valeria Giardino

Jeremy Gray (Open University, Milton Keynes, UK), Hermann Weyl: matter and epistemology

4:30 – 5:00 :      COFFEE BREAK

5:00 – 6:30 :      CONTRIBUTED PAPERS

Amphi Hermite

Chair: Madeline Muntersbjorn 

Room 01

Chair: Davide Rizza

Room 201 (2nd floor)

Chair: Eduardo Giovannini


5:00 – 5:45


Rochelle Gutierrez

(University of llinois at Urbana-Champaign, USA)

What is Mathematics? Preservice Secondary mathemstics Teachers’ Perceptions


Walter Dean

(University of Warwick, UK)

Degrees and difficulty

Michele Ginammi

(Scuola Normale Superiore, Italy)

 Avoiding reification : The heuristic effectiveness of mathematics and the discovery of the the omega minus particle


 5:45 – 6:30


Chair: Madeline Muntersbjorn

Emily Grosholz

(Penn State, USA)

Report on ICSU Workshop on Cultures of

Mathematical Research Training

Yaroslav D. Sergeyev

(Università della Calabria, Italy)

Methodological and philosophical aspects of a new approach allowing one to work with infinities and infinitesimals numerically

Karl-Heinz Schlote

(University of Hildesheim, Germany)

Carl Neumann’s view on mathematical physics

7:00 – 8:00:       General Assembly of APMP, at the IHPST,

13, rue du Four, 75006 Paris



Wednesday November 4th,2015

9:30 – 11:00:     Chair: Marcus Giaquinto    

Silvia De Toffoli (Stanford Univ.), ‘Chasing’ the Diagram—The Use of Space in Algebraic Reasoning. ‘Chasing’ the Diagram—The Use of Space in Algebraic Reasoning

11:00 – 11:30:       COFFEE BREAK

11:30 – 1:00:       CONTRIBUTED PAPERS

Amphi Hermite

Chair: Sorin Bangu

Room 01

Chair: Luca San Mauro

Room 201 (2nd floor)

Chair: Davide Crippa


11:30 – 12:15


Joachim Frans and Bart Van Kerkhove

(Vrije Universiteit Brussel, Belgium) A contextual approach to the explanatory value of mathematical visualisations

Luis Gastaldi

(Paris Ouest Nanterre, France)

Boole’s arithmetic of 0 and 1 : The mathematical conditions of logic

Eduardo Giovannini

(CONICET, Argentina)

Hilbert on Geometry, Continuity and



12:15 –1:00


Colin Jakob Rittberg

(University of Hertfordshire, UK)

Mathematical Pull

Dirk Schlimm

(McGill, Canada)

Towards a cognitive and pragmatic account

of notations for propositional logic

Elías Fuentes Guillén

(University of Salamanca,Spain)

"Bienvenue, Monsieur Brejnev". Weierstrass or the dilemma of revolutionaries


1:00 – 3:00 :      LUNCH BREAK


3:00 – 4:30 :      CONTRIBUTED PAPERS 

Amphi Hermite

Chair: Walter Dean

Room 01

Chair: Emily Grosholz

Room 201 (2nd floor)

Chair: Georg Schiemer


3:00 – 3:45


José Ferreirós

(University of Sevilla, Spain)

Practice and ideology behind Wigners

Eric Vandendriessche

(Universite Paris Diderot, France)

String figures as mathematics?

Kevin Kuhl

(University of Toronto, Canada) Structuralism and (meta) mathematical disagreement


3:45 – 4:30


Davide Rizza

(University of East Anglia, UK),

Mathematisation : An elementary analysis

Pietro Milici

(University of Palermo, Italy)

A finitist differential extension of Descarte's balance between machines, algebra and geometry

Fenner Tanswell

(St Andrews, Scotland)

Rigor, proof and mathematical virtues

4:30 – 5:00 :      COFFEE BREAK

5:00 – 6:30 :    Chair: Jessica Carter

Leo Corry (Tel-Aviv Univ. Israel). Geometry and arithmetic in the mathematical practice of the medieval and renaissance traditions of Euclid's Elements



Create an account to access Registration.
Online user: 1