Logic and Philosophy of Science
Sergio Bernini: philosophy of logic, philosophy of language, denotation theory, propositional contents, logicism.
Andrea Cantini: proof theory and computability theory, modal logics, formal theories of truth, philosophy of logic and mathematics, history of logic and XXth century foundations of mathematics.
Elena Castellani: history and philosophy of physics, philosophy of time and space, ontology of physical theories, history and significance of symmetries, reductionism and supervenience, structural realism.
Maria Luisa Dalla Chiara: philosophy of science, quantum logic, quantum computation, philosophy and foundations of quantum mechanics, semantics of physical theories, theories of meaning.
Pierluigi Minari: non-classical logics (intermediate, modal, substructural logics), relational and algebraic semantics, proof theory and recursion theory, formal theories of truth, philosophy of mathematics.
Wim Christiaens (Univ. Gent, Belgium): 8/1/04 - 1/31/05
Bas van Fraasen (Princeton Univ.): 27/04/06 - 28/04/06
Ph.D. AND POST-DOC FELLOWS
Paolo Maffezioli (Ph.D. fellow).
Alessandro Becchi: theory of truth, philosophy of logic, philosophy of language.
Riccardo Bruni: philosophy of logic and mathematics, history and philosophy of foundations of mathematics of the XXth century, formal theories of truth.
Laura Crosilla: constructive theory of sets and types, proof theory, theorem provers.
Tommaso Piazza: philosophy of knowledge, philosophy of language, phenomenology.
Francesca Poggiolesi: logic, philosophy of language and philosophy of logic.
Interdisciplinary seminar "Philosophy and Physics"
Seminar "Logic and Information"
Italian bibliography of Philosophy of Science
Contemporary Philosophy of Mind
Internet Sources for the History and Philosophy of Science
Mathematical Logic Around the World