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

Temi avanzati di Logica (termine)

Il corso è terminato, ma il docente rimane a disposizione per ricevimenti e incontri (da tenere eventualmente in Capponi, lu.ma.me nell'intervallo 9-11). Si prega di prenotarsi via mail. Il programma del corso si trova su Moodle (con gli appunti).

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

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

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.

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 (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 ; 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). Ettore Casari: logica e filosofia. RIVISTA DI FILOSOFIA, vol. 112, pp. 61-70, ISSN:0035-6239 DOI Accesso ONLINE all'editore

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; 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; 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 (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

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.

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 (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 (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; 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 (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 (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 (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). 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). 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 (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: B. R., George, Second-order characterizable cardinals and ordinals. ZENTRALBLATT MATH, vol. 1114, pp. 1114.03031-1114.03031, ISSN:1436-3356

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 (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 (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). 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 (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 : 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). 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 (2003). The undecidability of Grishin's set theory. STUDIA LOGICA, vol. 74, pp. 345-368, ISSN:0039-3215

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 (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). 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 (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). Adding choice and uniformity to weak applicative systems.. In: MFO, Oberwolfach, Aprile 2002, Mathematisches Forschungsinstitut Oberwolfach, pp. 9-9.

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: 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 : 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: 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: 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: 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

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

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 (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). 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: 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 (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 (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 : 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: 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 (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). 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 : 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). 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 (1996). LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION. AMSTERDAM: ELSEVIER-NORTH HOLLAND, ISBN:9780444823069

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). 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). Levels of Truth. NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 36, pp. 185-213, ISSN:0029-4527

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 (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 (1992). Combinators and reflective truth. In: Tagung Mathematische Logik MFO, Obervolfach, Gennaio 1992, Mathematisches Forschungsinstitut Oberwolfach, vol. Tagungsbericht MFO, pp. 2-3.

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 (1991). A logic of abstraction related to finite constructive numberclasses. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 31, pp. 69-83, ISSN:1432-0665

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

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

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 (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). Untyped comprehension and self-referential properties. In: SILFS, Cesena, 7-10 gennaio 1987, Clueb Bologna, pp. 171-174, ISBN:8849103565

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). Sulla teoria dell'astrazione. TEORIA, vol. 8, pp. 101-120, ISSN:1122-1259

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). 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 (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). 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). 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 (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). 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 (1983). Proprietà e Operazioni. NAPOLI: Bibliopolis, ISBN:9788870880793

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). Tarski extensions of theories. In: SILFS 1979, Montecatini, Ottobre 1979, Bibliopolis, Napoli, pp. 219-237, ISBN:9788870880342

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

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). I fondamenti della matematica. Torino: Loescher, pp. 1-260.

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

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