Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

Introduzione alla teoria delle ranking functions

La tesi si occupa della teoria delle ranking functions di W. Spohn, dottrina epistemologica il cui fine è dare una veste logica rigorosa ai concetti di causalità, legge di natura, spiegazione scientifica, a partire dalla nozione di credenza. Di tale teoria manca ancora una esposizione organica e unitaria e, soprattutto, formulata in linguaggio immediatamente accessibile. Nel mio lavoro, che si presenta come introduzione ad essa, è anche messa a raffronto con le teorie che maggiormente l’hanno influenzata o rispetto alle quali si pone come avversaria. Il PRIMO CAPITOLO si concentra sulla teoria di P. Gärdenfors, il più diretto predecessore e ispiratore di Spohn. Questo consente al lettore di acquisire familiarità con le nozioni di base della logica epistemica. La conoscenza, nella teoria del filosofo svedese, è concepita come processo di acquisizione ed espulsione di credenze, identificate con proposizioni, da un insieme. I tre maggiori fenomeni epistemici sono l’espansione, la revisione e la contrazione. Nel primo caso si immagazzina una proposizione in precedenza sconosciuta, nel secondo se ne espelle una a causa dell’acquisizione della sua contraddittoria, nel terzo si cancella una proposizione per amore di ipotesi e si investigano le conseguenze di tale cancellazione. Controparte linguistica di quest’ultimo fenomeno è la formulazione di un condizionale controfattuale. L’epistemologo, così come Gärdenfors concepisce il suo compito, è fondamentalmente un logico che deve specificare funzioni: vale a dire, le regole che deve rispettare ciascun passaggio da un insieme epistemico a un successivo per via di espansione, revisione e contrazione. Il SECONDO CAPITOLO tratta infine della teoria di Spohn, cercando di esporla in modo esauriente ma anche molto semplice. Anche in Spohn evidentemente il concetto fondamentale è quello di funzione: si tratta però in questo caso di quella regola di giudizio soggettivo che, a ciascuna credenza, identificata con una proposizione, associa un grado (un rank), espresso da un numero naturale positivo o dallo zero. Un rank è un grado di non-credenza (disbelief). Perché la non-credenza (che comporta un notevole appesantimento concettuale)? Perché le leggi della credenza così concepite presentano quella che Spohn chiama una “pervasiva analogia” rispetto alle leggi della probabilità (Spohn la chiama persino “armonia prestabilita” ed è un campo su cui sta ancora lavorando). Essenziale è il concetto di condizionalizzazione (analogo a quello di probabilità condizionale): a una credenza si associa un rank sulla base di (almeno) un’altra credenza. Grazie a tale concetto Spohn può formalizzare un fenomeno che a Gärdenfors sfugge, ossia la presenza di correlazioni interdoxastiche tra le credenze di un soggetto. Nella logica epistemica del predecessore, infatti, tutto si riduce all’inclusione o meno di una proposizione nell’insieme, non si considerano né gradi di credenza né l’idea che una credenza sia creduta sulla base di un’altra. Il TERZO CAPITOLO passa alla teoria della causalità di Spohn. Anche questa nozione è affrontata in prospettiva epistemica. Non ha senso, secondo Spohn, chiedersi quali siano i tratti “reali” della causalità “nel mondo”, occorre invece studiare che cosa accade quando si crede che tra due fatti o eventi sussista una correlazione causale. Anche quest’ultima è fatta oggetto di una formalizzazione logica rigorosa (e diversificata, infatti Spohn riconosce vari tipi di causa). Una causa “innalza lo status epistemico” dell’effetto: vale a dire, quest’ultimo è creduto con rank maggiore (ossia minore, se ci si concentra sulla non-credenza) se condizionalizzato sulla causa. Nello stesso capitolo espongo la teoria della causalità di Gärdenfors, che però è meno articolata e minata da alcuni errori. Il QUARTO CAPITOLO è tutto dedicato a David Lewis e alla sua teoria controfattuale della causalità, che è il maggiore avversario tanto di Spohn quanto di Gärdenfors. Secondo Lewis la migliore definizione di causa può essere data in termini controfattuali: la causa è un evento tale che, se non fosse accaduto, nemmeno l’effetto sarebbe accaduto. Naturalmente questo lo obbliga a specificare una teoria delle condizioni di verità di tale classe di enunciati che, andando contro i fatti per definizione, non possono essere paragonati alla realtà. Lewis ricorre allora alla dottrina dei mondi possibili e della loro somiglianza comparativa, concludendo che un controfattuale è vero se il mondo possibile in cui il suo antecedente e il suo conseguente sono veri è più simile al mondo attuale del controfattuale in cui il suo antecedente è vero e il conseguente è falso. Il QUINTO CAPITOLO mette a confronto la teoria di Lewis con quelle di Spohn e Gärdenfors. Quest’ultimo riduce i controfattuali a un fenomeno linguistico che segnala il processo epistemico di contrazione, trattato nel primo capitolo, rifiutando così completamente la dottrina dei mondi possibili. Spohn non affronta direttamente i controfattuali (in quanto a suo dire sovraccarichi di sottigliezze linguistiche di cui non vuole occuparsi – ha solo un abbozzo di teoria dei condizionali) ma dimostra che la sua teoria è superiore a quella di Lewis perché riesce a rendere conto, con estrema esattezza, di casi problematici di causalità che sfuggono alla formulazione controfattuale. Si tratta di quei casi in cui sono in gioco, rafforzandosi a vicenda o “concorrendo” allo stesso effetto, più fattori causali (casi noti nella letteratura come preemption, trumping etc.). Spohn riesce a renderne conto proprio perché ha a disposizione i rank numerici, che consentono un’analisi secondo cui a ciascun fattore causale è assegnato un preciso ruolo quantitativamente espresso, mentre la dottrina controfattuale è incapace di operare simili distinzioni (un controfattuale infatti è vero o falso, senza gradazioni). Il SESTO CAPITOLO si concentra sui modelli di spiegazione scientifica di Hempel e Salmon, e sulla nozione di causalità sviluppata da quest’ultimo, mettendo in luce soprattutto il ruolo (problematico) delle leggi di natura e degli enunciati controfattuali (a questo proposito sono prese in considerazione anche le famose critiche di Goodman e Chisholm). Proprio dalla riflessione su questi modelli infatti è scaturita la teoria di Gärdenfors, e tanto la dottrina del filosofo svedese quanto quella di Spohn possono essere viste come finalizzate a rendere conto della spiegazione scientifica confrontandosi con questi modelli meno recenti. Il SETTIMO CAPITOLO si concentra sull’analisi che la logica epistemica fornisce delle leggi di natura, che nel capitolo precedente sono ovviamente emerse come elemento fondamentale della spiegazione scientifica. Secondo Spohn le leggi sono innanzitutto proposizioni generali affermative, che sono credute in modo speciale. In primo luogo sono credute persistentemente, vale a dire, non sono mai messe in dubbio (tanto che se si incappa in una loro contro-istanza si va alla ricerca di una violazione della normalità che la giustifichi). In secondo luogo, guidano e fondano la credenza in altre credenze specifiche, che sono su di esse condizionalizzate (si riprendono, con nuovo rigore logico, le vecchie idee di Wittgenstein e di Ramsey e il concetto di legge come inference ticket). In terzo luogo sono generalizzazioni ricavate induttivamente: sono oggettivazioni di schemi induttivi. Questo capitolo si sofferma anche sulla teoria di legge offerta da Gärdenfors (analoga ma embrionale) e sull’analisi che Spohn fornisce della nozione di clausola ceteris paribus. L’OTTAVO CAPITOLO termina l’analisi cominciata con il sesto, considerando finalmente il modello epistemico della spiegazione scientifica. Si comincia dal modello di Gärdenfors, che si mostra essere minato da alcuni errori o comunque caratterizzato in modo non sufficientemente chiaro (soprattutto perché non fa ricorso, stranamente, al concetto di legge). Segue il modello di Spohn; secondo Spohn le spiegazioni scientifiche sono caratterizzate dal fatto che forniscono (o sono finalizzate a fornire) ragioni stabili, vale a dire, riconducono determinati fenomeni alle loro cause e tali cause sono credute in modo persistente. Con una dimostrazione logica molto dettagliata e di acutezza sorprendente Spohn argomenta che simili ragioni, nel lungo periodo, devono essere incontrate. La sua quindi non è solo una teoria della spiegazione scientifica che elabori un modello epistemico di che cosa succede quando un fenomeno è spiegato, ma anche una teoria dello sviluppo della scienza in generale, che incoraggia a perseguire la ricerca delle cause come necessariamente coronata da successo. Le OSSERVAZIONI CONCLUSIVE fanno il punto sulle teorie esposte e sul loro raffronto. E’ riconosciuta la superiorità della teoria di Spohn, di cui si mostra anche che raccoglie in pieno l’eredità costruttiva di Hume, al quale gli avversari si rifanno costantemente ma in modo frammentario. Si analizzano poi gli elementi delle teorie di Hempel e Salmon che hanno precorso l’impostazione epistemica. La teoria di Spohn non è esente però da alcuni punti ancora problematici. Innanzitutto, il ruolo della verità; in un primo tempo Spohn sembra rinunciare, come fa esplicitamente il suo predecessore, a trattare la verità, salvo poi invocarla quando si pone il grave problema dell’oggettivazione delle ranking functions (il problema si presenta poiché di esse inizialmente si dice che sono regole soggettive di giudizio e poi si identificano in parte con le leggi di natura). C’è poi la dottrina dei gradi di credenza che Spohn dice presentarsi “unitamente alle proposizioni” e che costituisce un inutile distacco dal realismo psicologico (critica consueta alla teoria): basterebbe osservare che i gradi di credenza sono ricavati o per condizionalizzazione automatica sulla base del tipo di fonte da cui una proposizione proviene, o per paragone immaginario con altre fonti (la maggiore o minore credenza infatti è un concetto relazionale: si crede di più o di meno “sulla base di…” o “rispetto a…”). Anche la trattazione delle leggi di natura è problematica; Spohn sostiene che sono ranking functions: a mio avviso invece esse concorrono a regole di giudizio, che prescrivono di impiegare le leggi stesse per valutare proposizioni o aspettative. Una legge di natura è un ingranaggio, per così dire, di una valutazione di certezza ma non si identifica totalmente con una legge di giudizio. I tre criteri che Spohn individua per distinguere le leggi poi non sono rispettati da tutte e sole le leggi stesse: la generalizzazione induttiva può anche dare adito a pregiudizi, e non di tutte le leggi si sono viste, individualmente, istanze ripetute tanto da giustificarle induttivamente. Infine, un episodio reale di storia della scienza come la scoperta della sintesi dell’urea da parte di F. Wöhler (1828 – ottenendo carbammide, organico, da due sostanze inorganiche, dimostra che non è vera la legge di natura fini a quel momento presunta tale secondo cui “sostanze organiche non possono essere ricavate da sostanze inorganiche”) è indice che le leggi di natura non sono sempre credute in modo persistente, cosicché per comprendere il momento della scoperta è pur sempre necessario rifarsi a una teoria di tipo popperiano, rispetto alla quale Spohn presenta invece la propria in assoluta antitesi.

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.

La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Diagnosi non distruttiva di murature di laterizio: applicazioni di tomografia sonica in laboratorio

Il lavoro svolto nella presente tesi di laurea si sviluppa all’interno del progetto di ricerca europeo SmooHs (Smart Monitoring of Historic Structures-Monitoraggio intelligente di edifici e strutture storiche) nell’ambito del 7 Programma Quadro della Commissione Europea. Gli edifici storici sono caratterizzati da elementi architettonici, materiali e soluzioni progettuali uniche e pertanto da valorizzare. Al fine si salvaguardare tali beni storici si richiede una conoscenza approfondita dei processi di deterioramento, legati spesso a fattori ambientali, e una loro rilevazione immediata. Il monitoraggio continuo dei possibili parametri che influenzano i suddetti processi può contribuire significativamente, ma un’applicazione estesa di questa tecnica è finora fallita a causa dei costi elevati di sistemi completi di monitoraggio; per questo sono stati osservati solitamente pochi parametri. L’obiettivo del progetto prevede lo sviluppo di strumenti di monitoraggio e diagnostica competitivi per gli specialisti nel settore che vada al di là del mero accumulo di dati. La normativa, in particolare le Linee Guida per l’applicazione al patrimonio culturale della normativa tecnica di cui all’Ordinanza PCM-3274 del 2005, evidenziano l’importanza di raggiungere un elevato livello di informazione dell’oggetto e del suo comportamento strutturale attraverso un percorso conoscitivo pluriramificato. “Si ha pertanto la necessità di affinare tecniche di analisi ed interpretazione dei manufatti storici mediante fasi conoscitive dal diverso grado di attendibilità, anche in relazione al loro impatto. La conoscenza può infatti essere conseguita con diversi livelli di approfondimento, in funzione dell’accuratezza delle operazioni di rilievo, delle ricerche storiche e delle indagini sperimentali” (Linee guida per l’applicazione all patrimonio culturale della normativa tecnica di cui all’ordinanza PCM-3274, 2005). Per quanto riguarda la caratterizzazione meccanica dei materiali, la normativa cita “Tecniche diagnostiche non distruttive di tipo indiretto, quali prove soniche ed ultrasoniche, consentono di valutare l’omogeneità dei parametri meccanici nelle diverse parti della costruzione, ma non forniscono stime quantitative attendibili dei loro valori, in quanto essi vengono desunti dalla misura di altre grandezze”. Non viene identificata una procedura univoca di prove non distruttive per ciascuna tipologia edilizia, pertanto ci domandiamo quale sia la procedura più idonea da utilizzare, considerando il tipo di risultato che si vuole ottenere. Si richiedono quindi degli studi di fattibilità di diverse tecniche non distruttive, soprattutto tecniche per immagini che diano un risultato più immediato da comprendere. Per questo scopo è stato impostato un programma di ricerca per valutare l’efficacia di una tecnica non distruttiva, la tomografia sonica, su provini in muratura costruiti nei laboratori del LaRM (Laboratorio di Resistenza dei Materiali del DISTART dell’Università di Bologna), reputando questa la strada da percorrere verso una diagnostica strutturale sempre più dettagliata. I provini in muratura di laterizio PNDE e PNDF, presentano al loro interno dei difetti (in polistirolo espanso) di geometria e posizione nota e diverse tessiture murarie (muratura di laterizio tradizionale e muratura a sacco). Nel capitolo 2 vengono descritte le caratteristiche e le basi teoriche delle prove soniche e di altre tecniche non distruttive, al fine di poterne fare un confronto. La tomografia sonica è definita e sono illustrate le sue peculiarità; vengono inoltre riportati alcuni esempi di applicazioni della stessa su strutture storiche lignee e murarie. Nel capitolo 3 sono presentati i provini oggetto di studio ed introdotto qualche accenno sulla natura delle murature di laterizio. Sono specificati i corsi e le sezioni verticali sui quali viene sperimentata la tomografia; essi hanno precise caratteristiche che permettono di eseguire una sperimentazione mirata all’individuazione di anomalie in una sezione e al riconoscimento di diverse tessiture murarie. Nel capitolo 4 è illustrata la procedura di acquisizione dei dati in laboratorio e di rielaborazione degli stessi nella fase di post-processing. Dopo aver scelto, in base alla risoluzione, la distanza che intercorre tra le stazioni di misura, sono stati progettati i vari percorsi uscenti da ogni stazione trasmittente, andando a definire i ray-paths delle sezioni sia orizzontali che verticali. I software per il calcolo dei tempi di volo (in ambiente LabView) e per l’inversione degli stessi (Geotom) sono presentati e vengono definite le istruzioni per l’utilizzo. Il capitolo 5 assieme al capitolo 6, mostra i risultati ottenuti dall’inversione dei tempi di volo. Per i diversi corsi orizzontali e sezioni verticali sono riportate le mappe di velocità ottenute al variare di diversi parametri di settaggio impostati nel software tomografico. Le immagini tomografiche evidenziano le caratteristiche interne delle sezioni studiate, in base alla risoluzione geometrica della tecnica. Nel capitolo 7 e 8 sono mostrati i risultati delle prove soniche dirette applicate sia sui corsi verticali sia sulle sezioni verticali. Le stazioni di misura considerate sono le stesse utilizzate per la tomografia. Il capitolo 9 riporta il confronto tra le mappe di velocità prodotte dalla tomografia sonica e gli istogrammi delle velocità registrate nelle prove soniche dirette. Si evidenziano le differenze nell’individuazione di difetti tra due metodologie differenti. Infine sono riportate le conclusioni sul lavoro svolto. I limiti e i vantaggi della tecnica tomografica vengono desunti dai risultati ottenuti per varie tipologie di sezioni, a confronto anche con risultati di prove soniche dirette. Ciò ci porta a definire la fattibilità di utilizzo della tomografia sonica nella diagnosi delle strutture in muratura.

Thomas Paine nella trasmissione atlantica della rivoluzione

Call me Ismail. Così inizia notoriamente il celebre romanzo di Herman Melville, Moby Dick. In un altro racconto, ambientato nel 1797, anno del grande ammutinamento della flotta del governo inglese, Melville dedica un breve accenno a Thomas Paine. Il racconto è significativo di quanto – ancora nella seconda metà dell’Ottocento – l’autore di Common Sense e Rights of Man sia sinonimo delle possibilità radicalmente democratiche che l’ultima parte del Settecento aveva offerto. Melville trova in Paine la chiave per dischiudere nel presente una diversa interpretazione della rivoluzione: non come una vicenda terminata e confinata nel passato, ma come una possibilità che persiste nel presente, “una crisi mai superata” che viene raffigurata nel dramma interiore del gabbiere di parrocchetto, Billy Budd. Il giovane marinaio della nave mercantile chiamata Rights of Man mostra un’attitudine docile e disponibile all’obbedienza, che lo rende pronto ad accettare il volere dei superiori. Billy non contesta l’arruolamento forzato nella nave militare. Nonostante il suo carattere affabile, non certo irascibile, l’esperienza in mare sulla Rights of Man rappresenta però un peccato difficile da espiare: il sospetto è più forte della ragionevolezza, specie quando uno spettro di insurrezione continua ad aggirarsi nella flotta di sua maestà. Così, quando, imbarcato in una nave militare della flotta inglese, con un violento pugno Billy uccide l’uomo che lo accusa di tramare un nuovo ammutinamento, il destino inevitabile è quello di un’esemplare condanna a morte. Una condanna che, si potrebbe dire, mostra come lo spettro della rivoluzione continui ad agitare le acque dell’oceano Atlantico. Nella Prefazione Melville fornisce una chiave di lettura per accedere al testo e decifrare il dramma interiore del marinaio: nella degenerazione nel Terrore, la vicenda francese indica una tendenza al tradimento della rivoluzione, che è così destinata a ripetere continuamente se stessa. Se “la rivoluzione si trasformò essa stessa in tirannia”, allora la crisi segna ancora la società atlantica. Non è però alla classica concezione del tempo storico – quella della ciclica degenerazione e rigenerazione del governo – che Melville sembra alludere. Piuttosto, la vicenda rivoluzionaria che ha investito il mondo atlantico ha segnato un radicale punto di cesura con il passato: la questione non è quella della continua replica della storia, ma quella del continuo circolare dello “spirito rivoluzionario”, come dimostra nell’estate del 1797 l’esperienza di migliaia di marinai che tra grida di giubilo issano sugli alberi delle navi i colori britannici da cui cancellano lo stemma reale e la croce, abolendo così d’un solo colpo la bandiera della monarchia e trasformando il mondo in miniatura della flotta di sua maestà “nella rossa meteora di una violenta e sfrenata rivoluzione”. Raccontare la vicenda di Billy riporta alla memoria Paine. L’ammutinamento è solo un frammento di un generale spirito rivoluzionario che “l’orgoglio nazionale e l’opinione politica hanno voluto relegare nello sfondo della storia”. Quando Billy viene arruolato, non può fare a meno di portare con sé l’esperienza della Rights of Man. Su quel mercantile ha imparato a gustare il dolce sapore del commercio insieme all’asprezza della competizione sfrenata per il mercato, ha testato la libertà non senza subire la coercizione di un arruolamento forzato. La vicenda di Billy ricorda allora quella del Paine inglese prima del grande successo di Common Sense, quando muove da un’esperienza di lavoro all’altra in modo irrequieto alla ricerca di felicità – dal mestiere di artigiano all’avventura a bordo di un privateer inglese durante la guerra dei sette anni, dalla professione di esattore fiscale alle dipendenze del governo, fino alla scelta di cercare fortuna in America. Così come Paine rivendica l’originalità del proprio pensiero, il suo essere un autodidatta e le umili origini che gli hanno impedito di frequentare le biblioteche e le accademie inglesi, anche Billy ha “quel tipo e quel grado di intelligenza che si accompagna alla rettitudine non convenzionale di ogni integra creatura umana alla quale non sia ancora stato offerto il dubbio pomo della sapienza”. Così come il pamphlet Rights of man porta alla virtuale condanna a morte di Paine – dalla quale sfugge trovando rifugio a Parigi – allo stesso modo il passato da marinaio sulla Rights of Man porta al processo per direttissima che sentenzia la morte per impiccagione del giovane marinaio. Il dramma interiore di Billy replica dunque l’esito negativo della rivoluzione in Europa: la rivoluzione è in questo senso come un “violento accesso di febbre contagiosa”, destinato a scomparire “in un organismo costituzionalmente sano, che non tarderà a vincerla”. Non viene però meno la speranza: quella della rivoluzione sembra una storia senza fine perché Edward Coke e William Blackstone – i due grandi giuristi del common law inglese che sono oggetto della violenta critica painita contro la costituzione inglese – “non riescono a far luce nei recessi oscuri dell’animo umano”. Rimane dunque uno spiraglio, un angolo nascosto dal quale continua a emergere uno spirito rivoluzionario. Per questo non esistono cure senza effetti collaterali, non esiste ordine senza l’ipoteca del ricorso alla forza contro l’insurrezione: c’è chi come l’ufficiale che condanna Billy diviene baronetto di sua maestà, c’è chi come Billy viene impiccato, c’è chi come Paine viene raffigurato come un alcolizzato e impotente, disonesto e depravato, da relegare sul fondo della storia atlantica. Eppure niente più del materiale denigratorio pubblicato contro Paine ne evidenzia il grande successo. Il problema che viene sollevato dalle calunniose biografie edite tra fine Settecento e inizio Ottocento è esattamente quello del trionfo dell’autore di Common Sense e Rights of Man nell’aver promosso, spiegato e tramandato la rivoluzione come sfida democratica che è ancora possibile vincere in America come in Europa. Sono proprio le voci dei suoi detrattori – americani, inglesi e francesi – a mostrare che la dimensione nella quale è necessario leggere Paine è quella del mondo atlantico. Assumendo una prospettiva atlantica, ovvero ricostruendo la vicenda politica e intellettuale di Paine da una sponda all’altra dell’oceano, è possibile collegare ciò che Paine dice in spazi e tempi diversi in modo da segnalare la presenza costante sulla scena politica di quei soggetti che – come i marinai protagonisti dell’ammutinamento – segnalano il mancato compimento delle speranze aperte dall’esperienza rivoluzionaria. Limitando la ricerca al processo di costruzione della nazione politica, scegliendo di riassumerne il pensiero politico nell’ideologia americana, nella vicenda costituzionale francese o nel contesto politico inglese, le ricerche su Paine non sono riuscite fino in fondo a mostrare la grandezza di un autore che risulta ancora oggi importante: la sua produzione intellettuale è talmente segnata dalle vicende rivoluzionarie che intessono la sua biografia da fornire la possibilità di studiare quel lungo periodo di trasformazione sociale e politica che investe non una singola nazione, ma l’intero mondo atlantico nel corso della rivoluzione. Attraverso Paine è allora possibile superare quella barriera che ha diviso il dibattito storiografico tra chi ha trovato nella Rivoluzione del 1776 la conferma del carattere eccezionale della nazione americana – fin dalla sua origine rappresentata come esente dalla violenta conflittualità che invece investe il vecchio continente – e chi ha relegato il 1776 a data di secondo piano rispetto al 1789, individuando nell’illuminismo la presunta superiorità culturale europea. Da una sponda all’altra dell’Atlantico, la storiografia ha così implicitamente alzato un confine politico e intellettuale tra Europa e America, un confine che attraverso Paine è possibile valicare mostrandone la debolezza. Parlando di prospettiva atlantica, è però necessario sgombrare il campo da possibili equivoci: attraverso Paine, non intendiamo stabilire l’influenza della Rivoluzione americana su quella francese, né vogliamo mostrare l’influenza del pensiero politico europeo sulla Rivoluzione americana. Non si tratta cioè di stabilire un punto prospettico – americano o europeo – dal quale leggere Paine. L’obiettivo non è quello di sottrarre Paine agli americani per restituirlo agli inglesi che l’hanno tradito, condannandolo virtualmente a morte. Né è quello di confermare l’americanismo come suo unico lascito culturale e politico. Si tratta piuttosto di considerare il mondo atlantico come l’unico scenario nel quale è possibile leggere Paine. Per questo, facendo riferimento al complesso filone storiografico dell’ultimo decennio, sviluppato in modo diverso da Bernard Bailyn a Markus Rediker e Peter Linebaugh, parliamo di rivoluzione atlantica. Certo, Paine vede fallire nell’esperienza del Terrore quella rivoluzione che in America ha trionfato. Ciò non costituisce però un elemento sufficiente per riproporre l’interpretazione arendtiana della rivoluzione che, sulla scorta della storiografia del consenso degli anni cinquanta, ma con motivi di fascino e interesse che non sempre ritroviamo in quella storiografia, ha contribuito ad affermare un ‘eccezionalismo’ americano anche in Europa, rappresentando gli americani alle prese con il problema esclusivamente politico della forma di governo, e i francesi impegnati nel rompicapo della questione sociale della povertà. Rompicapo che non poteva non degenerare nella violenza francese del Terrore, mentre l’America riusciva a istituire pacificamente un nuovo governo rappresentativo facendo leva su una società non conflittuale. Attraverso Paine, è infatti possibile mostrare come – sebbene con intensità e modalità diverse – la rivoluzione incida sul processo di trasformazione commerciale della società che investe l’intero mondo atlantico. Nel suo andirivieni da una sponda all’altra dell’oceano, Paine non ragiona soltanto sulla politica – sulla modalità di organizzare una convivenza democratica attraverso la rappresentanza, convivenza che doveva trovare una propria legittimazione nel primato della costituzione come norma superiore alla legge stabilita dal popolo. Egli riflette anche sulla società commerciale, sui meccanismi che la muovono e le gerarchie che la attraversano, mostrando così precise linee di continuità che tengono insieme le due sponde dell’oceano non solo nella circolazione del linguaggio politico, ma anche nella comune trasformazione sociale che investe i termini del commercio, del possesso della proprietà e del lavoro, dell’arricchimento e dell’impoverimento. Con Paine, America e Europa non possono essere pensate separatamente, né – come invece suggerisce il grande lavoro di Robert Palmer, The Age of Democratic Revolution – possono essere inquadrate dentro un singolo e generale movimento rivoluzionario essenzialmente democratico. Emergono piuttosto tensioni e contraddizioni che investono il mondo atlantico allontanando e avvicinando continuamente le due sponde dell’oceano come due estremità di un elastico. Per questo, parliamo di società atlantica. Quanto detto trova conferma nella difficoltà con la quale la storiografia ricostruisce la figura politica di Paine dentro la vicenda rivoluzionaria americana. John Pocock riconosce la difficoltà di comprendere e spiegare Paine, quando sostiene che Common Sense non evoca coerentemente nessun prestabilito vocabolario atlantico e la figura di Paine non è sistemabile in alcuna categoria di pensiero politico. Partendo dal paradigma classico della virtù, legata antropologicamente al possesso della proprietà terriera, Pocock ricostruisce la permanenza del linguaggio repubblicano nel mondo atlantico senza riuscire a inserire Common Sense e Rights of Man nello svolgimento della rivoluzione. Sebbene non esplicitamente dichiarata, l’incapacità di comprendere il portato innovativo di Common Sense, in quella che è stata definita sintesi repubblicana, è evidente anche nel lavoro di Bernard Bailyn che spiega come l’origine ideologica della rivoluzione, radicata nella paura della cospirazione inglese contro la libertà e nel timore della degenerazione del potere, si traduca ben presto in un sentimento fortemente contrario alla democrazia. Segue questa prospettiva anche Gordon Wood, secondo il quale la chiamata repubblicana per l’indipendenza avanzata da Paine non parla al senso comune americano, critico della concezione radicale del governo rappresentativo come governo della maggioranza, che Paine presenta quando partecipa al dibattito costituzionale della Pennsylvania rivoluzionaria. Paine è quindi considerato soltanto nelle risposte repubblicane dei leader della guerra d’indipendenza che temono una possibile deriva democratica della rivoluzione. Paine viene in questo senso dimenticato. La sua figura è invece centrale della nuova lettura liberale della rivoluzione: Joyce Appleby e Isaac Kramnick contestano alla letteratura repubblicana di non aver compreso che la separazione tra società e governo – la prima intesa come benedizione, il secondo come male necessario – con cui si apre Common Sense rappresenta il tentativo riuscito di cogliere, spiegare e tradurre in linguaggio politico l’affermazione del capitalismo. In particolare, Appleby critica efficacemente il concetto d’ideologia proposto dalla storiografia repubblicana, perché presuppone una visione statica della società. L’affermazione del commercio fornirebbe invece quella possibilità di emancipazione attraverso il lavoro libero, che Paine coglie perfettamente promuovendo una visione della società per la quale il commercio avrebbe permesso di raggiungere la libertà senza il timore della degenerazione della rivoluzione nel disordine. Questa interpretazione di Paine individua in modo efficace un aspetto importante del suo pensiero politico, la sua profonda fiducia nel commercio come strumento di emancipazione e progresso. Tuttavia, non risulta essere fino in fondo coerente e pertinente, se vengono prese in considerazione le diverse agende politiche avanzate in seguito alla pubblicazione di Common Sense e di Rights of Man, né sembra reggere quando prendiamo in mano The Agrarian Justice (1797), il pamphlet nel quale Paine mette in discussione la sua profonda fiducia nel progresso della società commerciale. Diverso è il Paine che emerge dalla storiografia bottom-up, secondo la quale la rivoluzione non può più essere ridotta al momento repubblicano o all’affermazione senza tensione del liberalismo: lo studio della rivoluzione deve essere ampliato fino a comprendere quell’insieme di pratiche e discorsi che mirano all’incisiva trasformazione dell’esistente slegando il diritto di voto dalla qualifica proprietaria, perseguendo lo scopo di frenare l’accumulazione di ricchezza nelle mani di pochi con l’intento di ordinare la società secondo una logica di maggiore uguaglianza. Come dimostrano Eric Foner e Gregory Claeys, attraverso Paine è allora possibile rintracciare, sulla sponda americana come su quella inglese dell’Atlantico, forti pretese democratiche che non sembrano riducibili al linguaggio liberale, né a quello repubblicano. Paine viene così sottratto a rigide categorie storiografiche che per troppo tempo l’hanno consegnato tout court all’elogio del campo liberale o al silenzio di quello repubblicano. Facendo nostra la metodologia di ricerca elaborata dalla storiografia bottom-up per tenere insieme storia sociale e storia intellettuale, possiamo allora leggere Paine non solo per parlare di rivoluzione atlantica, ma anche di società atlantica: società e politica costituiscono un unico orizzonte d’indagine dal quale esce ridimensionata l’interpretazione della rivoluzione come rivoluzione esclusivamente politica, che – sebbene in modo diverso – tanto la storiografia repubblicana quanto quella liberale hanno rafforzato, alimentando indirettamente l’eccezionale successo americano contro la clamorosa disfatta europea. Entrambe le sponde dell’Atlantico mostrano una società in transizione: la costruzione della finanza nazionale con l’istituzione del debito pubblico e la creazione delle banche, la definizione delle forme giuridiche che stabiliscono modalità di possesso e impiego di proprietà e lavoro, costituiscono un complesso strumentario politico necessario allo sviluppo del commercio e al processo di accumulazione di ricchezza. Per questo, la trasformazione commerciale della società è legata a doppio filo con la rivoluzione politica. Ricostruire il modo nel quale Paine descrive e critica la società da una sponda all’altra dell’Atlantico mostra come la separazione della società dal governo non possa essere immediatamente interpretata come essenza del liberalismo economico e politico. La lettura liberale rappresenta senza ombra di dubbio un salto di qualità nell’interpretazione storiografica perché spiega in modo convincente come Paine traduca in discorso politico il passaggio da una società fortemente gerarchica come quella inglese, segnata dalla condizione di povertà e miseria comune alle diverse figure del lavoro, a una realtà sociale come quella americana decisamente più dinamica, dove il commercio e le terre libere a ovest offrono ampie possibilità di emancipazione e arricchimento attraverso il lavoro libero. Tuttavia, leggendo The Case of Officers of Excise (1772) e ricostruendo la sua attività editoriale alla guida del Pennsylvania Magazine (1775) è possibile giungere a una conclusione decisamente più complessa rispetto a quella suggerita dalla storiografia liberale: il commercio non sembra affatto definire una qualità non conflittuale del contesto atlantico. Piuttosto, nonostante l’assenza dell’antico ordine ‘cetuale’ europeo, esso investe la società di una tendenza alla trasformazione, la cui direzione, intensità e velocità dipendono anche dall’esito dello scontro politico in atto dentro la rivoluzione. Spostando l’attenzione su figure sociali che in quella letteratura sono di norma relegate in secondo piano, Paine mira infatti a democratizzare la concezione del commercio indicando nell’indipendenza personale la condizione comune alla quale poveri e lavoratori aspirano: per chi è coinvolto in prima persona nella lotta per l’indipendenza, la visione della società non indica allora un ordine naturale, dato e immutabile, quanto una scommessa sul futuro, un ideale che dovrebbe avviare un cambiamento sociale coerente con le diverse aspettative di emancipazione. Senza riconoscere questa valenza democratica del commercio non è possibile superare il consenso come presupposto incontestabile della Rivoluzione americana, nel quale tanto la storiografia repubblicana quanto quella librale tendono a cadere: non è possibile superare l’immagine statica della società americana, implicitamente descritta dalla prima, né andare oltre la visione di una società dinamica, ma priva di gerarchie e oppressione, come quella delineata dalla seconda. Le entusiastiche risposte e le violente critiche in favore e contro Common Sense, la dura polemica condotta in difesa o contro la costituzione radicale della Pennsylvania, la diatriba politica sul ruolo dei ricchi mercanti mostrano infatti una società in transizione lungo linee che sono contemporaneamente politiche e sociali. Dentro questo contesto conflittuale, repubblicanesimo e liberalismo non sembrano affatto competere l’uno contro l’altro per esercitare un’influenza egemone nella costruzione del governo rappresentativo. Vengono piuttosto mescolati e ridefiniti per rispondere alla pretese democratiche che provengono dalla parte bassa della società. Common Sense propone infatti un piano politico per l’indipendenza del tutto innovativo rispetto al modo nel quale le colonie hanno fino a quel momento condotto la controversia con la madre patria: la chiamata della convenzione rappresentativa di tutti gli individui per scrivere una nuova costituzione assume le sembianze di un vero e proprio potere costituente. Con la mobilitazione di ampie fasce della popolazione per vincere la guerra contro gli inglesi, le élite mercantili e proprietarie perdono il monopolio della parola e il processo decisionale è aperto anche a coloro che non hanno avuto voce nel governo coloniale. La dottrina dell’indipendenza assume così un carattere democratico. Paine non impiega direttamente il termine, tuttavia le risposte che seguono la pubblicazione di Common Sense lanciano esplicitamente la sfida della democrazia. Ciò mostra come la rivoluzione non possa essere letta semplicemente come affermazione ideologica del repubblicanesimo in continuità con la letteratura d’opposizione del Settecento britannico, o in alternativa come transizione non conflittuale al liberalismo economico e politico. Essa risulta piuttosto comprensibile nella tensione tra repubblicanesimo e democrazia: se dentro la rivoluzione (1776-1779) Paine contribuisce a democratizzare la società politica americana, allora – ed è questo un punto importante, non sufficientemente chiarito dalla storiografia – il recupero della letteratura repubblicana assume il carattere liberale di una strategia tesa a frenare le aspettative di chi considera la rivoluzione politica come un mezzo per superare la condizione di povertà e le disuguaglianze che pure segnano la società americana. La dialettica politica tra democrazia e repubblicanesimo consente di porre una questione fondamentale per comprendere la lunga vicenda intellettuale di Paine nella rivoluzione atlantica e anche il rapporto tra trasformazione sociale e rivoluzione politica: è possibile sostenere che in America la congiunzione storica di processo di accumulazione di ricchezza e costruzione del governo rappresentativo pone la società commerciale in transizione lungo linee capitalistiche? Questa non è certo una domanda che Paine pone esplicitamente, né in Paine troviamo una risposta esaustiva. Tuttavia, la sua collaborazione con i ricchi mercanti di Philadelphia suggerisce una valida direzione di indagine dalla quale emerge che il processo di costruzione del governo federale è connesso alla definizione di una cornice giuridica entro la quale possa essere realizzata l’accumulazione del capitale disperso nelle periferie dell’America indipendente. Paine viene così coinvolto in un frammentato e dilatato scontro politico dove – nonostante la conclusione della guerra contro gli inglesi nel 1783 – la rivoluzione non sembra affatto conclusa perché continua a muovere passioni che ostacolano la costruzione dell’ordine: leggere Paine fuori dalla rivoluzione (1780-1786) consente paradossalmente di descrivere la lunga durata della rivoluzione e di considerare la questione della transizione dalla forma confederale a quella federale dell’unione come un problema di limiti della democrazia. Ricostruire la vicenda politica e intellettuale di Paine in America permette infine di evidenziare un ambiguità costitutiva della società commerciale dentro la quale il progetto politico dei ricchi mercanti entra in tensione con un’attitudine popolare critica del primo processo di accumulazione che rappresenta un presupposto indispensabile all’affermazione del capitalismo. La rivoluzione politica apre in questo senso la società commerciale a una lunga e conflittuale transizione verso il capitalismo Ciò risulta ancora più evidente leggendo Paine in Europa (1791-1797). Da una sponda all’altra dell’Atlantico, con Rights of Man egli esplicita ciò che in America ha preferito mantenere implicito, pur raccogliendo la sfida democratica lanciata dai friend of Common Sense: il salto in avanti che la rivoluzione atlantica deve determinare nel progresso dell’umanità è quello di realizzare la repubblica come vera e propria democrazia rappresentativa. Tuttavia, il fallimento del progetto politico di convocare una convenzione nazionale in Inghilterra e la degenerazione dell’esperienza repubblicana francese nel Terrore costringono Paine a mettere in discussione quella fiducia nel commercio che la storiografia liberale ha con grande profitto mostrato: il mancato compimento della rivoluzione in Europa trova infatti spiegazione nella temporanea impossibilità di tenere insieme democrazia rappresentativa e società commerciale. Nel contesto europeo, fortemente disgregato e segnato da durature gerarchie e forti disuguaglianze, con The Agrarian Justice, Paine individua nel lavoro salariato la causa del contraddittorio andamento – di arricchimento e impoverimento – dello sviluppo economico della società commerciale. La tendenza all’accumulazione non è quindi l’unica qualità della società commerciale in transizione. Attraverso Paine, possiamo individuare un altro carattere decisivo per comprendere la trasformazione sociale, quello dell’affermazione del lavoro salariato. Non solo in Europa. Al ritorno in America, Paine non porta con sé la critica della società commerciale. Ciò non trova spiegazione esclusivamente nel minor grado di disuguaglianza della società americana. Leggendo Paine in assenza di Paine (1787-1802) – ovvero ricostruendo il modo nel quale dall’Europa egli discute, critica e influenza la politica americana – mostreremo come la costituzione federale acquisisca gradualmente la supremazia sulla conflittualità sociale. Ciò non significa che l’America indipendente sia caratterizzata da un unanime consenso costituzionale. Piuttosto, è segnata da un lungo e tortuoso processo di stabilizzazione che esclude la democrazia dall’immediato orizzonte della repubblica americana. Senza successo, Paine torna infatti a promuovere una nuova sfida democratica come nella Pennsylvania rivoluzionaria degli anni settanta. E’ allora possibile vedere come la rivoluzione atlantica venga stroncata su entrambe le sponde dell’oceano: i grandi protagonisti della politica atlantica che prendono direttamente parola contro l’agenda democratica painita – Edmund Burke, Boissy d’Anglas e John Quincy Adams – spostano l’attenzione dal governo alla società per rafforzare le gerarchie determinate dal possesso di proprietà e dall’affermazione del lavoro salariato. Dentro la rivoluzione atlantica, viene così svolto un preciso compito politico, quello di contribuire alla formazione di un ambiente sociale e culturale favorevole all’affermazione del capitalismo – dalla trasformazione commerciale della società alla futura innovazione industriale. Ciò emerge in tutta evidenza quando sulla superficie increspata dell’oceano Atlantico compare nuovamente Paine: a Londra come a New York. Abbandonando quella positiva visione del commercio come vettore di emancipazione personale e collettiva, nel primo trentennio del diciannovesimo secolo, i lavoratori delle prime manifatture compongono l’agenda radicale che Paine lascia in eredità in un linguaggio democratico che assume così la valenza di linguaggio di classe. La diversa prospettiva politica sulla società elaborata da Paine in Europa torna allora d’attualità, anche in America. Ciò consente in conclusione di discutere quella storiografia secondo la quale nella repubblica dal 1787 al 1830 il trionfo della democrazia ha luogo – senza tensione e conflittualità – insieme con la lineare e incontestata affermazione del capitalismo: leggere Paine nella rivoluzione atlantica consente di superare quell’approccio storiografico che tende a ricostruire la circolazione di un unico paradigma linguistico o di un’ideologia dominante, finendo per chiudere la grande esperienza rivoluzionaria atlantica in un tempo limitato – quello del 1776 o in alternativa del 1789 – e in uno spazio chiuso delimitato dai confini delle singole nazioni. Quello che emerge attraverso Paine è invece una società atlantica in transizione lungo linee politiche e sociali che tracciano una direzione di marcia verso il capitalismo, una direzione affatto esente dal conflitto. Neanche sulla sponda americana dell’oceano, dove attraverso Paine è possibile sottolineare una precisa congiunzione storica tra rivoluzione politica, costruzione del governo federale e transizione al capitalismo. Una congiunzione per la quale la sfida democratica non risulta affatto sconfitta: sebbene venga allontanata dall’orizzonte immediato della rivoluzione, nell’arco di neanche un ventennio dalla morte di Paine nel 1809, essa torna a muovere le acque dell’oceano – con le parole di Melville – come un violento accesso di febbre contagiosa destinato a turbare l’organismo costituzionalmente sano del mondo atlantico. Per questo, come scrive John Adams nel 1805 quella che il 1776 apre potrebbe essere chiamata “the Age of Folly, Vice, Frenzy, Brutality, Daemons, Buonaparte -…- or the Age of the burning Brand from the Bottomless Pit”. Non può però essere chiamata “the Age of Reason”, perché è l’epoca di Paine: “whether any man in the world has had more influence on its inhabitants or affairs for the last thirty years than Tom Paine” -…- there can be no severer satyr on the age. For such a mongrel between pig and puppy, begotten by a wild boar on a bitch wolf, never before in any age of the world was suffered by the poltroonery of mankind, to run through such a career of mischief. Call it then the Age of Paine”.

Crittoanalisi Logica di DES

La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costantemente, sia dal punto di vista dei possibili nuovi exploit per forzare gli algoritmi usati, sia introducendo nuovi e sempre più complessi sistemi di sicurezza. In questa tesi viene proposto una possibile implementazione di un particolare tipo di attacco crittoanalitico, introdotto nel 2000 da due ricercatori dell'Università "La Sapienza" di Roma, e conosciuto come "Crittoanalisi Logica". L'algoritmo su cui è incentrato il lavoro è il Data Encryption Standard (DES), ostico standard crittografico caduto in disuso nel 1999 a causa delle dimensioni ridotte della chiave, seppur tuttora sia algebricamente inviolato. Il testo è strutturato nel seguente modo: il primo capitolo è dedicato ad una breve descrizione di DES e della sua storia, introducendo i concetti fondamentali con cui si avrà a che fare per l'intera dissertazione Nel secondo capitolo viene introdotta la Crittoanalisi Logica e viene fornita una definizione della stessa, accennando ai concetti matematici necessari alla comprensione dei capitoli seguenti. Nel capitolo 3 viene presentato il primo dei due software sviluppati per rendere possibile l'attuazione di questo attacco crittoanalitico, una libreria per la rappresentazione e la manipolazione di formule logiche scritta in Java. Il quarto ed ultimo capitolo descrive il programma che, utilizzando la libreria descritta nel capitolo 3, elabora in maniera automatica un insieme di proposizioni logiche semanticamente equivalenti a DES, la cui verifica di soddisfacibilità, effettuata tramite appositi tools (SAT solvers) equivale ad effettuare un attacco di tipo known-plaintext su tale algoritmo.

Analisi dei dissesti per frana che coinvolgono le opere d’arte stradali in prossimità del corso del Rio Verde sulla S.S. n° 52 “Carnica” (Forni di Sotto, UD). Studio idrogeologico per la valutazione dei possibili interventi di mitigazione

Il presente lavoro di tesi si è svolto in collaborazione con il Consiglio Nazionale delle Ricerche - Istituto di Ricerca per la Protezione Idrogeologica di Padova CNR IRPI. Questo elaborato è finalizzato allo studio dei dissesti per frana che coinvolgono le opere d’arte stradali della S.S. 52 Carnica nella zona del Passo della Morte, tra i comuni di Forni di Sotto e Ampezzo, in provincia di Udine. La presenza di un’arteria viaria di primaria importanza, qual è la strada statale 52 Carnica che collega le province di Udine e Belluno, ha reso necessario un accurato studio idrogeologico. Lo studio mira principalmente ad individuare una possibile relazione tra la sorgente sita all’interno della Galleria di S. Lorenzo S.S. 52 e la galleria drenante posta al di sotto di quest’ultima per permettere la progettazione di eventuali ulteriori opere di mitigazione del rischio da frana. Il lavoro è suddiviso in tre parti: la prima, introduttiva, include una caratterizzazione geografica, geologica e morfologica dell’area di studio. La seconda descrive l’opera in esame - la galleria di S. Lorenzo S.S. 52 Carnica - e le criticità derivanti dalla complessità dell’area. Infine, la terza, fondamentale, comprende un studio idrogeologico svolto raccogliendo sul campo i dati indispensabili alle ricerche. La metodologia è caratterizzata da un’analisi statistica basata sulla cross-correlazione tra i dati di precipitazione e quelli di portata in continuo della sorgente e della galleria drenante. Infine, a fronte dei dati ottenuti, si è ricavato un modello concettuale dei complessi fenomeni idrogeologici che si sviluppano nell’area di Passo della Morte.

Definizione di una metodica per il controllo in continuo delle proprietà meccaniche su prodotti di acciaio laminati e zincati mediante sensore di rilevamento della magnetizzazione residua e sviluppo del ciclo produttivo di un materiale bifasico

Questo elaborato presenta un metodo per lo sviluppo di correlazioni lineari con lo scopo di determinare le proprietà meccaniche di un acciaio laminato e zincato utilizzando un sensore che percepisce la magnetizzazione residua del materiale. Vengono utilizzati metodi statistici di analisi della varianza per lo studio delle funzioni di regressione lineari. Lo studio effettuato è stato sviluppato per la lavorazione di zincatura di coils presso Marcegaglia spa, stabilimento di Ravenna. È risultato evidente che la sola misurazione della magnetizzazione residua non fosse sufficiente per la determinazione delle proprietà meccaniche, a tale proposito sono stati sviluppati dei modelli di calcolo con funzioni multivariabili e, attraverso risolutori che minimizzano la differenza quadratica dell'errore, si sono determinati i coefficienti di regressione. Una delle principali problematiche riscontrate per la definizione delle correlazioni è stato il reperimento dei dati necessari per considerare affidabili i risultati ottenuti. Si sono infatti analizzate solamente le famiglie di materiale più numerose. Sono stati sviluppati tre modelli di calcolo differenti per parametri di processo di produzione utilizzati per la definizione delle correlazioni. Sono stati confrontati gli errori percentuali medi commessi dalle funzioni, gli indici di regressione che indicano la qualità della correlazione e i valori di significatività di ogni singolo coefficiente di regressione delle variabili. Si è dimostrato che la magnetizzazione residua influisce notevolmente, così come i parametri dei processo di ricottura del materiale, come le temperature in forno, lo spessore e le velocità. Questo modello di calcolo è stato utilizzato direttamente in linea per lo sviluppo di un ciclo ottimale per la produzione di un nuovo materiale bifasico. Utilizzando il modello per la predizione delle proprietà meccaniche si è concluso che per limiti impiantistici la chimica del materiale utilizzata non fosse idonea. Si è perciò utilizzato un acciaio con percentuali di carbonio, manganese e cromo differenti. In conclusione del progetto si sono formulate delle possibili alternative di funzioni di regressione che utilizzano il valore della durezza piuttosto che il valore di magnetizzazione residua. Si è appurato che l'utilizzo di un durometro, anziché il sensore studiato, potrebbe risultare una valida alternativa al sensore studiato.

Le infrastrutture viarie dismesse o declassate ed il progetto di paesaggio

Paesaggio ed infrastrutture viarie sono un binomio molto forte: il primo ha insito il concetto di accessibilità, in quanto non può esistere senza la presenza di un osservatore; la strada, invece, trova i fattori che la connotano nel suo rapporto con la morfologia su cui insiste. Le infrastrutture viarie sono elemento strutturale e strutturante non solo di un territorio, ma anche di un paesaggio. Le attuali esigenze di mobilità portano oggi a ripensare ed adeguare molte infrastrutture viarie: laddove è possibile si potenziano le strutture esistenti, in diversi casi si ricorre a nuovi tracciati o a varianti di percorso. Porsi il problema di conservare itinerari testimoni della cultura materiale ed economica di una società implica considerazioni articolate, che travalicano i limiti del sedime: una via è un organismo più complesso della semplice linea di trasporto in quanto implica tutta una serie di manufatti a supporto della mobilità e soprattutto il corridoio infrastrutturale che genera e caratterizza, ovvero una porzione variabile di territorio definita sia dal tracciato che dalla morfologia del contesto. L’evoluzione dei modelli produttivi ed economici, che oggi porta quote sempre maggiori di popolazione a passare un tempo sempre minore all’interno del proprio alloggio, rende la riflessione sulle infrastrutture viarie dismesse o declassate occasione per la progettazione di spazi per l’abitare collettivo inseriti in contesti paesaggistici, tanto urbani che rurali, tramite reti di percorsi pensate per assorbire tagli di mobilità specifici e peculiari. Partendo da queste riflessioni la Tesi si articola in: Individuazioni del contesto teorico e pratico: Lo studio mette in evidenza come la questione delle infrastrutture viarie e del loro rapporto con il paesaggio implichi riflessioni incrociate a diversi livelli e tramite diverse discipline. La definizione dello spazio fisico della strada passa infatti per la costruzione di un itinerario, un viaggio che si appoggia tanto ad elementi fisici quanto simbolici. La via è un organismo complesso che travalica il proprio sedime per coinvolgere una porzione ampia di territorio, un corridoio variabile ed articolato in funzione del paesaggio attraversato. Lo studio propone diverse chiavi di lettura, mettendo in luce le possibili declinazioni del tema, in funzione del taglio modale, del rapporto con il contesto, del regime giuridico, delle implicazioni urbanistiche e sociali. La mobilità dolce viene individuata quale possibile modalità di riuso, tutela e recupero, del patrimonio diffuso costituito dalle diversi reti di viabilità. Antologia di casi studio: Il corpo principale dello studio si basa sulla raccolta, analisi e studio dello stato dell’arte nel settore; gli esempi raccolti sono presentati in due sezioni: la prima dedicata alle esperienze più significative ed articolate, che affrontano il recupero delle infrastrutture viarie a più livelli ed in modo avanzato non concentrandosi solo sulla conversione del sedime, ma proponendo un progetto che coinvolga tutto il corridoio attraversato dall’infrastruttura; la seconda parte illustra la pratica corrente nelle diverse realtà nazionali, ponendo in evidenza similitudini e differenze tra i vari approcci.

Cohésion modale et subordination : Le conditionnel et le jussif finnois au miroir de la valeur sémantique et discursive du subjonctif français

Modal cohesion and subordination. The Finnish conditional and jussive moods in comparison to the French subjunctive This study examines verb moods in subordinate clauses in French and Finnish. The first part of the analysis deals with the syntax and semantics of the French subjunctive, mood occurring mostly in subordinate positions. The second part investigates Finnish verb moods. Although subordinate positions in Finnish grammar have no special finite verb form, certain uses of Finnish verb moods have been compared to those of subjunctives and conjunctives in other languages. The present study focuses on the subordinate uses of the Finnish conditional and jussive (i.e. the third person singular and plural of the imperative mood). The third part of the analysis discusses the functions of subordinate moods in contexts beyond complex sentences. The data used for the analysis include 1834 complex sentences gathered from newspapers, online discussion groups and blog texts, as well as audio-recorded interviews and conversations. The data thus consist of both written and oral texts as well as standard and non-standard variants. The analysis shows that the French subjunctive codes theoretical modality. The subjunctive does not determine the temporal and modal meaning of the event, but displays the event as virtual. In a complex sentence, the main clause determines the temporal and modal space within which the event coded by the subjunctive clause is interpreted. The subjunctive explicitly indicates that the space constructed in the main clause extends its scope over the subordinate clause. The subjunctive can therefore serve as a means for creating modal cohesion in the discourse. The Finnish conditional shares the function of making explicit the modal link between the components of a complex construction with the French subjunctive, but the two moods differ in their semantics. The conditional codes future time and can therefore occur only in non-factual or counterfactual contexts, whereas the event expressed by French subjunctive clauses can also be interpreted as realized. Such is the case when, for instance, generic and habitual meaning is involved. The Finnish jussive mood is used in a relatively limited number of subordinate clause types, but in these contexts its modal meaning is strikingly close to that of the French subjunctive. The permissive meaning, typical of the jussive in main clause positions, is modified in complex sentences so that it entails inter-clausal relation, namely concession. Like the French subjunctive, the jussive codes theoretical modal meaning with no implication of the truth value of the proposition. Finally, the analysis shows that verb moods mark modal cohesion, not only on the syntagmatic level (namely in complexe sentences), but also on the paradigmatic axis of discourse in order to create semantic links over entire segments of talk. In this study, the subjunctive thus appears, not as an empty category without function, as it is sometimes described, but as an open form that conveys the temporal and modal meanings emerging from the context.

Impossibilità di pensare Dio non esistente : il Proslogion di Anselmo d'Aosta come applicazione implicita dei moderni procedimenti di logica aletica

Resumen: La vera intenzione teologica di Anselmo d’Aosta nello scrivere il Proslogion e il vero significato del suo celebre unum argumentum vanno visti nella funzione che la ragione svolge necessariamente all’interno della vita di fede del cristiano. Anselmo, come Tommaso d’Aquino, non sostiene che l’esistenza di Dio sia un “articulus fidei” ma piuttosto uno dei “praeambula fidei”. La ragione naturale ha la certezza che Dio esiste, ancora prima della dimostrazione metafisica, e questo non fa che confermare l’assurdità di pensare che non esista il fondamento reale di tutte le cose esistenti.

El laberinto del continuo

Resumen: La expresión “Laberinto del continuo” se debe a Leibniz. Sin embargo, Leibniz carecía de los instrumentos conceptuales necesarios para tratar el tema adecuadamente. La teoría de conjuntos de Cantor hizo posible resolver el problema del continuo de modo satisfactorio desde el punto de vista conjuntista. Se debe atribuir a R. Dedekind una resolución más cabal del problema. No obstante, el autor sostiene que la concepción de éste último tampoco pone de manifiesto todos los aspectos involucrados en el continuo.

Elaboración del registro de evaluación del continuo deportividad-violencia en la competición del fútbol base (REPF)

[ES] En este estudio se describe el proceso seguido para la elaboración del auto-registro, diseñado específicamente para la medición de los estructos "deportividad”, “agresividad" y “violencia”. Este instrumento permite la recogida de información sobre actitudes y conductas relacionadas con la deportividad, la agresividad y la violencia de los diferentes agentes sociales que rodean a los jóvenes deportistas en categorías deportivas de formación (padres/espectadores, entrenadores y árbitros). Por otro lado, se detalla la estructura de este instrumento y las características psicométricas del mismo -validez y fiabilidad-.