Synthese

, Volume 111, Issue 2, pp 155–170 | Cite as

A REVOLUTION IN THE FOUNDATIONS OF MATHEMATICS?

  • JAAKKO HINTIKKA

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. Barwise, J. and S. Feferman: 1985, Model-Theoretic Logics, Springer-Verlag, New York.Google Scholar
  2. Ebbinghaus, H. D., J. Flum, and W. Thomas: 1984, Mathematical Logic, Springer-Verlag, New York.Google Scholar
  3. 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.Google Scholar
  4. Gödel, K.: 1986b, Collected Works, Vol. 2, Oxford University Press, New York.Google Scholar
  5. Henkin, L.: 1950, #x2018;Completeness in the Theory of Types', Journal of Symbolic Logic 15, 81–91.Google Scholar
  6. Hintikka, J.: 1989, 'Is there Completeness in Mathematics after Gödel?', Philosophical Topics 17, 69–90.Google Scholar
  7. 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.Google Scholar
  8. 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.Google Scholar
  9. 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.Google Scholar
  10. Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge.Google Scholar
  11. Hintikka, J. and G. Sandu: 1992, 'The Skeleton in Frege's Cupboard: The Standard vs. Non-Standard Distinction', Journal of Philosophy 89, 290–315.Google Scholar
  12. Kelley, J.: 1955, General Topology, D. van Nostrand, Princeton.Google Scholar
  13. Lindström, Per: 1969, 'On Extensions of Elementary Logic', Theoria 35, 1–11.Google Scholar
  14. 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.Google Scholar
  15. Moschovakis, Y.: 1974, Elementary Induction on Abstract Structures, North-Holland, Amsterdam.Google Scholar
  16. 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.Google Scholar
  17. Sandu, S. and J. Vä änänen: 1992, 'Partially Ordered Connectives', Zeitschrift f¨ur mathematische Logik und Grundlagen der Mathematik 38, 631–72.Google Scholar
  18. Shapiro, S.: 1991, Foundations without Foundationalism, Clarendon Press, Oxford.Google Scholar
  19. 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.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • JAAKKO HINTIKKA
    • 1
  1. 1.Department of PhilosophyBoston UniversityBostonU.S.A

Personalised recommendations