Il corso di Logica 2, B026399 (B042), inizierà lunedì 14 Settembre, ore 17:00, Aula 16, di Via Capponi, 9. Si raccomanda di iscriversi al più presto sulla pagina MOODLE del corso.
Su appuntamento scrivendo una email a laura.crosilla @ unifi.it con dall'account istituzionale con oggetto "richiesta ricevimento".
Vedi voce "Curriculum"
Dipartimento di Lettere e Filosofia (DILEF), Sezione di Filosofia
Università degli Studi di Firenze
Via della Pergola 60, 50121 Firenze
Education
PhD in Philosophy, University of Leeds; 2012–16. Thesis: Constructivity and Predicativity: Philosophical Foundations.
PhD in Mathematics, University of Leeds; 1997–2000. Thesis: Realizability interpretations for constructive set theories with restricted induction.
Degree in Philosophy (combined BA and MA), University of Florence, 1995. Marks: 110/110 cum laude. Dissertation: Logica Combinatoria Illativa, Strutture di Frege e loro estensioni.
Employment
Researcher (RDT A), Dipartimento di Lettere e Filosofia, University of Florence, Italy, 1st of September 2023 - present.
Senior Researcher (Forsker – Position Code 1109), Infinity and Intensionality Project (Research Council of Norway), Prof. Øystein Linnebo (PI), Department of Philosophy, Classics, History of Art and Ideas, University of Oslo, Norway, August 2021–August 2023.
Marie Skłodowska-Curie Individual Fellow (Post-Doctoral Fellow – Position Code 1352), project Infinity in Mathematics, Department of Philosophy, Classics, History of Art and Ideas, University of Oslo, Norway, July 2019–July 2021.
Teaching Fellow, Department of Philosophy, University of Birmingham, September 2017–June 2019.
Research Assistant, School of Philosophy, Religion and History of Science, University of Leeds, ERC Starting Grant The nature of Representation, Prof. Robert Williams (PI); March 2015–December 2015.
Graduate Teaching Fellow, School of Philosophy, Religion and History of Science, University of Leeds, January 2012–February 2015.
Postdoctoral Fellow, School of Mathematics, University of Leeds, Prof. Michael Rathjen (PI), EPSRC project Constructive set theory: Models, independence results and mathematics; July 2009–September 2010 and April 2011–December 2011.
Maternity: October 2010–March 2011.
Research grant (PI), awarded by the John Templeton Foundation, title: Infinity in constructive mathematics; January 2008–February 2009.
Maternity: July 2005–June 2007.
Postdoctoral Fellow (Assegno di Ricerca), Department of Philosophy, University of Florence, research group led by Prof. Andrea Cantini; July 2003–June 2005.
Wissenschaftlicher Mitarbeiterin, Institute of Mathematics, LMU Munich; September 2002–August 2003.
Postdoctoral Fellow, Institute of Mathematics, LMU Munich, Graduiertenkolleg “Logik in der Informatik”, research group led by Prof. Helmut Schwichtenberg; October 2000–August 2002.
Research interests
Philosophy of Mathematics and Philosophy of Logic, History of Logic, Mathematical Logic and Philosophical Logic, especially Constructive Set Theory, Proof Theory, Constructive Mathematics.
Selected invited talks
Over 60 Invited and Keynote lectures at international conferences and specialist seminars. Here a selection of more recent talks (starting from 2015):
Inductive definitions and predicativity as invariance, Workshop on inductive definitions, Prague, 2-3 May 2024.
Predicativity as invariance, Oxford Philosophy of Mathematics seminar, 29 April 2024.
Predicatività, La filosofia della Matematica nel Novecento, Accademia dei Lincei, Roma (Italy), 4-5 April 2024.
Predicativity, From Proofs to Computation in Geometric Logic and Generalizations, Dagstuhl (Germany), 7-12 January 2024.
Bishop’s Mathematics: a philosophical perspective, Constructive Mathematics, Foundations and Practice, Niš, Serbia (and Online), 26 June, 2023.
On Weyl’s predicative concept of set, Mathematical Logic Webinar, Lisbon (online), 27 January 2023.
On Weyl’s predicative concept of set, Nordic Online Logic seminar, The Scandinavian Logic Society (online), 28 November 2022.
On Weyl’s predicative concept of set, Keynote speaker at AILA 2022 (Associazione Italiana Logica e sue Applicazioni), Caserta, Italy, 12-15 September 2022.
Cantor’s Paradise? Invited speaker at Proofs, Computation and Meaning, 7 September 2022 (online).
Hermann Weyl and the roots of Mathematical logic, Invited speaker at the Special Session on the Philosophy of Mathematics, Logic Colloquium 2022, Reykjavik, Iceland, 27 June - 1 July 2022.
On Weyl’s predicative concept of set, Invited speaker at Proof and Computation 2022, Kloster Schlehdorf, Germany, 30 May - 2 June 2022.
Hermann Weyl and the Roots of Mathematical Logic, Invited speaker at Philosophical Roots of Mathematical Logic, Turin, Italy, April 4-6, 2022.
Cantor’s Paradise and the Forbidden Fruit, Invited speaker at Séminaire «Infini mathématique», Université de Paris, France, 10 March 2022.
Cantor’s Paradise and the forbidden fruit, Keynote speaker at Computability in Europe (CiE) 2021, Ghent, Belgium, 5-9 July 2021.
Predicativity as invariance, Keynote speaker at Sixth International Meeting of the Association for the Philosophy of Mathematical Practice, 30 June – 3 July, 2021.
Philosophy of mathematics and Proof Theory, Keynote speaker, 2nd International Workshop of The Proof Society, Swansea (UK), 11-13 September 2019.
Predicativity and (intuitionistic) logic, Invited speaker, Second-order logic and the question of (im)predicativity, Oslo (Norway), 20-21 August 2019.
Predicativity and Logic, Invited speaker, Logic in London I: Type-free concepts, The Institute of Philosophy, London (UK), 30-31 May 2019.
Predicativity, Poincaré and constructive mathematics, Invited speaker, Truth and Semantics, Bristol (UK), 2-4 May 2019.
Panelist at MathsCon, UCL, London, 23 February 2019,http://www.mathscon.com/
Predicativity, Indefinite Extensibility and the Natural Numbers, Invited speaker, Oxford Philosophy of Mathematics seminar, 12 November 2018.
Predicativity, Dummett’s Indefinite Extensibility and the Natural Numbers, Keynote speaker, 19th Midwest Philosophy of Mathematics Workshop, University of Notre Dame, USA, 26-7 October 2018.
Bishop’s Mathematics: a philosophical perspective, Invited speaker, Workshop on Constructive Analysis, Hausdorff Research Institute for Mathematics (HIM), Bonn (Germany), August 2018.
Predicativity, Poincaré and Constructive Mathematics, Keynote speaker, International conference in Philosophy of Mathematics ‘FilMat 2018’, Mussomeli (Italy), May 2018.
Reflecting on Constructive Mathematics, Keynote speaker, Second Workshop on Mathematical Logic and its Applications, Kanazawa (Japan), March 2018.
Why Predicativity? Dummett’s Indefinite Extendibility and the Natural Numbers, Invited speaker, Proof theory as Mathesis Universalisw, Humboldt Colloquium, Villa Vigoni (Italy), 24–28 July 2017.
Poincaré and Weyl on predicativity and the concept of set in Martin-Löf type theory, Type Theory and Philosophy, University of Kent, Canterbury (UK), 9–10 June 2016.
Predicativity: between Philosophy of Mathematics and Proof Theory, Invited speaker, Trends in Proof Theory, satellite meeting of the 2015 Jahrestagung der Deutschen Mathematiker–Vereinigung, Hamburg, (Germany), 19– 21 September 2015.
Error and Predicativity, Invited speaker, special session on History and Philosophy of Computing, CiE (Computability in Europe) 2015, Evolving computability, Bucharest (Romania), 29 June–3 July 2015.
Understanding Predicativity, Keynote speaker, 10th Panhellenic Logic Symposium, Samos (Greece), 11-15 June 2015.
Organization of international Workshops and PC membership
Co-Organiser with Ansten Klev of the Special Session on Logic and Philosophy at Logic Colloquium 2023, 5-9 June, Milan, Italy.
Award Committee member, Paul Bernays Award, Swiss Society for Logic and Philosophy of Science, from 2022.
PC member, fourthPhilMat Conference “Foundations, Definitions and Axioms”, 29 September-1 October 2022 (Pavia, Italy).
Co-organiser with Ø. Linnebo of “Infinity and Intensionality Colloquium”, monthly guest seminars series, Oslo (started in October 2021).
PC member, international conference “Computability in Europe 2022”, July 2022 (Swansea, UK).
Co-organiser with Ø. Linnebo and N. Barton of the conference “Engineering the concept of Collection”, 20-21 June 2022 (Oslo and Online).
Co-organiser with Ø. Linnebo and M. Rathjen of the international conference “Weyl 2021”, 8-10 December 2021 (Online).
Co-organiser with Ø. Linnebo and N. Barton of the Workshop on “Countabilism”, 10 November 2021 (Online).
Co-organiser with Ø. Linnebo of the workshop “Critical views of infinity”, 15-16 June 2021 (Online).
Organiser of the “Workshop on Predicativity”, 9 April 2021 (Online).
Co-organiser, with Ø. Linnebo, of the workshop “Indefinte extensibility, invariance and logicism”, 2-3 June 2020 (Oslo, Norway). (Postponed)
PC member, international conference Computability in Europe 2020, July 2020 (Salerno, Italy).
Co-organiser, with J. Woods, M. Rathjen and S. Wainer, of the international interdisciplinary conference: Das Kontinuum – 100 years later, September 2018 (Leeds, UK).
Panel member, postgraduate summer school in Logic and philosophy of science, June 2018 (Urbino, Italy).
PC member,First Graduate Conference of the Italian Association for the Philosophy of Mathematics, Philosophy of mathematics: history, theories and practice, July 2017 (Trento, Italy).
PC member, second conference of the Italian Association for the Philosophy of Mathematics, May 2016 (Chieti, Italy).
PC member, conference Computability in Europe 2015, July 2015 (Bucharest, Romania).
Co-organiser, with P. Schuster and R. Williams of the Dummett Symposium, September 2013 (Leeds, UK).
Co-organiser, with M. Rathjen and S. Wainer of the Conference on Proofs and Computation and of the Leeds Symposium on Proof Theory and Constructivism, July 2009, (Leeds, UK).
PC member, international conference Computability in Europe 2007, July 2007 (Siena, Italy).
PC member, international conference Computability in Europe 2006, June 2006 (Swansea, UK).
Co-organiser with A. Beckmann of the special session on Proofs and computation, Computability in Europe 2005, June 2005 (Amsterdam, Netherlands).
Co-organiser with P. Schuster of the international conference From Sets and Types to Topology and Analysis, practicable foundations for constructive mathematics, Venice International University, May 2003 (Venice, Italy).
Organiser of the workshop Arbeitstreffen Bern–Munich, December 2002 (Munich, Germany).
Organiser of three Joint Workshops of the Mathematics and the Philosophy Departments, 2008 and 2009 (University of Leeds, UK).
Publications
See Flore Repository
Legenda
See "Curriculum"
