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


Comentarii


Leave a Reply

Your email address will not be published. Required fields are marked *