The Oxford Handbook of Philosophy of Mathematics and Logic

This book provides comprehensive and accessible coverage of the disciplines of philosophy of mathematics and philosophy of logic. After an introduction, the book begins with a historical section, consisting of a chapter on the modern period, Kant and his intellectual predecessors, a chapter on later...

Full description

Saved in:

Bibliographic Details
Main Author:	Shapiro, Stewart
Format:	eBook
Language:	English
Published:	New York Oxford University Press 03.03.2005 Oxford University Press, Incorporated
Edition:	1
Series:	Oxford Handbooks in Philosophy
Subjects:	20th-Century Philosophy Logic Logic, Symbolic and mathematical Mathematics Philosophy Philosophy of Mathematics and Logic nominalism higher-order logic formalism logical consequence mathematics logical positivism logicism naturalism structuralism paradoxes of relevance Wittgenstein Quine empiricism John Stuart Mill intuitionism indispensability second-order logic Immanuel Kant logic predicativity
ISBN:	0195148770, 9780195148770
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

Intro -- Contents -- Notes on the Contributors -- 1. Philosophy of Mathematics and Its Logic: Introduction -- 2. Apriority and Application: Philosophy of Mathematics in the Modern Period -- 3. Later Empiricism and Logical Positivism -- 4. Wittgenstein on Philosophy of Logic and Mathematics -- 5. The Logicism of Frege, Dedekind, and Russell -- 6. Logicism in the Twenty-first Century -- 7. Logicism Reconsidered -- 8. Formalism -- 9. Intuitionism and Philosophy -- 10. Intuitionism in Mathematics -- 11. Intuitionism Reconsidered -- 12. Quine and the Web of Belief -- 13. Three Forms of Naturalism -- 14. Naturalism Reconsidered -- 15. Nominalism -- 16. Nominalism Reconsidered -- 17. Structuralism -- 18. Structuralism Reconsidered -- 19. Predicativity -- 20. Mathematics-Application and Applicability -- 21. Logical Consequence, Proof Theory, and Model Theory -- 22. Logical Consequence From a Constructivist Point of View -- 23. Relevance in Reasoning -- 24. No Requirement of Relevance -- 25. Higher-order Logic -- 26. Higher-order Logic Reconsidered -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- U -- V -- W -- Y -- Z