Logic and Philosophy of Science

Italian version

• Faculty
• Visitors
• Doc's/Post-doc's
• Collaborators
• International relationships
• Main activities
  
• Links

FACULTY

Andrea Cantini: proof theory and computability theory, modal logics, formal theories of truth, philosophy of logic and mathematics, history of logic and XXth century foundations of mathematics.

Elena Castellani: history and philosophy of physics, philosophy of time and space, ontology of physical theories, history and significance of symmetries, reductionism and supervenience, structural realism.

Maria Luisa Dalla Chiara: philosophy of science, quantum logic, quantum computation, philosophy and foundations of quantum mechanics, semantics of physical theories, theories of meaning.

Pierluigi Minari: non-classical logics (intermediate, modal, substructural logics), relational and algebraic semantics, proof theory and recursion theory, formal theories of truth, philosophy of mathematics.

Top

VISITORS

Wim Christiaens (Univ. Gent, Belgium): 8/1/04 - 1/31/05

Bas van Fraasen (Princeton Univ.): 27/04/06 - 28/04/06

Peter Schuster (priv. doz., Ludwig Maximilians Universitaet, Monaco): 01/12/08 - 30/09/2009, Feodor-Lynen fellow, Alexander von Humboldt Stiftung

Top

Ph.D. AND POST-DOC FELLOWS

Paolo Maffezioli (Ph.D. fellow).

 Top

COLLABORATORS

Alessandro Becchi: theory of truth, philosophy of logic, philosophy of language.

Riccardo Bruni: philosophy of logic and mathematics, history and philosophy of foundations of mathematics of the XXth century, formal theories of truth.

Laura Crosilla: constructive theory of sets and types, proof theory, theorem provers.

Tommaso Piazza: philosophy of knowledge, philosophy of language, phenomenology.

Francesca Poggiolesi: logic, philosophy of language and philosophy of logic.

Veronica Santini.

Top

• The group is member of the Computability in Europe Marie Curie Research training network. Among the net aims there's the organization of a series of conferences (programmed until 2009), the next of which, CIE 2007: Computation and Logic in the Real World, will be held in Siena from June 18, until June 23.
• The group has recently signed up an agreement with the group of the Department of Logic and Philosophy of Science of University of California Irvine. Within this agreement it has been held on March 31 - April 1 2006, the 1st Florence Colloquium on Logic and Philosophy of Science at the Dept. of Philosophy in Florence (program). This event is programmed to be held yearly, alternating the location between Florence and Irvine (the next meeting is thus due to be held at Irvine, next Spring).
• The 2nd Irvine-Florence Colloquium took place on March 23-24, 2007 at Irvine. All information concerning this agreement, can be gained by the Irvine-Florence web page (you can jump there directly by clicking here).
• The third meeting of this series took place in Florence again, on Sept. 18-19 2008 (browse the program by clicking here).

Top

Seminar "Logic and Philosophy of Science"
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2005-2006
- a.a. 2004-2005

Interdisciplinary seminar "Philosophy and Physics"
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2006-2007
- a.a. 2005-2006 (here is a poster in italian with the next meetings, most of which will be held in English).
- a.a. 2004-2005
- a.a. 2003-2004
- a.a. 2002-2003

Seminar "Logic and Information"
- a.a. 2003-2004

Seminar "Advances in Logic"
- a.a. 2009-2010
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2006-2007
- a.a. 2005-2006

Top

LINKS
(alphabetic order)

AILA
(Italian Association of Logic and its applications)

Archives of Scientific Philosophy a Pittsburgh

Archives of Philosophy of Science

Italian bibliography of Philosophy of Science

Center for Philosophy of Science Pittsburgh

Contemporary Philosophy of Mind
(commented bibliography by David Chalmers)

Internet Sources for the History and Philosophy of Science
(by Thomas B. Settle)

Mathematical Logic Around the World
(comprehensive site on mathematical logic)

Mediaeval Logic and Philosophy

Italian Society of Logic and Philosophy of Science - SILFS

Stanford Encyclopedia of Philosophy

Top