This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices u…
This open access book explores the complex relationship between schooling as a set of practices embedded in educational institutions and their specific spatial dimensions from different disciplinary perspectives. It presents innovative empirical and conceptual research by international scholars from the fields of social geography, pedagogy, educational and social sciences in Germany, the United…
This open access volume raises awareness of the histories, geographies, and practices of universities and analyzes their role as key actors in today’s global knowledge economy. Universities are centers of research, teaching, and expertise with significant economic, social, and cultural impacts at different geographical scales. Scholars from a variety of disciplines and countries offer origina…
This volume explores interdependencies between knowledge, action, and space from different interdisciplinary perspectives. Some of the contributors discuss knowledge as a social construct based on collective action, while others look at knowledge as an individual capacity for action. The chapters contain theoretical frameworks as well as experimental outcomes. Readers will gain insight int…
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses with innovative conceptual approaches. The first…
This book analyses the different types of post-execution punishments and other aggravated execution practices, the reasons why they were advocated, and the decision, enshrined in the Murder Act of 1752, to make two post-execution punishments, dissection and gibbeting, an integral part of sentences for murder. It traces the origins of the Act, and then explores the ways in which Act was actually…
This open access book explores how UN peace operations are adapting to four transformational trends in the changing global order: (1) the rebalancing of relations between states of the global North and the global South; (2) the rise of regional organisations as providers of peace; (3) the rise of violent extremism and fundamentalist non-state actors; and (4) increasing demands from non-state ac…
The aim of this open access book is to review and analyse the goods and services of bivalve shellfish. How they are defined, what determines the ecological functions that are the basis for the goods and services, what controversies in the use of goods and services exist, and what is needed for sustainable exploitation of bivalves from the perspective of the various stakeholders. The book is foc…