Logicism, Intuitionism, and Formalism Image close
Logicism, Intuitionism, and Formalism
Logicism, Intuitionism, and Formalism
Show Hide Adult Content
Logicism, Intuitionism, and Formalism close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Literature  
Language & linguistics  
Philosophy of language

Logicism, Intuitionism, and Formalism

What Has Become of Them?
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$702.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $175.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 1-11 July using International Courier

Explore more Synthese Library,

See all products in this series

Themes from Weir: A Celebration of the Philosophy of Alan Weir on Hardback
$286.99
Themes from Weir: A Celebration of the Philosophy of Alan Weir
Hardback
Pre-order - out 22 Jun 2024
Patrick Suppes: Scientific Philosopher on Hardback Save $158
$519.99
$678.95
Patrick Suppes: Scientific Philosopher
Hardback
Available - Usually ships in 3-4 weeks
From Instrumentalism to Constructive Realism on Hardback by Theo A.F. Kuipers Save $38
$404.99
$443.95
From Instrumentalism to Constructive Realism
by Theo A.F. Kuipers ~ Hardback
Available - Usually ships in 3-4 weeks
First-Order Modal Logic by M Fitting
$594.99
First-Order Modal Logic
by M Fitting ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Patrick Suppes: Scientific Philosopher on Hardback Save $285
$521.99
$807.95
Patrick Suppes: Scientific Philosopher
Hardback
Available - Usually ships in 3-4 weeks
Nominalism and Contemporary Nominalism on Hardback by M Gosselin Save $134
$263.99
$398.95
Nominalism and Contemporary Nominalism
by M Gosselin ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Truth and the Modalities on Hardback by J.N. Mohanty Save $65
$275.99
$341.95
Logic, Truth and the Modalities
by J.N. Mohanty ~ Hardback
Available - Usually ships in 3-4 weeks
Representational Ideas on Hardback by R.A. Watson Save $79
$261.99
$341.95
Representational Ideas
by R.A. Watson ~ Hardback
Available - Usually ships in 3-4 weeks
Agent Causality on Hardback by F. Vollmer Save $46
$260.99
$307.95
Agent Causality
by F. Vollmer ~ Hardback
Available - Usually ships in 3-4 weeks
The Logic of Time on Hardback by Johan Van Benthem Save $39
$403.99
$443.95
The Logic of Time
by Johan Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Space, Time, and Thought in Kant on Hardback by A. Melnick Save $63
$525.99
$589.95
Space, Time, and Thought in Kant
by A. Melnick ~ Hardback
Available - Usually ships in 3-4 weeks
Language, Mind and Epistemology on Hardback Save $50
$522.99
$573.95
Language, Mind and Epistemology
Hardback
Available - Usually ships in 3-4 weeks
The Logic of Intentional Objects on Hardback by Jacek Pasniczek Save $124
$261.99
$386.95
The Logic of Intentional Objects
by Jacek Pasniczek ~ Hardback
Available - Usually ships in 3-4 weeks
Shapes of Forms on Hardback Save $38
$404.99
$443.95
Shapes of Forms
Hardback
Available - Usually ships in 3-4 weeks
Feminism, Science, and the Philosophy of Science on Hardback Save $39
$403.99
$443.95
Feminism, Science, and the Philosophy of Science
Hardback
Available - Usually ships in 3-4 weeks
Language, Mind and Epistemology Save $53
$519.99
$573.95
Language, Mind and Epistemology
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

Sten Lindstrom is Professor of Philosophy at Umea University and has been a Research Fellow at the Swedish Collegium for Advanced Study (SCAS). He has published papers on intensional logic, belief revision and philosophy of language, and co-edited the books Logic, Action and Cognition: Essays in Philosophical Logic (Kluwer, 1997) and Collected Papers of Stig Kanger with Essays on his Life and Work, I-II (Kluwer, 2001). Erik Palmgren is Professor of Mathematics at Uppsala University. His research interests are mainly mathematical logic and the foundations of mathematics. He is presently working on the foundational programme of replacing impredicative constructions by inductive constructions in mathematics, with special emphasis on point-free topology and topos theory. Krister Segerberg is Emeritus Professor of Philosophy at Uppsala University and the University of Auckland. He is the author of papers in modal logic, the logic of action, belief revision and deontic logic, as well as the books An Essay in Classical Modal Logic (1971) and Classical Propositional Operators: An Exercise in the Foundations of Logic (1982). Viggo Stoltenberg-Hansen is professor of Mathematical Logic at Uppsala University. His main interests include computability and constructivity in mathematics.
Release date Australia
October 28th, 2010
Audience
  • Professional & Vocational
Contributors
  • Edited by Erik Palmgren
  • Edited by Krister Segerberg
  • Edited by Sten Lindstrom
  • Edited by Viggo Stoltenberg-Hansen
Edition
Softcover reprint of hardcover 1st ed. 2009
Illustrations
XII, 512 p.
Pages
512
Dimensions
156x234x26
ISBN-13
9789048180295
Product ID
10013404

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Literature >
Language & linguistics >
Philosophy of language
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Metaphysics & ontology
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Epistemology, theory of knowledge
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
History of mathematics
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: metaphysics & ontology
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: epistemology & theory of knowledge
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic