This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent's beliefs tend to be changed in response to different inputs. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision. Lastly, the book examines revocation, a generalization of contraction in which a specified sentence is removed in a process that may possibly also involve the addition of some new information to the belief set.

Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects' preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly, we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated.

This edited volume explores the interplay between philosophies in a wide-ranging analysis of how technological applications in science inform our systems of thought. Beginning with a historical background, the volume moves on to explore a host of topics, such as the uses of technology in scientific observations and experiments, the salient relationship between technology and mechanistic notions in science and the ways in which today's vast and increasing computing power helps scientists achieve results that were previously unattainable. Technology allows today's researchers to gather, in a matter of hours, data that would previously have taken weeks or months to assemble. It also acts as a kind of metaphor bank, providing biologists in particular with analogies (the heart as a 'pump', the nervous system as a 'computer network') that have become common linguistic currency. This book also examines the fundamental epistemological distinctions between technology and science and assesses their continued relevance. Given the increasing amalgamation of the philosophies of science and technology, this fresh addition to the literature features pioneering work in a promising new field that will appeal both to philosophers and scientific historiographers.

This book describes argumentative tools and strategies that can be used to guide policy decisions under conditions of great uncertainty. Contributing authors explore methods from philosophical analysis and in particular argumentation analysis, showing how it can be used to systematize discussions about policy issues involving great uncertainty. The first part of the work explores how to deal in a systematic way with decision-making when there may be plural perspectives on the decision problem, along with unknown consequences of what we do. Readers will see how argumentation tools can be used for prioritizing among uncertain dangers, for determining how decisions should be framed, for choosing a suitable time frame for a decision, and for systematically choosing among different decision options. Case studies are presented in the second part of the book, showing argumentation in practice in the areas of climate geoengineering, water governance, synthetic biology, nuclear waste, and financial markets. In one example, argumentation analysis is applied to proposals to solve the climate problem with various technological manipulations of the natural climate system, such as massive dispersion of reflective aerosols into the stratosphere. Even after a thorough investigation of such a proposal, doubt remains as to whether all the potential risks have been identified. In such discussions, conventional risk analysis does not have much to contribute since it presupposes that the risks have been identified, whereas the argumentative approach to uncertainty management can be used to systematize discussions.

The volume analyses and develops David Makinson s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic.

Among the contributions included in the volume, one chapter focuses on the inferential preferential method, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy."

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation.

This book is the first comprehensive treatment of the major ethical and social issues resulting from the use of ionizing radiation. It covers topics such as nuclear fuel cycles, radioactive waste treatment, nuclear bomb testing, nuclear safety management, stakeholder engagement, cleanup after nuclear accidents, ecological risks from radiation, environmental justice, health and safety for radiation workers, radiation dose standards, the ethics of clinical radiology, and the principles of radiation protection and their ethical underpinnings. With authors ranging from philosophers to radiation protection officials and practitioners, the book spans from theoretical to practical implications of this important area of radiation risk assessment and management.
Covers all the major social and ethical issues in relation to radiation protectionInformation is easily accessible and non-technicalAuthors include leading radiation protection officials as well as specialists who are more independent of the radiation protection system, thus presenting both authoritative and more critical viewsIncludes theoretical perspectives as well as practical experience

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory, and social choice theory. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

Our daily lives are affected by new technologies at an ever increasing rate. It is becoming more and more important to assess future technologies from an ethical point of view, and to do this before they are introduced on a massive scale. Such assessments require systematic use of many different kinds of knowledge. In this important new book, an international team of leading experts in the field provides the first comprehensive treatment of the methods available for ethical assessments of technologies and their social introduction. The book explores how information from empirical research can be used in ethical analyses of technology and includes chapters showing how ethical analysis can shed light on topics such as privacy, risk, sustainability, dual use, gender issues, justice, international technology transfer, and the responsibility of engineers. It provides an invaluable resource for students in the philosophy and ethics of technology, science and technology studies, applied ethics, bioethics, business ethics and the ethics of computing.

This Element offers a broad perspective on responsibility for health. This includes responsibilities in the prevention of disease and accidents, and in the creation of healthcare for all. The professional responsibilities of physicians and nurses are explored, and so are the responsibilities that we all have for our own health. Many of the central problems in healthcare ethics are discussed from a responsibility perspective, for instance paternalism, informed consent, evidence-based medicine, alternative medicine, and the use of artificial intelligence in healthcare. In order to perform this analysis, conceptual tools for responsibility analysis are provided, such as the distinction between blame responsibility and task responsibility and various notions of causality that are relevant for our understanding of responsibility.

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

This book describes argumentative tools and strategies that can be used to guide policy decisions under conditions of great uncertainty. Contributing authors explore methods from philosophical analysis and in particular argumentation analysis, showing how it can be used to systematize discussions about policy issues involving great uncertainty. The first part of the work explores how to deal in a systematic way with decision-making when there may be plural perspectives on the decision problem, along with unknown consequences of what we do. Readers will see how argumentation tools can be used for prioritizing among uncertain dangers, for determining how decisions should be framed, for choosing a suitable time frame for a decision, and for systematically choosing among different decision options. Case studies are presented in the second part of the book, showing argumentation in practice in the areas of climate geoengineering, water governance, synthetic biology, nuclear waste, and financial markets. In one example, argumentation analysis is applied to proposals to solve the climate problem with various technological manipulations of the natural climate system, such as massive dispersion of reflective aerosols into the stratosphere. Even after a thorough investigation of such a proposal, doubt remains as to whether all the potential risks have been identified. In such discussions, conventional risk analysis does not have much to contribute since it presupposes that the risks have been identified, whereas the argumentative approach to uncertainty management can be used to systematize discussions.

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy.

This edited volume explores the interplay between philosophies in a wide-ranging analysis of how technological applications in science inform our systems of thought. Beginning with a historical background, the volume moves on to explore a host of topics, such as the uses of technology in scientific observations and experiments, the salient relationship between technology and mechanistic notions in science and the ways in which today's vast and increasing computing power helps scientists achieve results that were previously unattainable. Technology allows today's researchers to gather, in a matter of hours, data that would previously have taken weeks or months to assemble. It also acts as a kind of metaphor bank, providing biologists in particular with analogies (the heart as a 'pump', the nervous system as a 'computer network') that have become common linguistic currency. This book also examines the fundamental epistemological distinctions between technology and science and assesses their continued relevance. Given the increasing amalgamation of the philosophies of science and technology, this fresh addition to the literature features pioneering work in a promising new field that will appeal both to philosophers and scientific historiographers.

Our daily lives are affected by new technologies at an ever increasing rate. It is becoming more and more important to assess future technologies from an ethical point of view, and to do this before they are introduced on a massive scale. Such assessments require systematic use of many different kinds of knowledge. In this important new book, an international team of leading experts in the field provides the first comprehensive treatment of the methods available for ethical assessments of technologies and their social introduction. The book explores how information from empirical research can be used in ethical analyses of technology and includes chapters showing how ethical analysis can shed light on topics such as privacy, risk, sustainability, dual use, gender issues, justice, international technology transfer, and the responsibility of engineers. It provides an invaluable resource for students in the philosophy and ethics of technology, science and technology studies, applied ethics, bioethics, business ethics and the ethics of computing.

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory. Sven Ove Hansson closely examines such foundational issues as the values of wholes and the values of their parts, the connections between values and norms, how values can be decision-guiding and the structure of normative codes with formal precision. Models of change in both preferences and norms are offered, as well as a method to base the logic of norms on that of preferences. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms.

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation.

Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects' preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly, we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated.

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation.

This open access handbook provides a comprehensive treatment of Vision Zero, an innovative policy on public road safety developed in Sweden. Covering all the major topics of the subject, the book starts out with a thorough examination of the philosophy, ideas and principles behind Vision Zero. It looks at conditions for the effectiveness of the policy, principles of safety and responsibility as well as critique on the policy. Next, the handbook focuses on how the Vision Zero ideas have been received and implemented in various legislations and countries worldwide. It takes into account the way Vision Zero is looked at in the context of international organizations such as the WHO, the UN, and the OECD. This allows for a comparison of systems, models and effects. The third part of the handbook discusses the management and leadership aspects, including ISO standards, equity issues, other goals for traffic and transportation, and opportunities for the car industry. Part four delves into tools, technologies and organizational measures that contribute to the implementation of Vision Zero in road traffic. Examples of specific elements discussed are urban and rural road designs, human factor designs, and avoiding drunk and distracted driving. The final part of the handbook offers perspectives on the transfer of Vision Zero policy to other areas, ranging from air traffic to suicide prevention and nuclear energy. Vision Zero is a public road safety policy including both a long-term goal that no one shall be killed or seriously injured as a consequence of accidents in road traffic and a safety principle stating that the design and function of the road transport system shall be adapted to meet the requirements that follow from that goal. It is a new road safety paradigm which has resulted in new types of responsibilities among stakeholders, technological innovations, and new strategies and organizational measures to achieve a safe system. The road safety work based on Vision Zero has shown promising results, and although Sweden has not yet reached a safe system, the number of fatalities and severe injuries has decreased substantially. This is an open access book.

In recent years, new and more intrusive surveillance technology has found its way into workplaces. New medical tests provide detailed information about workers' biology that was previously unthinkable. An increasing number of employees work under camera surveillance. At the same time, computers allow for a detailed monitoring of our interactions with machines, and all this information can be electronically stored in an easily accessible format. What is happening in our workplaces? Has the trend towards more humane workplaces been broken? From an ethical point of view, which types and degrees of surveillance are acceptable, and which are not? From a policy point of view, what methods can be used to regulate the use of surveillance technology in workplaces? These are some of the questions that have driven the research reported in this book. Written by an interdisciplinary group of researchers in Computer Ethics, Medical Ethics and Moral Philosophy, this book provides a broad overview that covers both empirical and normative aspects of workplace privacy.