John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics , edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341 [Book Review]

Journal of Symbolic Logic 40 (4):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,219

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

Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics. Edited by Raymond Klibansky. Florence: La Nuova Italia Editrice; Montreal: Mario Casalini Ltd. Pp. xi, 387. $9.80. [REVIEW]Alex C. Michalos - 1969 - Dialogue 8 (2):326-328.
Contemporary Philosophy: La Philosophie contemporaine; Vol. II, Philosophy of Science. Edited by Raymond Klibansky. Florence: La Nuova Italia Editrice, 1968) Pp. vii, 521. $12.20. [REVIEW]Alex C. Michalos - 1969 - Dialogue 8 (2):324-325.
Review: John Myhill, Raymond Klibansky, The Formalization of Intuitionism. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (4):625-625.
The Formalization of Intuitionism.John Myhill & Raymond Klibansky - 1975 - Journal of Symbolic Logic 40 (4):625-625.
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
Contemporary Philosophy: Vol. I: Logic and Foundations of Mathematics.N. G. E. Harris & Raymond Klibansky - 1970 - Philosophical Quarterly 20 (79):183.
Aristotle's Logic Guido Calogero: I fondamenti della logica aristotelica. Nuova edizione. Pp. xviii+344. Florence: La Nuova Italia, 1968. Paper, L. 3,200. [REVIEW]W. E. W. St G. Charlton - 1970 - The Classical Review 20 (02):175-176.
Philosophy in the Mid-Century: a Survey. Ed. Klibansky Raymond. 4 vols. Florence, La Nuova Italia, 1958. P. XI+336, 218, 232, 330. Published under the auspices of the International Council of Philosophy and Humanistic Studies and of the International Federation of Philosophical Societies with the support of Unesco. Price: for the 4 vols. in paper 11,000, in cloth 15,000 lire, single vol. I 4000–5000, vol. II 2500–3500, vol. III 3000–4000, vol. IV 3500–4500. [REVIEW]A. C. Ewing - 1962 - Philosophy 37 (139):75.
Persius Edited and Explained Nino Scivoletto: Auli Persi Flacci Saturae. Testo critico e commento. Pp. xviii + 178. Florence: La Nuova Italia, 1956. Paper, L. 1,700. Enzo V. Marmorale: Persio. 2a edizione rifatta. Pp. viii + 353. Florence: La Nuova Italia, 1956. Paper, L. 2,000. [REVIEW]E. J. Kenney - 1957 - The Classical Review 7 (3-4):223-226.
Review: A. Heyting, Raymond Klibansky, Intuitionism in Mathematics. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Philosophy in the mid-century: a survey , « La Nuova Italia », 1958, vol. I: Logique et philosophie des sciences, vol. II: La crise de la métaphysique. Ontologie. Philosophie existentielle. Psychologie. Analyse du langage, vol. III: Les valeurs. L'histoire. La religion. [REVIEW]Raymond Klibansky - 1959 - Les Etudes Philosophiques 14 (2):235-236.
Philosophy in the Mid-Century a Survey Edited by Raymond Klibansky.Raymond International Institute of Philosophy & Klibansky - 1961 - Nuova Italia.

Analytics

Added to PP
2016-06-30

Downloads
20 (#723,940)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references