Andrea Cantini

cantini@unifi.it

Professore ordinario di Logica/
Professor of Logic

Department of Philosophy
Via Bolognese 52
I-50139 Firenze, Italy
(+39) 055-4622-431 (ufficio)

English version

Borse di ricerca

• Fulbright-Hays: 1977-1978, Group in Logic and Methodology of Science, University of California, Berkeley;
• Alexander von Humboldt Fellowship: Ludwig-Maximilians-Universitaet Muenchen, 1979-1981, 1991; Universitaet Muenster, 1998;
• CNR (Italian National Research Council, 1981, 1982).

Insegnamento universitario

• 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; professore straordinario di Logica (a partire dal 1.11. 2000).

Principali aree di interesse e di studio

• Teoria della dimostrazione e teoria della computabilità
• Teorie formali della verità
• Storia e filosofia della logica
• Teoria degli insiemi e fondamenti della matematica

Pubblicazioni

Scelta di pubblicazioni recenti

• Paradoxes, self-reference and truth in the 20th century,  in: D. Gabbay, J.Woods (eds.), Handbook of the History of Logic (vol.5: Logic from Russell to Church), Elsevier-North Holland, Amsterdam 2009, pp. 875-1013.
• (con P.Minari), Introduzione alla Logica. Linguaggio, significato, argomentazione, Le Monnier Università, 2009, pp.XIV+278.
• On Formal Proofs, in : R. Lupacchini and G. Corsi (Eds.), Deduction, Computation, Experiment, Springer Italia, Milano 2008, pp.29-48.
• Paradoxes and Contemporary Logic, Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/paradoxes-contemporary-logic/, Stanford 2007
• (con M.L.Crosilla) Constructive set theory with operations, pp.1-31,  Proceedings of the Logic Colloquium 2004, Lecture Notes in Logic 29, Cambridge University Press, Cambridge 2008, pp.47-83.
• Fixed point constructions, Self-reference (T. Bolander et alii, editors), CSLI Lecure Notes 178, Stanford 2006, pp.27-52
• Remarks on applicative theories, Annals of Pure and Applied Logic, 136 (2005), pp.91-115
• Choice and uniformity in weak applicative theories, in : M. Baaz, S. Friedman et alii (eds.), Proceedings of the Logic Colloquium 2001, Wien, Association of Symbolic Logic, Lecture Notes in Logic, pp.108-139, 2005
• Logical Frameworks for Truth and Abstraction, Studies in Logic 135, Elsevier, Amsterdam 1996, pp. i-xiii+461;
• Asymmetric interpretation for bounded theories, Mathematical Logic Quarterly 42, 1996. 270-288;
• Proof-theoretic aspects of self-referential truth, in: K. Doets et alii, (eds.), Logic and Scientific Methods, Kluwer, Dordrecht 1997, 7-27;
• 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;

Cura di volumi di atti congressuali

• con E. Casari e P. Minari (a cura di): Logic and the Foundations of Mathematics, Synthese Library vol. 280, Dordrecht, Kluwer, 1999, pp.240.

Didattica

Anno accademico 2009-2010

Per gli orari  aggiornati, le date d'inizio dei corsi e del seminario, nonché per l'orario di ricevimento, consultare il sito del dipartimento http://www.philos.unifi.it/CMpro-v-p-321.html e la "bacheca delle ultimissime" sul sito del dipartimento .

Corsi tenuti:

Laurea triennale: Logica 1 , POM  (primo semestre, A+B, 12 cfu);

Testo per il modulo A : (con P.Minari), Introduzione alla Logica. Linguaggio, significato, argomentazione, Le Monnier Università, 2009.

Testo per il modulo B:

[Dispense (accesso ristretto): file 1 (.pdf); file 2 (.pdf)]

Programma esame,  modulo A: AC_LogicaPOM09_parte1.doc

Programma esame,  modulo B: AC_LogicaPOM09_parte2.doc

Laurea magistrale (Logica e Filosofia della Scienza): Logica 2 . Titolo: Indecidibilità e Incompletezza: introduzione ai risultati limitativi della logica del Novecento (primo semestre A+B, 6 cfu).

Programma esame: LM_incompletezza09.doc

Laurea Magistrale (SNAU, Facoltà di SMFN): Logica (3 cfu)

Seminario (in collaborazione col prof. Minari): Temi avanzati di Logica (annuale)

Anno accademico 2008-2009

Per gli orari  aggiornati consultare il sito del dipartimento http://www.philos.unifi.it/CMpro-v-p-321.html e la bacheca sul sito del dipartimento.

Corsi tenuti:

Laurea triennale: L'eredità di Talete: una introduzione storica alla filosofia della matematica (primo semestre, A, 6cfu);

Laurea magistrale: Tipi, insiemi, dimostrazioni (secondo semestre, C+D, 12 cfu).

Seminario (in collaborazione col prof. Minari): Temi avanzati di Logica (6 cfu, B+C)

Anno accademico 2007-2008