Andrea CANTINI

Ruolo attuale:: Professore Emerito titolare di contratto di insegnamento

Recapiti

andrea.cantini(AT)unifi.it

Ulteriori Recapiti

	http://www.lps-florence.com/
	andrea.cantini(AT)unifi.it
	http://www.philos.unifi.it/CMpro-v-p-49.html

Avvisi

Iscrizioni al corso di Temi Avanzati di Logica (LM Logica Storia e Filosofia della Scienza)

B020988 (B107) - TEMI AVANZATI DI LOGICA 2024-2025 Annuncio: Inizio Corso il 17.2.2025 (plesso Capponi). Gli studenti interessati sono invitati a iscriversi al corso usando MOODLE. Sul sito si trovano materiali didattici e programmi

Andrea CANTINI

Orario di ricevimento (aggiornato al 06/11/2024)

Il docente è stato collocato a riposo a partire dal primo novembre 2022. Terrà per contratto il corso di Temi Avanzati di Logica per la LM di Logica, Storia e Filosofia della Scienza nelle parti C e D del prossimo A.A. 2024-25 (lezioni a partire dal 19/2/2024 in via Capponi aula 9; si consiglia di controllare sul sito DILEF e Scuola e di iscriversi al corso via Piattaforma Moodle-Unifi)

Il ricevimento si terrà per appuntamento in un ufficio che verrà indicato dal docente, presumibilmente o prima o dopo le lezioni nelle sedi destinate ai collehi pensionati o emeriti in cia della Pergola (NB: il docente ha lasciato l'uffficio 11, piano primo, DILEF, via della Pergola 58-60).

Si può contattare il docente per un appuntamento scrivendo a andrea.cantini@unifi.it.

Andrea CANTINI

Biografia

N. a Borgo S.Lorenzo (Firenze) il 12.12.1951.

Andrea CANTINI

Curriculum

Research Fellowships

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).

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

Main research interests

Proof Theory
Axiomatic theories of truth
History and Philosophy of Logic and Mathematics
Classical and constructive theories of sets

Andrea CANTINI

Interessi

Teoria della dimostrazione; teorie assiomatiche della verità e dell'astrazione; teorie delle operazioni e degli insiemi; storia e filosofia della logica e dei fondamenti della matematica.

Andrea CANTINI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Francesco Ademollo, Pierluigi Minari, Andrea Cantini (2023). Reflecting and unfolding, in: Ademollo, F., Amerini, F. and De Risi, V. (editors). Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-15, Cham: Springer International Publishing, ISBN:9783030973025,. In: Christopher J. Martin, Andrea Cantini, Pierluigi Minari, Paolo Crivelli, Francesco Ademollo, Marcello D’Agostino, Riccardo Strobino and Simo Knuuttila, etc.o, Mario Piazza,. Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-456, Cham, Switzerland: Ademollo, Francesco, ISBN:9783030973025., vol. Logic, Epistemology and the Unity of Science 54: Accesso ONLINE all'editore

Andrea Cantini (2022). Truth and the philosophy of mathematics. In: Oliveri, G., Ternullo, C., Boscolo S.. Objects, Structures and Logics, pp. 311-330, Cham, Svizzera: Springer, ISBN:978-3-030-84705-0.

Cantini (2022). Reflecting and Unfolding. In: Ademollo, F., Amerini, F. and De Risi, V. (editors). Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-15, Cham: Springer International Publishing, ISBN:9783030973025.

Cantini, Andrea ; Minari, Pierluigi (2021). Bibliografia di Ettore Casari. RIVISTA DI FILOSOFIA, vol. 112, pp. 138-148, ISSN:0035-6239 DOI Accesso ONLINE all'editore

Cantini, Andrea (2021). Filosofia della matematica e fondamenti nell’opera di Ettore Casari. RIVISTA DI FILOSOFIA, vol. 112, pp. 71-96, ISSN:0035-6239 DOI Accesso ONLINE all'editore

Cantini, Andrea (2021). Ettore Casari: logica e filosofia. RIVISTA DI FILOSOFIA, vol. 112, pp. 61-70, ISSN:0035-6239 DOI Accesso ONLINE all'editore

Riccardo Bruni, Andrea Cantini (2021). Paradoxes and Contemporary Logic Fall 2021 edition. STANFORD ENCYCLOPEDIA OF PHILOSOPHY, pp. 0-0, ISSN:1095-5054 Accesso ONLINE all'editore

Andrea Cantini (2021). A footnote to Appendix B of Russells' The Principles of Mathematics. In: L.Bellotti, G.Turbanti. . IV Pisa Colloquium in Logic, Language and Epistemology Essays in Honour of Enrico Moriconi, pp. 33-44, Pisa: ETS, ISBN:978-884676260-3.

Cantini, Andrea (2020). A fixed point theory over stratified truth. MATHEMATICAL LOGIC QUARTERLY, vol. ---, pp. 1-19, ISSN:1521-3870 DOI

Cantini, Andrea (2019). Paradoxes and set existence. In: Bellotti, L., Gili, L., Moriconi, M., Turbanti, G.. Third Pisa Colloquium in Logic, Language, and Epistemology, pp. 47-57, Pisa: ETS, ISBN:978-884675519-3.

Cantini, Andrea; Bruni, Riccardo (2017). Paradoxes and Contemporary Logic Spring 2017 Edition. In: Edward N. Zalta, Uri Nodelman, Colin Allen, R. Lanier Anderson. Stanford Encyclopedia of Philosophy, pp. 1-68 The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.

Cantini, Andrea (2017). Oggetti ideali, dimostrazioni e pratica matematica. RIVISTA DI FILOSOFIA, vol. CVIII, pp. 153-167, ISSN:0035-6239 DOI

Cantini, Andrea; Fujimoto, Kentaro; Halbach, Volker (2017). Feferman and the truth. In: Gerhard Jaeger, Wilfried Sieg. Feferman on foundations-logic, mathematics, philosophy, pp. 287-314, Cham: Springer International Publishing, ISBN:978-3-319-63334-3. DOI

Cantini, Andrea (2016). About truth and types. In: R. Kahle, T. Strahm, T. Studer. Advances in proof theory, pp. 31-64, Dordrecht-Heidelberg-New York-London: Birkhauser-Springer, ISBN:978-3-319-29198-7. DOI

Andrea Cantini (2015). On stratified truth. In: T.Achourioti, H.Galinon, K.Fujimoto, J. Martinez Fernandez (a cura di). Unifying the philosophy of truth, pp. 469-489, Berlin-Heidelberg-New York: Springer Science, ISBN:978-94-017-9672-9. DOI

Andrea Cantini (2012). Paradoxes and Contemporary Logic. In: E.N.Zalta. Stanford Encyclopedia of Philosophy, pp. 1-68, Stanford, CA 94305: The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University. Accesso ONLINE all'editore

A.Cantini; L. Crosilla (2012). Conservativity of transitive closure over weak constructive operational set theory. In: U.Berger, H.Diener, P.Schuster, M.Seisenberger. Logic, construction, computation, pp. 91-121, Frankfurt: Ontos Verlag, ISBN:9783868381580.

A. Cantini (2011). Extending constructive operational set theory by impredicative principles. MATHEMATICAL LOGIC QUARTERLY, vol. 57, pp. 299-322, ISSN:0942-5616 DOI

A. Cantini (2011). A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni. In: Società Filosofica Italiana, Firenze, Ottobre 2009, D'Anna, pp. 51-57.

A. Cantini; L. Crosilla (2010). Elementary constructive operational set theory. In: R.Schindler (ed.). Ways of Proof Theory, pp. 199-240, Frankfurt: Ontos Verlag, ISBN:9783868380873.

A.Cantini (2010). Hartry Field, Saving truth from paradox. ERKENNTNIS, vol. 72, pp. 417-422, ISSN:0165-0106 DOI

A.Cantini; P.Minari (2009). Introduzione alla logica. Linguaggio, significato, argomentazione. Milano: Mondadori Education, ISBN:9788800860987

A.Cantini (2009). Paradoxes, Self-Reference and Truth in the 20th Century. In: D. Gabbay, J. Woods (eds.). Handbook of History of Logic, vol.5, Logic from Russell to Church, pp. 875-1013, Amsterdam: Elsevier, ISBN:9780444516206.

A. Cantini; L.Crosilla (2008). Constructive Set Theory with operations. In: A.Andretta, K. Kearns, D.Zambella (eds.). Logic Colloquium 2004, pp. 47-83, Cambridge-New York: Cambridge University Press and Association for Symbolic Logic, ISBN:9780521884242.

A. Cantini (2008). On formal proofs. In: R. Lupacchini, G.Corsi (eds.). Deduction, Computation, Experiment, pp. 29-48, Milano: Springer Verlag Italia, ISBN:9788847007840.

A.Cantini (2008). Review of : Setzer, Anton. Universes in Type theory I. Inaccessibles and Mahlo. In: Andretta, Alessandro (ed.) et al., Logic Colloquium 2004.Proceedings of the annual European summer meeting of theAssociation for Symbolic Logic (ASL), Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic, Lecture Notes in Logic 29, 123-156 (2008). ZENTRALBLATT MATH, vol. 1144, pp. 1144.03036-1144.03036, ISSN:1436-3356

A.Cantini (2007). Review of: Heck, Richard G. jun., Self-reference and the languages of arithmetic of arithmetic. Philos. Math. (3) 15, No.1, 1-29 (2007). ZENTRALBLATT MATH, vol. 1132, pp. 1132.03002-1132.03002, ISSN:1436-3356

A.Cantini (2007). Review of: P. Hrubes, Theories very close to PA where Kreisel's conjecture is false, Journal of Symbolic Logic, 72, No. 1, 123-137 (2007). ZENTRALBLATT MATH, vol. 1117, pp. 1117.03065.-1117.03065, ISSN:1436-3356

A.Cantini (2006). Review of: B. R., George, Second-order characterizable cardinals and ordinals. ZENTRALBLATT MATH, vol. 1114, pp. 1114.03031-1114.03031, ISSN:1436-3356

A. CANTINI (2006). A proposito della logica: sul concetto d'inferenza. In: A.Peruzzi. Pianeta Galileo 2005, pp. 23-34, Firenze: Regione Toscana, ISBN:8889365064.

A. Cantini (2006). Fixed point constructions. In: T.Bolander, V.F.Hendriks, S.A.Pedersen (eds). Self-Reference, CSLI Lecture Notes 178, pp. 27-52, Stanford: Center for the Study of Language and Information, Stanford University, ISBN:9781575865164.

A.Cantini (2006). Review of: G. Lee, Phase transitions in axiomatic thought, Münster: Universität Münster, Fachbereich Mathematik und Informatik, Mathematisch-Naturwissenschaftliche Fakultät (Dissertation). viii+ 110 pp.. ZENTRALBLATT MATH, vol. 1082, pp. 1082.03048.-1082.03048., ISSN:1436-3356

A.Cantini (2006). Review of: M. Rathjen, S. Tupailo, Characterizing the interpretation of set theory in Martin-Löf type theory, Annals of Pure and Applied Logic, 141, No. 3, 442-471 (2006). ZENTRALBLATT MATH, vol. 1103, pp. 1103.03050-1103.03050, ISSN:1436-3356

A.Cantini (2005). Review of: F. Ferreira, P. Oliva, Bounded functional interpretation, Annals of Pure and Applied Logic, 135, No. 1-3, 73-112 (2005),.. ZENTRALBLATT MATH, vol. 1095, pp. 1095.03060-1095.03060, ISSN:1436-3356

A. CANTINI (2005). Remarks on applicative theories. ANNALS OF PURE AND APPLIED LOGIC, vol. 136, pp. 91-115, ISSN:0168-0072, Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598: DOI

A. CANTINI (2005). CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES. In: M. Baaz, S. Friedman, J.Krajicek (eds.). Logic Colloquium '01, pp. 108-138, Wellesley, Massachussets: A.K.Peters and Association for Symbolic Logic, ISBN:9781568812489.

A. CANTINI (2004). On a Russellian Paradox about Propositions and Truth. In: G.Link (ed.). One Hundred Years of Russell's Paradox. Mathematics, Logic, Philosophy, pp. 259-284, Berlin-New York: De Gruyter, ISBN:3110174383.

A. CANTINI (2004). METHODOLOGICAL ISSUES FOR PARADOXES. STUDIA LOGICA, vol. 76, pp. 135-142, ISSN:0039-3215

A. CANTINI (2004). REVIEW OF: TUPAILO, S. REALIZATION OF CONSTRUCTIVE SET THEORY INTO EXPLICIT MATHEMATICS, ANN. PURE APPL.LOGIC 120 (2003). ZENTRALBLATT MATH, vol. 10023.03045, pp. 03045-0345, ISSN:1436-3356

A. CANTINI (2004). Review of : SOMMARUGA, GIOVANNI, HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY. SYNTHESE LIBRARY. 290. DORDRECHT: KLUWER ACADEMIC PUBLISHERS. X, 354 P. ZENTRALBLATT MATH, vol. 1028, pp. 1028.03001-1028.03001, ISSN:1436-3356

A. CANTINI (2004). REVIEW OF: AVIGAD, JEREMY, NUMBER THEORY AND ELEMENTARY ARITHMETIC. (ENGLISH) [J] PHILOS. MATH. (3) 11, NO.3, 257-284 (2003).. ZENTRALBLATT MATH, vol. 1050, pp. 03005-03005, ISSN:1436-3356

A. CANTINI (2004). REVIEW OF: M.RATHJEN, R.LUBARSKI, ON THE REGULAR EXTENSION AXIOM AND ITS VARIANTS, MATH. LOG.QUARTERLY , 59 (2003). ZENTRALBLATT MATH, vol. 1042, pp. 1042.3040-1042.3040, ISSN:1436-3356

A. CANTINI (2003). The axiom of choice and combinatory logic. THE JOURNAL OF SYMBOLIC LOGIC, vol. 68, pp. 1091-1108, ISSN:0022-4812, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org:

A.Cantini (2003). The undecidability of Grishin's set theory. STUDIA LOGICA, vol. 74, pp. 345-368, ISSN:0039-3215

A. CANTINI (2002). Partial Truth. In: V.Halbach, L.Horsten. Principles of Truth, pp. 183-202, Frankfurt: Dr.Haensel-Hohenhausen, ISBN:3826712048.

A.Cantini (2002). Review of : T.Strahm, Autonomous fixed point progressions and fixed point transfinite recursion, in: S.Buss et alii (eds), Logic Colloquium ’98, ASL Lecture Notes in Logic 13, A.K.Peters, 2000. THE BULLETIN OF SYMBOLIC LOGIC, vol. 7, pp. 535-536, ISSN:1079-8986

A. CANTINI (2002). On extensionality, uniformity and comprehension in the theories of operations and classes. In: W.Sieg, R.Sommer, C.Talcott. Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman, pp. 251-270, Natick, Massachussets: Association for Symbolic Logic and A K Peters, ISBN:1568811691.

A.Cantini (2002). Adding choice and uniformity to weak applicative systems.. In: MFO, Oberwolfach, Aprile 2002, Mathematisches Forschungsinstitut Oberwolfach, pp. 9-9.

A. CANTINI (2002). Polytime, Combinatory Logic and Safe induction. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 41, pp. 169-189, ISSN:0933-5846, Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229:

A. Cantini (2002). Osservazioni su autoriferimento e verità. ANNALI DEL DIPARTIMENTO DI FILOSOFIA, vol. VIII, pp. 53-76, ISSN:1824-3770

A.Cantini (2001). Review of : T.Strahm, First Steps into metapredicativity in explicit mathematics, in: B.Cooper and J.K.Truss (eds.), Sets and Proofs. Invitef Papers from Logic Colloquium ’97, Cambridge University Press, Cambridge 1999. THE BULLETIN OF SYMBOLIC LOGIC, vol. 8, pp. 535-536, ISSN:1079-8986

A.Cantini (2001). Review of: G. Jäger, First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo, Journal of Symbolic Logic, 66, No.3, 1073-1089 (2001). ZENTRALBLATT MATH, vol. 0989, pp. 0989.03064-0989.03064, ISSN:1436-3356

A.Cantini (2001). Review of: J. Avigad, A realizability interpretation for classical arithmetic, in S. R. Buss (ed.) et al., Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lecture Notes in Logic 13, 57-90 (2000). ZENTRALBLATT MATH, vol. 946, pp. 0946.03071-0946.03071, ISSN:1436-3356

A.Cantini (2001). Review of: W. Buchholz, Finitary treatment of operator controlled derivations, Mathematical Logic Quarterly, 47, No.3, 363-396 (2001). ZENTRALBLATT MATH, vol. 986, pp. 0986.03044.-0986.03044., ISSN:1436-3356

A.Cantini (2001). Review of: R. Solomon, Π11-CA0 and order types of countable ordered groups. ZENTRALBLATT MATH, vol. 981, pp. 0981.03060.-0981.03060., ISSN:1436-3356

A.Cantini (2001). Review of: D. Pym, E. Ritter, On the semantics of classical disjunction, Journal of Pure and Applied Algebra, 159, No.2-3, 315-338 (2001). ZENTRALBLATT MATH, vol. 981, pp. 0981.03018-0981.03018, ISSN:1436-3356

A. CANTINI (2000). Feasible operations and applicative theories based on lambda eta. MATHEMATICAL LOGIC QUARTERLY, vol. 46, pp. 291-312, ISSN:0942-5616, - WILEY-V C H VERLAG GMBH, PO BOX 10 11 61, WEINHEIM, GERMANY, D-69451 -Johann Ambrosius Barth:Prager Strasse 16 B, D-04103 Leipzig Germany:011 49 341 9781570, Fax: 011 49 341 9781575:

A.Cantini (2000). Review of: P. G. Hinman, Recursion on abstract structures, in E. R. Griffor (ed.), Handbook of computability theory, Amsterdam: Elsevier. Studies in Logic and Foundations of Mathematics 140, 315-359 (1999). ZENTRALBLATT MATH, vol. 946, pp. 946.03054-946.03054, ISSN:1436-3356

A.Cantini (1999). Review of: Arai, Toshiyasu, Variations on a theme by Weiermann (English). J. Symb. Log. 63, No. 3, 897-925 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 919, pp. 0919.03043-0919.03043, ISSN:0044-4235

A. Cantini (1999). Review of: Chiari, Mario ; Krajicek, Jan.: Witnessing functions in bounded arithmetic and search problems (English). J. Symb. Log. 63, No. 3, 1095-1115 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 919, pp. 0919.03044-0919.03044, ISSN:0044-4235

A.Cantini (1999). Review of: Troelstra, A.S., Realizability, in: Buss, Samuel R. (ed.) Handbook of Proof Theory. Amsterdam: Elsevier, (ISBN 0-444-89840-9/hbk). Stud. Logic Found.Math. 137, 407-473 (1998. ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 911, pp. 0911.03031-0911.03031, ISSN:0044-4235

A.Cantini (1999). Review of: Avigad, Jeremy and Feferman, Solomon , Goedel's functional ("Dialectica'') Interpretation, in: Buss, Samuel R. (ed.) Handbook of Proof Theory. Amsterdam: Elsevier, (ISBN 0-444-89840-9/hbk). Stud. Logic Found.Math. 137, 337-405 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 913, pp. 0913.03053-0913.03053, ISSN:0044-4235

A.Cantini (1999). Review of: M. W. Bunder, W. J. M. Dekkers, J. H. Geuvers, Equivalences between illative combinatory logics and pure type systems, RIMS Kokyuroku, 1021, 119-135 (1997). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 937, pp. 0937.03021-0937.03021, ISSN:0044-4235

A.Cantini (1999). Relating Quine's NF to Feferman's EM. STUDIA LOGICA, vol. 62, pp. 141-162, ISSN:0039-3215

A. Cantini; E. Casari; P. Minari (1999). Logic and Foundations of mathematics. di vari, Dordrecht: Kluwer, 9780792356592.

A.Cantini (1999). Review of: Gasarch, William; Hirst, Jeffry L.: Reverse mathematics and recursive graph theory (English), Math. Log. Q. 44, No. 4, 465-473 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 919, pp. 0919.03045-0919.03045, ISSN:0044-4235

A.Cantini (1999). Review of: M. Dezani-Ciancaglini, E. Giovannetti, U. de'Liguoro, Intersection types, λ-models, and Böhm trees, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 45-97 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 946, pp. 0946.03016-0946.03016, ISSN:0044-4235

A.Cantini (1999). Review of: G. Jäger, R. Kahle, A. Setzer, T. Strahm, The proof-theoretic analysis of transfinitely iterated fixed point theories, Journal of Symbolic Logic, 64, No.1, 53-67 (1999. ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 937, pp. 0937.03065-0937.03065, ISSN:0044-4235

A.Cantini (1999). Review of: M. Takahashi, A primer on proofs and types, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 1-44 (1998),. ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 937, pp. 937.03063-937.03063, ISSN:0044-4235

Cantini, Andrea; Minari, Pierluigi (1999). Uniform inseparability in Explicit Mathematics. THE JOURNAL OF SYMBOLIC LOGIC, vol. 64, pp. 313-326, ISSN:0022-4812

A.Cantini (1998). Review of: A. G. Dragalin, Cut-elimination in the theory of definable sets of natural numbers, Publicationes Mathematicae, 51, No.1-2, 153-164 (1997). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 889, pp. 889.03047-889.03047, ISSN:0044-4235

A.Cantini (1998). Review of: Antonelli, Gian Aldo, Extensional quotients for type theory and the consistency problem for NF, J.Symb.Log. 63,No. 1, 247-261 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 904, pp. 0904.03030-0904.03030, ISSN:0044-4235

A.Cantini (1998). Review of : Dekkers. W; Bunder, M.; Barendregt, H., Completeness of two systems of illative combinatory logic for first -order propositional and predicate calculus. Arch. Math. Logic 37, No. 5-6, 327-341 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 908, pp. 0908.03016-0908.03016, ISSN:0044-4235

A.Cantini (1998). Review of : Clote, Peter G.; Hirst, Jeffry L.: Reverse mathematics of some topics from algorithmic graph theory, (English) Fundam. Math. 157, No. 1, 1-13 (1998). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 908, pp. 0908.03054-0908.03054, ISSN:0044-4235

A. CANTINI (1997). Proof-theoretic aspects of self-referential truth. In: K.Doets,M.Dalla Chaiara, D.Mundici, J. van Benthem. Logic and Scientific Methods vol. 1, pp. 7-27, Dordrecht: Kluwer, ISBN:0792343832.

A.Cantini (1997). Review of : Ginisti, Jean-Pierre: La Logique Combinatoire. Paris: Presses Universitaires de France (ISBN 2-13-048010-pbk). 127 p. (1997). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 873, pp. 0873.03011-0873.03011, ISSN:0044-4235

A.Cantini (1997). Review of : Cacace, Filippo , Meaning, reality and algorithms., in: Driessen, Alfred (ed.) et al. Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht:, Kluwer Academic Publishers, (ISBN 0-77923-4306-9/hbk). 27-40 (1997), Zbl 0902.03027.. ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 902, pp. 0902.03027-0902.03027, ISSN:0044-4235

A.Cantini (1997). Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 882, pp. 882.03053-882.03053, ISSN:0044-4235

A.Cantini (1997). Review of : Glass, T., Rathjen, M., Schl\"uter, A. On the proof-theoretic strength of monotone induction, Annals of Pure and Applied Logic, 85, 1-46 (1997). ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE, vol. 877, pp. 0877.03027-0877.03027, ISSN:0044-4235

A. CANTINI (1996). LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION. AMSTERDAM: ELSEVIER-NORTH HOLLAND, ISBN:9780444823069

A. CANTINI (1996). Asymmetric interpretation for bounded theories. MATHEMATICAL LOGIC QUARTERLY, vol. 42, pp. 270-288, ISSN:0942-5616, - WILEY-V C H VERLAG GMBH, PO BOX 10 11 61, WEINHEIM, GERMANY, D-69451 -Johann Ambrosius Barth:Prager Strasse 16 B, D-04103 Leipzig Germany:011 49 341 9781570, Fax: 011 49 341 9781575:

A.Cantini (1995). Review of: S. Feferman, Towards useful type-free theories I, The Journal of Symbolic Logic, 49 (1984), 75-111. THE JOURNAL OF SYMBOLIC LOGIC, pp. 342-344, ISSN:0022-4812, American Mathematical Society: Providence (RI)

A.Cantini (1995). Review of: S.Feferman, Reflecting on incompleteness, Journal of Symbolic Logic 56 (1991), 1-49. THE JOURNAL OF SYMBOLIC LOGIC, pp. 344-347, ISSN:0022-4812, American Mathematical Society: Providence (RI)

A. CANTINI (1995). Levels of Truth. NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 36, pp. 185-213, ISSN:0029-4527

A. Cantini (1993). Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York. THE JOURNAL OF SYMBOLIC LOGIC, pp. 358-359, ISSN:0022-4812, American Mathematical Society: Providence (RI)

A. CANTINI (1993). Extending the first order theory of combinators with self-referential truth. THE JOURNAL OF SYMBOLIC LOGIC, vol. 58, pp. 477-513, ISSN:0022-4812, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org:

A.Cantini (1992). Levels of implication and type free theories of partialclassifications with approximation operator. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 38, pp. 107-141, ISSN:0044-3050

A. Cantini (1992). Combinators and reflective truth. In: Tagung Mathematische Logik MFO, Obervolfach, Gennaio 1992, Mathematisches Forschungsinstitut Oberwolfach, vol. Tagungsbericht MFO, pp. 2-3.

A.Cantini (1991). Predication and Truth. In: SILFS, Viareggio, Gennaio 1991, Clueb Bologna, pp. 13-38, ISBN:8849104200

A.Cantini (1991). A logic of abstraction related to finite constructive numberclasses. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 31, pp. 69-83, ISSN:1432-0665

A. CANTINI (1990). A theory of formal truth arithmetically equivalent to ID$_1$. THE JOURNAL OF SYMBOLIC LOGIC, vol. 55, pp. 244-260, ISSN:0022-4812, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org:

A.Cantini (1990). Property theory variants of Frege structures. In: MFO, Oberwolfach, Gennaio 1990, Mathematisches Forschungsinstitut Oberwolfach, pp. 3-3.

A. CANTINI (1989). Notes on formal theories of truth. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 35, pp. 97-130, ISSN:0044-3050

A. CANTINI (1988). Sulla teoria dell'astrazione. TEORIA, vol. 8, pp. 101-120, ISSN:1122-1259

A. Cantini (1988). Some consistency results concerning a theory of property. In: Università di Siena, Siena, 27-30 maggio 1987, Cleup Padova, pp. 43-47.

A.Cantini (1988). Untyped comprehension and self-referential properties. In: SILFS, Cesena, 7-10 gennaio 1987, Clueb Bologna, pp. 171-174, ISBN:8849103565

A. CANTINI (1988). Two impredicative theories of properties and sets. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 34, pp. 403-420, ISSN:0044-3050

A.Cantini (1987). Su una teoria generale delle proprietà basata su schemi dicomprensione iterati e privi di tipi. In: Università di Siena, Siena, 8-11 gennaio 1985, Cleup Padova, pp. 53-57.

A. CANTINI (1986). On the proof theory of weak Koenig's lemma. In: SILFS 1987, Cesena, 7-10 gennaio 1987, Clueb Bologna, pp. 175-178, ISBN:9788880917960

A. CANTINI (1986). On the relation between choice and comprehension principles in second order arithmetic. THE JOURNAL OF SYMBOLIC LOGIC, vol. 51, pp. 360-373, ISSN:0022-4812, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org:

A.Cantini (1985). Majorizing provably recursive functions in fragments of PA. ARCHIV FÜR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG, vol. 25, pp. 21-31, ISSN:0003-9268

A.Cantini (1985). On weak theories of sets and classes which are based on strict$Pi_1^1$-reflection. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 31, pp. 321-332, ISSN:0044-3050

A. Cantini (1985). The Veblen Hierarchy and the stability theorem for L. In: Università di Siena, Siena, 5-8 gennaio 1983, Università di Siena, pp. 166-170.

A. CANTINI (1985). A note on a predicatively reducible theory of iterated elementary induction. BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B, vol. 6, pp. 413-430, ISSN:0392-4041

A. Cantini (1984). A remark on dependent choice and comprehension principles in second order arithmetic. In: Tagung Mathematische Logik, Oberwolfach, Gennaio 1984, Mathematisches Forschungsinstitut Oberwolfach, vol. Tagungsberichte MFO, pp. 4-4.

A. CANTINI (1983). Proprietà e Operazioni. NAPOLI: Bibliopolis, ISBN:9788870880793

A. Cantini (1983). Sigma-modelli di sottoteorie di KPI. In: Università degi Studi di Siena, Siena, 15-17 aprile 1982, Università di Siena, pp. 201-204.

A. CANTINI (1983). A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems. BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B, vol. 6, pp. 721-737, ISSN:0392-4041

A. Cantini (1982). Remarks on predicative theories of classifications. In: Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, Aprile 1981, Mathematisches Forschungsinstitut Oberwolfach, vol. Tagunsgsberichte MFO, pp. 4-4.

A. CANTINI (1982). Non-extensional theories of predicative classes over PA,. RENDICONTI DEL SEMINARIO MATEMATICO, vol. 40, pp. 47-79, ISSN:0373-1243

A. CANTINI (1981). Una teoria della predicatività secondo Poincaré. RIVISTA DI FILOSOFIA, vol. 72, pp. 32-50, ISSN:0035-6239

A.Cantini (1981). Tarski extensions of theories. In: SILFS 1979, Montecatini, Ottobre 1979, Bibliopolis, Napoli, pp. 219-237, ISBN:9788870880342

A. Cantini (1980). A note on three valued logic and Tarski's theorem on truthdefinitions. STUDIA LOGICA, vol. 39, pp. 405-415, ISSN:0039-3215

A. CANTINI (1979). On non-archimedean structures of D.Klaua. MATHEMATISCHE NACHRICHTEN, vol. 87, pp. 35-41, ISSN:0025-584X

A.Cantini (1979). I fondamenti della matematica. Torino: Loescher, pp. 1-260.

A. CANTINI (1978). Una nota sulla concezione semi-intuizionistica della matematica. RIVISTA DI FILOSOFIA, vol. 69, pp. 465-486, ISSN:0035-6239

A. CANTINI (1976). Su alcuni recenti sviluppi della Logica: temi e problemi della teoria delle definizioni ricorsive. RIVISTA DI FILOSOFIA, vol. 67, pp. 451-472, ISSN:0035-6239

Andrea CANTINI

Biography

Personal Data:
Born December 12, 1951, Borgo S. Lorenzo (Firenze, Italy).

Andrea CANTINI

Curriculum

Education and Grants:

1974: laurea in Philosophy; dissertation, advisor prof. E. Casari

1977-1978: Fulbright grant at the University of California, Berkeley (Group in Logic and Methodology of Science, study and research in Generalized Recursion Theory and Proof Theory );

1979-1983: Humboldt Fellow, CNR-NATO Junior Fellow at the Ludwig-Maximilians Universitaet Muenchen (study and research in Proof Theory, advisor Prof. H. Schwichtenberg)

Professional Experience:
1.11.2000-present: full professor of Logic, Dept. of Philosophy; Università di Firenze;
1.11.2001- 31.10.2007: Chairman of the Department of Philosophy;

1.11.2009-31.1.2014: delegato del Rettore per il Dottorato di Ricerca;

2003-2004: temporary position as: professor of Logic, Collegio Ghislieri, Università di Pavia;
1988-2000: associate professor of Logic, Università di Firenze;
1997-98 (sabbatical): visiting IAM, Universitaet Bern (prof. G.Jaeger); Humboldt Fellow at the Institut fuer Mathematische Logik, Universitaet Muenster (prof. W. Pohlers);
1991 (sabbatical): Humboldt Fellow, Ludwig-Maximilians Universitaet Muenchen;.
1984-1988: assistant professor (ricercatore), Università di Trieste, Università di Firenze;
1983-4: temporary lecturer (professore a contratto) in Epistemology, Università della Calabria.
Member of the Graduate Programs in: Philosophy, Philosophy and Methodology and Empirical Research in Social Sciences.

Teaching: since 1988, several courses and seminars (undergraduate and graduate level) on the following topics:

Rudiments of Logic, Logic, Modal Logic, Indecidability and Incompleteness, Topics in Proof Theory, Set Theory, History and Philosophy of Logic and the Foundations of Mathematics, Theories of Truth.

Service

(i) Referee of papers for international journals including Journal of Symbolic Logic, Journal of Philosophical Logic, Studia Logica, Annals of Pure and Applied Logic,Review of Symbolic Logic, Synthese, Erkenntnis, Notre Dame Journal of Formal Logic, Journal of Logic and Computation, Archive for Mathematical Logic, History and Philosophy of Logic;
(ii) referee of research projects, dissertations and tenure evaluation for European and US-universities and research agencies;
(iii) reviewer for the section 03-XX: Philosophy of mathematics, General logic, Proof Theory and Constructive Mathematics, Recursion Theory of the Zentralblatt fuer Mathematik und Ihre Grenzgebiete (Springer, Berlin-Heidelberg).
(iv) reviewer of papers and books for the Journal of Symbolic Logic, Bulletin of Symbolic Logic, Erkenntnis, Studia Logica ;
(iv) 1.11.2001-30.10.2007: member of the University Committee for funding international research activities of the University of Florence;
(v) member of the steering committees for national and international conferences CiE 2007, LMPS 2007, LMPS 1995.

(vi) member (since 2009) of Comitato Direttivo, Rivista di Filosofia, Il Mulino, Bologna;

(vii) Editor (1.1.2014-31.12.2018) of the Bulletin of Symbolic Logic.

Invited Talks at Conferences and Workshops (a selection):

A path from formal truth to predicativity, APT meeting, 113-15, 2023; A fixed point theory over stratified truth, LTG, University of Bern, Bern, 12-14, 12.2018; From self-reference to unfoundedness, Ouroboros 2018, Hausdorff Center for Mathematics, Bonn, 16-18, 2018; About propositions and truth, axiomatically, University College, University of London, London, May 31, 2019; Abstract objects in a truth-theoretic setting, MCMP, LMU Muenchen, July 6-7 2019;

Axiomatic Theories of Truth, University of Oxford, New College (September 2011), Pillars of Truth, Princeton University (Aprile 2011), LMPS 1995, Logic Colloquium 2001, Logic Colloquium 2004, and several other conferences at the following universities: Ludwig-Maximilians-Universitaet Muenchen, University of Roskilde, Stanford University, University of California Irvine, University of Leeds, Universitaet Bern, University of Oxford (Logic meeting at New College 2006); invited at the meetings "Mathematische Logik" , Mathematisches Forschungsinstitut Oberwolfach (1981, 1984, 1986, 1988, 1990, 1992, 2002, 2005)

Andrea CANTINI

Interest

Theories of truth and abstraction; proof theory and foundations of constructivism; history and philosophy of logic