11-12 May 2013
Lund, Sweden
Workshop on Intensionality in Mathematics Saturday May 11 and Sunday May 12, 2013 Lund University, Sweden http://www.fil.lu.se/index.php?id=18879 SPEAKERS Francesca Boccuni (University Vita-Salute San Raffaele at Milan) A Theory of Fregean Abstract Objects Walter Dean (University of Warwick) Soundness, reflection, and intensionality Fredrik Engström (University of Gothenburg) On logicality, invariance, and definability Janet Folina (Macalester College) Mathematical intensions and intensionality in mathematics Leon Horsten (Bristol University) Models for absolute provability Martin Kåsa (University of Gothenburg) Consistency statements in semi-euclidean systems Øystein Linnebo (University of Oslo) Modality in Mathematics Sara Negri (University of Helsinki) The intensional side of algebraic-topological representation theorems Barbara Sarnecka (University of California at Irvine) The First Few Numbers: How Children Learn Them and Why It Matters Gila Sher (University of California at San Diego) Mathematics & Logic: Between Theory & Reality Staffan Angere (Bristol University) On the logic of up to Isomorphism Michael Gabbay (King's College London) Making sense of maths: a formalist theory of mathematical intension Jan Heylen (University of Leuven) Peano numerals as buck-stoppers REGISTRATION Participation is free and registration not required. However, please see the above website on how to register for meals. NOTA BENE The Workshop on the "Philosophy of Information and Information Quality" is held on Friday May 10th. http://www.fil.lu.se/index.php?id=18880 with: Kevin Korb (Monash University, Australia) Causality and Information Luciano Floridi (University of Hertfordshire, UK) The Informational Nature of Maker's Knowledge Phyllis Illari (University College London, UK) The Challenges of Information Quality David Ellerman (UC San Diego, USA) Information as Distinctions: New Foundations for Information Theory Tomoji Shogenji (Rhode Island College, Providence, USA) Measuring the Quality of Information ORGANIZERS For Intensionality in Mathematics Paula Quinon, Lund Marianna Antonutti, Bristol Carlo Proietti, Lund For Information Quality Frank Zenker, Lund