Introduction to Formal Philosophy

& (eds.)
Cham: Springer (2012)
  Copy   BIBTEX

Abstract

In 1974, a wonderful little book came out entitled Formal Philosophy: Selected Papers of Richard Montague, edited by Richmond H. Thomason. The book was a beautiful testimony to the fact that formal methods may indeed clarify, sharpen and solve philosophical problems, defusing airy philosophical intuitions in clear, crisp and concise ways while at the same time turning philosophical wonder into scientific inquiry.

Categories

Add categories

Keywords

Reprint years

2018, 2019

ISBN(s)

303008454X   9783319774343   9783319774336   3319774336   9783030084547

DOI

10.1007/978-3-319-77434-3

Other Versions

reprint Hansson, Sven Ove; Hendricks, Vincent F. (2018) "Introduction to Formal Philosophy". Imprint: Springer

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,484

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Decision theory: a formal philosophical introduction.Richard Bradley
Formalization.  (pages 3-59)Sven Ove Hansson
Argument.  (pages 63-79)Henry Prakken
Formal Methods and the History of Philosophy.  (pages 81-92)Catarina Dutilh Novaes
Nonmonotonic Reasoning.  (pages 93-104)Alexander Bochman
Induction.  (pages 105-130)Rafal Urbaniak & Diderik Batens
Conditionals.  (pages 131-146)John Cantwell
Neural Network Models of Conditionals.  (pages 147-176)Hannes Leitgeb
Proof Theory.  (pages 177-190)Jeremy Avigad
Logics of Provability.  (pages 191-237)Rafal Urbaniak & Pawel Pawlowski
Theory of Concepts.  (pages 241-250)Erich Rast
Categories.  (pages 251-271)Jean-Pierre Marquis
Can Natural Language Be Captured in a Formal System?  (pages 273-288)Martin Stokhof
Reference and Denotation.  (pages 289-296)Robert van Rooij
Indexicals.  (pages 297-321)Philippe Schlenker
Necessity and Possibility.  (pages 323-331)Melvin Fitting
Bivalence and Future Contingency.  (pages 333-347)Gabriel Sandu, Carlo Proietti & François Rivenc
Epistemic Logic and Epistemology.  (pages 351-369)Wesley H. Holliday
Knowledge Representation for Philosophers.  (pages 371-385)Richmond H. Thomason
Representing Uncertainty.  (pages 387-400)Sven Ove Hansson
Belief Change.  (pages 401-415)Sven Ove Hansson
Probability Theory.  (pages 417-430)Darrell P. Rowbottom
Bayesian Epistemology.  (pages 431-442)Erik J. Olsson
Coherence.  (pages 443-453)Sven Ove Hansson
Computational Models in Science and Philosophy.  (pages 457-467)Paul Thagard
Models of the Development of Scientific Theories.  (pages 469-485)Gerhard Schurz
Space and Time.  (pages 487-496)John Byron Manchak
Formal Investigations of Value.  (pages 499-522)Sven Ove Hansson
Value Theory.  (pages 523-534)Erik Carlson
Preference and Choice.  (pages 535-548)Sven Ove Hansson
Preference Change.  (pages 549-566)Fenrong Liu
Money-Pumps.  (pages 567-576)Sven Ove Hansson
Deontic Logic.  (pages 577-589)Sven Ove Hansson
Action Theories.  (pages 591-607)Andreas Herzig, Emiliano Lorini & Nicolas Troquard
Decision Theory: A Formal Philosophical Introduction.  (pages 611-655)Richard Bradley
Dynamic Decision Theory.  (pages 657-667)Katie Steele
Causal Decision Theory.  (pages 669-691)Brad Armendt
Social Choice and Voting.  (pages 693-703)Prasanta K. Pattanaik
Judgment Aggregation.  (pages 705-720)Philippe Mongin
Logical Approaches to Law.  (pages 721-733)John Woods

Similar books and articles

Introduction to Formal Philosophy, edited by Sven Ove Hansson, Vincent F. Hendricks, Esther Michelsen Kjeldahl. [REVIEW]William Peden - 2020 - Teaching Philosophy 43 (2):215-218.
Sven Ove Hansson, Vincent F. Hendricks (eds.), Introduction to Formal Philosophy, Springer, Switzerland 2018.Francesco Panizzoli - 2020 - Scienza E Filosofia 24:360–366.
Vincent F. Hendricks, mainstream and formal epistemology.Paul Gochet - 2007 - Studia Logica 86 (1):139-144.
Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
Categories.Jean-Pierre Marquis - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 251-271.
Introduction.Lou Goble - 2001 - In The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 1–8.
Richmond H. Thomason , Formal Philosophy. Selected Papers of Richard Montague. [REVIEW]Godehard Link - 1975 - Erkenntnis 9:252.
Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10–13, 2000.Benedikt Löwe, Wolfgang Malzkom & Thoralf Räsch (eds.) - 2003 - Dordrecht, Netherland: Springer.
The Design of Mathematical Language.Jeremy Avigad - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 3151-3189.

Analytics

Added to PP
2020-01-14

Downloads
53 (#333,692)

6 months
14 (#176,829)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Sven Ove Hansson
Royal Institute of Technology, Stockholm
Vincent Hendricks
University of Copenhagen

Citations of this work

The competition for knowledge: Shades of gray and rules of thumb.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):50 - 62.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references