1st SNS-KCL Logic and Philosophy of Mathematics Meeting
Image: Cornelis Cort, Three men read while a woman writes numerals - CC Wikimedia Commons
1st SNS-KCL Logic and Philosophy of Mathematics Meeting
Speakers
- Matteo Bizzarri - Scuola Normale Superiore
- Pietro Brocci - Scuola Normale Superiore
- Maria Beatrice Buonaguidi - King’s College London
- Pedro Del Valle-Inclan - Scuola Normale Superiore
- Pablo Dopico - King’s College London
- Mahin Hossain - King’s College London
- Graham Leigh - University of Gothenburg
- Carlo Nicolai - King’s College London
- Lavinia Picollo - National University of Singapore
- Andrea Sabatini - Scuola Normale Superiore
- Matteo Tesi - Technische Universität Wien
- Pietro Vigiani - Scuola Normale Superiore
Organized by MUR PRIN project PUMa “Proof and understanding in mathematics. Purity of methods, simplicity, and explanation in mathematical reasoning” CUP: E53D23009000006, “Finanziamento dell’Unione Europea – NextGenerationEU, M4c2” (P. I. Prof. Mario Piazza - 2022TYNY32)
Programme
12 JUNE
9.05 Maria Beatrice Buonaguidi (King’s College London)
What’s the HYPE about hyperintensional logics? Fine-grained criteria for hyperintensionality
9.55 Matteo Bizzarri (Scuola Normale Superiore)
Proof theory and music analysis: a novel approach
10.40 Coffee break
11.10 Mahin Hossain (King’s College London)
Gödel disjunction in various axiomatic theories of truth
12.00 Pedro Del Valle-Inclán (Scuola Normale Superiore)
Carnap’s problem, definability and compositionality
12.45 Lunch break
14.15 Graham Leigh (University of Gothenburg)
Proof, truth and verification
15.20 Pablo Dopico (King’s College London)
An axiomatic theory of truth for maximal consistent supervaluations and its reflective closure
16.05 Coffee Break
16.40 Matteo Tesi (Technische Universität Wien)
Logic, contradictions and fractional interpretations
17.30 Andrea Sabatini (Scuola Normale Superiore)
A new Gentzen-style approach to default logics
20:00 Social Dinner
13 JUNE
9.05 Pietro Brocci (Scuola Normale Superiore)
The justificatory power of classical disquotational truth
10.00 Pietro Vigiani (Scuola Normale Superiore)
Entailment and containment: a ternary approach to information and topic inclusion
10.50 Lavinia Picollo (National University of Singapore)
Topic-neutrality without semantics
11.50 Break
12.00 Carlo Nicolai (King’s College London)
Instantiation patterns
12.45 Lunch