Philosophy of Mathematics Today
Friday, June 1st
Chair: Sorin Costreie
09:00 - 10:00 – Patricia Blanchette - Axioms and Conceptual Analysis in Frege
10:00 - 11:00 – Mircea Dumitru - TBA
11:00 - 11:30 - Coffee Break
Chair: Patricia Blanchette
11:30 - 12:30 – Göran Sundholm - Functions
12:30 - 13:30 – Adrian Haret - Deflationist truth in mathematics
13:30 - 15:00 - Lunch Break
Chair: Göran Sundholm
15:00 - 16:00 – David McCarty - Philosophy of Mathematics: Is it all False?
16:00 - 17:00 – Sorin Costreie - On Arithmetical Cognition
17:00 – 17:30 – Coffee Break
Chair: Iulian Toader
17:30 – 18:30 – Gabriel Târziu - The Role of Aesthetic Considerations in the Development and Appreciation of Mathematical Knowledge
Saturday, June 2nd
Chair: Gabriel Sandu
09:00 - 10:00 – Dirk Schlimm - From Pasch to Hilbert: Metaphors for the foundations of mathematics
10:00 - 11:00 – Brice Halimi - Relativizing Tarskian variables
11:00 - 11:30 - Coffee Break
Chair: Dirk Schlimm
11:30 - 12:30 – Michael Detlefsen - On Axiomatic Methods and their Ideals of Completeness
12:30 - 13:30 – Iulian Toader - Algebraıc Closure, Unıfıcatıon, and Understandıng
13:30 - 15:00 - Lunch Break
Chair: Michael Detlefsen
15:00 - 16:00 – Gabriel Sandu - IF logic and foundations of mathematics
16:00 - 17:00 – Markus Pantsar - Empirically feasible epistemology of mathematics
17:00 – 17:30 – Coffee Break
Chair: Marco Panza
17:30 – 18:30 – Andrea Sereni - Frege, Indispensability, and the Compatibilist Heresy
Sunday, May 3rd
Chair: Sebastien Gandon
09:00 - 10:00 – Sean Walsh - Classification in Mathematics: Understanding its Aims and Logic
10:00 - 11:00 – Walter Dean - Dedekind's Categoricity Theorem, schematic induction, and mathematical communication
11:00 - 11:30 - Coffee Break
Chair: Brice Halimi
11:30 - 12:30 – Marco Panza - Abstraction and Epistemic Economy
12:30 - 13:50 – Matthias Schirn - Second-Order Abstraction, Self-Evidence versus Real Knowledge, and the Aftermath of Russell’s Paradox. A Critical Analysis
13:30 - 15:00 - Lunch Break
Chair: Mircea Dumitru
15:00 - 16:00 – Sebastien Gandon - Logicism, Anti-Psychologism and the Philosophy of Mathematical Practices
16:00 - 17:00 – Kit Fine - Truthmaker Semantics for Intuitionistic Logic
Participants
Patricia Blanchette (Notre Dame) - Axioms and Conceptual Analysis in Frege
Sorin Costreie (Romanian Academy, Iaşi Branch) – On Arithmetical Cognition
Walter Dean (Warwick) – Dedekind's Categoricity Theorem, schematic induction, and mathematical communication
Michael Detlefsen (Notre Dame / Paris 7 - Diderot) - On Axiomatic Methods and their Ideals of Completeness
Mircea Dumitru (Bucharest) - TBA
Kit Fine (New York) - Truthmaker Semantics for Intuitionistic Logic
Sebastien Gandon (Blaise Pascal) - Logicism, Anti-Psychologism and the Philosophy of Mathematical Practices
Brice Halimi (Paris Ouest) – Relativizing Tarskian variables
Adrian Haret (Bucharest) - Deflationist truth in mathematics
David McCarty (Indiana) - Philosophy of Mathematics: Is it all False?
Markus Pantsar (Helsinki / Bucharest) - Empirically feasible epistemology of mathematics
Marco Panza (IHPST / Paris I) - Abstraction and Epistemic Economy
Gabriel Sandu (Helsinki) – IF logic and foundations of mathematics
Matthias Schirn (Munich, LMU / Santo Domingo, UASD) - Second-Order Abstraction, Self-Evidence versus Real Knowledge, and the Aftermath of Russell’s Paradox. A Critical Analysis
Dirk Schlimm (McGill) - From Pasch to Hilbert: Metaphors for the foundations of mathematics
Andrea Sereni (San Raffaele) - Frege, Indispensability, and the Compatibilist Heresy
Göran Sundholm (Leiden) – Functions
Gabriel Târziu (Romanian Academy, Iaşi Branch) - The Role of Aesthetic Considerations in the Development and Appreciation of Mathematical Knowledge
Iulian Toader (Bucharest) - Algebraıc Closure, Unıfıcatıon, and Understandıng
Sean Walsh (Birkbeck College) - Classification in Mathematics: Understanding its Aims and Logic
| Acasă | Despre noi | Membri | Publicaţii | Evenimente | Contact | BCAP 2014 | BCAP 2015 | ECAP8 |  RSS |
