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
ANNACHIARA BARTOLINI
(annachiarabartolini92@gmail.com)
Mathematical cognition, mathematical practice, history of mathematics, didactics of mathematics
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
FRANCESCA BIAGIOLI (Università di Torino)
(francesca.biagioli@unito.it)
nineteenth-century geometry, early mathematical structuralism, neo-Kantianism, theory of measurement
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
OLIVIA CARAMELLO (Università dell’Insubria, Como)
(olivia@oliviacaramello.com)
unification, bridge, duality, categorical equivalence, Grothendieck topos, categorical logic, Morita equivalence
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 (University of Birmingham)
(Laura.Crosilla@gmail.com)
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
LAURA FONTANELLA (Université Paris Est Créteil, laboratoire LACL) (laura.fontanella@u-pec.fr)
logic, set theory, realizability
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 (Scuola Normale Superiore, Pisa)
(mario.piazza@sns.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 (Università di Torino)
(rivello.edoardo@gmail.com)
alternative set theories, theories of truth and paradoxes, theories of definitions, 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
LORENZO ROSSI (University of Salzburg)
lorenzo.rossi@sbg.ac.at
philosophical Logic (theories of truth, semantic paradoxes), metaphysics and philosophy of language (truth-theoretical deflationism, conditionals, quantifiers, grounding)
GIOVANNI SAMBIN (Università di Padova)
(sambin@math.unipd.it)
constructive mathematics, constructive foundations of mathematics, substructural logics, philosophy of mathematics
LUCA SAN MAURO (Sapienza University of Rome)
(luca.sanmauro@gmail.com)
computability theory, algorithmic learning theory, mathematical language, illocutionary acts 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