Laura Crosilla

Image of person
Could not get user data from external service

Academic interests

My main research interests are in the philosophies of mathematics and logic, in mathematical logic and in the philosophy of science. A common theme in my philosophical and mathematical research has been the comparison and evaluation of a variety of approaches (philosophical and/or formal) to the concept of set. I have especially worked on constructive and predicative set theories and explored their philosophical motivation. A common trait of these approaches is a view of mathematical entities as specifiable from the bottom up and from within. Such a view of mathematical entities is typically combined with potentialist views of infinity. My analysis of predicativism is strongly influenced by the work, in this context, by Henri Poincaré and Hermann Weyl. 

See also my personal website.

Current Project

I am presently Researcher in the project Infinity and Intensionality: Towards a New Synthesis, funded by the Research Council of Norway.

See this Events webpage for upcoming events within the project.

From July 2019 to July 2021, I was Marie Skłodowska Curie Individual Fellow, with a project founded by the European Union Horizon 2020 programme, Grant agreement: 838445. The project's title is: Infinity in Mathematics: A Philosophical analysis of Critical Views of Infinity

Talks 

Invited speaker at Type theory, constructive mathematics, and geometric logic, Luminy, France, 1-5 May 2023.

Invited speaker at Mathematical Logic Webinar, Lisbon (online), 27 January 2023.

Invited speaker at Nordic Online Logic seminar, The Scandinavian Logic Society (online), 28 November 2022.

Invited speaker at Seminario di Logica e Filosofia della Scienza, Florence, Italy, 28 October 2022.

Invited speaker at AILA 2022 (XXVII meeting of the Italian Association for Logic and its Applications) Caserta, Italy, 12-15 September 2022.

Invited speaker at the Special Session on Philosophy of Mathematics, Logic Colloquium 2022, Reykjavik, Iceland, 27 June - 1 July 2022.

Co-Organiser of Engineering the Concept of Collection, Oslo, 20-21 June 2022. 

Invited to Workshop on Reverse Mathematics and its Philosophy, University of Chicago Center in Paris, France and Online, June 13-17, 2022.

Invited speaker, Proof and Computation 2022, Kloster Schlehdorf, Germany, 30 May - 2 June 2022.

Invited speaker, Philosophical Roots of Mathematical Logic, Turin, Italy, April 4-6, 2022.

Invited speaker, Séminaire «Infini mathématique», Université de Paris, France, 10 March 2022.

Invited speaker, Logic for the Friendship of Nations, 14 January 2022 (Online).

Co-organiser of Weyl 2021, 8-10 December, 2021 (Online). 

Invited to Dagsthul Seminar on Geometric Logic, Constructivisation, and Automated Theorem Proving, Dagsthul Castle, Germany, 21 – 26 November 2021. 

Co-organiser of Countabilism Workshop, 10 November, 2021 (Online).

Keynote speaker at Computability in Europe 2021, 5-9 July 2021 (Online).

Keynote speaker at Sixth International Meeting of the Association for the Philosophy of Mathematical Practice, 30 June – 3 July, 2021 (Online).

Co-organizer of the workshop Critical Views of Infinity, 15-16 June 2021 (Online).

Invited speaker at Logic and Philosophy of Science seminar, University of Florence, Italy, 21 April 2021 (Online).

Co-organizer of the Workshop on Predicativity, 9 April 2021 (Online).

Invited talk (joint with Øystein Linnebo) at Varieties of potentialism, 23 September 2020 (Online).

Invited speaker at Generative approaches to properties, Oxford, UK, 7-8 July 2020 (postponed).

Speaker at Taking stock, Oslo, 16 June 2020 (Online).

Invited tutorial speaker at Proofs Computation and Meaning, Tübingen, Germany, 20-21 March 2020 (postponed).

Speaker at 5th International Meeting of the APMP, Zurich, Switzerland, 18-21 January 2020.

Speaker at Mathematical Logic Seminar, University of Oslo, 26 September 2019.

Keynote speaker at Philosophy of mathematics and Proof Theory, Second International Workshop of The Proof Society, Swansea, UK, 11-13 September 2019.

Invited speaker at Second-order logic and the question of (im)predicativity, Oslo, 20-21,  August 2019.

Speaker at Computability in Europe (CiE), Durham, UK, 15-19 July 2019.

Background

I received my first PhD from the School of Mathematics, University of Leeds (2000), with a thesis on the proof theory of constructive set theory. I subsequently held Postdoctoral positions at the Mathematics Institute LMU Munich, the Philosophy Department, University of Florence and the School of Mathematics, University of Leeds. In 2017, I completed a second PhD at the School of Philosophy, Religion and History of Science, University of Leeds, with a thesis on the philosophy of Constructive and Predicative mathematics. In the academic years 2017-18 and 2018-19 I was Teaching Fellow at the Department of Philosophy, University of Birmingham. 

 

Tags: Philosophy

Publications

View all works in Cristin

  • Crosilla, Laura & Schuster, Peter (2005). From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics. Oxford University Press. ISBN 9780198566519.

View all works in Cristin

  • Crosilla, Laura (2022). On Weyl's predicative concept of set.
  • Crosilla, Laura (2022). Hermann Weyl and the roots of Mathematical Logic.
  • Crosilla, Laura (2021). Predicativity and Constructive Mathematics. In Oliveri, Gianluigi; Ternullo, Claudio & Boscolo, Stefano (Ed.), Objects, Structures and Logics. Springer Nature. ISSN 978-3-030-84705-0. p. 287–310. doi: 10.1007/978-3-030-84706-7_11.
  • Crosilla, Laura (2017). Predicativity and Feferman. In Jäger, Gerhard & Sieg, Wilfried (Ed.), Feferman on Foundations Logic, Mathematics, Philosophy. Springer Nature. ISSN 978-3-319-63332-9. doi: 10.1007/978-3-319-63334-3_15.

View all works in Cristin

Published July 3, 2019 8:49 AM - Last modified Jan. 10, 2023 2:21 PM

Projects