[Athena] "Representation and axiomatization: power and limits". Paris, 19th-21st March

[Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>]

**Representation and axiomatization: power and limits**

March 19-21, 2015
Paris, Institut d'Histoire et de Philosophie des Sciences et des  
Techniques (IHPST)

(http://www.ihpst.cnrs.fr/activites/colloques/representation-and-axiomatization-power-and-limits)

Supported by

ANR-DFG ``HYPOTHESES. Hypothetical reasoning: its proof-theoretic analysis''
(http://ls.informatik.uni-tuebingen.de/hypotheses/)

ANR-DFG ``Mathematics: Objectivity by representation''
(https://sites.google.com/site/mathobre/)


**Thursday 19th**

09h30 - 10h45 Dirk Schlimm (McGill University), ``Axioms in  
mathematical practice''

10h45 - 11h00 Coffee break

11h00 - 12h15 Jean-Pierre Marquis (Université de Montréal),  
``Axiomatization as conceptual design''

12h15 - 14h15 Lunch

14h15 - 15h30 Charles Parsons (Harvard University), ``Concepts vs. objects''

15h30 - 15h45 Coffee break

15h45 - 17h00 Catarina Dutilh Novaes (University of Groningen),  
``Mathematical proofs: between orality and writing''

17h00 - 17h15 Coffee break

17h15 - 18h30 Valeria Giardino (Institut Jean Nicod, École Normale  
Supérieure), ``Towards a cognitive semiotics for mathematics''


**Friday 20th**

9h00 - 10h15 Øystein Linnebo (University of Oslo), ``Reference and  
criteria of identity''

10h15 - 10h30 Coffee break

10h30 - 11h45 Georg Schiemer (University of Vienna), ``The  
structuralist thesis''

11h45 - 13h Erich Reck (University of California at Riverside),  
``Axiomatics, modern logic, and structuralist mathematics''

13h - 14h30 Lunch

14h30 - 15h45 Wilfried Sieg (Carnegie Mellon University), ``The  
concept of computation: an axiomatic characterization''
15h45 - 16h Coffee break

16h - 17h15 Leon Horsten (University of Bristol), ``How have we  
determined what arithmetic is about?''

17h15 - 17h30 Coffee break

17h30 - 18h45 Volker Halbach (University of Oxford), ``Representing  
self-reference in arithmetic''


**Saturday 21st**

9h00 - 10h15 Walter Carnielli (University of Campinas), ``Formal  
plenitude and Curry's paradox: Sketch of an expanded theory for  
arithmetical truth''

10h15 - 10h30 Coffee break

10h30 - 11h45 Victor Pambuccian (Arizona State University),  
``Provability in axiom systems for weak arithmetic and geometry  
without actual proofs''

11h45 - 13h Robert Hale (University of Sheffield), ``Definition by  
abstraction and real definition''

13h - 14h30 Lunch

14h30 - 15h45 Mattia Petrolo (IHPST, Paris), ``Negation as an  
ideality: From conservativeness to constructibility''

15h45 - 16h Coffee break

16-17h45 Göran Sundholm (Leiden University), ``Axiom, assumption,  
presupposition''


*Conference venue*

Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
Salle de conférences
13 rue du Four
75006 Paris
http://www.ihpst.cnrs.fr

*Organizing committee*

Jean Fichot (IHPST, Univ. Paris 1 Panthéon-Sorbonne),  
jean.fichot AT univ-paris1.fr
Gerhard Heinzmann (Archives Henri Poincaré, Univ. de Lorraine),  
gerhard.heinzmann AT univ-lorraine.fr
Alberto Naibo (IHPST, Univ. Paris 1 Panthéon-Sorbonne),  
alberto.naibo AT univ-paris1.fr
Marco Panza (IHPST, Univ. Paris 1 Panthéon-Sorbonne),  
marco.panza AT univ-paris1.fr




--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.