- Table View
- List View
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science #1869)
by Mark Aagaard John HarrisonThis volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project.
In The Beginning: Critical Concepts For The Study Of The Bible
by James AagesonA short introduction to the Bible, this text provides readers with insights into reading and studying the Bible.
In The Beginning: Critical Concepts For The Study Of The Bible
by James AagesonA short introduction to the Bible, this text provides readers with insights into reading and studying the Bible.
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Lecture Notes in Computer Science #2679)
by Wil Van Der Aalst Eike BestThe refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.
International Studies: Interdisciplinary Approaches (Palgrave Studies in International Relations)
by Pami Aalto Vilho Harle Sami MoisioPresenting International Studies as a wide, plural and inherently interdisciplinary field of research, this book shows its links with philosophy, peace research, history, geography, globalization studies, international political economy, political psychology, sociology and social theory, linguistics, strategic or war studies and anthropology.
Animal Suffering: Philosophy and Culture (The Palgrave Macmillan Animal Ethics Series)
by E. AaltolaExploring how animal suffering is made meaningful within Western ramifications, the book investigates themes such as skepticism concerning non-human experience, cultural roots of compassion, and contemporary approaches to animal ethics. At its center is the pivotal question: What is the moral significance of animal suffering?
Democratic Vulnerability and Autocratic Meddling: The "Thucydidean Brink" in Regressive Geopolitical Competition
by Mika AaltolaThis book investigates complex regressive dynamics in contemporary Western democracies. They include not only severe polarization in domestic politics, but also efforts by external autocratic powers to co-opt the increasingly digitalized political processes in the West. The discussion on democratic vulnerability and regression has rarely been historically and theoretically reflective. The aim is to fill this relative void by drawing on classical sources to inform about the political anxieties and agitations of our present time as the Western world moves towards new critical elections. The key concept of the analysis, a Thucydidean brink, refers to a critical point where the attraction felt towards an outside geopolitical competitor becomes stronger than the political affinity felt towards one’s domestic political opponent. As political polarization, societal decomposition and the collusive tendencies grow in strength, political factions and political candidates in western societies can be(come) drawn to autocratic actors. Perhaps most alarmingly, the resulting nexus between democracies and autocracies can further intensify mutual regression and form downwards-sloping spirals that are not ultimately under any strategic control. This book draws from the experiences of recent elections in major Western democracies to illustrate the widening and deepening underlying regressive tendency.
Essays on the Doctrinal Study of Law (Law and Philosophy Library #96)
by Aulis AarnioEssays on the Doctrinal Study of Law is a summary of the author’s 40 years of research in the fields of civil law and the philosophy of law. The main focus is on the two main tasks in the doctrinal study of law: the interpretation and systematisation of legal norms. In this regard, Professor Aarnio deals with the theory of argumentation as well as with its foundations - i.e., with the ontology, epistemology and methodology of legal thinking - and develops the ideas that were first presented in The Rational as Reasonable (Kluwer 1987) in all of these dimensions. The work includes an updated discussion on the writings of Robert Alexy, Jûrgen Habermas, Ronald Dworkin and Alf Ross. A focal point of view concerns the distinction between positivism and non-positivism, in which the core of the criticism focuses on Scandinavian realism.
The Rational as Reasonable: A Treatise on Legal Justification (Law and Philosophy Library #4)
by Aulis AarnioDuring the last half of the twentieth century, legal philosophy (or legal theory or jurisprudence) has grown significantly. It is no longer the domain of a few isolated scholars in law and philosophy. Hundreds of scholars from diverse fields attend international meetings on the subject. In some universities, large lecture courses of five hundred students or more study it. The primary aim of the Law and Philosophy Library is to present some of the best original work on legal philosophy from both the Anglo-American and European traditions. Not only does it help make some of the best work avail able to an international audience, but it also encourages increased awareness of, and interaction between, the two major traditions. The primary focus is on full-length scholarly monographs, although some edited volumes of original papers are also included. The Library editors are assisted by an Editorial Advisory Board of internationally renowned scholars. Legal philosophy should not be considered a narrowly circumscribed field. Insights into law and legal institutions can come from diverse disciplines on a wide range of topics. Among the relevant disciplines or perspectives con tributing to legal philosophy, besides law and philosophy, are anthropology, economics, political science, and sociology. Among the topics included in legal philosophy are theories of law; the concepts of law and legal institutions; legal reasoning and adjudication; epistemological issues of evidence and pro cedure; law and justice, economics, politics, or morality; legal ethics; and theories oflegal fields such as criminal law, contracts, and property.
Scottish Philosophy in the Eighteenth Century, Volume I: Morals, Politics, Art, Religion (History Of Scottish Philosophy)
by Aaron Garrett and James A. HarrisA History of Scottish Philosophy is a series of collaborative studies by expert authors, each volume being devoted to a specific period. Together they provide a comprehensive account of the Scottish philosophical tradition, from the centuries that laid the foundation of the remarkable burst of intellectual fertility known as the Scottish Enlightenment, through the Victorian age and beyond, when it continued to exercise powerful intellectual influence at home and abroad. The books aim to be historically informative, while at the same time serving to renew philosophical interest in the problems with which the Scottish philosophers grappled, and in the solutions they proposed. This new history of Scottish philosophy will include two volumes that focus on the Scottish Enlightenment. In this volume a team of leading experts explore the ideas, intellectual context, and influence of Hutcheson, Hume, Smith, Reid, and many other thinkers, frame old issues in fresh ways, and introduce new topics and questions into debates about the philosophy of this remarkable period. The contributors explore the distinctively Scottish context of this philosophical flourishing, and juxtapose the work of canonical philosophers with contemporaries now very seldom read. The outcome is a broadening-out, and a filling-in of the detail, of the picture of the philosophical scene of Scotland in the eighteenth century. General Editor: Gordon Graham, Princeton Theological Seminary
Understanding Flusser, Understanding Modernism (Understanding Philosophy, Understanding Modernism)
by Aaron Jaffe, Rodrigo Martini, Michael F. MillerThe Czech-Brazilian philosopher Vilém Flusser (1920–1991) has been recognized as a decisive past master in the emergence of contemporary media theory and media archeology. His work engages and also rethinks several mythologies of modernity, devising new methodologies, experimental literary practices, and expanded hermeneutics that trouble traditional practices of literary/literate knowledge, shared experience, reception, and communication. Working within an expanded concept of modernism, Flusser presciently noted the power inherent in algorithmic information apparatuses to reshape our fundamental conceptions of culture and history. In an increasingly technological world, Flusser's form of experimental theory-fiction pits philosophy against cybernetics as it forces the category of “the human” to confront the inhuman world of animals and machines. The contributors to Understanding Flusser, Understanding Modernism engage with the multiplicity of Flusser's thought as they provide a general analysis of his work, engage in comparative readings with other philosophers, and offer expanded conceptualizations of modernism. The final section of the volume includes an extended glossary clarifying the playful terminology used by Flusser, which will be a valuable resource for experts and students alike.
Bioethics: 50 Puzzles, Problems, and Thought Experiments (Puzzles, Paradoxes, and Thought Experiments in Philosophy)
by Sean D. Aas Collin O'Neil Chiara LeporaBioethics: 50 Puzzles, Problems, and Thought Experiments collects 50 cases—both real and imaginary—that have been, or should be, of special interest and importance to philosophical bioethics. Cases are collected together under topical headings in a natural order for an introductory course in bioethics. Each case is described in a few pages, which includes bioethical context, a concise narrative of the case itself, and a discussion of its importance, both for broader philosophical issues and for practical problems in clinical ethics and health policy. Each entry also contains a brief, annotated, list of suggested readings. In addition to the classic cases in bioethics, the book contains discussion of cases that involve several emerging bioethical issues: especially, issues around disability, social justice, and the practice of medicine in a diverse and globalized world.Key Features: Gives readers all chapters presented in an identical format: The Case Responses Suggested Readings Includes reference to up-to-date literature in journals devoted both to more generalist ethics and to bioethics Offers short and self-contained chapters, allowing students to quickly understand an issue and giving instructors flexibility in assigning readings to match the themes of the course Features actual or lightly fictionalized cases in humanitarian aid, offering a type of case that is often underrepresented in bioethics books Authored by three scholars who are actively involved in the central research areas of bioethics
Bioethics: 50 Puzzles, Problems, and Thought Experiments (Puzzles, Paradoxes, and Thought Experiments in Philosophy)
by Sean D. Aas Collin O'Neil Chiara LeporaBioethics: 50 Puzzles, Problems, and Thought Experiments collects 50 cases—both real and imaginary—that have been, or should be, of special interest and importance to philosophical bioethics. Cases are collected together under topical headings in a natural order for an introductory course in bioethics. Each case is described in a few pages, which includes bioethical context, a concise narrative of the case itself, and a discussion of its importance, both for broader philosophical issues and for practical problems in clinical ethics and health policy. Each entry also contains a brief, annotated, list of suggested readings. In addition to the classic cases in bioethics, the book contains discussion of cases that involve several emerging bioethical issues: especially, issues around disability, social justice, and the practice of medicine in a diverse and globalized world.Key Features: Gives readers all chapters presented in an identical format: The Case Responses Suggested Readings Includes reference to up-to-date literature in journals devoted both to more generalist ethics and to bioethics Offers short and self-contained chapters, allowing students to quickly understand an issue and giving instructors flexibility in assigning readings to match the themes of the course Features actual or lightly fictionalized cases in humanitarian aid, offering a type of case that is often underrepresented in bioethics books Authored by three scholars who are actively involved in the central research areas of bioethics
The Accommodation of Regional and Ethno-cultural Diversity in Ukraine (Federalism and Internal Conflicts)
by Aadne Aasland Sabine KroppThe book offers new insights into how ethnicity, language and regional-local identity interact within the context of Ukrainian political reform, and indicates how these reforms affect social cohesion among ethno-cultural groups. While the individual chapters each focus on one or a few facets of the overall research question, together they draw a nuanced picture of the multifaceted challenges to creating and consolidating social cohesion in a nationalizing state. The concept integrates various disciplines, including political science, international relations, law, and sociology. Correspondingly, the contributions are based on various methodological approaches, ranging from legal analysis over media discourse analysis, individual and focus group interviews to analysis of data from a representative population survey. The findings of the in-depth study are discussed within the broader context of comparative research on diversity management and social cohesion in fragmented societies.
Kant's Revolutionary Theory of Modality
by Uygar AbacıKant's Revolutionary Theory of Modality is a comprehensive study of Immanuel Kant's views on modal notions of possibility, actuality or existence, and necessity. Abacı locates Kant's views on these notions in their broader historical context, establishes their continuity and transformation across Kant's precritical and critical texts, and determines their role in the substance as well as the development of Kant's philosophical project. He makes two overarching claims. First, Kant's precritical views on modality, which appear in the context of his attempts to revise the ontological argument and are critical of the tradition only from within its prevailing paradigm of modality, develop into a revolutionary theory of modality in his critical period, radicalizing his critique of the ontotheological and rationalist metaphysical tradition. While the traditional paradigm construes modal notions as fundamental ontological predicates, expressing different modes or ways of being of things, Kant's theory consists in redefining them as subjective and relational features of our discursivity, expressing different modes in which our conceptual representations of objects are related to our cognitive faculty. Second, this revolutionary theory of modality is not only a crucial component of Kant's critical epistemology and his radical critique of rationalist metaphysics, but it is in fact directly constitutive of the critical turn itself, as Kant originally formulates the latter in terms of a shift from an ontological to an epistemological approach to the question of possibility. Thus, tracing the development of Kant's understanding of modality comes to fruition in an alternative reading of Kant's overall philosophical development.
Kant's Revolutionary Theory of Modality
by Uygar AbacıKant's Revolutionary Theory of Modality is a comprehensive study of Immanuel Kant's views on modal notions of possibility, actuality or existence, and necessity. Abacı locates Kant's views on these notions in their broader historical context, establishes their continuity and transformation across Kant's precritical and critical texts, and determines their role in the substance as well as the development of Kant's philosophical project. He makes two overarching claims. First, Kant's precritical views on modality, which appear in the context of his attempts to revise the ontological argument and are critical of the tradition only from within its prevailing paradigm of modality, develop into a revolutionary theory of modality in his critical period, radicalizing his critique of the ontotheological and rationalist metaphysical tradition. While the traditional paradigm construes modal notions as fundamental ontological predicates, expressing different modes or ways of being of things, Kant's theory consists in redefining them as subjective and relational features of our discursivity, expressing different modes in which our conceptual representations of objects are related to our cognitive faculty. Second, this revolutionary theory of modality is not only a crucial component of Kant's critical epistemology and his radical critique of rationalist metaphysics, but it is in fact directly constitutive of the critical turn itself, as Kant originally formulates the latter in terms of a shift from an ontological to an epistemological approach to the question of possibility. Thus, tracing the development of Kant's understanding of modality comes to fruition in an alternative reading of Kant's overall philosophical development.
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science #10381)
by Alessandro Abate Sylvie BoldoThis book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science #10419)
by Alessandro Abate Gilles GeeraertsThis book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings (Lecture Notes in Computer Science #12846)
by Alessandro Abate Andrea MarinThis book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Knowing What Things Are: An Inquiry-Based Approach (Synthese Library #466)
by André J. AbathThis book provides an account of what is to know what things are, focusing on kinds, both natural (such as water) and social (such as marriage). It brings tools from an area that has received much attention in recent years, the epistemology of inquiry. The knowledge of what things are is to be understood as resulting from successful inquiries directed at questions of the form ‘What is x?’, where x stands for a given kind of thing. The book also addresses knowledge-wh in general (which includes knowledge-who and knowledge-where), as well as the phenomenon of ignorance regarding what things are and our obligations in respect to knowing what things are. It also brings to light new avenues of research for those interested in the relation between the knowledge of what things are and concept possession and amelioration.‘Knowing What Things Are’ should be of interest to researchers in Epistemology, Philosophy of Language, Metaphysics, Philosophy of Mind, Social Philosophy and Linguistics.
Palgrave Concise Historical Atlas of Central Asia (Palgrave Concise Historical Atlases)
by R. AbazovThis atlas graphically illuminates the region's history tracing back to the 8th-7th century B.C. From the spread of Islam to the invasion of the Mongols, the area has been at the crossroads of some of the world's most important developments, all succinctly explained in this book.
Ambient Literature: Towards a New Poetics of Situated Writing and Reading Practices
by Tom Abba Jonathan Dovey Kate PullingerThis book considers how a combination of place-based writing and location responsive technologies produce new kinds of literary experiences. Building on the work done in the Ambient Literature Project (2016–2018), this books argues that these encounters constitute new literary forms, in which the authored text lies at the heart of an embodied and mediated experience. The visual, sonic, social and historic resources of place become the elements of a live and emergent mise-en-scène. Specific techniques of narration, including hallucination, memory, history, place based writing, and drama, as well as reworking of traditional storytelling forms combine with the work of app and user experience design, interaction, software authoring, and GIS (geographical information systems) to produce ambient experiences where the user reads a textual and sonic literary space. These experiences are temporary, ambiguous, and unpredictable in their meaning but unlike the theatre, the gallery, or the cinema they take place in the everyday shared world. The book explores the potentiality of a new literary form produced by the exchange between location-aware cultural objects, writers and readers. This book, and the work it explores, lays the ground for a new poetics of situated writing and reading practices.
Liberalism and Human Suffering: Materialist Reflections on Politics, Ethics, and Aesthetics
by A. AbbasA materialist critique of the politics, poetics and economics of suffering in liberalism that argues for attention to the labour of suffering of the victim in many well-meaning but flawed politics of redress, and imagines forms of representation, solidarity and justice that better honour the history and materiality of this labour.
Supranationalität und Demokratie: Die Europäische Union in Zeiten der Krise (Staat – Souveränität – Nation #0)
by Nabila Abbas Annette Förster Emanuel RichterEuropa steht vor der Alternative, sich in intergouvernementales Regieren zurückzubilden oder eine starke supranationale Regulierungsbehörde zu schaffen, die autoritativ auf die nationale Politik und Rechtssetzung einwirkt. Beide Alternativen bieten keine viel versprechenden Aussichten auf eine partizipative Demokratie auf supranationaler Ebene. Der Sammelband soll vor diesem Hintergrund in aller Skepsis und Kritik die verbleibenden Optionen der Demokratie in der Europäischen Union aufzeigen.
Ecosystem Services in Azerbaijan: Value and Losses
by Rovshan Abbasov Rovshan Karimov Natavan JafarovaThis book aims to draw readers' attention to the benefits once present nature in Azerbaijan. Over the past hundred years, much of this has been lost because of the neglect of the intrinsic values of nature by both managers and local authorities, and the overuse of natural resources. For example, oil pollution and overfishing in the Caspian Sea have almost destroyed its fish and caviar resources. In this volume, the authors distinguish between the concepts of "gain" and "income" and show readers that short-term benefits based solely on monetary income deprive people and nature itself of long-term, lasting value. The book provides readers with real historical information, discusses the interactions between humans and nature, and shows, with real data and trends, the consequences of anthropogenic activity on natural resources in Azerbaijan. The authors cover fish, water, forest, mountain, and pasture ecosystems, draw attention to the impacts that pollution and other forms of environmental degradation have had on these resources, and the show the impact that resource depletion on people’s livelihoods. The book is intended primarily for managers, policymakers, students, and academics, and will be of interest to natural scientists, historians, and students of culture.