Introduction to Formal Philosophy

  • Sven Ove Hansson
  • Vincent F. Hendricks

Part of the Springer Undergraduate Texts in Philosophy book series (SUTP)

Table of contents

  1. Front Matter
    Pages i-xx
  2. The Scope and Methods of Formal Philosophy

    1. Front Matter
      Pages 1-1
    2. Sven Ove Hansson
      Pages 3-59
  3. Reasoning and Inference

    1. Front Matter
      Pages 61-61
    2. Henry Prakken
      Pages 63-79
    3. Catarina Dutilh Novaes
      Pages 81-92
    4. Alexander Bochman
      Pages 93-104
    5. Rafal Urbaniak, Diderik Batens
      Pages 105-130
    6. John Cantwell
      Pages 131-146
    7. Hannes Leitgeb
      Pages 147-176
    8. Jeremy Avigad
      Pages 177-190
    9. Rafal Urbaniak, Pawel Pawlowski
      Pages 191-237
  4. Metaphysics and Philosophy of Language

    1. Front Matter
      Pages 239-239
    2. Erich Rast
      Pages 241-250
    3. Jean-Pierre Marquis
      Pages 251-271
    4. Robert van Rooij
      Pages 289-296
    5. Philippe Schlenker
      Pages 297-321
    6. Melvin Fitting
      Pages 323-331
    7. Gabriel Sandu, Carlo Proietti, François Rivenc
      Pages 333-347
  5. Epistemology

    1. Front Matter
      Pages 349-349
    2. Wesley H. Holliday
      Pages 351-369
    3. Richmond H. Thomason
      Pages 371-385
    4. Sven Ove Hansson
      Pages 387-400
    5. Sven Ove Hansson
      Pages 401-415
    6. Darrell P. Rowbottom
      Pages 417-430
    7. Erik J. Olsson
      Pages 431-442
    8. Sven Ove Hansson
      Pages 443-453
  6. Philosophy of Science

    1. Front Matter
      Pages 455-455
    2. John Byron Manchak
      Pages 487-496
  7. Value Theory and Moral Philosophy

    1. Front Matter
      Pages 497-497
    2. Sven Ove Hansson
      Pages 499-522
    3. Erik Carlson
      Pages 523-534
    4. Sven Ove Hansson
      Pages 535-548
    5. Fenrong Liu
      Pages 549-566
    6. Sven Ove Hansson
      Pages 567-576
    7. Sven Ove Hansson
      Pages 577-589
    8. Andreas Herzig, Emiliano Lorini, Nicolas Troquard
      Pages 591-607
  8. Decision Theory and Social Philosophy

    1. Front Matter
      Pages 609-609
    2. Katie Steele
      Pages 657-667
    3. Brad Armendt
      Pages 669-691
    4. Prasanta K. Pattanaik
      Pages 693-703
    5. Philippe Mongin
      Pages 705-720
    6. John Woods
      Pages 721-733

About this book


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.


Applied Logic Formal Philosophy Axiology Decision Theory Epistemic Logic Formal Epistemology Formalization Value Theory formal philosophy logic formal philosophy mathematics formal philosophy computer science formal philosophy linguistics formal philosophy physics formal philosophy biology formal philosophy economics formal philosophy political theory formal philosophy social science formal philosophy reasoning formal philosophy inference formal philosophy metaphysics formal philosophy language

Editors and affiliations

  • Sven Ove Hansson
    • 1
  • Vincent F. Hendricks
    • 2
  1. 1.Division of PhilosophyRoyal Institute of Technology (KTH)StockholmSweden
  2. 2.Center for Information and Bubble StudiesUniversity of CopenhagenCopenhagenDenmark

Bibliographic information