Introduction to Formal Philosophy, Softcover reprint of the original 1st ed. 2018 Springer Undergraduate Texts in Philosophy Series

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.

Sven Ove Hansson is professor in philosophy at the Department of Philosophy and History, Royal Institute of Technology, Stockholm. He is editor-in-chief of Theoria and of the two book series Outstanding Contributions to Logic and Philosophy, Technology and Society. He is the author of more than 350 articles in international refereed journals and books, in research areas including logic, philosophy of science and technology, epistemology, value theory, philosophy of risk, fundamental and applied moral theory, and political philosophy. His recent books include The Ethics of Risk (2013), David Makinson on Classical Methods for Non-Classical Problems (2014, edited), Norms in Technology (2013, edited with Marc J. de Vries and Anthonie W.M. Meijers), The Role of Technology in Science: Philosophical Perspectives (2015, edited), The Argumentative Turn in Policy Analysis. Reasoning about Uncertainty (2016, edited with Gertrude Hirsch Hadorn, 2016), The Ethics of Technology. Methods and approaches (2017, edited), Descriptor Revision. Belief change through direct choice (2018) and Belief Change. Introduction and Overview (with Eduardo Fermé, in press). He is member of the Royal Swedish Academy of Engineering Sciences (IVA) and past president of the Society for Philosophy and Technology.

Provides an accessible introduction to formal philosophy to a wide academic audience

Shows how formal methods can be used in a wide selection of philosophical areas

Features 39 chapters written by leading experts in the field

the book presents the perfect introduction to prepare for the Graduate Textbook: Readings in Formal Epistemology http://www.springer.com/in/book/9783319204505