More download options

Intuitionism: An introduction to a seminar [Book Review]

Charles McCarty

Journal of Philosophical Logic 12 (2):105 - 149 (1983) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Intuitionism and Constructivism in Philosophy of Mathematics

Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.1007/bf00247186

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 101,667

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.

Review: A. Heyting, Intuitionism. An Introduction. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.

Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.

Against Against Intuitionism.Dirk Schlimm - 2005 - Synthese 147 (1):171-188.

Stewart Shapiro, ed. The Oxford Handbook of Philosophy of Mathematics and Logic. New York: Oxford University Press, 2005. ISBN 0-19-514877-0. Pp. xv + 833. [REVIEW][author unknown] - 2005 - Philosophia Mathematica 13 (3):342-343.

Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.

The conveyability of intuitionism, an essay on mathematical cognition.Alexander George - 1988 - Journal of Philosophical Logic 17 (2):133 - 156.

Undecidability, Epistemology and Anti-Realist Intuitionism.Sanford Shieh - 1997 - Nordic Journal of Philosophical Logic 2:55-67.

Intuitionism and Indeterminism (Tense-Logical Considerations).Kazimierz Trzesicki - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 271--296.

Analytics

Added to PP
2009-01-28

Downloads
57 (#379,234)

6 months
13 (#267,677)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.

Realizability and recursive set theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.

Non-monotonicity and Informal Reasoning: Comment on Ferguson (2003).Mike Oaksford & Ulrike Hahn - 2006 - Argumentation 20 (2):245-251.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.

Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.

Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.

Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.

Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.

View all 16 references / Add more references