1-3 June 2012
Bucharest, Romania
Bucharest Colloquium in Analytic Philosophy 2012: Philosophy of Mathematics Today BCAP 2012 Bucharest Colloquium in Analytic Philosophy 2012 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 On Fine on the Fregean approach to conceptual abstraction 11:00 11:30 Coffee Break Chair: Patricia Blanchette 11:30 12:30 Gran Sundholm Functions 12:30 13:30 Adrian Haret Deflationist truth in mathematics 13:30 15:00 Lunch Break Chair: Gran 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 Trziu 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, June 3rd Chair: Sebastien Gandon 09:00 10:00 Sean Walsh Classification in Mathematics: Understanding its Aims and Logic 10:00 11:00 Walter Dean Dedekinds 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 Russells 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 List of Participants: Patricia Blanchette (Notre Dame) Axioms and Conceptual Analysis in Frege Sorin Costreie (Romanian Academy, Ias,i Branch) On Arithmetical Cognition Walter Dean (Warwick) Dedekinds 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) On Fine on the Fregean approach to conceptual abstraction 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 Russells 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 Gran Sundholm (Leiden) Functions Gabriel Trziu (Romanian Academy, Ias,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