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ženo v:

Podrobná bibliografie
Hlavní autor:	Shapiro, Stewart
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	New York Oxford University Press 03.03.2005 Oxford University Press, Incorporated
Vydání:	1
Edice:	Oxford Handbooks in Philosophy
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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