You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Focusing on the most definition-resistant art movement in history and departing from its two chief characteristics: intermediality and interactivity, this book develops an original theory of practice, the experiential philosophy of non-duality, which is the philosophy of dynamic co-constitutivity. This is done by tracing the performativity of intermedial works – works that fall conceptually between the art and the life media, such as Bengt af Klintbergs’s event score: “Eat an orange as if it were an apple” – in five key areas of human experience: language, temporality, the sensorium, social rites and rituals, and systems of economic exchange. The main argument, woven with the aid o...
Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
This book presents a study of the figure of the stranger in US Latinx literary and cultural forms, ranging from contemporary novels through essays to film and transborder art activism. The focus on this abject figure is twofold: first, to explore its potential to expose the processes of othering to which Latinxs are subjected; and, second, to foreground its epistemic response to neocolonial structures and beliefs. Thus, this book draws on relevant sociological literature on the stranger to unveil the political and social processes behind the recognition of Latinxs as ‘out of place.’ On the other hand, and most importantly, this volume follows the path of neo-cosmopolitan approaches to bring to the fore processes of interrelatedness, interaction, and conviviality that run counter to criminalizing discourses around Latinxs. Through an engagement with these theoretical tenets, the goal of this book is to showcase the role of the Latinx stranger as a cosmopolitan mediator that transforms walls into bridges.
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.
This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volum...
This highly readable book is a collection of critical papers on Otto Neurath (1882-1945). It comprehensively re-examines Neurath’s scientific, philosophical and educational contributions from a range of standpoints including historical, sociological and problem-oriented perspectives. Leading Neurath scholars disentangle and connect Neurath’s works, ideas and ideals and evaluate them both in their original socio-historical context and in contemporary philosophical debates. Readers will discover a new critical understanding. Drawing on archive materials, essays discuss not only Neurath’s better-known works from lesser-known perspectives, but also his lesser-known works from the better-kn...
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.
This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021). The 23 full papers presented were carefully reviewed and selected from 63 submissions. The papers are clustered under the following topical sections: digital transformation; digital services and open government; open data: social and technical perspectives; smart cities; and data analytics, decision making, and artificial intelligence. Chapters "Perceived and Actual Lock-in Effects Amongst Swedish Public Sector Organisations when Using a SaaS Solution" and "Ronda: Real-time Data Provision, Processing and Publication for Open Data" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.