Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-25T03:58:44.671Z Has data issue: false hasContentIssue false
  • English
  • Français

JAAKKO HINTIKKA 1929–2015

Published online by Cambridge University Press:  15 January 2016

JOUKO VÄÄNÄNEN
JOUKO VÄÄNÄNEN*
Affiliation:
DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF HELSINKI FINLAND and INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION UNIVERSITY OF AMSTERDAM THE NETHERLANDSE-mail: jouko.vaananen@helsinki.fi
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Obituary
Information
Bulletin of Symbolic Logic , Volume 21 , Issue 4 , December 2015 , pp. 431 - 436
Copyright
Copyright © The Association for Symbolic Logic 2015 

References

REFERENCES

Jon Barwise, K., Absolute logics and L∞ω. Annals of Mathematical Logic, vol. 4 (1972), pp. 309–340.Google Scholar
Beth, E. W., Remarks on natural deduction, Nederl. Akad. Wetensch. Proc. Ser. A. 58 = Indag. Math., vol. 17 (1955), pp. 322–325.CrossRefGoogle Scholar
Cameron, Peter and Hodges, WilfridSome combinatorics of imperfect information, this JOURNAL, vol. 66 (2001), no. 2, pp. 673–684.Google Scholar
Carnap, Rudolf, Logical Foundations of Probability, The University of Chicago Press, Chicago, Ill., 1950.Google Scholar
Ehrenfeucht, A., Application of games to some problems of mathematical logic. Bulletin of the Polish Academy of Sciences Cl. III., vol. 5 (1957), pp. 35–37, IV.Google Scholar
Fraïssé, Roland, Sur quelques classifications des systèmes de relations, Publications scientifiques de l’Université d’Alger. Série A, vol. 1 (1954), pp. 35–182 (1955).Google Scholar
Henkin, L., Some remarks on infinitely long formulas, Infinitistic Methods (Proceedings of the Symposium on Foundations of Mathematics, Warsaw), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 167–183.Google Scholar
Hintikka, Jaakko, Distributive normal forms in the calculus of predicates. Acta Philosophica Fennica, vol. 6 (1953), p. 71.Google Scholar
Hintikka, Jaakko, Form and content in quantification theory. Acta Philosophica Fennica, vol. 8 (1955), pp. 7–55.Google Scholar
Hintikka, Jaakko, Reductions in the theory of types. Acta Philosophica Fennica, vol. 8 (1955), pp. 57–115.Google Scholar
Hintikka, Jaakko, Modality and quantification. Theoria, vol. 27 (1961), pp. 119–128.CrossRefGoogle Scholar
Hintikka, Jaakko, Knowledge and Belief - An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962.Google Scholar
Hintikka, Jaakko, On a combined system of inductive logic, Acta Philosophica Fennica Fasc, vol. 18 (1965), pp. 21–30.Google Scholar
Hintikka, Jaakko, Models for Modalities, Reidel, Dordrecht, 1969.Google Scholar
Hintikka, Jaakko, Surface information and depth information, Information and Inference, Reidel, Dordrecht, 1970, pp. 263–297.CrossRefGoogle Scholar
Hintikka, Jaakko, Questions about questions, Semantics and Philosophy (Karl Munitz, Milton and Unger, Peter K., editors), New York University Press, New York, 1974, pp. 101–158.Google Scholar
Hintikka, Jaakko, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, 1996. With an appendix by Gabriel Sandu.CrossRefGoogle Scholar
Hintikka, Jaakko and Rantala, Veikko, Systematizing definability theory, Proceedings of the Third Scandinavian Logic Symposium (University of Uppsala, 1973) (Amsterdam), Studies in Logic and the Foundations of Mathematics, vol. 82. North-Holland, 1975, pp. 40–62.CrossRefGoogle Scholar
Kontinen, Juha, Link, Sebastian, and Väänänen, Jouko A., Independence in database relations, Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013, Proceedings, 2013, pp. 179–193.CrossRefGoogle Scholar
Kripke, Saul A., A completeness theorem in modal logic, this JOURNAL, vol. 24 (1959), pp. 1–14.Google Scholar
Lindström, Per, On extensions of elementary logic. Theoria, vol. 35 (1969), pp. 1–11.CrossRefGoogle Scholar
Lorenzen, P., Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 103–117.CrossRefGoogle Scholar
Montague, Richard, Reduction of higher-order logic, The Theory of Models (Proceedings of the 1963 International Symposium, Berkeley), North-Holland, Amsterdam, 1965, pp. 251–264.Google Scholar
Scott, Dana, Logic with denumerably long formulas and finite strings of quantifiers, Theory of Models (Proceedings of the 1963 International Symposium, Berkeley), North-Holland, Amsterdam, 1965, pp. 329–341.Google Scholar
Tarski, Alfred and Vaught, Robert L., Arithmetical extensions of relational systems. Compositio Mathematica, vol. 13 (1958), pp. 81–102.Google Scholar
von Wright, G. H., On the idea of logical truth. I. Societas Scientiarum Fennica Commentationes Physico-Mathematicae, vol. 14 (1948), no. 4, p. 20.Google Scholar
von Wright, G. H., On the idea of logical truth. II. Societas Scientiarum Fennica Commentationes Physico-Mathematicae, vol. 15 (1950), no. 10, p. 45.Google Scholar
von Wright, G. H., On double quantification. Societas Scientiarum Fennica Commentationes Physico-Mathematicae, vol. 16 (1952), no. 3, p. 14.Google Scholar
Wittgenstein, Ludwig, Philosophical Investigations, Macmillan, New York, 1953.Google Scholar