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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shapiro, Stewart
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	New York Oxford University Press 03.03.2005 Oxford University Press, Incorporated
Ausgabe:	1
Schriftenreihe:	Oxford Handbooks in Philosophy
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Inhaltsangabe:

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