Curriculum Vitae In July 2000, I obtained my degree in Philosophy at Florence University under the supervision of prof. A. Cantini (Professor of Logic). My thesis was titled In the light of logic: philosophy and foundations in Solomon Fefermans works (in italian). In September 2004, I successfully defended my Ph.D. thesis titled Reflecting on Incompleteness. Gödel's theorems between logic and philosophy (in italian). My advisor was, once again, Professor Cantini.
Since November 2005, and until October 2007, I have been given a post-doc position at the Department of Philosophy of Florence University. From February to May 2008, I was on a leave for a short-term visit at the Institut für Informatik und Angewandte Mathematik of the University of Bern (CH) (grant of the Swiss National Science Foundation and the Consiglio Nazionale delle Ricerche). From August 1st, 2010 until July 31st, 2011 I have been appointed a post-doc position at the Scuola Normale Superiore in Pisa. |
Publications - Some remarks on the theory of finite revision, submitted.
- Analytic calculi for circular concepts by finite revision, submitted.
- Beppo Levi's analysis of the paradoxes, submitted.
- A note on theories for quasi-inductive definitions, "The Review of Symbolic Logic", vol. 2, issue 4, 2009, pp. 684-699, doi: 10.1017/S175502030909025X.
Proof-theoretic aspects of quasi-inductive definitions, in M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia, New Essays in Logic and Philosophy of Science, College Publications, London, 2010. On some recently debated issues in the theory of formal truth, "Annali del Dipartimento di Filosofia", vol. XIII, 2008, pp. 117-145. From incompleteness to incompletability: a note on Gödel's view of mathematical knowledge, "Epistemologia", 30, n. 2, 2007, pp. 345-364 (link). Gödel, Turing, the undecidability results and the nature of human mind, accepted contributed paper at Computability in Europe '06, Swansea, 30 June - 5 July, 2006 (to be published in the contributed papers proocedings of the conference - preliminary .pdf). The .pdf file of my presentation at the conference is now available on-line. On some implications of Kurt Gödel's incompleteness theorems (in italian), Annali del Dipartimento di Filosofia, IX-X, Florence University Press, 2005, pp. 209-226 (a .pdf is available at the web page of the journal). A note on Gödel's philosophy of mathematics in the light of his Nachlass, contributed paper at Logic Colloquium '04, Turin, 25-31 July, 2004 ( abstract - published on The Bulletin of Symbolic Logic, 11, 2005, pp. 270-271 - slides). Reflecting on Incompleteness. Gödel's theorems between logic and philosophy (in italian), PhD thesis, Florence 2004 ( .zip file). In the light of logic: philosophy and foundations in Solomon Fefermans works (in italian), Thesis, Florence, 2000, ( .zip file). (with M. Galvagni), The foundations of mathematics after the incompleteness theorems: K. Gödel, S. Feferman (in italian) , Kykéion, 4, 2000, pp. 95-116 ( .pdf file).
|
Recent Seminars, Conferences, Reports and Work in Progress - Some remarks on the theory of finite revision, Workshop on Axiomatic Theories of Truth, Oxford, New College, September 19th, 2011.
- Approximating Beppo Levi's Principio di Approssimazione, XIVth LMPS Conference, Nancy, July 23rd, 2011.
- Analytic calculi for circular concepts by finite revision, Paradoxes of Truth and Denotation, (7th Barcelona Workshop in the Theory of Reference), Barcelona, June 14-16, 2011.
- Comment on "The Elusiveness of Disquotationalism" by Volker Halbach, Truth Be Told 2011, Amsterdam, February 23-25, 2011.
- Approximating Beppo Levi's principio di approssimazione, AILA (Italian Association of Logic and Applications) 24th Logic Meeting, Bologna, Italy, February 2-4, 2011.
- On Beppo Levi's approximation principle, SILFS (Italian Society of Logic and Philosophy of Science) Conference, Bergamo, Italy, December 15-17, 2010.
- On Beppo Levi's approximation principle, Infinity and Infinitesimals in Mathematics, Computing and Natural Sciences, Cetraro, May 17-21, 2010.
- On theories for quasi-inductive definitions, Leeds Seminar on Proof Theory and Constructivism, April the 28th, 2010.
- An approach to Paradoxes by Beppo Levi, contributed talk to UNILOG 2010, Lisbon, April 22-25, 2010.
- Sulla logica delle definizioni circolari con semantica 'costruttiva', Verità costruttiva e semantiche proof-teoretiche, Joint seminar of the Doctorate Schools of Florence, Pisa, Siena. Dept. of Philosophy, UNiversity of Florence, April the 9th, 2010.
- On the left of Beppo Levi?, Seminario di Logica, Dept. of Philosophy, University of Florence, Novembre, the 13th, 2009 (slides)
- On the Proof Strength of Quasi-Inductive Definitions, contributed talk at Leeds Workshop on Constructivism and Proof Theory, Leeds (UK), July, the 10th, 2009 (slides).
- (joint work with P. Schuster) A note on Beppo Levi's Approximation Principle, in preparation
- Toward the proof theory of circular concepts, in preparation.
A language and axioms for quasi-inductive definitions, Mathematical Methods in Philosophy, Bristol (UK) Sept. 19-21/08 ( slides - with some small remark I had to leave out for time consideration). - A language and axioms for quasi-inductive definitions, Irvine-Florence Meeting, Florence Sept. 18-19/08 (slides - for those who were present this is my "would-have-been" presentation if my tight schedule - see the previous item - had not obliged me to seriously cut the "actual" version of it)
- A note on theories for quasi-inductive definitions, in preparation.Axiomatizing the Revision Theory of truth, Joint seminar of the University of Bern (IAM), Fribourg and Neuchâtel, Münchenwiler (Bern - CH), March 19-20, 2008.
- Axiomatizing the Revision Theory of truth, Seminar of the Group for Theoretical Computer Science and Logic of the Institut für Informatik und Angewandte Mathematik of Bern University, February 28, 2008.
- Proof-theoretic aspects of quasi-inductive definitions, contributed talk at the AILA (Associazione Italiana di Logica e Applicazioni) XXXIIIrd Logic Meeting, Genoa
|
