Francesca Poggiolesi

Ph.Dr. Department of Philosophy, University of Florence, and IHPST, University of Paris 1. Via Bolognese 52 I-50139 Firenze, Italy 0039-339-2298412

** For updated information, visit my new homepage at **
http://poggiolesi.googlepages.com/home

Research Interests

My primary topics of interest are logic, philosophy of language and philosophy of logic.

Education

2004-2007 Ph.d Student at the Department of Philosophy, University of Florence
                  supervisor: Prof. P. Minari, and IHPST, University of Paris 1, supervisor: Prof.
                  G. Sandu.

2006 (May) Research Visiting Fellow at the Department of Philosophy, University of
                   Helsinki.

2003-2004 DEA (Master) of Philosophy, IHPST, University of Paris 1,
                  Title of the thesis:  Logique et Démonstration,
                  Mark: Très bien,
                  Supervisor: J. Dubucs.

1998-2003 Degree in Philosophy, at the University of Florence,
                  Title of the thesis: The modal logic of provability,
                  Mark: 110\110 cum laude,
                  Supervisor: P. Minari.

Presentations (with commettee)
Talks

"Two cut-free sequent calculi for modal logic S5", SILFS conference, Milan, Italy, 8-10 October, 2007.

"A New Definition for the Došen's Principle", Hejnice Monastery, CzechRepublic, 18 - 22 June 2007.

“Ricerche in Logica Modale”,  XVII  Convegno Nazionale dei Dottori di Ricerca in Filosofia, Reggio Emilia, Italy, 4-7 December, 2006.

“A New Sequent Calculus for Modal Logic”,  Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV,  Torun, Poland, 1-4 September, 2006.

“Sequent Calculus for Modal Logic”, Logic Colloquium 2006, Nijmegen, the Netherlands, 27 July – 2 August, 2006.

“A Criticism of the Anderson Solution of the Knower Paradox towards a Provability Solution,” ESAP5 - European Society of Analytic Philosophy,  Lisbon, Portugal, 27-31 August, 2005. 

 
Invited Presentations
Talks

“Tree-hypersequent Calculi for Modal Propositional Logic”, Seminar of the Research Group for Theoretical Computer Science and Logic of the University of Bern, Bern, Switzerland, 4-6 April, 2007.

“Tree-hypersequent Calculi for Modal Propositional Logic”, Annual Meeting Florence-Irvine, Los Angeles, U.S.A., 23-24 April, 2007.

“Tree-hypersequent Calculi for Modal Propositional Logic”, Florence Seminar, Florence, Italy, 9 March 2007.

“A New Sequent Calculus for Modal Logic”, Philform seminar, Paris, France, 4 April 2006. 

“Trois solutions au Paradox du Connaissant,” Cycles de Conférences de Philosophie de l’Université de Genève, Geneve Switzerland,  11 November, 2006.

Other Research Activities

Attendance to the conference "Logique et Géomtrie", Cérisy la Salle, France, September 2006.

Member of the research group "Modal Logic", IHPST, September 2005 - May 2006.

Regular Attendance to the following seminars: Philform (IHPST, since 2003), Phimath (IHPST, since 2003), Logic Seminar at the University of Florence, organized by Prof. A. Cantini and Prof. P. Minari (since 2000).

Some papers 

“The Method of Tree-hypersequent for Modal Propositional Logic”, to appear in Trends in Logic IV: Towards Mathematical Philosophy, Springer, 2008.

“Three solutions to the Knower Paradox”, to appear in the Annali del Dipartimento di Filosofia.

“A cut-free simple sequent calculus for modal logic S5”, to appear in the Review of Symbolic Logic, 2008.

"A New Definition for the Došen's Principle", to appear in the Logic Yearbook, 2007.