Introduction to Formal Philosophy

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hansson, Sven Ove (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hendricks, Vincent F. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Springer Undergraduate Texts in Philosophy,
• Θέματα: Analysis (Philosophy).; Mathematical logic.; Mathematical physics.; Ethics.; Analytic Philosophy.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Theoretical, Mathematical and Computational Physics.; Moral Philosophy.

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

Πίνακας περιεχομένων:

• 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).