Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Philosophia Mathematica 27 (3):445-450 (2019)
  Copy   BIBTEX

Abstract

MartinoEnrico.* * Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Logic, Methodology and the Unity of Science; 42. Springer, 2018. ISBN: 978-3-319-74356-1 ; 978-3-030-08971-9, 978-3-319-74357-8. Pp. xiii + 170.

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkz013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018: Logic, Epistemology, and the Unity of Science, vol. 42, pp. 170 + XIII. ISBN 978-3-319-74356-1 EUR 93,59, 978-3-030-08971-9 EUR 93,59,ISBN 978-3-319-74357-8 EUR 74,96.Peter Fletcher - 2019 - Studia Logica 107 (4):845-851.
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics.Enrico Martino - 2018 - Cham, Switzerland: Springer Verlag.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Philosophical Foundations of Intuitionistic Logic.L. Nabavi, M. A. Hojati & H. Alaeenezhad - 2013 - Metaphysics (University of Isfahan) 4 (14):51-64.
Temporal and atemporal truth in intuitionistic mathematics.Enrico Martino & Gabriele Usberti - 1994 - Topoi 13 (2):83-92.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.
The Foundations of Intuitionistic Mathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-155.
On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.

Analytics

Added to PP
2019-08-03

Downloads
39 (#410,656)

6 months
7 (#438,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references