21 October 2022, Workshop "Higher-Level Dimensions in Logic", Madrid, Spain

WORKSHOP

Higher-Level Dimensions in Logic

TIME AND PLACE:

October 21st, 2022

Department of Logic and Theoretical Philosophy

Complutense University of Madrid

Philosophy Building A, Room 215

SCHEDULE:

10:00–11:15	María Manzano (University of Salamanca), Antonia Huertas (Open University of Catalonia) and Manuel Martins (University of Aveiro), “Hybrid Partial Type Theory”
coffee break
11:45–13:00	Rafał Gruszczyński (Nicolaus Copernicus University in Toruń), “Higher-Order Constructions in Geometry”
lunch
14:30–15:45	Pilar Terrés (University of Salamanca), “Logical Connectives As Punctuation Marks in Substructural Logics”
15:45–17:00	Kordula Świętorzecka and Marcin Łyczak (Cardinal Stefan Wyszyński University in Warsaw), “The Second-Order Theory of Predicative Changes. Basics and Perspectives”
coffee break
17:30–18:45	Patrick Blackburn (University of Roskilde), “Higher-Order Logic in the Philosophy of Arthur Prior”
aperatif and dinner

REGISTRATION:

There are no registration fees, but if you would like to attend please let Elia Zardini know at ezardini at ucm.es