Le famiglie italiane sono lo specchio di una società in mutamento, più sensibile verso i diritti ma sotto molti aspetti sofferente e incapace di vivere la diversità come risorsa aggiuntiva: il Comitato per le Pari Opportunità dell'Università degli Studi di Messina, a conclusione del suo mandato (2004-2007), ha invitato la comunità accademica e la cittadinanza a una riflessione multidisciplinare sull'evoluzione dei modelli familiari e all'ascolto delle esperienze e dei bisogni espressi dal territorio, per restituirli all'attenzione della classe politica chiamata a governare le difficoltà e valorizzare le buone prassi a sostegno delle famiglie. Il volume raccoglie i contributi scientifici e le testimonianze di quella giornata di studio, realizzata in collaborazione con l'Istituto Comprensivo n. 12 'Ugo Foscolo' di Messina e con il Corso 'Donne, politica e istituzioni' dell'Ateneo messinese, a margine della quale si è anche svolta la Mostra-concorso 'La famiglia vista dai bambini'.

Il volume propone una lettura interpretativa dei disegni di architettura prodotti nelle fasi della ricostruzione della città di Messina distrutta dal terremoto del 1908, attraverso l'osservazione sistematica di una selezione di elaborati grafici, reperiti presso gli archivi degli enti pubblici o presso studi professionali privati o pubblicati sui periodici specializzati o sui quotidiani locali, che si è andata costituendo in corso d'opera in base ai loro requisiti di qualità. Degli elaborati più rappresentativi, per ciascun progetto, sono state analizzate l'espressione grafica e la tecnica di rappresentazione in relazione a quanto si andava producendo nel medesimo settore a livello nazionale.

Il modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la soddisfacibilità di una formula, è di solito infinito,ossia con supporto (insieme universo) di cardinalità infinita, se nella formula considerata compare almeno una funzione di Skolem. Ciò non diminuisce tuttavia la sua importanza, poichè è possibile trovare basi di Herbrand per la soddisfacibilità. Infatti esempi di formule non valide si trovano di solito prendendo in esame insiemi di supporto di piccola cardinalità (2 elementi). Nel Capitolo 1 di questo lavoro si studia il modello di Herbrandt e la proprietà del modello numerabile, in connessione col modello di Herbrandt. Il Capitolo 2 è dedicato allo studio dei tableaux infiniti della logica dei predicati ed alla loro modellizzazione matematica con grafi infiniti.Il risultato cruciale è che la logica fornisce una nuova classe di grafi il cui studio è molto interessante dal punto di vista matematico.

Nel calcolo dei predicati del primo ordine l'argomento centrale è il problema della soddisfacibilità di una formula o di un insieme di formule. Il principale scopo è dare criteri di soddisfacibilità ed algoritmi per la costruzione di un modello. In questa direzione, il linguaggio scelto sarà il protagonista, nel senso che la soddisfacibilità è strettamente legata al linguaggio considerato e, più il linguaggio sarà povero, più saranno le possibilità di avere formule valide o soddisfacibili. In questo lavoro si studiano due procedure logiche per la soddisfacibilità: la ricerca degli avatars di una formulae la ricerca dei testimoni di Henkin di una teoria. La prima procedura è un algoritmo utile a costruire un modello per la formula considerata, la seconda ha per finalità la dimostrazione del teorema di Gäodel sull'esistenza di un modello per ogni teoria non contraddittoria del 1° ordine. Nell'appendice si danno le definizioni fondamentali sul tipo di similarità di un linguaggio corredate da esempi, si introducono e si studiano i fondamentali linguaggiprovenienti dall'algebra e dalla geometria. Riterremo note le nozioni fondamentali del calcolo dei predicati del primo ordine.

Catalogo della mostra 'Il Gruppo di Scicli' tenutasi presso la Fondazione Mazzullo al Palazzo dei Duchi di Santo Stefano di Taormina (Messina). Sono raccolte le ultima opere di Alvarez, Candiano, Colombo, Guccione, Paolino, Polizzi, Puglisi, Sarnari, Zuccaro.

Il titolo riprende una frase adoperata dallo studioso settecentesco Francesco Susinno a proposito di un'opera di Martino Montanini, ed è emblematica di una situazione, come quella della Messina del '500, brulicante di artisti e di opere significative. Il volume analizza gli intensi rapporti tra la scultura peloritana e quella oltre lo Stretto e soprattutto indaga, in maniera sistematica, il ruolo delle singole personalità che hanno caratterizzato il panorama artistico meridionale del Cinquecento: dall'arrivo a Messina nei primi anni del secolo del giovane Antonello Gagini a quello di Giovannangelo Montorsoli (allievo di Michelangelo), dalla presenza di Andrea Calamecca e Jacopo Del Duca, ad un corollario di figure meno note al vasto pubblico, ma di grande interesse, come i due Mazzolo, Martino Montanini, Rinaldo Bonanno, Francesco e Lorenzo Calamecca. Oltre ad analizzare le varie personalità di questi artisti, l'autrice riferisce anche i rapporti con il loro contesto di appartenenza, la Toscana, e l'inevitabile eredità lasciata da Michelangelo.

Il volume approfondisce il difficile percorso delle pari opportunità attraverso le tappe della legislazione italiana e della comunità europea. Segue l'analisi dello stato attuale della parità nella pubblica amministrazione. In prefazione è delineato brevemente il rapporto tra le pari opportunità e il mondo dell'arte.