Logica e Filosofia della scienza

English version

NOVITÀ

*** Consulta la Newsletter del gruppo "il FIlo LOGICo" ***

***Consulta le nuove pagine Irvine-Florence cliccando qui!***
(per maggiori informazioni, guarda anche sotto "Attività Internazionali")

---

 

 

• Docenti
• Visitors
• Dottorandi/Assegnisti
• Collaboratori
• Attività internazionali
• Altre attività
• 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, borsista Feodor-Lynen, Alexander von Humboldt Stiftung.

Inizio pagina

 

DOTTORANDI E ASSEGNISTI

---

 

 

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). L'evento è pensato per avere cadenza annuale, e verrà ripetuto, nella primavera 2007, presso il Dept. of Logic and Philosophy of Science della University of California Irvine.
  In effetti, il secondo Irvine-Florence Colloquium si è appena svolto (il 23-24 marzo u.s.) ad Irvine. E' adesso disponibile la pagina web relativa all'accordo Irvine-Florence con tutte le informazioni del caso (puoi arrivarci direttamente cliccando qui).

Inizio pagina

 

ALTRE ATTIVITÀ

---

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

Seminario Interdisciplinare "Philosophy and Physics"
- 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. 2008-2009
- a.a. 2007-2008
- a.a. 2006-2007
- a.a. 2005-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