Logica e Filosofia della scienza

English version

---

• Docenti
• Visitors
• Dottorandi/Assegnisti
• Collaboratori
• Attività internazionali
• Altre attività
• Newsletter
• Acquisizioni librarie
• Links di area

 

---

DOCENTI

---

Sergio Bernini (professore associato): filosofia della Logica, filosofia del linguaggio, teoria del riferimento, contenuti proposizionali, filosofia logicista della matematica.

Andrea Cantini (professore ordinario): teoria della dimostrazione e computabilità, logiche modali, teorie formali della verità, filosofia della logica e della matematica, storia della logica e fondamenti della matematica del '900.

Elena Castellani (professore associato): storia e filosofia della fisica, filosofia dello spazio e del tempo, ontologia delle teorie fisiche, storia e significato delle simmetrie, riduzionismo e emergenza, realismo strutturale.

Maria Luisa Dalla Chiara (professore ordinario): filosofia della scienza, logica quantistica, computazione quantistica, filosofia e fondamenti della meccanica quantistica, semantica delle teorie fisiche, teorie del significato.

Pierluigi Minari (professore straordinario): logiche non classiche (logiche intermedie, modali, sottostrutturali), semantiche relazionali e algebriche, teoria della dimostrazione e teoria della ricorsività, teorie formali della verità, filosofia della matematica.

Inizio pagina

VISITORS

---

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

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

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

Gerhard Jaeger (IAM, Bern): 15/09/2010 - 15/10/2010

Inizio pagina

 

DOTTORANDI E ASSEGNISTI

---

Paolo Maffezioli (dottorando di ricerca).

Inizio pagina

 

COLLABORATORI

---

Alessandro Becchi: Teoria della verità, filosofia della logica, filosofia del linguaggio.

Riccardo Bruni: Filosofia della della logica e della matematica, Filosofia e storia dei fondamenti della matematica del '900, Teorie formali della verità.

Laura Crosilla: Teorie costruttive degli insiemi e dei tipi, teoria della dimostrazione, theorem provers.

Tommaso Piazza: Filosofia della conoscenza, filosofia del linguaggio, fenomenologia.

Francesca Poggiolesi: Logica, Filosofia della Logica e del Linguaggio.

Veronica Santini.

Inizio pagina

 

ATTIVITÀ INTERNAZIONALI

---

• Il gruppo figura all'interno della R(easerch) T(raining) N(etwork) europea Computability in Europe, nell'ambito della quale vengono finanziate attività di ricerca mediante i fondi banditi dalla commissione Europea, e viene organizzata una serie di conferenze (già programmate quelle fino al 2009), la prossima delle quali, CIE 2007: Computation and Logic in the Real World, avrà luogo a Siena.
• Il gruppo ha da poco siglato un accordo con il gruppo del Department of Logic and the Philosophy of Science. Nel quadro di quest'accordo è stato organizzato il I Workshop Irvine-Florence, svoltosi presso il Dip.to di Filosofia di Firenze dal 31 marzo al 1 aprile 2006 (programma).
• Il secondo Irvine-Florence Colloquium si è svolto il 23-24 marzo  2007 ad Irvine. E' adesso disponibile la pagina web relativa all'accordo Irvine-Florence con tutte le informazioni del caso (puoi arrivarci direttamente cliccando qui).
• Il terzo incontro della serie, ha avuto luogo a Firenze, presso il Dip.to di Filosofia nei giorni 18-19 settembre 2009 (il programma completo può essere visualizzato cliccando qui).

Inizio pagina

 

ALTRE ATTIVITÀ

---

Seminario "Logica e Filosofia della scienza"
- a.a. 2011-2012
- a.a. 2010-2011
- a.a. 2009-2010
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2005-2006
- a.a. 2004-2005

Attività interdisciplinare Fisica-Filosofia

Seminario Interdisciplinare "Fisica e Filosofia"
- a.a. 2011-2012
- a.a. 2009-2010
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2006-2007
- a.a. 2005-2006
- a.a. 2004-2005
- a.a. 2003-2004
- a.a. 2002-2003

Seminario "Logica e Informazione"
- a.a. 2003-2004

Seminario "Temi avanzati di Logica"
- a.a. 2011-2012
- a.a. 2010-2011
- a.a. 2009-2010
- a.a. 2008-2009
- a.a. 2007-2008
- a.a. 2006-2007
- a.a. 2005-2006

 

Inizio pagina

 

NEWSLETTER

---

il FIlo LOGICo (2006)

Inizio pagina

ACQUISIZIONI LIBRARIE

---

2006

Inizio pagina

LINKS DI AREA
(in ordine alfabetico)

---

AILA
(Associazione Italiana di Logica e sue Applicazioni)

Archives of Scientific Philosophy a Pittsburgh

Archives of Philosophy of Science

Bibliografia Italiana di Storia della Scienza

Center for Philosophy of Science Pittsburgh

Contemporary Philosophy of Mind
(bibliografia commentata a cura di David Chalmers)

Internet Sources for the History and Philosophy of Science
(a cura di Thomas B. Settle)

Mathematical Logic Around the World
(sito comprensivo con links e informazioni sulla logica matematica )

Mediaeval Logic and Philosophy

Società Italiana di Logica e Filosofia delle Scienze - SILFS

Stanford Encyclopedia of Philosophy

Inizio pagina