Chapman - SNS Workshop on Logic and Philosophy of Mathematics

This workshop will bring together graduate students and researchers affiliated to Chapman University and the Scuola Normale Superiore di Pisa, and working in logic and philosophy of mathematics broadly construed.

Organizers: Guillaume Massas (Chapman University), Marco Panza (Chapman University), Mario Piazza (SNS Pisa) and Matteo Tesi (SNS Pisa).

Schedule: 9am to 6:30pm on April 15, 9:30-11am and 4-6:45pm on April 16.

Zoom link: https://chapman.zoom.us/j/95233162579 password: Logic!

Speakers: 

Wednesday, April 15

9:00-9:45: Pedro del Valle Inclán (Institute Vienna Circle) -- Structural Rules and the Meaning of Logical Connectives

9:45-10:30: Bas Kortenbach (SNS Pisa) -- A New Framework for Metainferential Logic

11:00-11:45: Andrea Sabatini (SNS Pisa) -- Profile-Sensitive Consequence

11:45-12:30: Thomas Sachen (SNS Pisa) -- Domain-Dependent Proof Identity: the Infinitude of Primes in the Profinite Integers

2:00-2:45: James Francese (Chapman University) -- An Amorphous Continuum: Algorithmic Randomness and the Formal Ground of Motion

2:45-4:00: José Gil-Ferez (Chapman University) -- Formalizing Euclid’s Deductive Arguments

4:30-5:15: Ana Belén Avilez García (Chapman University) -- Perfectly Regular Frames

5:15-6:30: Matteo Tesi (SNS Pisa) -- Intuitionistic Logic, Cycles, and Provability Interpretation

Thursday, April 16

9:30-10:15: Pietro Vigiani (Ghent University) -- Dunn-Style Completeness of Modal RM and some Cousins

10:15-11:00: Miguel Trejo Huerta (Chapman University) -- Stone Duality, Stably Compact Spaces, and MLS

4:15-5:30: Francesca Poggiolesi (CNRS) -- Explaining with Reasons: from Aristotle to Machine Learning Classifiers

5:30-6:45: Brice Halimi (Université Paris-Cité) -- Abstracting away from Abstraction Principles