Abstract
I will present a short overview of Hintikka’s main ideas in logic, starting with his early work on constituents and model sets, continuing with his contributions to epistemic logic, up to his later work in game-theoretical semantics and the Interrogative Model of Inquiry.
Similar content being viewed by others
Notes
- 1.
Hintikka’s solution is basically the same solution as that given by Kanger much earlier in Kanger (1957b). Kanger was with Hintikka among the first ones to develop a “possible worlds” semantics for modal logic in Kanger (1957a)
References
Carnap R (1950) Logical foundations of probability. University of Chicago Press, Chicago
Chisholm R (1963) The logic of knowing. J Philos 60:753–795
Chisholm R (1967) Identity through possible worlds: some questions. Nous 1(1):1–8
Hilpinen R (1968) Rules of acceptance and inductive logic. In: Acta Philosophica Fennica, vol 22. North-Holland Publishing Company, Amsterdam
Hilpinen R (1970) On inductive generalization and monadic first-order logic with identity. In: Hintikka J, Suppes P (eds) Information and inference. Reidel, Dordrecht, pp 133–154
Hintikka J (1953) Distributive normal forms in the calculus of predicates. In: Crossley JN, Dummett M (eds) Acta Philosophica Fennica, distribuit Akatesminen Kirjakauppa, reprinted as ‘Distributive normal form in first-order logic’. Formal systems and recursive functions, pp 47–90, (1964)
Hintikka J (1955) Two papers on symbolic logic. In: Acta Philosophica Fennica, vol 8. Suomalaisen Kirjallisuuden Seuran Kirjapainon
Hintikka J (1957a) Modality as referential multiplicity. Ajatus 20:49–64
Hintikka J (1957b) Quantifiers in deontic logic. Commentationes Humanarum Litterarum 23(4):1–23, Societas Scientiarum Fennica, Helsinki
Hintikka J (1961) Modality and quantification. Theoria 27:119–128
Hintikka J (1962) Knowledge and belief. In: An Introduction to the logic of the two notions. Cornell University Press, Ithaca, NY
Hintikka J (1968) Language-games for quantifiers. In: American philosophical quarterly monograph series 2: studies in logical theory. Basil Blackwell, Oxford, pp 46–72
Hintikka J (1969) On the logic of perception. In: Hintikka J (ed) Models for modalities—selected essays. Reidel, Dordrecht, pp 151–183
Hintikka J (1973a) Logic, language-games, and information. Clarendon Press, Oxford
Hintikka J (1973b) Quantifiers versus quantification theory. Dialectica 27:329–358
Hintikka J (1989) Cartesian cogito, epistemic logic and neuroscience: some surprising interrelations. In: Hintikka J, Hintikka M (eds) The logic of epistemology and the epistemology of logic, Kluwer Academic, pp 113–136
Hintikka J (1996) The principles of Mathematics Revisited, Cambridge University Press
Hintikka J (1998) Paradigms for language theory and other essays. Selected Papers, vol 4. Kluwer Academic publishers
Hintikka J (2007) Socratic epistemology: explanation of knowledge-seeking by questions. Cambridge University Press
Hintikka J, Sandu G (1989) Informational independence as a semantical phenomenon. Studies in logic and the foundations of mathematics. In: Proceedings of the eighth international congress of logic, methodology and philosophy of science, vol 126, pp 571–589
Hintikka J, Sandu G (1995) The fallacies of the new theory of reference. Synth 104:245–283. (Reprinted in Jaakko Hintikka (1998), pp. 175–218)
Hintikka J, Suppes P (eds) (1966) Aspects of inductive logic. North-Holland
Hintikka J, Suppes P (eds) (1970) Information and inference. Reidel, Dordrecht
Jeffrey R (1967) Formal logic: its scope and limits. McGraw-Hill, New York
Kanger S (1957a) Provability and Logic. University of Stockholm-Amqvist & Wiksell
Kanger S (1957b) The morning star paradox. Theoria 23:1–11
Leblanc H (1983) Alternatives to standard first-order semantics. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol I. Reidel Publishing Company, Dordrecht, pp 189–274
Lewis C, Langford CH (1932) Symbolic logic, 2nd edn. Century, London, 1959, New York, Dover
Montague R (1973) The proper treatment of quantification in ordinary english. In: Hintikka J et al (ed) Approaches to natural language. Proceedings of the 1970 stanford workshop on grammar and semantics, Reidel, Dordrecht, pp 221–242
Niiniluoto I (2009) The development of the Hintikka program. In: Dov M Gabbay SH, Woods J (eds) Handbook of the history of logic. Inductive logic, vol 10, Elsevier, pp 311–356
Niiniluoto I, Tuomela R (1973) Theoretical concepts—hypothetico-inductive inferences. Reidel, Dordrecht
Quine W (1940) Mathematical logic. Harvard University Press
Quine WV (1960) Word and object. MIT Press. Cambridge, Mass
Smullyan RM (1968) First-order logic. Springer, New York
Stenius E (1964) Wittgenstein’s tractatus. In: Critical exposition of its main lines of thought, Basil Blackwell, Oxford
Strawson P (1953) Reviewed work: an essay in modal logic by Georg H. von Wright. Philosophy 28(104):76–79
Tuomela R (1973) Theoretical concepts. Springer
Von Wright G (1951) An essay in modal logic. North-Holland Publishing Company, Amsterdam
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Sandu, G. (2018). Short Overview of the Development of Hintikka’s Work in Logic. In: van Ditmarsch, H., Sandu, G. (eds) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Outstanding Contributions to Logic, vol 12. Springer, Cham. https://doi.org/10.1007/978-3-319-62864-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-62864-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62863-9
Online ISBN: 978-3-319-62864-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)