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 � 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, 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 � 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 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) � 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) � 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 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, 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