Formalism and Beyond: On the Nature of Mathematical Discourse

Published by De Gruyter 2014

Formalism and Beyond

On the Nature of Mathematical Discourse

Edited by: Godehard Link

Volume 23 in the series Logos

https://doi.org/10.1515/9781614518471

Overview
Contents

About this book

The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.

Author / Editor information

Godehard Link, Ludwig Maximilian University of Munich, Germany.

Topics

Frontmatter Publicly Available Download PDF	i
Contents Publicly Available Download PDF	v
Preface Requires Authentication Unlicensed Licensed Download PDF	ix
Duality, Epistemic Efficiency & Consistency Michael Detlefsen Requires Authentication Unlicensed Licensed Download PDF	1
Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others Matthias Schirn Requires Authentication Unlicensed Licensed Download PDF	25
Frege on Formality and the 1906 Independence-Test Patricia A. Blanchette Requires Authentication Unlicensed Licensed Download PDF	97
Formal Discourse in Russell: From Metaphysics to Philosophical Logic Godehard Link Requires Authentication Unlicensed Licensed Download PDF	119
On Live and Dead Signs in Mathematics Felix Mühlhölzer Requires Authentication Unlicensed Licensed Download PDF	183
Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 Paul Ziche Requires Authentication Unlicensed Licensed Download PDF	209
Assumptions of Infinity Karl-Georg Niebergall Requires Authentication Unlicensed Licensed Download PDF	229
The Interpretation of Classes in Axiomatic Set Theory Daniel Roth and Gregor Schneider Requires Authentication Unlicensed Licensed Download PDF	275
Purity in Arithmetic: some Formal and Informal Issues Andrew Arana Requires Authentication Unlicensed Licensed Download PDF	315
Domain Extensions and Higher-Order Syntactical Interpretations Marek Polański Requires Authentication Unlicensed Licensed Download PDF	337
Finite Methods in Mathematical Practice Laura Crosilla and Peter Schuster Requires Authentication Unlicensed Licensed Download PDF	351
List of Contributors Requires Authentication Unlicensed Licensed Download PDF	411
Name Index Requires Authentication Unlicensed Licensed Download PDF	413

(Deutsch)

Language: English
Publisher: De Gruyter
Audience: Academics, Institutes, Libraries
Pages
- Front matter: 10
- Main content: 420
Keywords: Philosophy of mathematics; history of mathematics; mathematics

eBook

Published: October 9, 2014
ISBN: 9781614518471

Hardcover

Published: September 15, 2014
ISBN: 9781614518297