Introduction to Formal Philosophy

Part I: The scope and methods of formal philosophy.- Chapter 1. Formalization (Sven Ove Hansson).- Part II: Reasoning and inference.- Chapter 2. Non-monotonic reasoning (Alex Bochman).- Chapter 3. Argument (Henry Prakken).- Chapter 4. Induction (Rafal Urbaniak and Diderik Batens).- Chapter 5.  Bivalence and future contingency (François Rivenc, Carlo Proietti, and Gabriel Sandu).- Chapter 6. Conditionals (John Cantwell).- Chapter 7. Neural network models for conditionals (Hannes Leitgeb).- Chapter 8. Proof theory (Jeremy Avigad).- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh Novaes).- Part III: Metaphysics and philosophy of language.- Chapter 10. Theory of concepts (Erich Rast).- Chapter 11. Categories (Jean-Pierre Marquis).- Chapter 12. Necessity and possibility (Melvin Fitting).- Chapter 13. Reference and denotation (Robert van Rooy).- Chapter 14. Indexicals (Philippe Schlenker).- Chapter 14. Can natural language be captured in a formal system? (MartinStokhof).- Part IV: Epistemology.- Chapter 15. Knowledge representation for philosophers (Richmond H. Thomason).- Chapter 16. Epistemic logic and epistemology (Wesley H. Holliday).- Chapter 16. Belief change (Sven Ove Hansson).- Chapter 17. Coherence (Sven Ove Hansson).- Chapter 18. Probability theory (Darrell P. Rowbottom).- Chapter 19. Bayesian epistemology (Erik J. Olsson). Part V: Philosophy of science.- Chapter 20. Models of the development of scientific theories (Gerhard Schurz).- Chapter 21. Computational models in science and philosophy (Paul Thagard).- Chapter 22. Space and time (John Manchak).- Chapter 23. A formal theory of causation (Richard Scheines).- Part VI: Axiology and moral philosophy.- Chapter 24. Formal investigations of value (Sven Ove Hansson).- Chapter 25. Value theory (axiology) (Erik Carlson).- Chapter 26. Preference and choice (Sven Ove Hansson).- Chapter 27. Preference Change (Fenrong Liu).- Deontic logic (Sven Ove Hansson).- Chapter 28. Action theories,

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.

 Vincent F. Hendricks is professor of formal philosophy at The University of Copenhagen. He is director of the Center for Information and Bubble Studies (CIBS) sponsored by the Carlsberg Foundation. Hendricks has been awarded a number of national and international prizes for his research in formal epistemology, methodology, logic, information theory, social psychology and bubble studies, among them the Elite Research Prize by the Danish Ministry of Science, Technology and Innovation, the Roskilde Festival Elite Research Prize, The Rosenkjær Prize by the Danish Broadcasting Company, and the ChoiceMagazine Outstanding Title Award. He was editor-in-chief of Synthese: An International