三民網路書店 / 搜尋結果

When is it morally acceptable to expose others to risk? Most moral philosophers have had very little to say in answer to that question, but here is a moral philosopher who puts it at the centre of his

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 backgr

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 a

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 Makin

This book provides students with a toolbox for the study of the ethics of technology, exploring the methods available for ethical assessments of technologies and their social introduction.

This book provides students with a toolbox for the study of the ethics of technology, exploring the methods available for ethical assessments of technologies and their social introduction.

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.

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 techn

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 b

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 o

?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 analys

This book is a distinctive fusion of philosophy and technology, delineating the normative landscape that informs today’s technologies and tomorrow’s inventions. The authors examine what we deem to be

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