Sven Ove Hansson

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. Meer

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. Meer

​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. Meer

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. Meer