Objectivity, Realism, and Proof

SECTION I: MATHEMATICAL OBJECTS AND AXIOMATIZATION.- PART I: THE VARIETIES OF MATHEMATICAL OBJECTS.- Chapter 1: Semantic Nominalism: How I learned to Stop Worrying and Love Universals; Aldo Antonelli.- Chapter 2: Modality, Abstract Structures and Second-Order Logic; Robert Black.- Chapter 3: Category Theory and Set Theory: Algebraic Set Theory as an Example of their Interaction; Brice Halimi.- PART II: AXIOMS AND SET THEORY.- Chapter 4: Absolute Infinity; Leon Horsten.- Chapter 5: Forcing, multiverse and realism; Giorgio Venturi.- Chapter 6: True V or not True V, that is the Question; Gianluigi Oliveri.- SECTION II: REFERENCE AND EPISTEMOLOGY.- PART III: THE PROBLEM OF REFERENCE.- Chapter 7: Numbering Planets and Equating Facts; Robert Knowles.- Chapter 8: Multiversism and the Problem of Reference: How much Relativism is Acceptable? Neil Barton.- PART IV: MATHEMATICAL EPISTEMOLOGY AND COGNITION.- Chapter 9: The modal status of arithmetical truths in a contextual a priori framework; Markus Pantsar.- Chapter 10: Epistemology, Ontology and Application in Pincock's Account: A Weak Link? Marina Imocrante.- Chapter 11: Bootstrapping Rebooted; Mario Santos-Sousa.- SECTION III: FORMAL THEORIES AND THEIR PHILOSOPHY.- PART V: TRUTH AND FORMAL THEORIES.- Chapter 12: Incompleteness and the Flow of Truth; Mario Piazza.- Chapter 13: Notes on Axiomatic Truth and Predicative Comprehension; Carlo Nicolai.- PART VI: INFORMAL NOTIONS AND FORMAL ANALYSIS.- Chapter 14: Logic of Grounding: An Alternative Approach; Francesca Poggiolesi.- Chapter 15: Computability, Finiteness and the Standard Model of Arithmetic; Massimiliano Carrara and Enrico Martino and Matteo Plebani.- Chapter 16: The Significance of Categoricity for Formal Theories and Informal Beliefs; Samantha Pollock.

Andrea Sereni is Associate Professor in Epistemology and Philosophy of Mathematics at the Institute of Advanced Studies (IUSS) in Pavia. He was a Lecturer at Vita-Salute San Raffaele University, Milan, Italy, where he still teaches. He obtained his PhD at Bologna University and was a visiting scholar at the Arche Centre (St.Andrews, Scotland), MCMP Munich, and University of Oslo. His teaching, research and publications cover issues in the philosophy of mathematics, epistemology, and the philosophy of language. He is co-author, with M. Panza, of Plato's Problem, An Introduction to Mathematical Platonism (Palgrave, 2013) and co-editor (with F. Pataut and D. Molinini) of Synthese special issue Indispensability and Explanation. He is member of COGITO, CRESA and NeTS research centres, and coordinator of the promoting committee of the Italian Network for the Philosophy of Mathematics (FilMat). Francesca Boccuni is a Lecturer in Logic and Philosophy of Logic and Science at Vita-Salute San Raffaele University, Milan, Italy. She was a visiting scholar at the University of Oxford, Institute Jean Nicod - CNRS (Paris), Ohio State University, University of Bristol, University of London, and University of Oslo. Her research interests and main publications (Studia Logica, Erkenntnis) concern the abstractionist programme in the philosophy of mathematics and Frege's Logicism, second-order logic and plural logic, and the issue of reference in mathematics. She is member of COGITO and CRESA research centres, and a member of the promoting committee of the Italian Network for the Philosophy of Mathematics (FilMat).