Georg Kreisel (kreisel-g)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Gödel, Rudolf, Taussky-Todd, O., Kleene, Stephen Cole and Kreisel, Georg, eds. 1987. Gödel Remembered. History of Logic n. 4. Napoli: Bibliopolis.
Howard, William A. and Kreisel, Georg. 1966. “Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.” The Journal of Symbolic Logic 31: 325–358.
Kreisel, Georg. 1951. “On the Interpretation of Non-Finitist Proofs.” The Journal of Symbolic Logic 16: 241-267; 43-58.
Kreisel, Georg. 1955. “Models, Translations and Interpretations.” in Mathematical Interpretation of Formal Systems, pp. 26–50. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1958a. “Hilbert’s Programme.” Dialectica 12(47–48): 346–372. Reprinted in Benacerraf and Putnam (1964, 207–238).
Kreisel, Georg. 1958b. “Elementary Completeness Properties of Intuitionistic Logic with a Note on Negations of Prenex Formulae.” The Journal of Symbolic Logic 23: 317–330.
Kreisel, Georg. 1960. “Ordinal logics and the characterization of informal notions of proof.” in Proceedings of the International Congress of Mathematicians. Edinburgh, 14-21 August 1958, edited by J. A. Todd, pp. 289–299. Cambridge: Cambridge University Press.
Kreisel, Georg. 1962a. “Foundations of Intuitionistic Logic.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 198–210. Stanford, California: Stanford University Press.
Kreisel, Georg. 1962b. “On Weak Completeness of Intuitionistic Predicate Logic.” The Journal of Symbolic Logic 27(2): 139–158, doi:10.2307/2964110.
Kreisel, Georg. 1967a. “Informal Rigour and Completeness Proofs.” in Problems in the Philosophy of Mathematics (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1), edited by Imre Lakatos, pp. 138–171. Studies in Logic and the Foundations of Mathematics n. 47. Amsterdam: North-Holland Publishing Co. Reprinted in Hintikka (1969).
Kreisel, Georg. 1967b. “Comments [discussion of Mostowski (1967)].” in Problems in the Philosophy of Mathematics (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1), edited by Imre Lakatos, pp. 97–103. Studies in Logic and the Foundations of Mathematics n. 47. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1967c. “Reply [to the discussion of Kreisel (1967a)].” in Problems in the Philosophy of Mathematics (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1), edited by Imre Lakatos, pp. 175–186. Studies in Logic and the Foundations of Mathematics n. 47. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1967d. “Mathematical Logic: What has it Done for the Philosophy of Mathematics?” in Bertrand Russell: Philosopher of the Century, edited by Ralph Schoenman, pp. 201–272. Boston, Massachusetts: Little, Brown; Co.
Kreisel, Georg. 1968a. “A Survey of Proof Theory.” The Journal of Symbolic Logic 33: 321–388.
Kreisel, Georg. 1968b. “Functions, Ordinals, Species.” in Logic, Methodology and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by Bob van Rootselaar and Johan Frederik [Frits] Staal, pp. 145–159. Studies in Logic and the Foundations of Mathematics n. 52. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1969. “Two Notes on the Foundations of Set-Theory.” Dialectica 23(2): 93–114.
Kreisel, Georg. 1970a. “Church’s Thesis: A Kind of Reducibility Axiom for Constructive Mathematics.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 121–150. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1970b. “Principles of proof and ordinals implicit in given concepts.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 489–516. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1971a. “A Survey of Proof Theory II.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 109–170. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1971b. “Observations on Popular Discussions of Foundations.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 189–198. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Kreisel, Georg. 1972a. “Review of Putnam (1967).” The Journal of Symbolic Logic 37: 402–404.
Kreisel, Georg. 1972b. “Bertrand Russell’s Logic.” in Bertrand Russell: A Collection of Critical Essays, edited by David F. Pears, pp. 168–174. Garden City, New York: Anchor Books.
Kreisel, Georg. 1973. “Perspectives in the Philosophy of Pure Mathematics.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 255–278. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1974. “A Notion of Mechanistic Theory.” Synthese 29(1–4): 11–26. Reprinted in Suppes (1976, 3–18).
Kreisel, Georg. 1977. “On the Kind of Data Needed for a Theory of Proofs.” in Logic Colloquium ’76, edited by Robin O. Gandy and J. M. E. Hyland, pp. 111–128. Studies in Logic and the Foundations of Mathematics n. 87. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg. 1978. “The Motto of Philosophical Investigations and the Philosophy of Proofs and Rules.” Grazer Philosophische Studien 6: 13–38.
Kreisel, Georg. 1979a. “Comment on Zinov’ev (1979).” Logique et Analyse 22(87): 263–264.
Kreisel, Georg. 1979b. “Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory.” in, pp. 3–24.
Kreisel, Georg. 1980a. “Kurt Gödel: 28 April 1906 – 14 January 1978.” Biographical Memoirs of Fellows of the Royal Society 26: 149–224.
Kreisel, Georg. 1980b. “Constructivist Approaches to Logic.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 67–91. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.
Kreisel, Georg. 1984. “Frege’s Foundations and Intuitionistic Logic.” The Monist 67(1): 72–91.
Kreisel, Georg. 1987a. “Church’s Thesis and the Ideal of Informal Rigour.” Notre Dame Journal of Formal Logic 28(4): 499–519.
Kreisel, Georg. 1987b. “So-called Formal Reasoning and the Foundational Ideal.” in Proceedings of the 11th International Wittgenstein Symposium: Logic, Philosophy of Science, and Epistemology, edited by Paul Weingartner and Gerhard Schurz, pp. 19–42. Schriftenreihe der Österreichischen Ludwig Wittgenstein Gesellschaft n. 13. Wien: Hölder-Pichler-Tempsky.
Kreisel, Georg. 1988. “De la logique.” in Aristote aujourd’hui, edited by Mohammed Allal Sinaceur, pp. 251–269. Toulouse: Éditions Érès.
Kreisel, Georg. 1991. “Suitable Descriptions for Suitable Categories.” in Advances in Scientific Philosophy. Essays in Honour of Paul Weingartner on the Occasion of the 60\(^{th}\) Anniversary of his Birthday, edited by Gerhard Schurz and Georg J. W. Dorn, pp. 571–590. Poznań Studies in the Philosophy of the Sciences and the Humanities n. 24. Amsterdam: Rodopi.
Kreisel, Georg. n.d.b. “Was hat die Wissenschaft von der mathematischen Logik?” Unpublished manuscript.
Kreisel, Georg and Krivine, Jean-Louis. 1967a. Elements of Mathematical Logic (Model Theory). Studies in Logic and the Foundations of Mathematics n. 48. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg and Krivine, Jean-Louis. 1967b. Eléments de logique mathématique, théorie des modèles. Monographies de la Société Mathématique de France n. 3. Paris: Dunod. Traduction de Kreisel and Krivine (1967a).
Kreisel, Georg and MacIntyre, Angus J. 1982. “Constructive Logic versus Algebraization I.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 217–260. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Further References
Benacerraf, Paul and Putnam, Hilary, eds. 1964. Philosophy of Mathematics: Selected Readings. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. Second edition: Benacerraf and Putnam (1983).
Benacerraf, Paul and Putnam, Hilary, eds. 1983. Philosophy of Mathematics: Selected Readings. 2nd ed. Cambridge: Cambridge University Press. First edition: Benacerraf and Putnam (1964), doi:10.1017/cbo9781139171519.
Hintikka, Jaakko. 1969. Models for Modalities: Selected Essays. Synthese Library n. 23. Dordrecht: D. Reidel Publishing Co.
Mostowski, Andrzej. 1967. “Recent Results in Set Theory.” in Problems in the Philosophy of Mathematics (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1), edited by Imre Lakatos, pp. 82–96. Studies in Logic and the Foundations of Mathematics n. 47. Amsterdam: North-Holland Publishing Co.
Putnam, Hilary. 1967. “Mathematics without Foundations.” The Journal of Philosophy 64(1): 5–22. Reprinted in Benacerraf and Putnam (1964) and in Putnam (1975, 43–59).
Putnam, Hilary. 1975. Mathematics, Matter and Method. Philosophical Papers, Volume 1. Cambridge: Cambridge University Press. Second edition: Putnam (1979).
Putnam, Hilary. 1979. Mathematics, Matter and Method. Philosophical Papers, Volume 1. 2nd ed. Cambridge: Cambridge University Press. First edition: Putnam (1975), doi:10.1017/cbo9780511625268.
Suppes, Patrick, ed. 1976. Logic and Probability in Quantum Mechanics. Synthese Library n. 78. Dordrecht: D. Reidel Publishing Co.
Zinov’ev, A. A. 1979. “Complete (Rigorous) Induction & Fermat’s Great Theorem.” Logique et Analyse 22(87): 243–261.