Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of methods, algorithmic undecidability and "truth". I would like to make my talk very historical and educational and will start with pre-Godelean metamathematics and the first few metamathematical...

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.

Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.". Abstract: In a recent article (Review of Symbolic Logic 2009), I have explored the historical, mathematical, and philosophical issues related to the new theory of numerosities. The theory of numerosities provides a context in which to assign numerosities to infinite sets of natural numbers in such a way as to preserve...

Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experiences, Expected Inaccuracy, and the Value of Knowledge". Abstract: I argue that van Fraassen's reflection principle is a principle of rational learning. First, I show that it follows if one wants to minimize expected inaccuracy. Second, the reflection principle is a consequence of a postulate describing genuine learning situations, which is related to the value of knowledge theorem in decision...

Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philosophy". Abstract: Hannes Leitgeb rightly claims that "contemporary critics of mathematization of (parts of) philosophy do not so much put forward arguments as really express a feeling of uneasiness or insecurity vis-à-vis mathematical philosophy." (Leitgeb 2013: 271) This paper is designed to articulate arguments in the place of that feeling of uneasiness. The hope is that...

Colloquium Mathematical Philosophy, Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.

Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-theoretic in character: theories are understood as theory schemata that implicitly define a number of primitive terms and that can be interpreted in different models. Moreover, starting with Hilbert's work, metatheoretic results...

Colloquium Mathematical Philosophy, Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-theoretic in character: theories are understood as theory schemata that implicitly define a number of primitive terms and that can be interpreted in different models. Moreover, starting with...

José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of Mathematics in Practice". Abstract: The aim of the talk will be to present some of the basic aspects of my approach to mathematical epistemology, developed in the forthcoming book Mathematical Knowledge and the Interplay of Practices (Princeton UP). The approach is agent-based, considering mathematical systems as frameworks that emerge in connection with practices of different...

Colloquium Mathematical Philosophy, José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of Mathematics in Practice". Abstract: The aim of the talk will be to present some of the basic aspects of my approach to mathematical epistemology, developed in the forthcoming book Mathematical Knowledge and the Interplay of Practices (Princeton UP). The approach is agent-based, considering mathematical systems as frameworks that emerge in...

Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Russell proposed to ban the vicious circle principle, nowadays called impredicative definition, by which a set may be defined by referring to the totality of sets it belongs to. Russell's proposal was taken up by Weyl and Feferman in their development of the foundational program predicativist...

Colloquium Mathematical Philosophy, Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Russell proposed to ban the vicious circle principle, nowadays called impredicative definition, by which a set may be defined by referring to the totality of sets it belongs to. Russell's proposal was taken up by Weyl and Feferman in their development of the...

Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of mathematics itself using methods of mathematics in a broad sense (not necessarily based on any formal system of logic). In the evolution of mathematics certain steps of abstraction have led from numbers to sets of numbers, from sets to functions and eventually to function spaces. Another meaningful...

Colloquium Mathematical Philosophy, Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of mathematics itself using methods of mathematics in a broad sense (not necessarily based on any formal system of logic). In the evolution of mathematics certain steps of abstraction have led from numbers to sets of numbers, from sets to functions and eventually to...

Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) titled "Quantified probability logics: how Boolean algebras met real-closed fields". Abstract: This talk is devoted to one interesting probability logic with quantifiers over events — henceforth denoted by QPL. That is to say, the quantifiers in QPL are intended to range over all events of the probability space at hand. Here I will be concerned with fundamental questions about the...

Colloquium Mathematical Philosophy, Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) titled "Quantified probability logics: how Boolean algebras met real-closed fields". Abstract: This talk is devoted to one interesting probability logic with quantifiers over events — henceforth denoted by QPL. That is to say, the quantifiers in QPL are intended to range over all events of the probability space at hand. Here I will be concerned...

Irina Starikova (Sao Paulo) gives a talk at the MCMP Colloquium (8 January, 2015) titled "Symmetry and Mathematicians' Aesthetic Preferences: a Case Study". Abstract: Symmetry plays an important role in some areas of mathematics and has traditionally been regarded as a factor of visual beauty. In this talk I explore the ways that symmetry contribute to mathematicians’ aesthetics judgments about mathematical entities and representations. I discuss an example from algebraic graph theory....

Colloquium Mathematical Philosophy, Irina Starikova (Sao Paulo) gives a talk at the MCMP Colloquium (8 January, 2015) titled "Symmetry and Mathematicians' Aesthetic Preferences: a Case Study". Abstract: Symmetry plays an important role in some areas of mathematics and has traditionally been regarded as a factor of visual beauty. In this talk I explore the ways that symmetry contribute to mathematicians’ aesthetics judgments about mathematical entities and representations. I discuss an example...

Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current version is “gunky” in that it does not recognize points, as part of regions, but it does make essential use of actual infinity. The purpose of this paper is to produce a more Aristotelian theory, eschewing both the actual existence of points and infinite sets, pluralities, or...

Colloquium Mathematical Philosophy, Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current version is “gunky” in that it does not recognize points, as part of regions, but it does make essential use of actual infinity. The purpose of this paper is to produce a more Aristotelian theory, eschewing both the actual existence of points and...

Hourya Benis-Sinaceur (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Neuropsychology of numbers". Abstract: How do we extract numbers from our perceiving the surrounding world? Neurosciences and cognitive sciences provide us with a myriad of empirical findings that shed light on hypothesized primitive numerical processes in the brain and in the mind. Yet, the hypotheses based on which the experiments are conducted, hence the...

Workshop on Mathematics: Objectivity by Representation, Hourya Benis-Sinaceur (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Neuropsychology of numbers". Abstract: How do we extract numbers from our perceiving the surrounding world? Neurosciences and cognitive sciences provide us with a myriad of empirical findings that shed light on hypothesized primitive numerical processes in the brain and in the mind. Yet, the hypotheses...

Manuel Rebuschi (Poincaré Archives, University of Lorraine, Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "IF epistemic logic and mathematical knowledge". Abstract: Can epistemic logicstate anything interesting about the epistemology of mathematics? That's one of Jaakko Hintikka’s claims. Hintikka was not only the founder of modal epistemic logic (1962), since he also worked on the foundations of mathematics (1996). Using what he...

Workshop on Mathematics: Objectivity by Representation, Manuel Rebuschi (Poincaré Archives, University of Lorraine, Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "IF epistemic logic and mathematical knowledge". Abstract: Can epistemic logicstate anything interesting about the epistemology of mathematics? That's one of Jaakko Hintikka’s claims. Hintikka was not only the founder of modal epistemic logic (1962), since he also worked...