The Formalization of Intuitionism

&
Journal of Symbolic Logic 40 (4):625-625 (1975)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2271839
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: 55,899
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

No references found.

Add more references

Citations of this work BETA

Constructions, Proofs and the Meaning of Logical Constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.

Add more citations

Similar books and articles

Review: John Myhill, Raymond Klibansky, The Formalization of Intuitionism. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Intuitionism.David Kaspar - 2012 - Continuum.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Renewing Moral Intuitionism.Elizabeth Tropman - 2009 - Journal of Moral Philosophy 6 (4):440-463.
Intuitionism.Anthony Skelton - 2013 - In James Crimmins (ed.), Bloomsbury Encyclopedia of Utilitarianism. Bloomsbury Academic.
Intuitionism and Subjectivism.Mark T. Nelson - 1991 - Metaphilosophy 22 (1-2):115-121.
Intuitionism and Conservatism.Mark T. Nelson - 1990 - Metaphilosophy 21 (3):282-293.
Criteria for Logical Formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Moderate Intuitionism and the Epistemology of Moral Judgment.Robert Audi - 1998 - Ethical Theory and Moral Practice 1 (1):15-44.
Mathematizing Power, Formalization, and the Diagrammatical Mind Or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
Review: A. Heyting, Raymond Klibansky, Intuitionism in Mathematics. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Moral Intuitionism and the Challenges of Mysteriousness and Dogmatism.Mark D. Mathewson - 2003 - Dissertation, The University of Nebraska - Lincoln
An Empirical Challenge to Moral Intuitionism.Walter Sinnott-Armstrong - 2011 - In Jill Graper Hernandez (ed.), The New Intuitionism. pp. 11--28.
Prospects for a Value-Based Intuitionism.Robert Audi - 2002 - In Philip Stratton-Lake (ed.), Ethical Intuitionism: Re-Evaluations. Oxford University Press. pp. 29--55.
Intuitionism and the Motivation Problem.Stephen Darwall - 2002 - In Philip Stratton-Lake (ed.), Ethical Intuitionism: Re-Evaluations. Clarendon Press.

Analytics

Added to PP index
2015-02-05

Total views
9 ( #885,577 of 2,402,027 )

Recent downloads (6 months)
1 ( #552,323 of 2,402,027 )

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

Page generated Tue Jan 19 06:34:06 2021 on pp1