Members

MICHELE ABRUSCI (Roma Tre)
(vitomichele.abrusci@uniroma3.it)

ALDO ANTONELLI (University of California, Davis)
neologicist interpretations of arithmetic, generalised quantifiers

MARIANNA ANTONUTTI MARFORI (Università di Bristol)
(marianna.antonutti@gmail.com)
mathematical knowledge, formal methods in philosophy of mathematics, formal and informal or absolute provability, absolute undecidability and Goedel’s Disjunction, computability

LUCA BELLOTTI (Università di Pisa)
(lucabellotti@quipo.it)
mathematical logic (esp. set theory, recursion theory, proof theory); philosophy of mathematics (esp. problems on realism in set theory, evaluation of consistency proofs, intuition/formalization, philosophy of probability).

MATTEO BIANCHETTI (University of Notre Dame)
(mbianche@nd.edu)
computability, intuitionism, Brouwer, Tarski, algebraic logic, history of logic

SILVIA BIANCHI (Università San Raffaele)
(s.bianchi1992@gmail.com)
Mathematical structuralism, scientific structuralism, quantum gravity, philosophy of space-time, ontological dependance, grounding

FRANCESCO BERTO (University of Amsterdam)
(F.Berto@uva.nl)
paraconsistent logics and mathematics, Wittgenstein’s philosophy of maths, logical paradoxes

STEFANO BOSCOLO (Università di Palermo)
(stefano.boscolo83@gmail.com)
nominalism and fictionalism, indispensability arguments, logical pluralism

FRANCESCA BOCCUNI (Università Vita-Salute San Raffaele)
(boccuni.francesca@unisr.it)
higher-order logics; abstraction principles; logicism; plural logic; groundedness

EMANUELE BOTTAZZI
(emanuele.bottazzi@unitn.it)
nonstandard analysis, elementary presentations of nonstandard analysis

ANDREA CANTINI (Università di Firenze)
(andrea.cantini@unifi.it)
theories of truth and abstraction (axiomatic, non-classical); proof theory and the philosophy of mathematics; paradoxes; set theory (constructive, classical, non-classical)

PAOLA CANTU’ (CNRS / CEPERC – Università di Marsiglia)
paola.cantu@univ-amu.fr
infinite and infinitesimals, functions and equality, ideal elements, magnitudes, numbers and measurement, mathesis universalis, logical pragmatism, mathematical argumentation, interdisciplinarity and mathematics, Kurt Gödel, Bernard Bolzano, Hermann Grassmann, Giuseppe Veronese, Peano and his school, Otto Hölder

EDOARDO CARACCIOLO (Università di Torino – Filosofia)
(edoardo.caracciolo@unito.it)
early Husserl, phenomenology of space, non-euclidean geometries, philosophy of geometry, theories of manifolds

MASSIMILIANO CARRARA (Università di Padova)
massimiliano.carrara@unipd.it
mereology, plural quantification, arbitrary reference

CARLO CELLUCCI (Università La Sapienza, Roma)
carlo.cellucci@uniroma1.it
mathematical discovery, heuristic philosophy of mathematics, analytic method, philosophy of mathematical practice, applicability of mathematics, mathematical explanation, mathematical cognition

DAVIDE CRIPPA (Università Parigi 7 – Denis Diderot)
(davide.crippa@gmail.com)
history of mathematics, geometry, geometrical constructions, algebra, philosophy of mathematical practice

LAURA CROSILLA (Università di Leeds)
(matmlc@leeds.ac.uk)
philosophy of mathematics, esp. systems of constructive mathematics

ALEJANDRO CUNEO
(alejandro.cuneo@univr.it)
foundations, philosophy and didactics of mathematics 

CIRO DE FLORIO (Università Cattolica, Milano)
higher order logic, philosophy of logic, theories of truth, philosophy of mathematics

SILVIA DE TOFFOLI
(silvia.detoffoli@gmail.com)
Visualization, Diagrammatic reasoning, Knots, Topology

RUGGERO FERRO
(ruggero.ferro@univr.it)

SALVATORE FLORIO (University of Birmingham)
(s.florio@bham.ac.uk)
abstraction principles, higher-order logic, logical paradoxes, logicism, philosophy of set theory, plural logic

MIRIAM FRANCHELLA
(miriam.franchella@unimi.it)
intuitionism, logic in XX century 

PASQUALE FRASCOLLA
(pasquale.frascolla@unibas.it)
Wittgenstein, realismo, dimostrazione

PAOLO FREGUGLIA
(fregugli@dm.univaq.it)
History of mathematics, Mathematical modeling of living systems (Darwinian evolution), Mathematical models on social systems (traffic, economics)

SERGIO GALVAN (Università Cattolica, Milano)
(sergio.galvan@unicatt.it)
incompleteness theorems, Q-PA arithmetical systems, intensional logics, Is-Ought thesis formalized, ontological modal structures

PIERANNA GARAVASO
(garavapf@morris.umn.edu)
Wittgenstein, indispensability argument, anti-realism in the philosophy of matematics, Frege.

VALERIA GIARDINO
(valeria.giardino@gmail.com)
diagrammatic reasoning, epistemology of mathematics, numerical cognition, embodied cognition, cognitive artefacts

MICHELE GINAMMI (SNS)
(michele.ginammi@sns.it)
philosophy of mathematics, philosophy of science, philosophy of physics, mathematical structuralism, structural realism, applicability of mathematics, mathematical explanation, ontology, metaphysics

PIERLUIGI GRAZIANI (University of Urbino)
(pierluigigraziani@yahoo.it)
proof theory, formal methods in history of sciences, foundations of mathematics

MARIO GRAZIANO (Università di Messina)
(mgraziano@unime.it)
philosophy of mathematics, decision theory, philosophy of cognitive science

MARINA IMOCRANTE (Università San Raffaele)
(marina.imocrante@gmail.com)
epistemology of mathematics, logic, mathematical naturalism, applicability of mathematics, cognitive basis of mathematical skills

LUCA INCURVATI (University of Cambridge)
(li216@cam.ac.uk)
set theory and its philosophy; philosophy of arithmetic; mathematical naturalism; theories of truth; intuitionism; logical inferentialism; realism and anti-realism

GABRIELE LOLLI (SNS)
(gabriele.lolli@sns.it )
proofs, set theory, foundations of mathematics, history of modern logic

GIANLUCA LONGA (PHIER, UBP-Clermont Ferrand)
(gianluca.longa@univ-bpclermont.fr)
History of mathematics, geometrical analysis, mathematical explanation, philosophy of mathematical practice

MICHELE LUBRANO (Università di Torino)
(michele.lubrano14@gmail.com)
NeoFregeanism, Abstraction Principles, Platonism in Philosophy of Mathematics, Grounding, Fundamentality

PAOLO MANCOSU (Berkeley University)
(mancosu@socrates.berkeley.edu)
history and philosophy of logic, history and philosophy of mathematics, history of analytic philosophy

GIOVANNI MARCO MARTINO (Università San Raffaele)
(g.martino1@studenti.unisr.it)
Frege’s philosophy of mathematics, abstraction principles, abstract objects, foundations of mathematics

SAMUELE MASCHIO (Università degli Studi di Padova)
(samuele.maschio@gmail.com)
foundations of mathematics, constructive mathematics, categories and sets

PIETRO MILICI (Università di Palermo e Università Parigi 1)
(pietro.milici@unipa.it)
geometrical exactness, tractional motion, foundation of infinitesimal analysis

DANIELE MOLININI
dmolinini@gmail.com
philosophy of mathematics, epistemology of mathematics, mathematical explanation, applicability of mathematics, indispensability arguments

ENRICO MORICONI (Università di Pisa)
(moriconi@fls.unipi.it)
foundations of mathematics, proof theory, constructivism, neo-verificationist semantics

MASSIMO MUGNAI (SNS)
(massmugnai@gmail.com)
history and philosophy of logic; philosophy of mathematics; Leibniz

ALBERTO NAIBO (Università Parigi 1)
(alberto.naibo@hotmail.it)
proof theory, inferentialist theories of meaning, constructivism, epistemological problems in logic and mathematics, logical constants

DOMENICO NAPOLETANI (Institute for Quantum Studies, Chapman University, California)
(napoleta@chapman.edu)
Philosophy of data sciences, theoretical biology, signal processing, computational mathematics

SARA NEGRI (University of Helsinki)
(sara.negri@helsinki.fi)
Proof theory, modal and non-classical logics, formal epistemology, paradoxes, constructivism

CARLO NICOLAI (MCMP)
(carlonicolai6@gmail.com)
philosophical logic (formal theories of truth, predicate approaches to modality, formal theories of syntax and propositions, general theory of reductions), philosophy of mathematics (commitment of mathematical theories, mathematical explanation), metaphysics and philosophy of language (formal approaches to de re modality, truth-theoretic deflationism)

GIANLUIGI OLIVERI (Università di Palermo)
(gianluigi.oliveri@unipa.it)
mathematical patterns, antirealism, structural realism, Lakatos, quasi-empiricism in mathematics, constructivism, Dummett

RUGGERO PAGNAN (Università di Genova – Matematica)
(pagnan@dima.unige.it)
category theory, mathematical logic and the scientific discipline generated by their interaction, that is categorical logic, together with actual and potential applicative aspects of any sort

ADRIANO PALMA (University of Kwa Zulu Natal)
(Palma@ukzn.ac.za)
Grothendieck universes, philosophy of mathematics, the repercussions of logic on philosophy

MARCO PANZA (HIPST, Università Parigi 1 Sorbona-CNRS)
(marco.panza@univ-paris1.fr)
history of classical mathematics, platonism, Frege, philosophy of mathematical practice

MARIO PIAZZA (Università di Chieti)
(mpiazza@unich.it)
proof-theory, deflationism and incompleteness, logical and mathematical cognition, applicability of mathematics

EVA PICARDI (Università di Bologna)
(eva.picardi@unibo.it)
Frege’s philosophy of mathematics, Frege’s philosophy of language and logic

PAOLO PISTONE (Università Roma 3)
(heighteight@gmail.com)
proof theory, transcendental syntax, linear logic, geometry of interaction

MATTEO PLEBANI (Università Ca’ Foscari Venezia)
(plebani.matteo@gmail.com)
fictionalism in the philosophy of mathematics, nominalism, Wittgenstein’s philosophy of mathematics

FRANCESCA POGGIOLESI (CNRS)
(poggiolesi@gmail.com)
modal logic, proof theory, analiticity, sequent calculus, natural deduction, cut elimination, proof-theoretic semantics

GABRIELE PULCINI
(gabriele.pulcini@unibo.it)

EDOARDO RIVELLO (SNS)
(rivello.edoardo@gmail.com)
set theory, set-theoretical reductionism, meaning in mathematical language

DAVIDE RIZZA (Università di East Anglia)
(D.Rizza@uea.ac.uk)
applicability of mathematics (especially in the social sciences), mathematical explanation, measurement theory

GIUSEPPE ROSOLINI (Università di Genova)
(rosolini@unige.it)
category theory, constructive mathematics, categorial logic

GIOVANNI SAMBIN (Università di Padova)
(sambin@math.unipd.it)
constructive mathematics, constructive foundations of mathematics, substructural logics, philosophy of mathematics

LUCA SAN MAURO (Vienna University of Technology)
(luca.san.mauro@tuwien.ac.at)
computability theory, computable structure theory, philosophy of mathematical practice, trail and error mathematics, church-turing thesis, naturalness in mathematics

MARIA PAOLA SFORZA FOGLIANI (IUSS Pavia)
(mariapaola.sforzafogliani@iusspavia.it)
logical apriorism vs. aposteriorism, Centrality Argument, revisability and justifiability of logical laws, counterexamples to basic rules of inference, logical and mathematical pluralism

ANDREA SERENI (IUSS, Pavia / San Raffaele University, Milan)
(andrea.sereni@iusspavia.it)
platonism/nominalism debate, epistemological challenges to platonism, indispensability arguments, naturalism in mathematics, Fregean and abstractionist philosophy of mathematics, applicability and explanation, foundations of mathematics

DANIELE STRUPPA (Schmid College of Science and Technology, Chapman University, Orange, CA)
(struppa@chapman.edu)
hypercomplex analysis, superoscillations, Fourier analysis, philosophy of data sciences

CLAUDIO TERNULLO (Kurt Goedel Research Center)
(ternulc7@univie.ac.at)
philosophy and foundations of set theory, philosophy of mathematics, mathematical cognition, logic

GIULIA TERZIAN (Università di Bristol)
(giulia.terzian@gmail.com)
formal theories of truth, grounded abstraction and identity, norms of truth/set, theory/abstraction, theoretical virtues

LAURA TESCONI (Università di Pisa)
(tesconi@fls.unipi.it)
structural PT, translation functions to/from ND and L, cut rule, composition of derivations

CARLO TOFFALORI (Università di Camerino)
(carlo.toffalori@unicam.it)
model theory

LUCA TRANCHINI (Università di Tubinga)
(luca.tranchini@gmail.com)
inferentialism, proof theory, anti-realism, logical constants, truth

MARINO VARRICCHIO (Università di Trento)
(marinovarricchio@gmail.com)
Ontology of Mathematics, Mereology, Mereotopology, Metaphysics, Philosophy of Mathematics

ACHILLE VARZI (Columbia University)
(av72@columbia.edu)
nominalism, fictionalism, ontology of mathematics, set-theory, mereology and mereotopology, modal and non-classical logics, superevaluationism and subevaluationism

GIORGIO VENTURI (SNS, University Paris Diderot)
(giorgio.venturi@sns.it)
set theory, forcing, foundation of mathematics, Hilbert, philosophy of mathematical practice, naturalness

LUCA ZANETTI (IUSS Pavia)
(luca.zanetti@iusspavia.it)
Frege’s philosophy of mathematics, logicism and abstractionism, abstraction principles, groundedness and grounding