Logic, Foundations of Mathematics, and Computability Theory

&
Synthese 43 (3):381-410 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Categorical Foundations and Foundations of Category Theory.  (pages 149-169)Solomon Feferman

Similar books and articles

Logic, Foundations of Mathematics, and Computability Theory.Robert E. Butts & Kaarlo Jaakko Juhani Hintikka (eds.) - 1977 - Dordrecht and Boston: Reidel.
Butts, R. E. And Hintikka, J. Logic, Foundations Of Mathematics, And Computability Theory. [REVIEW]G. Lolli - 1978 - Scientia 72 (113):1.
Logic, Foundations of Mathematics and Computability Theory / Foundational Problems in the Special Sciences / Basic Problems in Methodology and Linguistics / Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. Parts One, Two, Three and Four of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science.R. E. Butts & J. Hintikka - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (1):194-195.
Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975.Robert E. Butts & Jaakko Hintikka - 2011 - Springer.
George Boolos. The iterative conception of set. The journal of philosophy, vol. 68, pp. 215–231. - Dana Scott. Axiomatizing set theory. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 207–214. - W. N. Reinhardt. Remarks on reflection principles, large cardinals, and elementary embeddings. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 189–205. - W. N. Reinhardt. Set existence principles of Shoenfield, Ackermann, and Powell. Fundament a mathematicae, vol. 84, pp. 5–34. - Hao Wang. Large sets. Logic, foundations of mathematics, and computahility theory. Part one of the proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western.John P. Burgess - 1985 - Journal of Symbolic Logic 50 (2):544-547.
"Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science," ed. Robert E. Butts and Jaakko Hintikka. [REVIEW]Steven J. Bartlett - 1979 - Modern Schoolman 56 (3):291-292.
Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 268–314.Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):449-450.
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.
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.James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
Set theory, model theory, and computability theory.Wilfrid Hodges - 2009 - In Leila Haaparanta, The development of modern logic. New York: Oxford University Press. pp. 471.

Analytics

Added to PP
2015-02-07

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Hao Wang as philosopher and interpreter of gödel.Charles Parsons - 1998 - Philosophia Mathematica 6 (1):3-24.

Add more citations

References found in this work

No references found.

Add more references