Proof theory of quantified modal logics

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Medical Malpractice in Public Healthcare Systems: An Empirical Investigation of Scheduled Damages

In the last decades, medical malpractice has been framed as one of the most critical issues for healthcare providers and health policy, holding a central role on both the policy agenda and public debate. The Law and Economics literature has devoted much attention to medical malpractice and to the investigation of the impact of malpractice reforms. Nonetheless, some reforms have been much less empirically studied as in the case of schedules, and their effects remain highly debated. The present work seeks to contribute to the study of medical malpractice and of schedules of noneconomic damages in a civil law country with a public national health system, using Italy as case study. Besides considering schedules and exploiting a quasi-experimental setting, the novelty of our contribution consists in the inclusion of the performance of the judiciary (measured as courts’ civil backlog) in the empirical analysis. The empirical analysis is twofold. First, it investigates how limiting compensations for pain and suffering through schedules impacts on the malpractice insurance market in terms of presence of private insurers and of premiums applied. Second, it examines whether, and to what extent, healthcare providers react to the implementation of this policy in terms of both levels and composition of the medical treatments offered. Our findings show that the introduction of schedules increases the presence of insurers only in inefficient courts, while it does not produce significant effects on paid premiums. Judicial inefficiency is attractive to insurers for average values of schedules penetration of the market, with an increasing positive impact of inefficiency as the territorial coverage of schedules increases. Moreover, the implementation of schedules tends to reduce the use of defensive practices on the part of clinicians, but the magnitude of this impact is ultimately determined by the actual degree of backlog of the court implementing schedules.

Conflict affected peoples’ access to education: IDP pupils in Georgia

This work seeks to understand what kind of impact educational policies have had on the secondary school students among internally displaced persons (IDPs) and their identity reconstruction in Georgia. The study offers a snapshot of the current situation based on desk study and interviews conducted among a sample of secondary school IDP pupils. In the final chapter, the findings will be reflected against the broader political context in Georgia and beyond. The study is interdisciplinary and its methodology is based on social identity theory. I shall compare two groups of IDPs who were displaced as a result of two separate conflicts. The IDPs displaced as a result of conflict in Abkhazia in 1992–1994 are named as old caseload IDPs. The second group of IDPs were displaced after a conflict in South Ossetia in 2008. Additionally, I shall touch upon the situation of the pupils among the returnees, a group of Georgian old caseload IDPs, who have spontaneously returned to de facto Abkhazia. According to the interviews, the secondary school student IDPs identify themselves strongly with the Georgian state, but their group identities are less prevailing. Particularly the old case load IDP students are fully integrated in local communities. Moreover, there seems not to be any tangible bond between the old and new caseload IDP students. The schools have neither tried nor managed to preserve IDP identities which would, for instance, make political mobilisation likely along these lines. Right to education is a human right enshrined in a number of international conventions to which the IDPs are also entitled. Access to education or its denial has a deep impact on individual and societal development. Furthermore, education has a major role in (re)constructing personal as well as national identity.

Social Welfare and Behavioral Public Policies

In this work I discuss several key aspects of welfare economics and policy analysis and I propose two original contributions to the growing field of behavioral public policymaking. After providing a historical perspective of welfare economics and an overview of policy analysis processes in the introductory chapter, in chapter 2 I discuss a debated issue of policymaking, the choice of the social welfare function. I contribute to this debate by proposing an original methodological contribution based on the analysis of the quantitative relationship among different social welfare functional forms commonly used by policy analysts. In chapter 3 I then discuss a behavioral policy to contrast indirect tax evasion based on the use of lotteries. I show that the predictions of my model based on non-expected utility are consistent with observed, and so far unexplained, empirical evidence of the policy success. Finally, in chapter 4 I investigate by mean of a laboratory experiment the effects of social influence on the individual likelihood to engage in altruistic punishment. I show that bystanders’ decision to engage in punishment is influenced by the punishment behavior of their peers and I suggest ways to enact behavioral policies that exploit this finding.

Peptidi autoassemblanti per la produzione di scaffold nell'ingegneria tissutale

L’argomento trattato in questo elaborato riguarda la natura e le applicazioni di una nuova classe di biomateriali: i peptidi auto-assemblanti. La perdita di funzione di un organo o di un tessuto rappresenta una problematica rilevante sia sotto il profilo clinico sia per i costi di gestione. I trapianti sono infatti tra le terapie più sofisticate e onerose economicamente, complicate da altri aspetti quali una strutturale insufficienza di donatori e la necessità che i soggetti trapiantati vengano sottoposti cronicamente a regimi terapeutici immunosoppressivi che aumentano eventuali effetti collaterali. La terapia sostitutiva basata su organi artificiali è invece gravata dalla durata limitata dei dispositivi, nonchè da un non trascurabile rischio infettivo. La medicina rigenerativa, che sembra essere una soluzione adeguata per ovviare a tutte queste problematiche, è un settore emergente che combina aspetti della medicina, della biologia cellulare e molecolare, della scienza dei materiali e dell’ingegneria al fine di rigenerare, riparare o sostituire i tessuti danneggiati. In questo panorama, il ruolo dei biomateriali sta diventando sempre più importante grazie alla loro varietà e alle loro funzioni emergenti. Tra i biomateriali innovativi più promettenti troviamo i peptidi auto-assemblanti. Dopo un'introduzione sui principi dell'ingegneria tissutale, la tesi si focalizza sui peptidi auto-assemblanti e sulle loro applicazioni in campo biomedico, ponendo l'attenzione, in particolar modo, sulla realizzazione di scaffold per la rigenerazione del tessuto osseo, cardiaco, cartilagineo e nervoso, e sulla loro applicazione per il rilascio controllato di farmaci.

Ubersetzungstheorien. Eine einfuhrung: Traduzione e commento di parti selezionate

La presente tesi si concentra sulla traduzione di parti scelte di Übersetzungstheorien. Eine Einführung, manuale di carattere saggistico ad opera della nota linguista tedesca Radegundis Stolze contenente una spiegazione esaustiva, chiara e dettagliata delle più note teorie divenute oggetto di studio della scienza della traduzione dalla nascita della disciplina fino ai giorni nostri. Punto di partenza dell’elaborato sarà l’analisi del saggio, in cui si tracciano le caratteristiche testuali del genere, sia per quanto riguarda il testo originale tedesco, sia per quanto riguarda quello italiano, in modo da notare le differenze e mettere in evidenza le principali tecniche da prendere in considerazione per la trasmissione del messaggio da un modello all’altro. In seguito sarà effettuata un’analisi del testo di partenza secondo i criteri di Brinker (2010) e Nord (2009) con particolare interesse all’aspetto grammaticale e tematico , al rapporto autore-lettore e agli aspetti interni ed esterni al testo. Sulla base di questa analisi verranno poi indicati gli aspetti più significativi a cui prestare attenzione durante la traduzione e si procederà alla traduzione vera e propria. Questa consta di due testi particolarmente significativi per la teoria della traduzione, rispettivamente il discorso sulla traduzione delle Sacre Scritture di Nida e la spiegazione della Teoria dello skopos di Vermeer e Rice. Alla traduzione vera e propria seguiranno un commento riguardante le principali problematiche incontrate e le tecniche utilizzate di volta in volta per risolverle e un paragrafo conclusivo a riassumere i risultati ottenuti.

Analisi d'immagine, patologia quantitativa e dimensione frattale in patologia veterinaria: Densita' e forme

Fino dagli albori della metodica scientifica, l’osservazione e la vista hanno giocato un ruolo fondamentale. La patologia è una scienza visiva, dove le forme, i colori, le interfacce e le architetture di organi, tessuti, cellule e componenti cellulari guidano l’occhio del patologo e ne indirizzano la scelta diagnostico-classificativa. L’osservazione del preparato istologico in microscopia ottica si attua mediante l’esame e la caratterizzazione di anomalie ad ingrandimenti progressivamente crescenti, a diverse scale spaziali, che partono dalla valutazione dell’assetto architettonico sovracellulare, per poi spostarsi ad investigare e descrivere le cellule e le peculiarità citomorfologiche delle stesse. A differenza di altri esami di laboratorio che sono pienamente quantificabili, l’analisi istologica è intrinsecamente soggettiva, e quindi incline ad un alto grado di variabilità nei risultati prodotti da differenti patologi. L’analisi d’immagine, l’estrazione da un’immagine digitale di contenuti utili, rappresenta una metodica oggettiva, valida e robusta ormai largamente impiegata a completamento del lavoro del patologo. Si sottolinea come l’analisi d’immagine possa essere vista come fase descrittiva quantitativa di preparati macroscopici e microscopici che poi viene seguita da una interpretazione. Nuovamente si sottolinea come questi descrittori siano oggettivi, ripetibili e riproducibili, e non soggetti a bassa concordanza inter operatore. La presente tesi si snoda attraverso un percorso concettuale orientato ad applicazioni di analisi d’immagine e patologia quantitativa che parte dalle applicazioni più elementari (densità, misure lineari), per arrivare a nozioni più avanzate, quali lo studio di complessità delle forme mediante l’analisi frattale e la quantificazione del pattern spaziale di strutture sovracellulari.

Una rigorosa libertà. Musica e pedagogia nell’apprendimento del linguaggio

Quel che Steiner e molti altri criticano alla lingua contemporanea è il fatto di conformarsi troppo facilmente ai dettami della scienza e della società odierna, svuotando le parole del loro senso e della loro bellezza. Ciò che la scienza e la società in generale tendono a dimenticare, infatti, è che la lingua è composta di parole, fonemi, suoni. La tesi si articola in due Sezioni: una Premessa pedagogica e una Premessa antropologica. La Premessa pedagogica si compone di un solo capitolo, nel quale metteremo a confronto due metodi apparentemente molto diversi tra loro ma che, in realtà, trovano un loro accordo. Si tratta di Jean Piaget e Maria Montessori: del primo affronteremo opere quali Lo strutturalismo e L’epistemologia genetica dal punto di vista dell’acquisizione dei processi cognitivi, focalizzandoci soprattutto sull’apprendimento del linguaggio; della seconda sottolineeremo gli approcci educativi tenuti al fine di un apprendimento linguistico che non risenta di traumi ma che sia fondato su basi scientifiche. Introdurremo il ruolo della musica nei piani didattici e l’importanza di assegnarle una funzione più precisa e determinante. La Premessa antropologica si compone di due capitoli, entrambi dedicati alla musica. Nel Capitolo I parleremo della musicoterapia, un tipo di approccio fondato sul potere comunicativo della musica al fine di ripristinare la comunicazione verbale come è comunemente intesa. Nel Capitolo II, infine, parleremo del Mother Tongue Method introdotto da Shinichi Suzuki e ancora oggi riconosciuto in tutto il mondo. Si tratta di una metodologia che vuole rendere la musica parte delle vite degli individui tanto spontaneamente quanto il linguaggio. La musica diventa, dunque, uno strumento utile a formare i bambini sin da piccoli perché possano affrontare ogni ambito della loro vita con fermezza e abilità.

Le virtù elettriche del lucido pennello. Sulla traduzione italiana del Treatise of electricity di Tiberio Cavallo

Questa tesi ha per argomento l'analisi linguistica della traduzione italiana del Treatise of electricity di Tiberio Cavallo (1777) ad opera di Ferdinando Fossi – Trattato completo d'elettricità – (1779). Con questo studio, che prende in esame un particolare episodio letterario, si è inteso esaminare un momento della storia del lessico scientifico italiano al fine di individuarne le peculiarità e sottolinearne le differenze rispetto ai corrispettivi di altre lingue, con speciale attenzione alla lingua inglese. I capitoli introduttivi riportano notizie biografiche e sulla formazione di T. Cavallo e F. Fossi. Nel terzo capitolo viene delineato un quadro della formazione e costituzione del lessico elettrologico italiano, seguendone l'evoluzione nel cinquantennio '40/'90 del XVIII secolo. Una parte della tesi è poi dedicata al fenomeno culturale rappresentato dalle scienze elettriche in cui si inscrive la traduzione del Treatise. Sono qui riportate notizie relative alla fortuna mondana dell'elettricità, per le quali si è attinto a carteggi, documenti d'archivio, testi antichi e studi moderni. L'analisi linguistica vera e propria si è basata sul confronto tra il testo originale di Tiberio Cavallo e la traduzione di Ferdinando Fossi. Partendo dal Treatise abbiamo isolato particolari gruppi di parole: 1) voci corrispondenti a termini propri dei fenomeni elettrici; 2) verbi; 3) strumenti scientifici. Per ognuna della voci abbiamo controllato la ricorsività; poi abbiamo cercato i traducenti corrispondenti, suddividendoli in “corrispondenze assolute” – il traducente è corrispettivo del termine originale –, “corrispondenze mancate” – variazioni nella traduzione di termini ripetuti costantemente –, “tendenza omologatrice” – traduzione univoca di termini semanticamente simili –. Un capitolo sulla lettura critica della traduzione spiega come da parte del Fossi si sia rilevata una sostanziale e sistematica assenza di sensibilità per la precisione terminologica che caratterizza il testo di Cavallo; ove si dimostra che il testo inglese insiste sulla ripetizione dei termini – già stabilizzati e facenti parte di un corpus omogeneo e condiviso –, mentre il testo italiano predilige il ricorso alla "variatio", ricercando una migliore resa stilistica d'insieme piuttosto che la precisione scientifica. Il momento storico-linguistico preso in esame attraverso il particolare caso della traduzione del Treatise vede la lingua italiana sprovvista di una lessico elettrico univoco e condiviso. Complici di questa mancata corrispondenza alle esigenze del linguaggio scientifico moderno sono certamente pregiudizi di ordine retorico, che esaltano l'importanza dello stile e alimentano il disprezzo per i tecnicismi, ma anche e soprattutto la diffusione di traduzioni eterogenee, che danno atto ad una moltiplicazione semantica dei termini realmente in grado di ritardare la formazione di un corpus lessicale condiviso dalla comunità scientifica italiana.

Beatrice Potter e la signora Webb. La politica come amministrazione del carattere

La tesi affronta la vita e la riflessione politica di Beatrice Potter collocandola all’interno del pensiero politico britannico ed europeo della fine dell’Ottocento e dei primi decenni del Novecento. Rispetto alla maggior parte della bibliografia disponibile, risulta un’autonomia e un’originalità anche rispetto alla riflessione del marito Sidney Webb. La riflessione politica di Potter è caratterizzata in primo luogo dalla ricerca del significato immediatamente politico di quella scienza sociale, che si sta affermando come approccio scientifico dominante nell’intero panorama europeo. Il lavoro è diviso in tre ampi capitoli così suddivisi: il primo ricostruisce l’eredità intellettuale di Potter, con particolare attenzione al rapporto con la filosofia evoluzionista di Herbert Spencer, suo mentore e amico. In questo capitolo vengono anche discussi i contributi di John Stuart Mill, Joseph Chamberlain, Alfred Marshall e Karl Marx e la loro influenza sull’opera di Potter. Il secondo capitolo prende in esame la sua opera prima dell’incontro con il marito e mostra come lo studio della povertà, del lavoro, della metropoli, della cooperazione e delle condizioni delle donne getti le basi di tutta la produzione successiva della partnership. Lo studio politico della povertà, cioè la messa a punto di una scienza amministrativa del carattere sociale del lavoro, rappresenta uno degli elementi principali di quella che viene qui definita un’epistemologia della democrazia. Il terzo capitolo riprende il tema cruciale della democrazia nella sua accezione «industriale» e indaga il ruolo funzionale dello Stato, anche in relazione alla teoria pluralista di Harold Laski, al socialismo guildista di George D. H. Cole e all’idealismo di Bernard Bosanquet. Centrale in questo confronto del pensiero di Potter con il più ampio dibattito degli anni venti e trenta sulla sovranità è la concezione della decadenza della civiltà capitalista e dell’emergere di una new civilisation, dopo la conversione al comunismo sovietico.

Exploring Quantum Speed-up Through Cluster-state Computers

The aim of this thesis is to investigate the nature of quantum computation and the question of the quantum speed-up over classical computation by comparing two different quantum computational frameworks, the traditional quantum circuit model and the cluster-state quantum computer. After an introductory survey of the theoretical and epistemological questions concerning quantum computation, the first part of this thesis provides a presentation of cluster-state computation suitable for a philosophical audience. In spite of the computational equivalence between the two frameworks, their differences can be considered as structural. Entanglement is shown to play a fundamental role in both quantum circuits and cluster-state computers; this supports, from a new perspective, the argument that entanglement can reasonably explain the quantum speed-up over classical computation. However, quantum circuits and cluster-state computers diverge with regard to one of the explanations of quantum computation that actually accords a central role to entanglement, i.e. the Everett interpretation. It is argued that, while cluster-state quantum computation does not show an Everettian failure in accounting for the computational processes, it threatens that interpretation of being not-explanatory. This analysis presented here should be integrated in a more general work in order to include also further frameworks of quantum computation, e.g. topological quantum computation. However, what is revealed by this work is that the speed-up question does not capture all that is at stake: both quantum circuits and cluster-state computers achieve the speed-up, but the challenges that they posit go besides that specific question. Then, the existence of alternative equivalent quantum computational models suggests that the ultimate question should be moved from the speed-up to a sort of “representation theorem” for quantum computation, to be meant as the general goal of identifying the physical features underlying these alternative frameworks that allow for labelling those frameworks as “quantum computation”.

Advanced polymeric materials for applications in technical equipment for snow sports

The thesis is divided in three chapters, each one covering one topic. Initially, the thermo-mechanical and impact properties of materials used for back protectors have been analysed. Dynamical mechanical analysis (DMTA) has shown that materials used for soft-shell protectors present frequency-sensitive properties. Furthermore, through impact tests, the shock absorbing characteristics of the materials have been investigated proving the differences between soft and hard-shell protectors; moreover it has been demonstrated that the materials used for soft-shell protectors maintain their protective properties after multi-impacts. The second chapter covers the effect of the visco-elastic properties of the thermoplastic polymers on the flexural and rebound behaviours of ski boots. DMTA analysis on the materials and flexural and rebound testing on the boots have been performed. A comparison of the results highlighted a correlation between the visco-elastic properties and the flexural and rebound behaviour of ski boots. The same experimental methods have been used to investigate the influence of the design on the flexural and rebound behaviours. Finally in the third chapter the thermoplastic materials employed for the construction of ski boots soles have been characterized in terms of chemical composition, hardness, crystallinity, surface roughness and coefficient of friction (COF). The results showed a relation between material hardness and grip, in particular softer materials provide more grip with respect to harder materials. On the contrary, the surface roughness has a negative effect on friction because of the decrease in contact area. The measure of grip on inclined wet surfaces showed again a relation between hardness and grip. The performance ranking of the different materials has been the same for the COF and for the slip angle tests, indicating that COF can be used as a parameter for the choice of the optimal material to be used for the soles of ski boots.

La cooperazione dell'UE nella creazione di uno spazio sicuro nella globalizzazione come possibile modello per la regione dell'Asia Centrale

Gli ultimi anni hanno visto importanti cambiamenti positivi nella cooperazione interstatale in Asia centrale. Crescenti minacce come il terrorismo internazionale, l'estremismo religioso e politico, il traffico di droga, ecc, causati dagli interessi geopolitici e geo-economici delle potenze mondiali, hanno contribuito alla formazione di una politica estera più coordinata e coerente degli Stati della regione. Questo processo si manifesta nella partecipazione attiva dell’istituzionalizzazione della Shanghai Organizzazione del Commonwealth (SOC), Conferenza sulle misure di costruzione d’interazione e fiducia in Asia (CICA) e Organizzazione del Trattato di Sicurezza Collettiva (CSTO). Problemi moderni di sicurezza in Asia centrale dovrebbero essere risolti in dei nuovi modi, non convenzionali. Le nuove minacce alla sicurezza richiedono modi non standard per risolvere il problema. Considerate le differenze fondamentali dell'Unione europea e degli Stati dell'Asia centrale nei valori e dal punto di vista in materia di sicurezza. I paesi dell'Asia centrale non sono pronti per l'integrazione politica. Nonostante questo, nell’Asia centrale sono state adottate misure per contrastare le minacce non convenzionali. L’esperienza europea di unire gli sforzi della regione per garantire la sicurezza interna, può essere utilizzata dai paesi dell'Asia centrale, soprattutto, in primo luogo sulla formazione del quadro istituzionale e giuridico per la cooperazione operativa delle forze dell'ordine per le seguenti aree: • prevenzione del traffico di droga attraverso gli Stati dell'Asia centrale; • lotta contro nuove forme di terrorismo ed estremismo; • limitare la dimensione della migrazione clandestina; • migliorare la protezione giuridica dei cittadini. Fino a poco tempo fa, questi temi hanno ricevuto poca attenzione, sia nella teoria sia nella pratica, poiché i problemi di sicurezza della società erano principalmente ridotti per evitare il pericolo di guerra.

"Un libro per ogni compagno". Case editrici e politiche per la lettura del partito comunista italiano (1944-1956)

Anche se la politica editoriale comunista rappresenta un campo di indagine fondamentale nella ricerca sul Pci, la sua attività editoriale è caduta in un oblio storico. Assumendo il libro come supporto materiale e veicolo della cultura politica comunista, e la casa editrice come canale di socializzazione, questa ricerca s’interroga sui suoi processi di costruzione e di diffusione. La ricerca si muove in due direzioni. Nel primo capitolo si è tentato di dare conto delle ragioni metodologiche dell’indagine e della messa a punto delle ipotesi di ricerca sul “partito editore”, raccogliendo alcune sfide poste alla storia politica da altri ambiti disciplinari, come la sociologia e la scienza politica, che rappresentano una vena feconda per la nostra indagine. La seconda direzione, empirica, ha riguardato la ricognizione delle fonti e degli strumenti di analisi per ricostruire le vicende del “partito editore” dal 1944 al 1956. La suddivisione della ricerca in due parti – 1944-1947 e 1947-1956 – segue a grandi linee la periodizzazione classica individuata dalla storiografia sulla politica culturale del Pci, ed è costruita su quattro fratture storiche – il 1944, con la “svolta di Salerno”; il 1947, con la “svolta cominformista”; il 1953, con la morte di Stalin e il disgelo; il 1956, con il XX Congresso e i fatti d’Ungheria – che sono risultate significative anche per la nostra ricerca sull’editoria comunista. Infine, il presente lavoro si basa su tre livelli di analisi: l’individuazione dei meccanismi di decisione politica e dell’organizzazione assunta dall’editoria comunista, esaminando gli scopi e i mutamenti organizzativi interni al partito per capire come i mutamenti strategici e tattici si sono riflessi sull’attività editoriale; la ricostruzione della produzione editoriale comunista; infine, l’identificazione dei processi di distribuzione e delle politiche per la lettura promosse dal Pci.

Fiscal Constitutions: An Empirical Approach

The overarching question of this dissertation is: “why does the public debt grow, and why are fiscal (debt) crises repetitive and so widespread?” A special focus in answering this question is given to a fiscal constitution, which contains a country-specific set of laws, rules and regulations, and guides decision making in the area of fiscal policy. By shaping incentives and limiting arbitrariness, the fiscal constitution determines the course of fiscal policy and fiscal outcomes in the long term. This dissertation does not give, however, an exhaustive response to the overarching question. Instead it asks much narrower questions, which are selected after reviewing and identifying the main weaknesses and gaps in the modern literature on fiscal constitutions.