30 min break (due to the cancellation of Claudio Calosi's presentation)
On the significance of categoricity arguments Adrian Ludusan, G. Zane Institute for Economic and Social Research, Romanian Academy, Ia?i branch, Ia?i, ROMANIA Proper Classes, Forcing Extensions, and Universism; Understanding the role of simulation in mathematics Neil Barton, Philosophy, Birkbeck College, London, UNITED KINGDOM
Fixed Point Models for Theories of Properties and Classes Greg Restall, School of Historical and Philosophical Studies, University of Melbourne, Parkville, AUSTRALIA
Mathematics in Structural Explanations Min Tang, Philosophy, University of North Carolina Chapel Hill, Chapel Hill, USA
State constraint system applicable to judgement adjusting Susumu Yamasaki, Computer Science, Okayama University, Okayama, JAPAN
Keeping Pure and Applied Mathematics Together: the Role of Frege’s Constraint. Andrea Sereni, Humanities, Institute of Advanced Studies IUSS, Pavia, ITALY Indiscernibility in mathematics Brice Halimi, Philosophy, University Paris Ouest, Nanterre, FRANCE
Why Post did not have Turing's Thesis Wilfried Sieg, Philosophy, Carnegie Mellon University, Pittsburgh, USA Mate Szabo, Philosophy, Carnegie Mellon University, Pittsburgh, USA Dawn McLaughlin, Philosophy, Carnegie Mellon University, Pittsburgh, USA
Squeezing feasibility Walter Dean, Philosophy, University of Warwick, Coventry, UNITED KINGDOM
Justifying proof-theoretic reflection Marianna Antonutti Marfori, IHPST, Université Paris 1 - Panthéon Sorbonne, Paris, FRANCE
Reference and Invariance in Abstraction Principles Francesca Boccuni, Philosophy, University Vita-Salute San Raffaele, Milano, ITALY
Characterization of the style of mathematical proving by means of Roman Jakobson’s communication model Petros Stefaneas, Mathematics, NTUA, Athina, GREECE Ioannis Vandoulakis, Greek Open University, Athina, GREECE
Ampliative Reasoning: The Specificity of Mathematical Language and the Uses of Ambiguity Emily Grosholz, Department of Philosophy, The Pennsylvania State University, University Park, USA
Polyadic and Higher-Order Abstraction Principles Beau Madison Mount, Philosophy , Oxford University , Oxford , UNITED KINGDOM
Dispensability of Higher-Order in Mathematics Besim Karakadilar, Philosophy, University of Helsinki, Helsinki, FINLAND
Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky Andrei Rodin, Institute of Philosophy, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION
Gödel's Second Incompleteness Theorem Is Predicate Dependent Alexandr Bessonov, Logic and epistemology, Institute of Philosophy and Law, Novosibirsk, RUSSIAN FEDERATION
Jerzy Neyman on Sampling and Experimentation - Parallels to Bayesian Rationale. Adam Kubiak, Department of Theory of Knowledge, The John Paul II Catholic University of Lublin, Lublin, POLAND
On the explanation of linkedness of Kolmogorov’s requirements to probabilities Vladimir Reznikov, Department Logic and Epistemology, Institute of Philosophy and Law of the SB RAS, Novosibirsk, RUSSIAN FEDERATION