Firb futuro in ricerca 2010

Questo progetto riguarda le teorie delle probabilità di eventi descritti da formule di logiche non-classiche. La teoria delle probabilità classica tratta di eventi Booleani, vale a dire eventi sì/no. Questi sono denotati da formule della logica classica proposizionale. Algebricamente, possono quindi essere identificati con elementi di un'algebra Booleana. L'usuale pratica matematica di modellare gli eventi come (particolari) sottoinsiemi di un dato spazio campionario si trova in accordo con la descrizione precedente, se ricordiamo che ogni algebra Booleana è rappresentabile come un campo di insiemi. La sostituzione della logica classica con una (più debole) logica non-classica porta a considerare eventi che sono più generali degli eventi Booleani. Ci si pone dunque la domanda se si possa sviluppare un trattamento matematicamente significativo della teoria delle probabilità di questo tipo di eventi. Lo scopo generale del nostro progetto consiste nel rispondere positivamente a questa domanda