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

£63.30

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

Name: Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)
Brand: Springer
Price: 63.24 GBP
Availability: InStock

Philosophy

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 51 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (20 days, 39.2%)

Price range: £55 - £74

Price levels: 7 different prices over 51 days

Description

Product Description This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer’s idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer’s work. These figures include Michael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. Review “Anyone with an interest in the murkier aspects of intuitionism will find this book well worth reading.” (Peter Fletcher, Studia Logica, Vol. 107, 2019) From the Back Cover This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer’s idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer’s work. These figures include Michael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. About the Author Enrico Martino was associated professor (now retired) of Logic and Philosophy of Mathematics in the department of Mathematics and, subsequently of FISPPA of the University of Padua. His main interests are Philosophy of Logic and Mathematics.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030089711
Category: Books > Subjects > Biography > Medical, Legal & Social Sciences > Philosophy
Domain: Amazon UK
Release Date: 22 December 2018
Listed Since: 21 December 2018

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

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

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer: 35 (Logic, Epistemology, and the Unity of Science, 35)

Springer - A Short Introduction to Intuitionistic Logic Book

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

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

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

Springer Mathematical Intuition: Phenomenology and Knowledge

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

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

Pluralisms in Truth and Logic - Palgrave Innovations in Philosophy

Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen: 454 (Synthese Library)

On the Epistemology of Data Science: Conceptual Tools for a New Inductivism: 148 (Philosophical Studies Series, 148)

Vagueness: A Guide: 19 (Logic, Epistemology, and the Unity of Science, 19)

The Selected Correspondence of L.E.J. Brouwer (Sources and Studies in the History of Mathematics and Physical Sciences)

Logic and General Theory of Science: Lectures 1917/18 With Supplementary Texts from the First Version of 1910/11: 15 (Husserliana: Edmund Husserl – Collected Works, 15)

Abstract Objects: For and Against: 422 (Synthese Library, 422)

Springer - Brouwer meets Husserl: On the Phenomenology of Choice Sequences

Brouwer meets Husserl: On the Phenomenology of Choice Sequences: 335 (Synthese Library, 335)

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

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

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

Springer - Existence, Historical Fabulation, Destiny: 99