Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

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.

Elementi postmoderni nell'horror americano contemporaneo. Forme testuali e culturali della mutazione 1968-1998

This research argues for an analysis of textual and cultural forms in the American horror film (1968- 1998), by defining the so-called postmodern characters. The “postmodern” term will not mean a period of the history of cinema, but a series of forms and strategies recognizable in many American films. From a bipolar re-mediation and cognitive point of view, the postmodern phenomenon is been considered as a formal and epistemological re-configuration of the cultural “modern” system. The first section of the work examines theoretical problems about the “postmodern phenomenon” by defining its cultural and formal constants in different areas (epistemology, economy, mass-media): the character of convergence, fragmentation, manipulation and immersion represent the first ones, while the “excess” is the morphology of the change, by realizing the “fluctuation” of the previous consolidated system. The second section classifies the textual and cultural forms of American postmodern film, generally non-horror. The “classic narrative” structure – coherent and consequent chain of causal cues toward a conclusion – is scattered by the postmodern constant of “fragmentation”. New textual models arise, fragmenting the narrative ones into the aggregations of data without causal-temporal logics. Considering the process of “transcoding”1 and “remediation”2 between media, and the principle of “convergence” in the phenomenon, the essay aims to define these structures in postmodern film as “database forms” and “navigable space forms.” The third section applies this classification to American horror film (1968-1998). The formal constant of “excess” in the horror genre works on the paradigm of “vision”: if postmodern film shows a crisis of the “truth” in the vision, in horror movies the excess of vision becomes “hyper-vision” – that is “multiplication” of the death/blood/torture visions – and “intra-vision”, that shows the impossibility of recognizing the “real” vision from the virtual/imaginary. In this perspective, the textual and cultural forms and strategies of postmodern horror film are predominantly: the “database-accumulation” forms, where the events result from a very simple “remote cause” serving as a pretext (like in Night of the Living Dead); the “database-catalogue” forms, where the events follow one another displaying a “central” character or theme. In the first case, the catalogue syntagms are connected by “consecutive” elements, building stories linked by the actions of a single character (usually the killer), or connected by non-consecutive episodes about a general theme: examples of the first kind are built on the model of The Wizard of Gore; the second ones, on the films such as Mario Bava’s I tre volti della paura. The “navigable space” forms are defined: hyperlink a, where one universe is fluctuating between reality and dream, as in Rosemary’s Baby; hyperlink b (where two non-hierarchical universes are convergent, the first one real and the other one fictional, as in the Nightmare series); hyperlink c (where more worlds are separated but contiguous in the last sequence, as in Targets); the last form, navigable-loop, includes a textual line which suddenly stops and starts again, reflecting the pattern of a “loop” (as in Lost Highway). This essay analyses in detail the organization of “visual space” into the postmodern horror film by tracing representative patterns. It concludes by examining the “convergence”3 of technologies and cognitive structures of cinema and new media.

Institutional Complexity and Technology Transfer: A Theoretical and Empirical Analysis

This Doctoral Thesis unfolds into a collection of three distinct papers that share an interest in institutional theory and technology transfer. Taking into account that organizations are increasingly exposed to a multiplicity of demands and pressures, we aim to analyze what renders this situation of institutional complexity more or less difficult to manage for organizations, and what makes organizations more or less successful in responding to it. The three studies offer a novel contribution both theoretically and empirically. In particular, the first paper “The dimensions of organizational fields for understanding institutional complexity: A theoretical framework” is a theoretical contribution that tries to better understand the relationship between institutional complexity and fields by providing a framework. The second article “Beyond institutional complexity: The case of different organizational successes in confronting multiple institutional logics��� is an empirical study which aims to explore the strategies that allow organizations facing multiple logics to respond more successfully to them. The third work “ How external support may mitigate the barriers to university-industry collaboration” is oriented towards practitioners and presents a case study about technology transfer in Italy.

Interpreting Judgements using Knowledge Representation Methods and Computational Models of Argument

The goal of the present research is to define a Semantic Web framework for precedent modelling, by using knowledge extracted from text, metadata, and rules, while maintaining a strong text-to-knowledge morphism between legal text and legal concepts, in order to fill the gap between legal document and its semantics. The framework is composed of four different models that make use of standard languages from the Semantic Web stack of technologies: a document metadata structure, modelling the main parts of a judgement, and creating a bridge between a text and its semantic annotations of legal concepts; a legal core ontology, modelling abstract legal concepts and institutions contained in a rule of law; a legal domain ontology, modelling the main legal concepts in a specific domain concerned by case-law; an argumentation system, modelling the structure of argumentation. The input to the framework includes metadata associated with judicial concepts, and an ontology library representing the structure of case-law. The research relies on the previous efforts of the community in the field of legal knowledge representation and rule interchange for applications in the legal domain, in order to apply the theory to a set of real legal documents, stressing the OWL axioms definitions as much as possible in order to enable them to provide a semantically powerful representation of the legal document and a solid ground for an argumentation system using a defeasible subset of predicate logics. It appears that some new features of OWL2 unlock useful reasoning features for legal knowledge, especially if combined with defeasible rules and argumentation schemes. The main task is thus to formalize legal concepts and argumentation patterns contained in a judgement, with the following requirement: to check, validate and reuse the discourse of a judge - and the argumentation he produces - as expressed by the judicial text.

La migrazione del chagas: Costruzione bio-medica e socio-politica delle malattie tropicali dimenticate

Questo studio propone un'esplorazione dei nessi tra processi migratori ed esperienze di salute e malattia a partire da un'indagine sulle migrazioni provenienti dall'America latina in Emilia-Romagna. Contemporaneamente indaga i termini del dibattito sulla diffusione della Malattia di Chagas, “infezione tropicale dimenticata” endemica in America centro-meridionale che, grazie all'incremento dei flussi migratori transnazionali, viene oggi riconfigurata come 'emergente' in alcuni contesti di immigrazione. Attraverso i paradigmi teorico-metodologici disciplinari dell'antropologia medica, della salute globale e degli studi sulle migrazioni, si è inteso indagare la natura della relazione tra “dimenticanza” ed “emergenza” nelle politiche che caratterizzano il contesto migratorio europeo e italiano nello specifico. Si sono analizzate questioni vincolate alla legittimità degli attori coinvolti nella ridefinizione del fenomeno in ambito pubblico; alle visioni che informano le strategie sanitarie di presa in carico dell'infezione; alle possibili ricadute di tali visioni nelle pratiche di cura. Parte della ricerca si è realizzata all'interno del reparto ospedaliero ove è stato implementato il primo servizio di diagnosi e trattamento per l'infezione in Emilia-Romagna. È stata pertanto realizzata una etnografia fuori/dentro al servizio, coinvolgendo i principali soggetti del campo di indagine -immigrati latinoamericani e operatori sanitari-, con lo scopo di cogliere visioni, logiche e pratiche a partire da un'analisi della legislazione che regola l'accesso al servizio sanitario pubblico in Italia. Attraverso la raccolta di narrazioni biografiche, lo studio ha contribuito a far luce su peculiari percorsi migratori e di vita nel contesto locale; ha permesso di riflettere sulla validità di categorie come quella di “latinoamericano” utilizzata dalla comunità scientifica in stretta correlazione con il Chagas; ha riconfigurato il senso di un approccio attento alle connotazioni culturali all'interno di un più ampio ripensamento delle forme di inclusione e di partecipazione finalizzate a dare asilo ai bisogni sanitari maggiormente percepiti e alle esperienze soggettive di malattia.

Negoziazioni intergenerazionali dell'autonomia abitativa in contesti di working class

Nell’ambito della riflessione sui processi di riproduzione e trasmissione intergenerazionale delle disuguaglianze sociali, la presente tesi dottorale propone un’analisi in prospettiva intersezionale dei percorsi verso l’indipendenza abitativa dei giovani bolognesi di origine popolare, e il ruolo svolto dalle loro famiglie in questi percorsi. Nell’approfondimento teorico si offre una ricostruzione del dibattito sociologico nazionale e internazionale sul tema delle disuguaglianze sociali e abitative delle giovani generazioni, nonché dello studio della classe sociale e i principali approcci presenti in letteratura. La ricerca sul campo si concentra, in particolare, sui modi in cui le famiglie appartenenti ad una determinata classe sociale, intesa nel senso conferito al termine da Bourdieu, negoziano e sostengono la transizione all’indipendenza abitativa dei loro figli. L’approfondimento empirico consiste in una ricerca qualitativa longitudinale retrospettiva, condotta nel bolognese nel 2013-2014 su un campione di famiglie working class. Ai giovani-adulti coinvolti e ai loro genitori è stato chiesto di ricostruire le loro biografie attraverso lo strumento delle life histories. La ricerca evidenzia il delinearsi di “micro sistemi economici” familiari specifici e creativi. Le molteplici forme di sostegno genitoriale nei percorsi di autonomizzazione dei figli, individuate nel corso dell’analisi del materiale raccolto, si innestano quindi all’interno di un più ampio sistema di supporto intergenerazionale, che continua anche dopo l’uscita dalla famiglia di origine, a conferma dello stretto legame che caratterizza le famiglie italiane. Nello studio una particolare attenzione viene rivolta alle logiche di legittimazione del sostegno genitoriale, adottate dalle famiglie per orientare i propri interventi di aiuto. Infine, mettendo a confronto la concezione di indipendenza dei giovani adulti con quella dei loro genitori, l’indagine rileva l’esistenza di una apparente contraddizione tra le rappresentazioni dell’indipendenza e dell’autonomia abitativa e i comportamenti attuati nella vita quotidiana, contraddizione che trova una risoluzione nella negoziazione, tra le due diverse generazioni, del concetto stesso di indipendenza.

Amistad y relaciones aristocráticas a inicios de la Edad Moderna: la familia Malvezzi y el Colegio de España en Bolonia

Este proyecto pretende profundizar en algunos aspectos del funcionamiento institucional y político del Colegio de España, como ente integrado en las redes políticas y sociales de la ciudad italiana, a través del análisis de sus relaciones con la familia Malvezzi a inicios de la Edad Moderna, un período caracterizado por la creación y reforzamiento gradual de una red social conectada con el mundo hispano. Además, se pretende señalar los canales de colaboración y acuerdo recíproco que el Colegio de San Clemente puso en marcha con distintos miembros de la aristocracia boloñesa. Este estudio concibe el Colegio de España como una institución que va más allá de los límites estrictamente universitarios y que desarrolla un rol político y económico de primer nivel en el contexto local. Por otra parte, se interpretan las dinámicas del poder urbano en clave de red, dentro de la cual se entrecruzaban diversos intereses privados, familiares, clientelares y personales que tuvieron su repercusión en la esfera pública. En resumen, se trata de ofrecer una visión amplia y rica del cuadro de relaciones de poder de la ciudad de Bolonia. El objetivo final es conocer las razones, lógicas y fases que han plasmado, reforzado y caracterizado los vínculos personales e institucionales entre la familia Malvezzi y el Colegio de España.

Towards a logical foundation of randomized computation

This dissertation investigates the relations between logic and TCS in the probabilistic setting. It is motivated by two main considerations. On the one hand, since their appearance in the 1960s-1970s, probabilistic models have become increasingly pervasive in several fast-growing areas of CS. On the other, the study and development of (deterministic) computational models has considerably benefitted from the mutual interchanges between logic and CS. Nevertheless, probabilistic computation was only marginally touched by such fruitful interactions. The goal of this thesis is precisely to (start) bring(ing) this gap, by developing logical systems corresponding to specific aspects of randomized computation and, therefore, by generalizing standard achievements to the probabilistic realm. To do so, our key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations. The dissertation is tripartite. In the first part, we focus on the relation between logic and counting complexity classes. We show that, due to our classical counting propositional logic, it is possible to generalize to counting classes, the standard results by Cook and Meyer and Stockmeyer linking propositional logic and the polynomial hierarchy. Indeed, we show that the validity problem for counting-quantified formulae captures the corresponding level in Wagner's hierarchy. In the second part, we consider programming language theory. Type systems for randomized \lambda-calculi, also guaranteeing various forms of termination properties, were introduced in the last decades, but these are not "logically oriented" and no Curry-Howard correspondence is known for them. Following intuitions coming from counting logics, we define the first probabilistic version of the correspondence. Finally, we consider the relationship between arithmetic and computation. We present a quantitative extension of the language of arithmetic able to formalize basic results from probability theory. This language is also our starting point to define randomized bounded theories and, so, to generalize canonical results by Buss.

Rethinking the block. The 1970s European discourses on the city and the IBA Berlin 1979-87

The dissertation explores the relationship between projects for urban blocks and the discourses on the city between the late 1960s and the 1980s, with a particular focus on the blocks of the Internationale Bauausstellung (IBA) Berlin 1979-87. The main research questions center on whether and how the block changed in connection with the emerging ideas of the city during this period and whether these changes had, in turn, effects on the whole city. Thus far, despite extensive research on the theories and the ideas of the city between the 1960s and 1980s, there is a lack of studies that interweave this research with insights into the block. To fill this gap, this dissertation examines how the block was thematized in the 1970s discourses on the city. It highlights projects for blocks designed between the late 1960s and the 70s in various European cities, particularly West Berlin. Then, it focuses on the blocks of the IBA Berlin 1979-87, examining them through theory, history, and drawings. The study of the examples reveals three distinctive aspects of all blocks considered in the dissertation: the overcoming of small private plots, the individualization of the buildings, and the accessibility of the courtyards from public streets. These aspects reflect the changing understandings of the city and of the urban spaces in the 1970s and 1980s, which resulted in new compositional logics of the block. When examined with critical distance, the blocks of the 1970s and 80s offer a lesson in architectural and urban composition which is still current. - The author has made every effort to contact the owners of the copyrights of the material in the dissertation. The author is available to the right holders with whom it was not possible to communicate as well as for any omissions or inaccuracies in quoting the sources.

Dal sacrificio alla preghiera. La distruzione del Secondo Tempio di Gerusalemme e le trasformazioni cultuali della religione giudaica

La distruzione del Secondo Tempio di Gerusalemme nel 70 e.v. rappresenta un momento cruciale nell’evoluzione storica e teologica della religione giudaica. Prima della catastrofe, l’intero sistema cultuale si fondava sulle ritualità sacrificali, che si concentravano esclusivamente nel santuario gerosolimitano. Con la caduta di quest’ultimo e il venir meno delle sue prassi, il giudaismo dovette ripensare totalmente la propria religiosità, la quale andò gradualmente a imperniarsi sulla preghiera e su atti di devozione non cruenti, in una prospettiva più aperta, mobile e orizzontale. Pertanto, questa ricerca si pone lo scopo di analizzare, in una prospettiva fortemente votata all’antropologia, alla storia e alla sociologia della religione, il senso profondo di tale trasformazione. A questo fine, è stato studiato il culto sacrificale e liturgico giudaico precedente e successivo al 70 e.v., indagando in particolare alcuni aspetti specifici, quali la spazialità sacra, la gestualità rituale e l’uso della musica. In questo modo, è stato possibile delineare alcune logiche fondamentali che costituiscono la struttura dell’intero sistema religioso. Confrontando quelle del periodo del Secondo Tempio con quelle posteriori a esso, è dunque emersa una certa linearità, ma anche una forte discontinuità nella percezione del sacro e dei suoi rituali, fornendo così una nuova interpretazione del significato di una trasformazione di così vasta portata.