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

£120.00

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: 120.0 GBP
Availability: InStock

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£120 today · previous high £120 · all-time low £97

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 52 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (51 days, 98.1%)

Price range: £97 - £120

Price levels: 2 different prices over 52 days

Description

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: hardcover
ASIN: 940074434X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 11 July 2012
Listed Since: 02 March 2012

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)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Foundational Theories of Classical and Constructive Mathematics: 76 (The Western Ontario Series in Philosophy of Science, 76)

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

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Visualization, Explanation and Reasoning Styles in Mathematics: 327 (Synthese Library, 327)

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)

A Mathematical Prelude to the Philosophy of Mathematics

Constructive Semantics: Meaning in Between Phenomenology and Constructivism: 44 (Logic, Epistemology, and the Unity of Science, 44)

Philosophy of Mathematics Today: 22 (Episteme, 22)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Mathematical Epistemology and Psychology: 12 (Synthese Library, 12)

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

History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics (Routledge Studies in the Philosophy of Mathematics and Physics)

Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition: 46 (Logic, Epistemology, and the Unity of Science, 46)

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

Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf: 28 (Logic, Epistemology, and the Unity of Science, 28)

Axiomatic Formal Ontology: 264 (Synthese Library, 264)

Games: Unifying Logic, Language, and Philosophy: 15 (Logic, Epistemology, and the Unity of Science, 15)

Pluralism in Mathematics: A New Position in Philosophy of Mathematics: 32 (Logic, Epistemology, and the Unity of Science, 32)

The Realism-Antirealism Debate in the Age of Alternative Logics: 23 (Logic, Epistemology, and the Unity of Science, 23)

Formal Ontology: 53 (Nijhoff International Philosophy Series, 53)

Formal Ontology: 53 (Nijhoff International Philosophy Series, 53)