Indagini in Deep Inference

La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.

Il contributo del telerilevamento multi ed iperspettrale per la caratterizzazione del territorio e la sostenibilità ambientale

L’evoluzione dei sensori multispettrali e la prospettiva di sviluppo dei sensori iperspettrali nel campo del telerilevamento ottico offrono nuovi strumenti per l’indagine del territorio e rinnovano la necessità di ridefinire potenzialità, limiti e accuratezza delle metodologie tradizionali. Nel caso delle immagini iperspettrali, in particolare, l’elevatissima risoluzione spettrale apre nuove possibilità di sviluppo di modelli fisicamente basati per correlare grandezze radiometriche con indicatori fisico-chimici caratteristici delle superfici osservate, a prezzo però di maggiori oneri nella gestione del dato. Il presente lavoro mira appunto ad esaminare, per alcune applicazioni di carattere ambientale e attraverso casi di studio specifici, le criticità del problema del rilevamento da remoto nel suo complesso: dai problemi di correzione radiometrica delle immagini, all'acquisizione di dati di calibrazione sul campo, infine all'estrazione delle informazioni di interesse dal dato telerilevato. A tal fine sono stati sperimentati diversi modelli di trasferimento radiativo ed è stata sviluppata un’interfaccia per la gestione del modello 6SV. Per quest’ultimo sono state inoltre sviluppate routine specifiche per il supporto dei sensori Hyperion e World View 2. La ricerca svolta intende quindi offrire un contributo alla definizione di procedure operative ripetibili, per alcune applicazioni intimamente connesse all’indagine conoscitiva ed al monitoraggio dei processi in atto sul territorio. Nello specifico, si è scelto il caso di studio dell’oasi del Fayyum, in Egitto, per valutare il contenuto informativo delle immagini satellitari sotto tre diversi profili, soltanto in apparenza distinti: la classificazione della litologia superficiale, la valutazione dello stato di qualità delle acque ed il monitoraggio delle opere di bonifica. Trattandosi di un’oasi, le aree coltivate del Fayyum sono circondate dai suoli aridi del deserto libico. La mancanza di copertura vegetale rappresenta una condizione privilegiata per l’osservazione della litologia superficiale da remoto, auspicabile anche per la scarsa accessibilità di alcune aree. Il fabbisogno idrico dell’oasi è garantito dall’apporto di acque del fiume Nilo attraverso una rete di irrigazione che ha, come recettore finale, il lago Qarun, situato nella porzione più depressa dell’oasi. Questo lago, privo di emissari, soffre enormi problemi di salinizzazione, visto il clima iper-arido in cui si trova, e di inquinamento da fertilizzanti agricoli. Il problema della sostenibilità ambientale dello sfruttamento agricolo intensivo dell’oasi è un problema di deterioramento della qualità dell’acqua e della qualità dei suoli. È un problema che richiede una adeguata conoscenza del contesto geologico in cui questi terreni sono inseriti ed una capacità di monitoraggio degli interventi di bonifica ed estensione delle coltivazioni in atto; entrambe conoscenze necessarie alla definizione di un piano di sviluppo economico sostenibile. Con l’intento di contribuire ad una valutazione delle effettive potenzialità del telerilevamento come strumento di informazione territoriale, sono state sperimentate tecniche di classificazione di immagini multispettrali ASTER ed iperspettrali Hyperion di archivio per discriminare la litologia superficiale sulle aree adiacenti al lago Qarun nell’oasi del Fayyum. Le stesse immagini Hyperion di archivio più altre appositamente acquisite sono state utilizzate, assieme ad immagini multispettrali ALI, per la valutazione qualitativa e quantitativa di parametri di qualità delle acque, attraverso l’applicazione di modelli empirici di correlazione. Infine, per valutare l’ipotesi che il deterioramento della qualità delle acque possa essere correlato ai processi di bonifica ed estensione delle coltivazioni in atto negli ultimi decenni, le immagini dell’archivio Landsat sono state utilizzate per analisi di change detection. Per quanto riguarda il problema della validazione dei risultati, si è fatto uso di alcuni dati di verità a terra acquisiti nel corso di un survey preliminare effettuato nell’Ottobre 2010. I campioni di roccia prelevati e le misure di conducibilità elettrica delle acque del lago, benché in numero estremamente limitato per la brevità della missione e le ovvie difficoltà logistiche, consentono alcune valutazioni preliminari sui prodotti ottenuti dalle elaborazioni. Sui campioni di roccia e sabbie sciolte, in particolare, sono state effettuate misure di riflettività in laboratorio ed analisi mineralogiche dettagliate. Per la valutazione della qualità delle acque, più precisamente delle concentrazioni di clorofilla, la metodologia utilizzata per il caso di studio egiziano è stata applicata anche sul tratto costiero adriatico antistante le foci dei fiumi Tronto e Salinello. In questo sito sono state effettuate misure in situ di conducibilità elettrica ed il prelievo di campioni di acqua per la determinazione in laboratorio delle concentrazioni di clorofilla. I risultati ottenuti hanno evidenziato le potenzialità offerte dall’informazione spettrale contenuta nelle immagini satellitari e consentono l’individuazione di alcune pratiche operative. D’altro canto hanno anche messo in luce le carenze dei modelli attualmente esistenti, nonché le criticità legate alla correzione atmosferica delle grandezze radiometriche rilevate.

L'interpretazione autentica nei suoi profili teorici ed applicativi

La trattazione cerca di delineare i confini teorici ed applicativi dell’istituto dell’interpretazione autentica, nella chiara consapevolezza che dietro tale tematica si celi il più complesso problema di una corretta delimitazione tra attività di legis-latio e attività di legis-executio. Il fenomeno delle leggi interpretative costituisce infatti nodo nevralgico e punto di intersezione di tre ambiti materiali distinti, ossia la teoria dell’interpretazione, la teoria delle fonti del diritto e la dottrina di matrice liberale della separazione dei poteri. All’interno del nostro ordinamento, nell’epoca più recente, si è assistito ad un aumento esponenziale di interventi legislativi interpretativi che, allo stato attuale, sono utilizzati per lo più come strumenti di legislazione ordinaria. Sotto questo profilo, il sempre più frequente ricorso alla fonte interpretativa può essere inquadrato nel più complesso fenomeno della “crisi della legge” i cui tradizionali requisiti di generalità, astrattezza ed irretroattività sono stati progressivamente abbandonati dal legislatore parallelamente con l’affermarsi dello Stato costituzionale. L’abuso dello strumento interpretativo da parte del legislatore, gravemente lesivo delle posizioni giuridiche soggettive, non è stato finora efficacemente contrastato all’interno dell’ordinamento nonostante l’elaborazione da parte della Corte costituzionale di una serie di limiti e requisiti di legittimità dell’esegesi legislativa. In tale prospettiva, diventano quindi di rilevanza fondamentale la ricerca e l’esame di strategie e rimedi, giurisdizionali ed istituzionali, tali da arginare l’“onnipotenza” del legislatore interprete. A seguito dell’analisi svolta, è maturata la consapevolezza delle potenzialità insite nella valorizzazione della giurisprudenza della Corte Edu, maggiormente incline a sanzionare l’abuso delle leggi interpretative.

Studi sull'immaginario musicale in Euripide

La dissertazione è suddivisa in due capitoli più tre appendici. Nel I capitolo, Musica e dolore, si indagano i casi di metamusicalità in riferimento al dolore, che si intensificano in Euripide: si nota lo sviluppo di una riflessione sul ruolo della mousike rispetto al dolore, espressa attraverso un lessico medico e musicale. Si dimostra che in Euripide si pone il problema di quale scopo abbia la musica, se sia utile, e in quale forma lo sia. Nella prima produzione si teorizza una mousa del lamento come dolce o terapeutica per chi soffre. Molti personaggi, però, mostrano sfiducia nel potere curativo del lamento. Nell’ultima produzione si intensificano gli interrogativi sulla performance del canto, che si connotano come casi metamusicali e metateatrali. Nell’Elena, nell’Ipsipile e nelle Baccanti, E. sembra proporre una terapia ‘omeopatica’ del dolore attraverso la musica orgiastico-dionisiaca. Nel II capitolo, Natura e musica, si sceglie l’Ifigenia Taurica come esempio di mimetismo orchestico-musicale fondato – oltre che su casi di autoreferenzialità – su un immaginario naturale che, ‘facendo musica’, contribuisce all’espressività della choreia e della musica in scena. Si ipotizza inoltre un accompagnamento musicale mimetico rispetto ai suoni della natura e movimenti di danza lineari accanto a formazioni circolari, che sembrano richiamare la ‘doppia natura’ del ditirambo. L’Appendice I, Gli aggettivi poetici ξουθός e ξουθόπτερος: il loro significato e la loro potenzialità allusiva, affronta un caso particolare e problematico di ‘mimetismo lessicale’, innescato dal termine ξουθός e dal composto euripideo ξουθόπτερος. Si dimostra che l’aggettivo indica originariamente un movimento vibratorio, ma sviluppa anche un senso sonoro, ed è quindi un termine evocativo rispetto alla performance. Nell’Appendice II, Il lessico musicale in Euripide, è raccolto il lessico euripideo coreutico-musicale. Nell’Appendice III, La mousike nei drammi euripidei, sono raccolti i riferimenti alla mousike in ogni dramma.

Semantic under-determinacy, Content and Context

The aim of the thesis is to investigate the topic of semantic under-determinacy, i.e. the failure of the semantic content of certain expressions to determine a truth-evaluable utterance content. In the first part of the thesis, I engage with the problem of setting apart semantic under-determinacy as opposed to other phenomena such as ambiguity, vagueness, indexicality. As I will argue, the feature that distinguishes semantic under-determinacy from these phenomena is its being explainable solely in terms of under-articulation. In the second part of the thesis, I discuss the topic of how communication is possible, despite the semantic under-determinacy of language. I discuss a number of answers that have been offered: (i) the Radical Contextualist explanation which emphasises the role of pragmatic processes in utterance comprehension; (ii) the Indexicalist explanation in terms of hidden syntactic positions; (iii) the Relativist account, which regards sentences as true or false relative to extra coordinates in the circumstances of evaluation (besides possible worlds). In the final chapter, I propose an account of the comprehension of utterances of semantically under-determined sentences in terms of conceptual constraints, i.e. ways of organising information which regulate thought and discourse on certain matters. Conceptual constraints help the hearer to work out the truth-conditions of an utterance of a semantically under-determined sentence. Their role is clearly semantic, in that they contribute to “what is said” (rather than to “what is implied”); however, they do not respond to any syntactic constraint. The view I propose therefore differs, on the one hand, from Radical Contextualism, because it stresses the role of semantic-governed processes as opposed to pragmatics-governed processes; on the other hand, it differs from Indexicalism in its not endorsing any commitment as to hidden syntactic positions; and it differs from Relativism in that it maintains a monadic notion if truth.

Il ruolo della metafora nella comunicazione della fisica contemporanea

Il presente lavoro si rivolge all’analisi del ruolo delle forme metaforiche nella divulgazione della fisica contemporanea. Il focus è sugli aspetti cognitivi: come possiamo spiegare concetti fisici formalmente complessi ad un audience di non-esperti senza ‘snaturarne’ i significati disciplinari (comunicazione di ‘buona fisica’)? L’attenzione è sulla natura stessa della spiegazione e il problema riguarda la valutazione dell’efficacia della spiegazione scientifica a non-professionisti. Per affrontare tale questione, ci siamo orientati alla ricerca di strumenti formali che potessero supportarci nell’analisi linguistica dei testi. La nostra attenzione si è rivolta al possibile ruolo svolto dalle forme metaforiche nella costruzione di significati disciplinarmente validi. Si fa in particolare riferimento al ruolo svolto dalla metafora nella comprensione di nuovi significati a partire da quelli noti, aspetto fondamentale nel caso dei fenomeni di fisica contemporanea che sono lontani dalla sfera percettiva ordinaria. In particolare, è apparsa particolarmente promettente come strumento di analisi la prospettiva della teoria della metafora concettuale. Abbiamo allora affrontato il problema di ricerca analizzando diverse forme metaforiche di particolare rilievo prese da testi di divulgazione di fisica contemporanea. Nella tesi viene in particolare discussa l’analisi di un case-study dal punto di vista della metafora concettuale: una analogia di Schrödinger per la particella elementare. I risultati dell’analisi suggeriscono che la metafora concettuale possa rappresentare uno strumento promettente sia per la valutazione della qualità delle forme analogiche e metaforiche utilizzate nella spiegazione di argomenti di fisica contemporanea che per la creazione di nuove e più efficaci metafore. Inoltre questa prospettiva di analisi sembra fornirci uno strumento per caratterizzare il concetto stesso di ‘buona fisica’. Riteniamo infine che possano emergere altri risultati di ricerca interessanti approfondendo l’approccio interdisciplinare tra la linguistica e la fisica.

Celestial Church of Christ in Italia. Percorsi, Spazi e Pratiche Rituali

Il lavoro che presento propone un’analisi di una chiesa africana indipendente in Italia, la Celestial Church Of Christ Worldwide (CCCW), cercando di mettere in luce il nesso tra religione, migrazione e il processo di ‘plunting churches’ (Kooning 2009) nel contesto italiano. Attraverso una ricerca sul campo, sono stati indagati i percorsi personali, familiari e comunitari dei membri di una ‘Celestial Parish’ presente nel comune di Brescia, ‘Ileri Oluwa Parish’, al fine di comprendere la natura dei processi identitari coinvolti nell’organizzazione della CCC in Italia. ‘Ileri Oluwa Parish’, in quanto luogo che denota una ‘chiesa individuale collegata ad una Diocesi’ (CCC Constitution (CCC Constitution, 107 (d) si rivela, nella materialità delle sue forme e dei ‘Devotional Services’ che in essa si svolgono, a ‘field of action’ (Lefebvre, 1991). La storia della chiesa, i fondamenti della sua dottrina e i significati comunicati attraverso le forme rituali e religiose che la stessa promuove, sono stati contestualizzati alla luce delle tensioni e delle strategie di potere che strutturano il campo. Le storie dei membri della parrocchia, percorsi di migrazione e mobilità in itinere, rappresentano la lente attraverso cui si è guardato alle relazioni vissute nel nome dello ‘Spirito’, e alla percezione stessa di ciò che gli stessi Celestians definiscono sacro, santo, puro e impuro. Lo sguardo fisso alla vita ordinaria di una Celestial parish in Italia, esteso nell’ultima parte dell’elaborato alla Celestial parish londinese, è stato fondamentale per capire l’intreccio di relazioni spirituali, reti familiari e mobilità degli individui sul territorio italiano ed europeo, processo che ribalta la condizione diasporica della CCC, trasformando una condizione di dispersione in un valore aggiunto, nella possibilità di nuove traiettorie territoriali e spazi di presenza religiosa e socioeconomica.

"Narrazione filosofica" e "afilosofia". I problemi della filosofia, dell'espressione e del senso in Gadda e in Merleau-Ponty

Questo lavoro pone i problema di una presentazione filosofica della Meditazione milanese, nel suo rapporto con l'opera letteraria di Gadda e, contemporaneamente, instaura un confronto tra il complesso della produzione gaddiana (saggistica e narrativa) e l'ipotesi, messa in rilevo da Merleau-Ponty, di trovare al di fuori del vocabolario filosofico le possibilità di esprimere e raccontare la realtà che ci circonda. Nel costante riferimento alle posizioni teoretiche espresse nella Meditazione milanese, non solo viene inscritta la figura di Gadda entro un panorama filosofico, ma risulta problematizzato lo statuto stesso della filosofia. .

Thermal inflation and the cosmological moduli problem

Ho studiato la possibilità di soluzione per il problema cosmologico dei moduli (CMP) presente a causa della compattificazione delle dimensioni extra tramite un periodo di inflazione a basse energie (Thermal Inflation). L'elaborato consta di cinque capitoli. Il primo introduce il lettore alla problematica dei moduli partendo dalla teoria Kaluza-Klein. Il secondo riguarda interamente il CMP e altri problemi cosmologici associati ai moduli. Nel terzo viene descritta la thermal inflation e le condizioni di funzionamento. Nel quarto capitolo viene preso in esame il problema di stabilizzazione dei moduli nella teoria di stringa tipo IIB: vengono descritti sia il meccanismo KKTL che il LVS. L'ultimo capitolo consiste nel calcolo della diluizione dei moduli, enunciata prima in un contesto generale e infine applicata al LVS, tramite la thermal inflation. Viene altresì presa in esame la possibilità di due epoche di thermal inflation, al fine di ottenere una diluizione più efficiente dei moduli. In LVS sono presenti due moduli, differenti per massa e vita media. Il più leggero è soggetto al CMP e si trova che, anche dopo due periodi di thermal inflation vi è ancora un numero eccessivo di tali campi, in quanto se da un lato la thermal inflation ne diliusca la densità iniziale, dall'altro ne causa una forte riproduzione, dovuta essenzialmente alle caratteristiche del modulo

Studio della fluidodinamica e della reazione chimica in un reattore agitato tramite modellazione cfd

L’attività di tesi è stata rivolta a realizzare l’accoppiamento tra modelli di reazione chimica e modelli di fluidodinamica per una reazione eterogenea solido-liquido in un reattore agitato, in ambito di un codice commerciale di fluidodinamica numerica. Lo studio ha avuto come punto di partenza la definizione e la discretizzazione del dominio di calcolo tramite un apposito programma. Per una trattazione completa, si sono svolti studi preliminari volti ad identificare le incertezze dovute ai metodi numerici e i limiti dovuti alla formulazione dei modelli per la descrizione del sistema. Lo studio si è svolto considerando sistemi di complessità crescente, partendo da simulazioni monofase fino ad arrivare allo studio di diverse soluzioni per sistemi reagenti con reazioni eterogenee solido-liquido. Questi ultimi esempi applicativi sono serviti come verifica del modello sviluppato (dove con modello si è indicato l’insieme dei modelli relativi alla fluidodinamica accoppiati al modello di reazione). Questa attività ha contribuito ad affrontare un problema di simulazione completa e completamente predittiva dei reattori chimici, essendo la letteratura a riguardo limitata, a differenza di quella relativa alle simulazioni puramente fluidodinamiche.

Circolazioni e omologia dei grafi

In questa tesi verrà trattato il problema di introdurre una teoria omologica sui grafi. Si vedranno i grafi come un 1-complessi simpliciali, e dunque l'idea sarà di applicare le conoscenze che si hanno di una teoria omologica generale ad un oggetto specifico, che è appunto il grafo.

La teoria dei nodi: un esperimento didattico in una scuola superiore

La teoria dei nodi è una parte della topologia che studia l'equivalenza dei nodi, in particolare il problema di quando due nodi possono essere trasformati l'uno nell'altro con un movimento continuo. L'intento di questo progetto di tesi è quello di proporre a ragazzi di una scuola superiore un tema attuale come la teoria dei nodi, osservandone le reazioni di fronte a un argomento matematico molto distante da ciò che viene usualmente trattato a scuola, nella speranza di infondere loro il piacere della scoperta, in particolare in matematica.

Tensorial group field theories

In questa tesi il Gruppo di Rinormalizzazione non-perturbativo (FRG) viene applicato ad una particolare classe di modelli rilevanti in Gravit`a quantistica, conosciuti come Tensorial Group Field Theories (TGFT). Le TGFT sono teorie di campo quantistiche definite sulla variet`a di un gruppo G. In ogni dimensione esse possono essere espanse in grafici di Feynman duali a com- plessi simpliciali casuali e sono caratterizzate da interazioni che implementano una non-localit`a combinatoriale. Le TGFT aspirano a generare uno spaziotempo in un contesto background independent e precisamente ad ottenere una descrizione con- tinua della sua geometria attraverso meccanismi fisici come le transizioni di fase. Tra i metodi che meglio affrontano il problema di estrarre le transizioni di fase e un associato limite del continuo, uno dei pi` u efficaci `e il Gruppo di Rinormalizzazione non-perturbativo. In questo elaborato ci concentriamo su TGFT definite sulla variet`a di un gruppo non-compatto (G = R) e studiamo il loro flusso di Rinormalizzazione. Identifichiamo con successo punti fissi del flusso di tipo IR, e una superficie critica che suggerisce la presenza di transizioni di fase in regime Infrarosso. Ci`o spinge ad uno stu- dio per approfondire la comprensione di queste transizioni di fase e della fisica continua che vi `e associata. Affrontiamo inoltre il problema delle divergenze Infrarosse, tramite un processo di regolarizzazione che definisce il limite termodinamico appropriato per le TGFT. Infine, applichiamo i metodi precedentementi sviluppati ad un modello dotato di proiezione sull’insieme dei campi gauge invarianti. L’analisi, simile a quella applicata al modello precedente, conduce nuovamente all’identificazione di punti fissi (sia IR che UV) e di una superficie critica. La presenza di transizioni di fasi `e, dunque, evidente ancora una volta ed `e possibile confrontare il risultato col modello senza proiezione sulla dinamica gauge invariante.

Rivestimenti ramificati semplici in dimensione 3

In questa tesi, che si colloca nell'ambito della topologia algebrica, si affronta l'approccio allo studio delle 3-varietà mediante il concetto di rivestimento. In particolare si studiano i rivestimenti ramificati il cui l'insieme di ramificazione è un link. Il tema centrale della tesi è il teorema di Hilden-Montesinos, che in particolare tratta di rivestimenti ramificati di ordine 3 semplici. Per questo si affronta il concetto di monodromia e di gruppo di un link. L'ultima parte descrive il problema di trovare equivalenze tra diagrammi colorati che rappresentano 3-varietà, mostrando infine una possibile soluzione trovata da Riccardo Piergallini.

Nuovi calcestruzzi geopolimerici: Mix design, caratterizzazione e fattibilita in cantiere

I cambiamenti climatici dovuti all’immissione in atmosfera dei gas serra costringono alla ricerca di possibili soluzioni per la loro riduzione. Una risposta potrebbe essere rappresentata dall’impiego di calcestruzzi geopolimerici in quanto riducono notevolmente l’emissione in atmosfera di anidride carbonica rispetto ai calcestruzzi tradizionali. In letteratura sono numerosi gli studi di calcestruzzi geopolimerici realizzati mediante trattamenti termici applicati dopo le operazioni di confezionamento. Pochissime sono invece le ricerche effettuate su calcestruzzi geopolimerici prodotti senza trattamenti termici; in questa tesi sperimentale si è voluto indagare quest’ultimo tipo di conglomerati. In particolare si è studiato il mix design del calcestruzzo geopolimerico partendo dalla formulazione del calcestruzzo tradizionale. Da subito si è posto il problema di quale agente riduttore di acqua utilizzare. Pertanto è stata predisposta una sperimentazione di diversi tipi di fluidificanti e superfluidificanti su campioni di malta geopolimerica. In seguito sono stati testati diversi conglomerati geopolimerici con propri mix design, derivati in parte da esempi in letteratura, al fine di conseguire un accettabile valore di resistenza meccanica a compressione. Nella prospettiva di un possibile utilizzo in cantiere è stata indagata con particolare attenzione, la lavorabilità delle malte e dei calcestruzzi geopolimerici attraverso prove di consistenza, ponendola in relazione alle malte e i calcestruzzi cementizi. Sono state inoltre analizzate le caratteristiche dei materiali prodotti allo stato indurito, quali densità, assorbimento di acqua, modulo elastico e resistenza meccanica. Infine, è stata analizzata la fattibilità di un possibile utilizzo in cantiere.