Seminario di Logica permanente

Sei in: Home › Chi siamo

Chi siamo

Il nucleo del nostro gruppo si è conosciuto alla Scuola Estiva di Logica, organizzata dall'AILA, che si è tenuta a Gargnano dal 26 agosto all’1 settembre 2007. Nei mesi successivi alla Scuola ci siamo tenuti in contatto e dalle nostre conversazioni è nata l’idea di creare un gruppo di studio di logica, per scambiarci vicendevolmente le nostre conoscenze di base e il nostro approccio alla materia, per fondere le nostre differenti preparazioni di matematici e filosofi.

Cosa facciamo

Scopo del nostro gruppo è quello di organizzare dei seminari di scambio e comunicazione delle nostre conoscenze e della condivisione delle nostre diverse formazioni, per offrire una fonte permanente di spunti e idee per la ricerca.

Vorremmo renderci vicendevolmente partecipi dei nostri studi e di come ciascuno approcci la logica. Abbiamo concluso la formativa esperienza di Gargnano con questa idea e con questa forte esigenza. La mancanza di un percorso preferenziale per gli studi in logica rende più complicato raggiungere una cultura uniforme dell’ampia e vasta materia logica, nelle sue differenti declinazioni e ramificazioni. Il nostro progetto corre in questa direzione: momento di scambio e di stimolo all’ampliamento dei propri studi ed interessi.

Siamo convinti che la diversità di approccio e di formazione sia una ricchezza per lo studio della logica, e vorremmo poter continuare a coinvolgere studenti provenienti da ambiti diversi: l’interpretazione filosofica, la formalizzazione matematica e l’applicazione informatica rappresentano aspetti complementari ed inscindibili dello studio della logica. In un primo momento, l’obiettivo è quello di rendere tutti quanti partecipi della formazione di ciascuno, nell’ottica di una formazione alla ricerca. In un secondo momento, quando il gruppo sarà più consolidato, potremo essere pronti ad approfondire gli studi in direzioni più precise, con la speranza di poter dare contributi originali alla ricerca ed un sostegno più organizzato alla logica in Italia.

Struttura organizzativa

Il SELP elegge annualmente un responsabile annuale (Giorgio Venturi per l’anno corrente), incaricato di gestire i rapporti con l’AILA, organizzare gli incontri e gestire le nuove iscrizioni.

Le iscrizioni sono aperte a tutti ed avvengono tramite comunicazione al responsabile annuale e conseguente iscrizione all’AILA.

Viene eletto ogni anno un comitato di revisione degli scritti (formato attualmente da Giulio Guerrieri, Samuele Maschio e Luca San Mauro), incaricato di organizzare gli incontri e di correggere e uniformare tutti i documenti prodotti durante i diversi incontri e presenti sul sito.

L’associazione si propone di ricercare finanziamenti per gestire i rimborsi spese per gli spostamenti degli iscritti non strutturati.

Ogni due mesi viene inviata una email di aggiornamento alla mailing list AILA, pubblicizzando le date degli incontri seguenti.

L’associazione è disponibile ad organizzare qualsiasi forma di evento in collaborazione con l’AILA (supporto a convegni organizzati dall’AILA, organizzazione della sezione giovani, gestione di tutorati).

La mailing list del gruppo è ospitata all'indirizzo http://poisson.phc.unipi.it/cgi-bin/mailman/listinfo/selp.

Giorgio Venturi, fondatore del SELP e responsabile e garante dei rapporti con l'AILA, può essere contattato all'indirizzo x@y, sostituendo x con "gio.venturi" e y con "gmail.com".

Membri

  Nome Cursus
Fausto Barbero Università di Torino - Matematica - Dottorato
Pietro Battiston Università di Bologna - Laurea Magistralis in Economics
Matteo Bianchetti Università di Milano - Filosofia
Emanuele Bottazzi Università di Pavia - Matematica
Costanza Brevini Università di Milano - Filosofia
Rebecca Cacioli Università di Amsterdam - Fisica
Ivano Ciardelli Université Bordeaux 1 - Informatica - Dottorato
Maria Consarino Università di Padova - Matematica - Specialistica
Maria Emilia Della Stella Università di Trento - Matematica - Dottorato
Martina Fedel Università di Siena - Matematica - Dottorato
Anna Rita Ferraioli Università di Salerno - Matematica - Dottorato
Umberto Grandi Università di Amsterdam - Logica - Dottorato
Giulio Guerrieri Università di Roma Tre - Filosofia - Dottorato
Université Paris Diderot - Informatica - Dottorato
Samuele Iaquinto Università degli Studi di Milano - Filosofia - Dottorato
Serafina Lapenta Università degli Studi della Basilicata - Dottorato
Lorenzo Luperi Baglini Università di Siena - Dottorato
Lorenzo Malatesta University of Strathclyde, Scotland - Informatica - Dottorato
Marcello Mamino Scuola Normale Superiore di Pisa - Matematica - Dottorato
Samuele Maschio Università di Pavia - Matematica - Dottorato
Diana Mazzarella Università di Milano - Filosofia - Specialistica
Carlo Monti Università di Milano - Filosofia - Specialistica
Giuseppe Ottaviano Università di Pisa - Matematica - Dottorato
Palmero Aprosio Alessio Università di Milano - Informatica - Dottorato
Giuseppe Perelli Università Federico II di Napoli - Dottorato
Paolo Pistone Università di Roma Tre - Filosofia
Chiara Porcelluzzi Università di Bari - Storia della Scienza - Dottoranda
Laura Porro University of St. Andrews - Filosofia - Master of Letter
Luca San Mauro Scuola Normale Superiore - Filosofia - Dottorato
Marco Solieri Università di Bologna - Informatica - Specialistica
Andrea Strollo Università di Torino - Filosofia - Dottorato
Alice Troise Università di Firenze - Matematica
Giampaolo Varani Università di Parma - Filosofia
Gil Vegliach Università di Trieste - Matematica
Giorgio Venturi Scuola Normale Superiore di Pisa - Filosofia - Dottorato
Université Paris Diderot - Matematica - Dottorato
Marco Volpe Università di Verona - Informatica - Dottorato
Fabio Zanasi Universiteit van Amsterdam (ILLC) - Logica - Master