This is a preview of subscription content, log in via an institution to check access.
REFERENCES
Barwise, J. and S. Feferman: 1985, Model-Theoretic Logics, Springer-Verlag, New York.
Ebbinghaus, H. D., J. Flum, and W. Thomas: 1984, Mathematical Logic, Springer-Verlag, New York.
Gödel, K.: 1986a, 'Über formal unentscheindbare Sätze der Principia Mathematica und verwandter Systeme', in K. Gödel (ed.), Collected Works, Vol. 1, Oxford University Press, New York, pp. 144–195.
Gödel, K.: 1986b, Collected Works, Vol. 2, Oxford University Press, New York.
Henkin, L.: 1950, #x2018;Completeness in the Theory of Types', Journal of Symbolic Logic 15, 81–91.
Hintikka, J.: 1989, 'Is there Completeness in Mathematics after Gödel?', Philosophical Topics 17, 69–90.
Hintikka, J.: 1993, 'Gödel's Functional Interpretation in a Wider Perspective', Yearbook 1991 of the Kurt Gödel Society, The Kurt Gödel Society, Vienna, pp. 5–43.
Hintikka, J.: 1995a, 'Standard vs.Nonstandard Distinction:AWatershed in the Foundations of Mathematics', in J. Hintikka (ed.), From Dedekind to Gödel, Kluwer Academic, Dordrecht, pp. 21–44.
Hintikka, J.: 1995b, 'What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic', in K. Gavroglu, J. Stachel, and M. Wartofsky (eds.), Physics, Philosophy and the Scientific Community, Kluwer Academic Publishers, Dordrecht, pp. 301–326.
Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge.
Hintikka, J. and G. Sandu: 1992, 'The Skeleton in Frege's Cupboard: The Standard vs. Non-Standard Distinction', Journal of Philosophy 89, 290–315.
Kelley, J.: 1955, General Topology, D. van Nostrand, Princeton.
Lindström, Per: 1969, 'On Extensions of Elementary Logic', Theoria 35, 1–11.
Moore, G.: 1988, 'The Emergence of First-Order Logic', in W. Aspray and P. Kitcher (eds.), History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 95–135.
Moschovakis, Y.: 1974, Elementary Induction on Abstract Structures, North-Holland, Amsterdam.
Ramsey, F. P.: 1931, 'The Foundations of Mathematics', in R. B. Braithwaite (ed.), The Foundations of Mathematics and Other Logical Essays, Routledge and Keegan Paul, London.
Sandu, S. and J. Vä änänen: 1992, 'Partially Ordered Connectives', Zeitschrift f¨ur mathematische Logik und Grundlagen der Mathematik 38, 631–72.
Shapiro, S.: 1991, Foundations without Foundationalism, Clarendon Press, Oxford.
Tarski, A.: 1956, 'The Concept of Truth in Formalized Languages', in Logic, Semantics, Metamathematics: Papers from 1923 to 1938, Clarendon Press, Oxford, pp. 152–178.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
HINTIKKA, J. A REVOLUTION IN THE FOUNDATIONS OF MATHEMATICS?. Synthese 111, 155–170 (1997). https://doi.org/10.1023/A:1004970403579
Issue Date:
DOI: https://doi.org/10.1023/A:1004970403579