Skip to main content

Questions of Epistemic Logic in Hintikka

  • Chapter
  • First Online:
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 12))

Abstract

In his book Knowledge and Belief (1962), Jaakko Hintikka uses a model-theoretic approach of modal semantics as a theoretical basis for investigating the principles of epistemic logic. I shall first summarize the main points of Hintikka’s classic work and then address the most disputed themes raised by it in the 60s and later, such as logical omniscience and the KK-thesis, as well as Hintikka’s modifying his views on the basis of criticism. The last part of the book treats quantified epistemic logic, particularly quantifying into “intensional” or “referentially opaque” epistemic contexts defended against Quine’s objections. I deal with this topic in Sect. 17.3 and add some relevant comparisons with John Buridan’s medieval approach in Sect. 17.4. A survey of Hintikka’s later theory of modelling knowledge acquisition is presented in Sect. 17.5; this includes the semantics of questions and inquiry in terms of game-theoretical semantics (GTS) and their application to the logic of epistemology and scientific reasoning in the interrogative model of inquiry (IMI). Combining these results with the theory of independence friendly logic (IF) provides, Hintikka argues, a promising improvement of general epistemology which he calls a second-generation epistemic logic. The subject of the last section is “knowing who” in the sense of a basic epistemic attitude associated with identification which is the key notion in Hintikka’s epistemic theory of questions and answers, reference, and quantification. A central issue in this context is Hintikka’s discovery of the duality of cross-identification methods, the public or descriptive and the perspective ones.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

References

  1. Aho T (1993) On the philosophy of attitude logic, Acta philosophica fennica 57. Helsinki, Societas Philosophica Fennica

    Google Scholar 

  2. Auxier R, Hahn L (eds) (2006) The philosophy of Jaakko Hintikka, The library of living philosophers 30. Open Court, Chicago and La Salle, III

    Google Scholar 

  3. Aquinas T (1964) Quaestiones disputatae I: De veritate, ed. R. Spiazzi. Marietti, Turin

    Google Scholar 

  4. Berto F (2014) On conceiving the inconsistent. P Aristotelian Soc 114(1):103–121

    Article  Google Scholar 

  5. Boh I (1993) Medieval epistemic logic. Routledge, London

    Google Scholar 

  6. Bogdan R (ed) (1987) Jaakko Hintikka, profiles 8. Reidel, Dordrecht

    Google Scholar 

  7. Castañeda H (1964) Jaakko Hintikka: knowledge and belief. J Symbolic Logic 29:132–4

    Google Scholar 

  8. Castañeda H (1970) On knowing (or believing) that one knows (or believes). Synthese 21:187–203

    Google Scholar 

  9. Chisholm RM (1963) The logic of knowing. J Philos 60:773–795

    Google Scholar 

  10. Fagin R, Halpern JY (1988) Belief, awareness, and limited reasoning. Artifif Intell 34:39–76

    Article  Google Scholar 

  11. Føllesdal D (1967) Knowledge, identity and existence. Theoria 33:1–27

    Article  Google Scholar 

  12. Hendricks VF (2001) The convergence of scientific knowledge: a view from the limit. Kluwer, Dordrecht

    Book  Google Scholar 

  13. Hendricks VF (2004) Hintikka on epistemological axiomatizations. In: Kolak D, Symons J (eds) Quantifiers, questions and quantum physics: essays on the philosophy of Jaakko Hintikka. Springer, Dordrecht, pp 3–32

    Chapter  Google Scholar 

  14. Heytesbury W (1988) De scire et dubitare, ch. 2 of his Regulae solvendi sophismata (Venice, Bonetus Locatellus, 1494); The Cambridge Translations of Medieval Philosophical Texts, Volume One: Logic and the Philosophy of Language, Kretzmann N, Stump E (eds). Cambridge University Press, Cambridge, pp 436–479

    Google Scholar 

  15. Hilpinen R (1970) Knowing that one knows and the classical definition of knowledge. Synthese 21:109–132

    Article  Google Scholar 

  16. Hilpinen R (2006) Jaakko Hintikka on epistemic logic and epistemology. In: Auxier RE Hahn LE (eds) pp 783–818

    Google Scholar 

  17. Hintikka J (1955) Two papers on symbolic logic, Acta philosophica fennica 8. Societas Philosophica Fennica, Helsinki

    Google Scholar 

  18. Hintikka J (1957) Modality as referential multiplicity. Ajatus 20:49–64

    Google Scholar 

  19. Hintikka J (1957) Quantifiers in deontic logic, Commentationes humanarum litterarum 23.4. Societas Scientiarum Fennicae, Helsinki

    Google Scholar 

  20. Hintikka J (1961) Modality and quantification. Theoria 27:119–128

    Article  Google Scholar 

  21. Hintikka J (1962) Knowlede and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca, NY

    Google Scholar 

  22. Hintikka J (1962) Cogito, ergo sum: inference or performance. Philos Review 71:3–32

    Google Scholar 

  23. Hintikka J (1967) Individuals, possible worlds, and epistemic logic. Noûs 1:33–62

    Article  Google Scholar 

  24. Hintikka J (1969) Models for modalities. Reidel, Dordrecht

    Google Scholar 

  25. Hintikka J (1969) Partially transparent senses of knowing. Philos Stud 20:4–8

    Google Scholar 

  26. Hintikka J (1970) Knowing that one knows reviewed. Synthese 21:141–62

    Google Scholar 

  27. Hintikka J (1970) On attributions of self-knowledge. J Philos 67:73–87

    Google Scholar 

  28. Hintikka J (1972) Knowledge by acquaintance—individuation by acquaintance. In: Pears D (ed) Bertrand Russell: a collection of critical essays. Anchor Books/Doubleday, Garden City, NJ, pp 52–79

    Google Scholar 

  29. Hintikka J (1973) Logic, language-games and information: Kantian themes in the philosophy of logic. Clarendon Press, Oxford

    Google Scholar 

  30. Hintikka J (1975) The intentions of intentionality and other new models for modalities. Reidel, Dordrecht

    Book  Google Scholar 

  31. Hintikka J (1976) The semantics of questions and the questions of semantics, Acta philosophica fennica 28.4. North-Holland, Amsterdam

    Google Scholar 

  32. Hintikka J (1979) Impossible possible worlds vindicated. In: Saarinen (ed), pp 367–379

    Google Scholar 

  33. Hintikka J (1987) Self-profile. In: Bodgan (ed) pp 3–40

    Google Scholar 

  34. Hintikka, J. (1989) Cartesian cogito, epistemic logic, and neuroscience: some surprising interrelations. In Hintikka J. Hintikka M.B (eds) The logic of epistemology and the epistemology of logic. Kluwer, Dordrecht, pp 111–136

    Google Scholar 

  35. Hintikka J (1996) The principles of mathematics revisited. Cambridge University Press, Cambridge

    Google Scholar 

  36. Hintikka J (1996) Knowledge acknowledged. Philos Phenomenol Res 56:251–275

    Google Scholar 

  37. Hintikka J (1999) Inquiry as inquiry: a logic of scientific discovery, selected papers 5. Kluwer, Dordrecht

    Book  Google Scholar 

  38. Hintikka J (2003) A second-generation epistemic logic and its general significance. In: Hendricks VF et. al. (eds, 2003), Knowledge contributors, (reprinted in [38]). Springer, Dordrecht, pp 33–55, 61–82

    Google Scholar 

  39. Hintikka J (2007) Socratic epistemology. Cambridge University Press, Cambridge

    Book  Google Scholar 

  40. Hintikka J (2013) Epistemologia vetus et nova. In: Hintikka J (ed) Open problems in epistemology, Acta philosophica fennica 90. Societas Philosophica Fennica, Helsinki, pp 19–33

    Google Scholar 

  41. Hintikka J, Sandu G (1989) Informational independence as a semantical phenomenon. In: Fenstad JE et al (eds) Logic, methodology and philosophy of science viii. Elsevier, Amsterdam, pp 571–589

    Google Scholar 

  42. Hintikka J, Sandu G (1991) On the methodology of linguistic: a case study. Basil Blackwell, Oxford

    Google Scholar 

  43. Hintikka J, Sandu G (1995) The fallacies of the new theory of reference. Synthese 104:245–283

    Article  Google Scholar 

  44. Hintikka J, Sandu G (1996) Game-theoretical semantics. In: van Benthem J, Meulen T (eds.) Handbook of logic and language, Elsevier, Amsterdam, MIT Press, Cambridge, MA, pp 361–410

    Google Scholar 

  45. Hintikka J, Symons J (2003) Systems of visual identification in neuroscience: lessons from epistemic logic. Philos Sci 70, 89–104, reprinted in [38]

    Google Scholar 

  46. Jago M (2014) The impossible: an essay on hyperintensionality. Oxford University Press, Oxford

    Book  Google Scholar 

  47. Johannes VA (1999) logica. de Rijk LM (ed), Frommann-Holzboog, Stuttgart-Bad Cannstatt

    Google Scholar 

  48. John B (2001) Summulae de dialectica, an annotated translation with a philosophical introduction by G. Klima. Yale University Press, New Haven, CT, London

    Google Scholar 

  49. John B (2004) Summulae de practica sophismatum, ed. F. Pironet, Artistarium 10–9. Brepols, Turnhout

    Google Scholar 

  50. Knuuttila S (2008) Medieval modal theories and modal logic. In: Gabbay DM, Woods J (eds) Handbook of the history of logic 2: Mediaeval and renaissance logic. Elsevier, Amsterdam, pp 505–578

    Google Scholar 

  51. Knuuttila S (2015) Epistemic logic in Paul of Venice’s commentary on the beginning of Posterior analytics. In: Biard J (ed.) Raison et démonstration. les commentaires médiévaux sur les Seconds analytiques. Berpols, Turnhout, pp 185–198

    Google Scholar 

  52. Knuuttila S (2016) Identities in medieval epistemic logic forthcoming

    Google Scholar 

  53. Lemmon EJ (1965) Knowledge and belief by Jaakko Hintikka. Philos Review 74:382–4

    Google Scholar 

  54. Lenzen W (1978) Recent work in epistemic logic, Acta philosophica fennica 30.1. North-Holland, Amsterdam

    Google Scholar 

  55. Martin C (2007) Self-knowledge and cognitive ascent: Thomas Aquinas and Peter Olivi on the KK-thesis. In: Lagerlund H (ed) Forming the mind. essays on the internal senses and the mind/body problem from Avicenna to medical enlightenment. Springer, Dordrecht, pp 93–108

    Google Scholar 

  56. Niiniluoto I (1979) Knowing that one sees. In: Saarinen E et al (eds) Essays in honor of jaakko Hintikka, synthese library 124. Reidel, Dordrecht, pp 249–282

    Google Scholar 

  57. Paul of Venice, Logica magna I (1981) Tractatus de scire et dubitare, edited with an english translation by P. Clarke. Oxford University Press for The British Academy, Oxford

    Google Scholar 

  58. Rantala V (1975) Urn models. J Philos Logic 4:455–474

    Article  Google Scholar 

  59. Rebuschi M, Tulenheimo T (2011) Between de dicto and de re: de objecto attitudes. Philos Quart 61:828–838

    Article  Google Scholar 

  60. Saarinen E (1987) Hintikka on quantifying in and on trans-world identity. In: Bogdan (ed), pp 91–122

    Google Scholar 

  61. Saarinen E (ed) (1979) Game-theoretical semantics, synthese language library, 5. Reidel, Dordrecht

    Google Scholar 

  62. Sandu G (2011) Game-theoretical semantics. In: Horsten L, Pettigrew R (eds) The continuum handbook of philosophical logic. Continuum, London, pp 261–270

    Google Scholar 

  63. Symons J (2013) Applying logic: some remarks on the reciprocal influence of experimental and formal investigations of identification. In: Hintikka J (ed) Open problems in epistemology. Acta philosophica fennica 90. Societas Philosophica Fennica, Helsinki, pp 99–111

    Google Scholar 

  64. Tulenheimo T (2017) Objects and modalities: a study in the semantics of modal logic. Springer, Cham

    Google Scholar 

  65. Wu JK (1970) Hintikka on defensibility. Ajatus 32:25–31

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Simo Knuuttila .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Knuuttila, S. (2018). Questions of Epistemic Logic in Hintikka. 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_17

Download citation

Publish with us

Policies and ethics