Fellowships - Fulbright-Hays: 1977-1978, Group in Logic and Methodology of Science, University of California, Berkeley;
- Alexander von Humboldt Fellowship: Ludwig-Maximilian-Universitaet Muenchen ,1979-1981, 1991; Universitaet Muenster , 1998;
- CNR (Italian National Research Council, 1981, 1982).
Teaching - Università della Calabria (1982-1984): professore a contratto;
- Università di Trieste e Università di Firenze (1984-1988): ricercatore universitario;
- Università di Firenze (1988-): professore associato di Logica; professor of logic (from Nov.1, 2000).
Research Areas - Proof Theory
- Formal theories of truth
- History and Philosophy of Logic
- Set Theory and Foundations of mathematics
Recent papers (selection) - Relating Quine's NF to Feferman's EM, Studia Logica 62, 1999, 141-162;
- Feasible Operations and applicative theories based on Lambda-Eta, Mathematical Logic Quarterly, vol.46 (2000), 291-312;
- Polytime, combinatory logic and positive safe induction, Archive for Mathematical Logic, vol. 41 (2002), n.2, pp. 169-189;
- On extensionality, uniformity and comprehension in the theories of operations and classes, in: W. Sieg et alii (eds.), Reflections on the Foundations of Mathematics, Essays in Honor of S. Feferman, Lecture Notes in Logic, n.15, ASL & A.K.Peters, Ltd., 2002, pp. 257-275;
- Partial Truth, in: V. Halbach and L. Horsten (eds.), Principles of Truth, Epistemische Studien 1, Haensel Verlag, Frankfurt 2002, pp. 183-202;
- Con Pierluigi Minari: Uniform Inseparability in explicit mathematics, Journal of Symbolic Logic, vol. 64, 1999, 313-336;
- The undecidability of Grishin's set theory, Studia Logica, vol.74 (2003), pp. 345-368;
- The axiom of choice and combinatory logic, Journal of Symbolic Logic, vol. 68, 2003, 1091-1181;
- On a Russellian paradox about propositions and truth, G. E. Link (ed.), One Hundred Years of Russell's Paradox, De Gruyter, Berin-New York 2004, pp. 259-284;
- Alcune Osservazioni su autoriferimento e verità, in: Annali del Dipartimento di Filosofia, 2002, pp.55-76.
- Choice and uniformity in weak applicative theories, in: M. Baaz et al. (eds.), Proceedings of the Logic Colloquium 2001, Association of Symbolic Logic, Lecture Notes in Logic 20, AK Peters, Wellesley, 2005, pp. 108-138. Logic Colloquium 2001, Wien).
- (with M.L.Crosilla), Constructive Set Theory with operations, pp.47-83, in: A. Andretta, K Kearnes, D. Zambella (Eds.), Logic Colloquium 2004, Lecture Notes in Logic, Cambridge University Press, 2008.
Paradoxes and Contemporary Logic, in: Stanford Encyclopedia of Philosophy , E. Zalta (ed.), Center for the Study of Language and Information, Stanford University, http://plato.stanford.edu/entries/paradoxes-contemporary-logic, 2007. Fixed point constructions, in: T. Bolander, V. F. Hendricks and S.A. Pedersen, eds., Self-Reference , CSLI Lecture Notes 178, Stanford University Press, 2006, pp. 27-52 Remarks on applicative theories, Annals of Pure and Applied Logic, 136 (2005), 91-115. On Formal Proofs, in : R. Lupacchini and G. Corsi (Eds.), Deduction, Computation, Experiment, Springer Verlag, Milano 2008, pp.29-48.
- Paradoxes self-reference and truth in the 20th century, pp. 875-1013, in: D. Gabbay, J.Woods (eds.), Handbook of the History of Logic (vol.5: Logic from Russell to Church), Elsevier, Amsterdam 2009.
- (con P. Minari), Introduzione alla Logica. Linguaggio, significato argomentazione, Le Monnier Università, 2009.
Courses: see the Italian side
|
