rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Introduction to Formal Philosophy
  name:
    name part: Hansson, Sven Ove.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Hendricks, Vincent F.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XX, 733 p. 531 illus. online resource.
  abstract: 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.
  table of contents: 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 (Franç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) -- C…
  note: edited by Sven Ove Hansson, Vincent F. Hendricks.
  subject:
    topic: Analysis (Philosophy)
  subject:
    topic: Mathematical logic
  subject:
    topic: Mathematical physics
  subject:
    topic: Ethics
  subject:
    topic: Analytic Philosophy
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Theoretical, Mathematical and Computational Physics
  subject:
    topic: Moral Philosophy
  classification: B808.5
  classification: 146.4
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Springer Undergraduate Texts in Philosophy
  identifier: 9783319774343
  identifier: https://doi.org/10.1007/978-3-319-77434-3
  record info:
    record creation date: 181024
    record change date: 20191028151152.0
    record identifier: 978-3-319-77434-3