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

Studia Logica 107 (4):845-851 (2019)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-019-09866-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,043
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

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 - Oxford University Press.
Philosophical Foundations of Intuitionistic Logic.L. Nabavi, M. A. Hojati & H. Alaeenezhad - 2013 - Metaphysik 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.
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
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.
Intuitionism and Philosophy.Carl Posy - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 319--355.

Analytics

Added to PP index
2019-06-19

Total views
17 ( #632,880 of 2,498,551 )

Recent downloads (6 months)
2 ( #282,166 of 2,498,551 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-59fb669cd-mnng5 N