6,527 research outputs found

    The propositional logic of teams

    Full text link
    Since the introduction by Hodges, and refinement by V\"a\"an\"anen, team semantic constructions have been used to generate expressively enriched logics still conserving nice properties, such as compactness or decidability. In contrast, these logics fail to be substitutional, limiting any algebraic treatment, and rendering schematic uniform proof systems impossible. This shortcoming can be attributed to the flatness principle, commonly adhered to when generating team semantics. Investigating the formation of team semantics from algebraic semantics, and disregarding the flatness principle, we present the logic of teams, LT, a substitutional logic for which important propositional team logics are axiomatisable as fragments. Starting from classical propositional logic and Boolean algebras, we give semantics for LT by considering the algebras that are powersets of Boolean algebras B, equipped with internal (point-wise) and external (set-theoretic) connectives. Furthermore, we present a well-motivated complete and sound labelled natural deduction system for LT.Comment: 28 page

    Sums of cubes and the Ratios Conjectures

    Full text link
    Works of Hooley and Heath-Brown imply a near-optimal bound on the number NN of integral solutions to x13+⋯+x63=0x_1^3+\dots+x_6^3 = 0 in expanding regions, conditional on automorphy and GRH for certain Hasse--Weil LL-functions; for regions of diameter X≄1X\ge 1, the bound takes the form N≀C(Δ)X3+ΔN\le C(\varepsilon) X^{3+\varepsilon} (Δ>0\varepsilon>0). We attribute the Δ\varepsilon to several subtly interacting proof factors; we then remove the Δ\varepsilon assuming some standard number-theoretic hypotheses, mainly featuring the Ratios and Square-free Sieve Conjectures. In fact, our softest hypotheses imply conjectures of Hooley and Manin on NN, and show that almost all integers aâ‰ĄÌžÂ±4 mod 9a\not\equiv \pm 4 \bmod{9} are sums of three cubes. Our fullest hypotheses are capable of proving power-saving asymptotics for NN, and producing almost all primes pâ‰ĄÌžÂ±4 mod 9p\not\equiv \pm 4 \bmod{9}.Comment: 61 pages; updated references; changed title; conceptual improvements; moved some material elsewher

    Grasping nothing: a study of minimal ontologies and the sense of music

    Get PDF
    If music were to have a proper sense – one in which it is truly given – one might reasonably place this in sound and aurality. I contend, however, that no such sense exists; rather, the sense of music takes place, and it does so with the impossible. To this end, this thesis – which is a work of philosophy and music – advances an ontology of the impossible (i.e., it thinks the being of what, properly speaking, can have no being) and considers its implications for music, articulating how ontological aporias – of the event, of thinking the absolute, and of sovereignty’s dismemberment – imply senses of music that are anterior to sound. John Cage’s Silent Prayer, a nonwork he never composed, compels a rerethinking of silence on the basis of its contradictory status of existence; Florian Hecker et al.’s Speculative Solution offers a basis for thinking absolute music anew to the precise extent that it is a discourse of meaninglessness; and Manfred Werder’s [yearn] pieces exhibit exemplarily that music’s sense depends on the possibility of its counterfeiting. Inso-much as these accounts produce musical senses that take the place of sound, they are also understood to be performances of these pieces. Here, then, thought is music’s organon and its instrument

    Command and Persuade

    Get PDF
    Why, when we have been largely socialized into good behavior, are there more laws that govern our behavior than ever before? Levels of violent crime have been in a steady decline for centuries—for millennia, even. Over the past five hundred years, homicide rates have decreased a hundred-fold. We live in a time that is more orderly and peaceful than ever before in human history. Why, then, does fear of crime dominate modern politics? Why, when we have been largely socialized into good behavior, are there more laws that govern our behavior than ever before? In Command and Persuade, Peter Baldwin examines the evolution of the state's role in crime and punishment over three thousand years. Baldwin explains that the involvement of the state in law enforcement and crime prevention is relatively recent. In ancient Greece, those struck by lightning were assumed to have been punished by Zeus. In the Hebrew Bible, God was judge, jury, and prosecutor when Cain killed Abel. As the state's power as lawgiver grew, more laws governed behavior than ever before; the sum total of prohibited behavior has grown continuously. At the same time, as family, community, and church exerted their influences, we have become better behaved and more law-abiding. Even as the state stands as the socializer of last resort, it also defines through law the terrain on which we are schooled into acceptable behavior. This title is also available in an Open Access edition

    Technologies and Applications for Big Data Value

    Get PDF
    This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas. The book starts with an introductory chapter that provides an overview of the book by positioning the following chapters in terms of their contributions to technology frameworks which are key elements of the Big Data Value Public-Private Partnership and the upcoming Partnership on AI, Data and Robotics. The remainder of the book is then arranged in two parts. The first part “Technologies and Methods” contains horizontal contributions of technologies and methods that enable data value chains to be applied in any sector. The second part “Processes and Applications” details experience reports and lessons from using big data and data-driven approaches in processes and applications. Its chapters are co-authored with industry experts and cover domains including health, law, finance, retail, manufacturing, mobility, and smart cities. Contributions emanate from the Big Data Value Public-Private Partnership and the Big Data Value Association, which have acted as the European data community's nucleus to bring together businesses with leading researchers to harness the value of data to benefit society, business, science, and industry. The book is of interest to two primary audiences, first, undergraduate and postgraduate students and researchers in various fields, including big data, data science, data engineering, and machine learning and AI. Second, practitioners and industry experts engaged in data-driven systems, software design and deployment projects who are interested in employing these advanced methods to address real-world problems

    Covid-19 and Capitalism

    Get PDF
    This open access book provides a comprehensive analysis of the socioeconomic determinants of Covid-19. From the end of 2019 until presently, the world has been ravaged by the Covid-19 pandemic. Although the cause of this is (obviously) a virus, the extent to which this virus spread, and therefore the number of infections and deaths, was largely determined by socio-economic factors. From this, it follows that the course of the pandemic varies greatly from one country to another. This observation applies both to countries’ resilience to such a pandemic (which is mainly rooted in the period preceding the outbreak of the virus) and to the way in which countries have reacted to the virus (including the political choices on how to respond). Meanwhile, research has made it clear that the nature of this response (e.g., elimination policy, mitigation policy, and proceeding herd immunity) was, on the one hand, strongly determined by political and ideological factors and, on the other hand, was highly influential in the factors of success or failure in combating the pandemic. The book focuses on the situation in a number of Western regions (notably the USA, the UK, and the EU and its Member States). The author addresses the reasons why in many Western countries both pandemic prevention and response policies to Covid-19 have failed. The book concludes with recommendations concerning the rearrangement of the socio-economic order that could increase the resilience of (Western) societies against such pandemics

    Dispositiv-Erkundungen | Exploring Dispositifs

    Get PDF
    Will man die Linien eines Dispositivs entwirren, so muss man in jedem Fall eine Karte anfertigen, man muss kartographieren, unbekannte LĂ€nder ausmessen - eben das, was er [Foucault] als 'Arbeit im GelĂ€nde' bezeichnet hat", formulierte Gilles Deleuze 1988. Mit der vorliegenden Publikation soll ein kartographierendes Aus- und Vermessen eines komplexen, verzweigten, unĂŒbersichtlichen, zum Teil auch uneinsichtigen und ĂŒbercodierten GelĂ€ndes geleistet werden. Als Effekt könn(t)en fortgesetzte KlĂ€rungen von Begriffen, Konzepten und Operationsweisen dessen stattfinden, was als Kunst bezeichnet wird. 18 Autor*innen nehmen ihre Dispositiv-Erkundungen vor, so dass eine Anthologie von ausgewĂ€hlten Stimmen entsteht. Die Autor*innen und ihre Texte erkunden multiperspektivisch, disparat, forensisch und komplexierend, in verschiedenen Sprachen, in ihren Entstehungskontexten und Entstehungszeiten, mit ihren stilistischen Mitteln und in einigen FĂ€llen eng mit ihren frĂŒheren PublikationszusammenhĂ€ngen verbunden. Sie sind damit im besten Fall in der Lage, je eigene DenkrĂ€ume aufzufalten, die ermöglichen, Einzelbestandteile der beschriebenen oder analysierten Dispositive -- und dabei kann es sich offenbar um Einzeloperationen, Prozesse, Prozeduren, Blicke, LĂŒcken, Aufspaltungen, Implikationen, Vorbedingungen etc. handeln -- zu unterscheiden und in einem nĂ€chsten Schritt strategische Formationen dieser heterogenen Ensembles zu diagnostizieren. DarĂŒber hinaus ermöglichen die zusammengestellten Texte, unterschiedliche Varianten, Ausgangs-, Ansatz- und Schwerpunkte wie auch Stile von Dispositiv-Erkundungen nachvollziehen zu können. As Gilles Deleuze has argued in 1988, “[u]ntangling these lines within a social apparatus [dispositif] is, in each case, like drawing up a map, doing cartography, surveying unknown landscapes, and this is what he [Foucault] calls ‘working on the ground.’” This publication intends to provide a cartographic mapping of a complex, multi-branched, often obscure, sometimes inaccessible and overly encoded terrain. Such a mapping could and can lead to a further clarification of terms, concepts and modes of operation of that which is called art. This volume comprises 18 authors whose explorations of the dispositif have generated an anthology of select, distinct voices. Their texts are marked by multiple perspectives, they are disparate, forensic and complex, they are written in different languages, stem from different contexts and points in time, are endowed with different styles and, in some cases, also stand in close relationship with other, earlier publication contexts. This means that they are ideally positioned to unfold diverse spaces of thought, allowing them to differentiate between individual components of the dispositifs they discuss or dissect -- this may include individual operations, processes, procedures, glances, lacunae, splits, implications, preconditions, et cetera -- and allowing them, in a next step, to diagnose the strategic formations such heterogeneous ensembles might take. Beyond that, the texts assembled here allow us to discern the different variations, starting points, approaches and emphases as well as different styles of dispositif exploration. BeitrĂ€ge von / Contributions by: Elke Bippus, Luis Camnitzer, Ibou Coulibaly Diop, Thomas Oberender, Andrea Fraser, erwin GeheimRat, Siri Hustvedt, Silvia Jonas, Birte Kleine-Benne, Michael Lingner, Lucy Lippard, Adelheid Mers, Brian O’Doherty, Julia Pelta Feldman, Adrian Piper, Stefan Römer, Thorsten Schneider, Ruth Sonderegge

    Paternalism to Partnership

    Get PDF
    A biographical sketch of each head of Indian affairs between 1786 and 2021, including each commissioner’s political philosophy

    The Freedom of Lights: Edmond JabĂšs and Jewish Philosophy of Modernity

    Get PDF
    Edmond Jabùs was one of the most intriguing Jewish thinkers of the 20th century – a poet for the public and a Kabbalist for those who read his work more closely. This book turns his writings into a ground-breaking philosophical achievement: thinking which is manifestly indebted to the Kabbalah, but in the post-religious and post-Shoah world. Loss, exile, negativity, God’s absence, writing and Jewishness are the main signposts of the negative ontology which this book offers as an interpretation of Jabùs’ work. On the basis of it, the book examines the nature of the miraculous encounter between Judaism and philosophy which occurred in the 20th century. Modern Jewish philosophy is a re-constructed tradition which adapts the intellectual and spiritual legacy of Judaism to answer purely modern questions

    Arms and the People

    Get PDF
    This collection examines the relationship between mass movements and the military. Some argue that it is impossible to achieve and protect a revolution without the support of the army, but how can the support of the army be won? Arms and the People explores the impact of social extremes on the solidarity within the state’s military, and on the changing loyalties of these soldiers. The authors examine a series of historical moments in which a crisis in the military has reflected deep instability in the wider world, including Russia in 1917, Egypt during the Arab Spring, the Paris Commune, as well as long-standing instability in Venezuela and Indonesia, amongst many others. Including a range of international authors who have either studied or been directly involved in such social upheavals, Arms and the People is a pioneering contribution to the study of revolutionary change
    • 

    corecore