Magika

Il volume è costituito da una serie di riflessioni sul tema del cimitero e da un insieme di materiali documentari ed elaborazioni grafiche, esiti di una ricerca svolta in ambito universitario. Tema centrale sono i cimiteri della provincia di Messina, con particolare riferimento al Gran Camposanto; alcune sezioni sono incentrate sulle figure di Leone Savoja e Giovan Battista Basile. Il testo è corredato da schede descrittive dei cimiteri esaminati con planimetrie, assonometrie d'insieme e rilievi architettonici degli elementi più significativi.

Catalogo di arte contemporanea corredato da una miscellanea di testi critici inediti.

Il volume analizza l'interessante personalità del pittore Rosario Spina (Acireale 1856-Catania 1943), inquadrandola nel contesto artistico della sua epoca, dalla formazione ad Acireale e a Napoli, fino agli anni dell'affermazione nell'ambiente catanese. L'excursus sulla sua variegata produzione, che comprende ritratti, scene di genere, dipinti di soggetto sacro ma anche cartoline e manifesti per eventi ufficiali, introduce alla conoscenza di un settore ancora sconosciuto della sua attività: le decorazioni per interni. Vengono resi noti per la prima volta cinque dipinti murali eseguiti da Spina per tre palazzi di Castiglione di Sicilia e Linguaglossa, in provincia di Catania. L'esame dettagliato delle opere e il confronto minuzioso con i disegni preparatori offrono l'occasione per approfondire la conoscenza di "Saru" Spina, ma anche delle decorazioni per gli interni aristocratici e alto borghesi che costituiscono un settore rilevante nel panorama artistico italiano del XIX secolo.

Il volume analizza le raccolte di antiquaria, scienze naturali e oggetti d'arte del canonico Giuseppe Alessi in rapporto alle tendenze del collezionismo siciliano tra XVII e XIX secolo.

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.

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.

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.

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.