Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27) - Image 1

£138.36

Springer Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Name: Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lof: 27 (Logic, Epistemology, and the Unity of Science, 27)
Brand: Springer
Price: 121.64 GBP
Availability: InStock

History of Mathematics

Price History & Forecast

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £122 (32 days, 72.7%)

Price range: £122 - £138

Price levels: 2 different prices over 44 days

Description

Product Description This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Löf type theory. From the Back Cover This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 9401782385
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Publication Date: 09 August 2014
Listed Since: 09 August 2014

Barcode

No barcode data available

Springer Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium: 27 (Publications of the Austrian Ludwig Wittgenstein Society – New Series, 27)

Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

North Holland - Philosophy of Mathematics Book

North Holland Philosophy of Mathematics - Handbook of Science

Springer - Reflections on the Foundations of Mathematics 407

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Essays on Husserl's Logic and Philosophy of Mathematics: 384 (Synthese Library, 384)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Mathematics as a Tool: Tracing New Roles of Mathematics in the Sciences: 327 (Boston Studies in the Philosophy and History of Science, 327)

Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)

Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics: 318 (Boston Studies in the Philosophy and History of Science, 318)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir: 49 (Logic, Epistemology, and the Unity of Science, 49)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Logic, Epistemology, and the Unity of Science: 1

Logic, Epistemology, and the Unity of Science: 1

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)