L’AILA (Associazione Italiana di Logica e sue Applicazioni) nasce nel 1987 per iniziativa di vari logici italiani, tra cui Giovanni Sambin, che è stato anche il primo Presidente fino al 1994. Gli sono succeduti alla guida dell’associazione Daniele Mundici (1994-1998), Annalisa Marcja (1998-2001), Giuseppe Rosolini (2001-2005), Carlo Toffalori (2005-2017), Antonio Di Nola (2017-2020), fino all’attuale Presidente Silvio Ghilardi.

I soci AILA sono quasi 200.

L’AILA, che non ha scopi di lucro, si propone la diffusione dello studio e della conoscenza della logica in tutte le sue forme, l’avanzamento della ricerca e la promozione delle sue applicazioni.

Saharon Shelah ha definito la logica “Matematica applicata alla matematica”. Ma le sue connessioni spaziano non solo all’interno della matematica, ma anche da un lato nella filosofia della scienza e dall’altro nell’informatica, e le sue applicazioni si estendono alle scienze sociali, economiche e altro ancora. L’AILA intende sostenere tutti questi interessi.

Per perseguire i suoi scopi, l’AILA stabilisce e mantiene rapporti con l’UMI (Unione Matematica Italiana), la SILFS (Società Italiana di Logica e Filosofia della Scienza) e con altre associazioni italiane, matematiche e non solo matematiche. Particolare importanza è data al legame con Didattica e Storia della Matematica. L’AILA afferisce inoltre alla FIMA (Federazione Italiana di Matematica Applicata).

L’AILA tiene congressi nazionali con cadenza triennale. Organizza, patrocina e sostiene altri convegni dedicati alla logica, anche a carattere internazionale. Propone annualmente dal 1997 una Scuola Estiva di Logica per giovani ricercatori, che si tiene a Palazzo Feltrinelli, Gargnano (BS).

L’AILA organizza poi vari premi:

– il Premio UMI-AILA “Franco Montagna”, biennale, per tesi di dottorato dedicate a temi di logica matematica;
– Il premio “Paolo Gentilini”, annuale, riservato a giovani studiosi di logica:
– il premio “Ada Lettieri”, biennale, per articoli di ricerca scritti da giovani su argomenti di logica matematica,

– il premio 3+2 per le migliori tesi di laurea triennale e magistrale in Logica,

insieme a due recenti premi “una tantum”, ancora intitolati a Paolo Gentilini, rispettivamente per tesi di dottorato su argomenti di logica in informatica e per articoli di ricerca di giovani studiosi sulla logica applicata all’economia.

L’AILA ha pubblicato di recente due volumi sulle Direzioni della Ricerca Logica in Italia, come pure volumi su Logica e Didattica della Matematica, e in passato una serie di Quaderni AILA Preprints.

Il sito dell’associazione è www.ailalogica.it .