## Notre Dame Journal of Formal Logic

### A Kripkean Approach to Unknowability and Truth

Leon Horsten

#### Abstract

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

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

Dates
First available in Project Euclid: 6 December 2002

https://projecteuclid.org/euclid.ndjfl/1039182253

Digital Object Identifier
doi:10.1305/ndjfl/1039182253

Mathematical Reviews number (MathSciNet)
MR1741545

Zentralblatt MATH identifier
0981.03010

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

#### Citation

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. https://projecteuclid.org/euclid.ndjfl/1039182253

#### References

• 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