2,338 research outputs found

    Cyclic proof systems for modal fixpoint logics

    Get PDF
    This thesis is about cyclic and ill-founded proof systems for modal fixpoint logics, with and without explicit fixpoint quantifiers.Cyclic and ill-founded proof-theory allow proofs with infinite branches or paths, as long as they satisfy some correctness conditions ensuring the validity of the conclusion. In this dissertation we design a few cyclic and ill-founded systems: a cyclic one for the weak Grzegorczyk modal logic K4Grz, based on our explanation of the phenomenon of cyclic companionship; and ill-founded and cyclic ones for the full computation tree logic CTL* and the intuitionistic linear-time temporal logic iLTL. All systems are cut-free, and the cyclic ones for K4Grz and iLTL have fully finitary correctness conditions.Lastly, we use a cyclic system for the modal mu-calculus to obtain a proof of the uniform interpolation property for the logic which differs from the original, automata-based one

    Information actors beyond modernity and coloniality in times of climate change:A comparative design ethnography on the making of monitors for sustainable futures in Curaçao and Amsterdam, between 2019-2022

    Get PDF
    In his dissertation, Mr. Goilo developed a cutting-edge theoretical framework for an Anthropology of Information. This study compares information in the context of modernity in Amsterdam and coloniality in Curaçao through the making process of monitors and develops five ways to understand how information can act towards sustainable futures. The research also discusses how the two contexts, that is modernity and coloniality, have been in informational symbiosis for centuries which is producing negative informational side effects within the age of the Anthropocene. By exploring the modernity-coloniality symbiosis of information, the author explains how scholars, policymakers, and data-analysts can act through historical and structural roots of contemporary global inequities related to the production and distribution of information. Ultimately, the five theses propose conditions towards the collective production of knowledge towards a more sustainable planet

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Fictocritical Cyberfeminism: A Paralogical Model for Post-Internet Communication

    Get PDF
    This dissertation positions the understudied and experimental writing practice of fictocriticism as an analog for the convergent and indeterminate nature of “post-Internet” communication as well a cyberfeminist technology for interfering and in-tervening in metanarratives of technoscience and technocapitalism that structure contemporary media. Significant theoretical valences are established between twen-tieth century literary works of fictocriticism and the hybrid and ephemeral modes of writing endemic to emergent, twenty-first century forms of networked communica-tion such as social media. Through a critical theoretical understanding of paralogy, or that countercultural logic of deploying language outside legitimate discourses, in-volving various tactics of multivocity, mimesis and metagraphy, fictocriticism is ex-plored as a self-referencing linguistic machine which exists intentionally to occupy those liminal territories “somewhere in among/between criticism, autobiography and fiction” (Hunter qtd. in Kerr 1996). Additionally, as a writing practice that orig-inated in Canada and yet remains marginal to national and international literary scholarship, this dissertation elevates the origins and ongoing relevance of fictocriti-cism by mapping its shared aims and concerns onto proximal discourses of post-structuralism, cyberfeminism, network ecology, media art, the avant-garde, glitch feminism, and radical self-authorship in online environments. Theorized in such a matrix, I argue that fictocriticism represents a capacious framework for writing and reading media that embodies the self-reflexive politics of second-order cybernetic theory while disrupting the rhetoric of technoscientific and neoliberal economic forc-es with speech acts of calculated incoherence. Additionally, through the inclusion of my own fictocritical writing as works of research-creation that interpolate the more traditional chapters and subchapters, I theorize and demonstrate praxis of this dis-tinctively indeterminate form of criticism to empirically and meaningfully juxtapose different modes of knowing and speaking about entangled matters of language, bod-ies, and technologies. In its conclusion, this dissertation contends that the “creative paranoia” engendered by fictocritical cyberfeminism in both print and digital media environments offers a pathway towards a more paralogical media literacy that can transform the terms and expectations of our future media ecology

    Current and Future Challenges in Knowledge Representation and Reasoning

    Full text link
    Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has been challenged and complemented by research in areas such as machine learning and reasoning under uncertainty. In July 2022 a Dagstuhl Perspectives workshop was held on Knowledge Representation and Reasoning. The goal of the workshop was to describe the state of the art in the field, including its relation with other areas, its shortcomings and strengths, together with recommendations for future progress. We developed this manifesto based on the presentations, panels, working groups, and discussions that took place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge Representation: its origins, goals, milestones, and current foci; its relation to other disciplines, especially to Artificial Intelligence; and on its challenges, along with key priorities for the next decade

    Dreaming the Ancestors: An Investigation into Contemporary British Druidry and the Ritualisation of Death.

    Get PDF
    This thesis is an investigation into the various ways in which Druids in the opening decades of the 21st Century think about and ritualise death. Section A begins with a detailed discussion of the nature of modern British Spiritual Druidry; tracing it from its origins at the end of the 18th Century to the diverse ways in which it manifests in modernity. It will attempt to reach some conclusions about how Druidry is best understood through a consideration of Druids’ own understandings of their identity and their place in the modern world. In particular, it will consider the extent to which Druidry in Britain can be categorised as indigenous religion in Britain. Section B consists of a broad overview of the ways in which modern Druids approach death. Particular consideration is given to the concept of Ancestors in Druidry, and the role they play in the spiritual lives and practices of Druids, as well as in funeral and other rituals concerned with the dead. The section concludes with an investigation into the phenomenon of ‘new barrows’ that are currently being built in various locations in the south of England. These are built in deliberate imitation of the chambered burial mounds of the Neolithic and Bronze Ages and are designed to take human cremated remains interred in niches in the walls. The significance of these barrows as funeral venues, both to Druids and in wider society will be discussed at length. The thesis will conclude that there are several aspects of the way that death is understood and ritualised in Druidry that are highly distinctive in contemporary Western society. It will further suggest that much can be learnt from both Druidry and the new barrows as models for the construction of meaningful and useful funerals

    Equipped for Change: A Grounded Theory Study of White Antiracist School Leaders’ Attitudes and Perceptions of Racial Consciousness in Educational Leadership

    Get PDF
    There is substantial evidence that issues of race and racism and are common in U.S. public schools, especially those greatly impacted by poverty and racial segregation. Unfortunately, it is highly likely many of these occurrences either go unrecognized, unacknowledged, or are perpetrated unknowingly by White educators and administrators—many of whom are well-intentioned, but lack the critical lens necessary in challenging and dismantling them. For White people, the enculturating normativity of White racial dominance, maintained by the social conditioning of Whiteness, facilitates an environment of racial ignorance and insignificance, leaving most painfully oblivious to the damaging complexities of racism in contemporary American society. The purpose of this qualitative study is to illuminate the perceptions and experiences of selected White school leaders who have committed themselves to (a) antiracist school leadership identity development, and (b) the promotion of racially-just school cultures. Responses to semi-structured interview questions were coded, analyzed, and organized into themes to generate an educational leadership theory. Constructivist grounded theory (CGT) methodologies, critical race theory (CRT), critical whiteness studies (CWS), and critical pedagogy (CP) informed the data collection methods and theoretical foundations of this study. Findings revealed a need to reexamine and revise existing antiracist education psychology and pedagogy with an emphasis on cohesion and clarity of purpose. This study contributes new knowledge and insight into the struggle to successfully implement effective, sustainable antiracist school efforts capable of establishing and normalizing racial equity in public education

    A Study of Ahmed Saadawi’s Frankenstein in Baghdad in Light of Appropriation of Mary Shelley’s Frankenstein Through Translation and Adaptation Studies

    Get PDF
    This doctoral thesis examines both Mary Shelley’s Frankenstein, Or the Modern Prometheus (1888), and Ahmed Saadawi’s Frankenstein in Baghdad (2014) in light of adaptation and appropriation by employing the framework of translation and adaptation studies. Adaptation studies first emerged as a field of study in the first half of the twentieth century but its generalisations and arguments initially focused on text and screen; for instance, essays and texts by Vachel Lindsay (1915), Virginia Woolf (1927), and Sergei Eisenstein’s (1944) highlighted the distinctions between novels and films in general as well as the changes and transformations that the screen had brought about in the course of adaptations of texts (Leitch, 2017, p. 3). This approach established the theoretical grounds for the discipline of adaptation studies as it developed in Europe and the West in the sixties and seventies. On the one hand, this thesis aims to introduce both adaptation and translation studies into the Iraqi academia as an effort to examine Iraqi fiction, particularly Saadawi’s Frankenstein in Baghdad, in parallel with the international and canonical literary works, such as Shelley’s Frankenstein. On the other hand, this research will also attempt to investigate and subsequently showcase the conclusions of the analysis of the Iraqi novel to the readership and scholarship of the British and European Frankenstein. The intersectional grey zones of the West and East, the civilisational missing links between the world and marginal literature/s, and comparisons between Shelley’s Gothic and science fiction and Saadawi’s Iraqi 2003 post-war reality will be portrayed in both of the selected novels. Therefore, this work represents the space shared by those novels to explore and discuss the various ways in which the latter work appropriates the former. Moreover, Saadawi’s work problematises several central themes also present in Saadawi’s work. For instance, Shelley’s Frankenstein considers science and scientific creation from various aspects as its central theme, while Iraqi Frankenstein depicts a brutal war iv against Iraq that turns Iraqi society into a slaughterhouse through the incorporation and intervention of Iraqi militias, sectarian terrorists, the US Army and its allied forces’ military attacks on and within the country. In other words, the Iraqi monster of Whatsitsname rising from the ashes of the US-led 2003 invasion of Iraq, represents the failure of the Sykes-Picot Agreement of 1916, which divided the Middle East and created new artificial borders based on the interests of the early twentieth-century superpowers such as France, Britain and Russia. As a result, adaptation and cross-cultural translation will, likewise, be employed to examine the selected texts and highlight the strong relations that connect them. It will, additionally, highlight the significance of the Iraqi Frankenstein, a work that concentrates on the post-2003 war context of marginalised Iraq by problematising some of Shelley’s main themes. Along with the various sources used in the process of undertaking this research, the current researcher conducted two interviews with the author of Frankenstein in Baghdad and its English translator into English language, which come as appendices at the end of this work. The main findings of this work revolve around the adaptation of the latter text by the former, the decontextualisation which exists in the latter, the expression of the disintegration and trauma of war, and the triumph of Saadawi’s novel as a crucial representational voice of the marginalised and repressed Iraq and its citizens.Programa de Doctorat en LlengĂŒes Aplicades, Literatura i Traducci
    • 

    corecore