Program
Meanings and Understanding via Proofs. Logical and epistemological approaches
CIVIS Summer School, University of Bucharest, 17-21 July 2023
Meeting ID: 843 515 0187
Monday, July 17 (Amf. Ioan Mihăilescu, Rectorate Building, 1st floor, Soseaua Panduri 90-92)
09:30 Introductory Remarks
10:00 –11:30 Mircea Dumitru (University of Bucharest/ Romanian Academy) - Models and Proofs
11:45 –13:15 Gabriel Sandu (University of Helsinki) - Game Theoretic Semantics. Proofs vs. Strategies
13:15 –15:00 Lunch Break
15:00 –16:30 Constantin C. Brîncuș (IFPAR/ University of Bucharest)- Open-ended Logical Inferentialism
16:45 –18:15 Iulian D. Toader (University of Vienna) - Quantum-theoretical Inferentialism
19:30 Dinner: Casa Universitarilor (Str. Dionisie Lupu 46)
Tuesday, July 18 (Amf. Mircea Florian, Faculty of Philosophy, 1st floor, Str. Splaiul Independenței 204)
10:00 – 11:30 Sorin Bangu (University of Bergen)- How can we have mathematical knowledge? A cognitive middle way
11:45 – 13:15 Annalisa Cusi (Sapienza University of Rome)- Teaching-learning of proof at upper secondary school level
13:15 – 15:00 Lunch Break
15:00 – 16:30 Andrei Sipoș (University of Bucharest & IMAR & ILDS) - Glimpses of proof mining
16:45 – 18: 15 Fabien Carbo-Gil (Université d'Aix-Marseille) - Understanding what we misunderstand by proving the unprovable
Wednesday, July 19 (Amf. Ioan Mihăilescu, Rectorate Building, 1st floor, Soseaua Panduri 90-92)
10:00 – 11:30 Thomas Piecha (University of Tübingen) – Constructive Semantics
11:45 – 13:15 Valentin Goranko (Stockholm University) - Hybrid Deduction–Refutation Systems: Proofs and Refutations Getting Married. (online via ZOOM)
13:15 –16:00 Lunch Break
16:00 –17:30 Antonio Piccolomini d'Aragona (Institute of Philosophy, Czech Academy of Sciences) - What to prove and how to prove: two views on the distinction between proof-objects and proof-acts
17:45 – 19:15 Reinhard Kahle (University of Tübingen) - Gödel's Incompleteness Theorems (online via ZOOM)
20:00 Dinner: Casa Universitarilor (Str. Dionisie Lupu 46)
Thursday, July 20
09:30 Visit to Bran and Peleș Castles
We meet at 09:15 in front of the Faculty of Law, Bulevardul Mihail Kogălniceanu 36-46.
15:00 Study for Friday Presentations
Friday, July 21 (Amf. Ioan Mihăilescu, Rectorate Building, 1st floor, Șoseaua Panduri 90-92)
10:00 – 11:30 Student Presentations I
11:45 – 14:15 Student Presentations II
14:15 Lunch Break