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

Celý popis

Uložené v:

Podrobná bibliografia
Hlavný autor:	Shapiro, Stewart
Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	New York Oxford University Press 03.03.2005 Oxford University Press, Incorporated
Vydanie:	1
Edícia:	Oxford Handbooks in Philosophy
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Obsah:

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