Logicism, Intuitionism, and Formalism - What Has Become of Them? (Paperback, Softcover reprint of hardcover 1st ed. 2009)

The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics." The rst conference concerned the three major programmes in the foundations of mathematics during the classical period from Frege's Begrif- schrift in 1879 to the publication of Godel' ] s two incompleteness theorems in 1931: The logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. The main purpose of the conf- ence was to assess the relevance of these foundational programmes to contemporary philosophy of mathematics. The second conference was announced as a satellite event to the rst, and was speci cally concerned with constructive mathematics-an activebranchofmathematicswheremathematicalstatements-existencestatements in particular-are interpreted in terms of what can be effectively constructed. C- structive mathematics may also be characterized as mathematics based on intuiti- isticlogicand, thus, beviewedasadirectdescendant ofBrouwer'sintuitionism. The two conferences were successful in bringing together a number of internationally renowned mathematicians and philosophers around common concerns. Once again it was con rmed that philosophers and mathematicians can work together and that real progress in the philosophy and foundations of mathematics is possible only if they do. Most of the papers in this collection originate from the two conferences, but a few additional papers of relevance to the issues discussed at the Uppsala c- ferences have been solicited especially for this volume."

General

Imprint:	Springer
Country of origin:	Netherlands
Series:	Synthese Library, 341
Release date:	October 2010
First published:	2009
Editors:	Sten Lindstroem • Erik Palmgren • Krister Segerberg • Viggo Stoltenberg-Hansen
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	512
Edition:	Softcover reprint of hardcover 1st ed. 2009
ISBN-13:	978-90-481-8029-5
Categories:	Books > Language & Literature > Language & linguistics > Philosophy of language Books > Science & Mathematics > Mathematics > History of mathematics Books > Humanities > Philosophy > Topics in philosophy > Metaphysics & ontology Books > Humanities > Philosophy > Topics in philosophy > Epistemology, theory of knowledge Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Philosophy > Topics in philosophy > Epistemology, theory of knowledge Books > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Metaphysics & ontology
LSN:	90-481-8029-5
Barcode:	9789048180295

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!