Notre Dame Journal of Formal Logic

A Kripkean Approach to Unknowability and Truth

Leon Horsten


We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.

Article information

Notre Dame J. Formal Logic, Volume 39, Number 3 (1998), 389-405.

First available in Project Euclid: 6 December 2002

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03B42: Logics of knowledge and belief (including belief change)


Horsten, Leon. A Kripkean Approach to Unknowability and Truth. Notre Dame J. Formal Logic 39 (1998), no. 3, 389--405. doi:10.1305/ndjfl/1039182253.

Export citation


  • Anderson, C. A., “The paradox of the knower,” The Journal of Philosophy, vol. 80 (1983), pp. 338–55. MR 875995
  • Barwise, J., and J. Etchemendy, The Liar, Oxford University Press, Oxford, 1987. Zbl 0678.03001 MR 88k:03009
  • Burge, T., “Epistemic paradox,” The Journal of Philosophy, vol. 81 (1984), pp. 5–29. MR 876409
  • Burgess, J., “The truth is never simple,” The Journal of Symbolic Logic, vol. 51 (1986), pp. 663–81. Zbl 0634.03002 MR 89i:03113a
  • Cantini, A., “A theory of formal truth arithmetically equivalent to $ID_1$,” The Journal of Symbolic Logic, vol. 55 (1990), pp. 244–59. Zbl 0713.03029 MR 91b:03099
  • Gaifman, H., “Pointers to truth,” The Journal of Philosophy, vol. 89 (1992), pp. 223–61. MR 93h:03002
  • Hinman, P., Recursion–Theoretic Hierarchies, Springer–Verlag, New York, 1978. Zbl 0371.02017 MR 82b:03084
  • Kaplan, D., and R. Montague, “A paradox regained,” Notre Dame Journal of Formal Logic, vol. 1 (1960), pp. 79–90. Zbl 0112.00409
  • Koons, R. C., Paradoxes of Belief and Strategic Rationality, Cambridge, Cambridge University Press, 1992. MR 93d:03029
  • Kripke, S., “Outline of a theory of truth,” pp. 53–81 in Recent Essays on Truth and the Liar Paradox, edited by R. Martin, Oxford, Oxford University Press, 1984. Zbl 0952.03513
  • Morgenstern, L., “A first-order theory of planning, knowledge and action,” pp. 99–114 in Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, edited by J. Halpern, Morgan Kaufman, Los Altos, 1986. MR 934069
  • Reinhardt, W., “Some remarks on extending and interpreting theories with a partial predicate for truth,” Journal of Philosophical Logic, vol. 15 (1986), pp. 219–51. Zbl 0629.03002 MR 87i:03007