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? (Martin Stokhof).- 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, Andreas Herzig (Emiliano Lorini, and Nicolas Troquard).- Part VII: Decision theory and social philosophy.- Chapter 29. Decision theory: A formal philosophical introduction (Richard Bradley).- Chapter 30. Bayesian decision theory (Jeffrey Helzner).- Chapter 31. Representing uncertainty (Sven Ove Hansson).- Money-pumps (Sven Ove Hansson).- Chapter 32. Causal decision theory (Brad Armendt).- Dynamic decision theory (Katie Steele).- Chapter 33. Logical approaches to law (John Woods).- Chapter 34. Judgement aggregation (Philippe Mongin).- Chapter 35. Social choice and voting (Prasanta K. Pattanaik).