1st SNS-KCL Logic and Philosophy of Mathematics Meeting

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


  • 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)


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


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