Department Affiliates
Department Activity
Details
-
MA program offered
-
PhD program offered
Also at Università degli Studi di Firenze
-
-
-
-
Walter Leszl, From Hegel to ZellerIn Oliver Primavesi & Katharina Luchner (eds.), The Presocratics from the Latin Middle Ages to Hermann Diels: Akten Der 9. Tagung Der Karl und Gertrud Abel-Stiftung Vom 5.-7. Oktober 2006 in München, Steiner Verlag. pp. 309-333. 2011.
-
Laura Crosilla, Monika Seisenberger, and Helmut Schwichtenberg, Tutorial for MinlogMinlog Proof Assistant - Freely Distributed. 2011.
-
Matteo Galletti and Silvia Vida, Indagine sulla natura umana: itinerari della filosofia contemporanea (edited book)Carocci. 2011.
-
Francesco Ademollo, The Principle of Bivalence in De interpretatione 4Oxford Studies in Ancient Philosophy 38 97-113. 2010.
-
Walter Leszl, Zeller in Italy. Rodolfo Mondolfo’s revision of Zeller’s History of Greek PhilosophyIn Gerald Hartung (ed.), Eduard Zeller: Philosophie- Und Wissenschaftsgeschichte Im 19. Jahrhundert, Walter De Gruyter. pp. 309-342. 2010.
-
Laura Crosilla, Set theory: Constructive and intuitionistic ZFStanford Encyclopedia of Philosophy. 2010.
-
Don Howard, Bas C. Van Fraassen, Otávio Bueno, Elena Castellani, Laura Crosilla, Steven French, and Décio Krause, The physics and metaphysics of identity and individuality: Steven French and Décio Krause: Identity in physics: A historical, philosophical, and formal analysis. Oxford: Clarendon Press, 2006, 440 pp, £68.00 HBMetascience 20 (2): 225-251. 2010.
-
Andrea Cantini and Laura Crosilla, Elementary Constructive Operational Set TheoryIn Ralf Schindler (ed.), Ways of Proof Theory, De Gruyter. pp. 199-240. 2010.
-
-
-
Walter Leszl, I primi atomisti: raccolta di testi che riguardano Leucippo e Democrito (edited book)Leo S. Olschki. 2009.
-
Francesco Ademollo, Truth, etc.: Six Lectures on Ancient LogicPhilosophical Review 118 (4): 546-551. 2009.
-
Marco Fenici, Forme del divenire. Evo‐devo: la biologia evoluzionistica dello sviluppo - Alessandro Minelli (review)Humana Mente 2 (6). 2008.
-
Marco Fenici, Individuo e persona. Tre saggi su chi siamo - G. Boniolo, G. De Anna, U. Vincenti (review)Humana Mente 2 (6). 2008.
-
Marco Fenici, La mente sociale - Cristina Meini e Massimo Marraffa (review)Humana Mente 2 (5). 2008.
-
-
Matteo Galletti, Carattere e situazioni: le recenti critiche dell’etica della virtù basate sulla psicologia socialeAnnali Del Dipartimento di Filosofia 13 287-306. 2007.
-
Francesco Ademollo, The Equals, the Equals Themselves, Equality, and the Equals ItselfDocumenti E Studi Sulla Tradizione Filosofica Medievale 18 1-20. 2007.
-
Andrea Cantini and Laura Crosilla, Constructive Set Theory with OperationsIn Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.), Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004, Cambridge University Press. 2007.
-
Matteo Galletti, Begetting, cloning and being human: Two national commission reports against human cloning from italy and the U.s.AHEC Forum 18 (2): 156-171. 2006.
-
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, and Peter Schuster, Binary Refinement Implies Discrete ExponentiationStudia Logica 84 (3): 361-368. 2006.
-
Laura Crosilla, Constructive notions of set: Part I. Sets in Martin–Löf type theoryAnnali Del Dipartimento di Filosofia 11 347-387. 2005.
-
Laura Crosilla and Peter Schuster, From sets and types to topology and analysis (edited book)Oxford University Press. 2005.
-
Laura Crosilla, Hajime Ishihara, and Peter Schuster, On constructing completionsJournal of Symbolic Logic 70 (3): 969-978. 2005.
-
-
Francesco Ademollo, Sophroniscus’ son is approaching: Porphyry, Isagoge 7.20–1Classical Quarterly 54 (1): 322-325. 2004.
-
Laura Crosilla and Moritz Rathjen, Inaccessible set axioms may have little consistency strengthAnnals of Pure and Applied Logic 115 (1-3): 33-70. 2002.