國立高雄大學圖資館 |

Language: English

Back

Introduction to formal philosophy

Hansson, Sven Ove.

Introduction to formal philosophy

Record Type:	Electronic resources : Monograph/item
Title/Author:	Introduction to formal philosophyedited by Sven Ove Hansson, Vincent F. Hendricks ; Esther Michelsen Kjeldahl, assistant editor.
other author:	Hansson, Sven Ove.
Published:	Cham :Springer International Publishing :2018.
Description:	xx, 733 p. :digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formalization (Philosophy)
Online resource:	https://doi.org/10.1007/978-3-319-77434-3
ISBN:	9783319774343$q(electronic bk.)

Introduction to formal philosophy
Introduction to formal philosophy[electronic resource] /edited by Sven Ove Hansson, Vincent F. Hendricks ; Esther Michelsen Kjeldahl, assistant editor. - Cham :Springer International Publishing :2018. - xx, 733 p. :digital ;24 cm. - Springer undergraduate texts in philosophy,2569-8737. - Springer undergraduate texts in 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 (Francois 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)

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.

ISBN: 9783319774343$q(electronic bk.)

Standard No.: 10.1007/978-3-319-77434-3doiSubjects--Topical Terms:

712212
Formalization (Philosophy)

LC Class. No.: BD258 / .I58 2018

Dewey Class. No.: 101

Introduction to formal philosophy
LDR:04816nmm a2200337 a 4500 001 545964
003 DE-He213
005 20190328110927.0
006 m d
007 cr nn 008maaau
008 190530s2018 gw s 0 eng d
020 $a 9783319774343$q(electronic bk.)
020 $a 9783319774336$q(paper)
024 7 $a 10.1007/978-3-319-77434-3 $2 doi
035 $a 978-3-319-77434-3
040 $a GP $c GP
041 0 $a eng
050 4 $a BD258 $b .I58 2018
072 7 $a HPCF5 $2 bicssc
072 7 $a PHI039000 $2 bisacsh
072 7 $a QDHR9 $2 thema
082 0 4 $a 101 $2 23
090 $a BD258 $b .I61 2018
245 0 0 $a Introduction to formal philosophy $h [electronic resource] / $c edited by Sven Ove Hansson, Vincent F. Hendricks ; Esther Michelsen Kjeldahl, assistant editor.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xx, 733 p. : $b digital ; $c 24 cm.
490 1 $a Springer undergraduate texts in philosophy, $x 2569-8737
505 0 $a 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 (Francois 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)
520 $a 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.
650 0 $a Formalization (Philosophy) $3 712212
650 1 4 $a Analytic Philosophy. $3 739906
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Theoretical, Mathematical and Computational Physics. $3 376743
650 2 4 $a Moral Philosophy. $3 742115
700 1 $a Hansson, Sven Ove. $3 357378
700 1 $a Hendricks, Vincent F. $3 527563
700 1 $a Kjeldahl, Esther Michelsen. $3 825083
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Springer undergraduate texts in philosophy. $3 739415
856 4 0 $u https://doi.org/10.1007/978-3-319-77434-3
950 $a Religion and Philosophy (Springer-41175)