The Formalization of Intuitionism

&
Journal of Symbolic Logic 40 (4):625-625 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271839

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

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 - New York: 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 J. E. Crimmins & D. C. Long (eds.), 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
2015-02-05

Downloads
16 (#883,649)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.

Add more citations

References found in this work

No references found.

Add more references