Notre Dame Journal of Formal Logic

Fitch's Argument and Typing Knowledge

Alexander Paseau


Fitch's argument purports to show that if all truths are knowable then all truths are known. The argument exploits the fact that the knowledge predicate or operator is untyped and may thus apply to sentences containing itself. This article outlines a response to Fitch's argument based on the idea that knowledge is typed. The first part of the article outlines the philosophical motivation for the view, comparing it to the motivation behind typing truth. The second, formal part presents a logic in which knowledge is typed and demonstrates that it allows nonlogical truths to be knowable yet unknown.

Article information

Notre Dame J. Formal Logic, Volume 49, Number 2 (2008), 153-176.

First available in Project Euclid: 15 May 2008

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)

Fitch knowledge type theory knowability epistemic paradox epistemic logic


Paseau, Alexander. Fitch's Argument and Typing Knowledge. Notre Dame J. Formal Logic 49 (2008), no. 2, 153--176. doi:10.1215/00294527-2008-005.

Export citation


  • [1] Brogaard, B., and J. Salerno, "Fitch's paradox of knowability", The Stanford Encyclopedia of Philosophy, (2004).
  • [2] Burge, T., "Semantical paradox", Journal of Philosophy, vol. 76 (1979), pp. 169--98.
  • [3] Dummett, M., "Victor's error", Analysis, vol. 61 (2001), pp. 1--2.
  • [4] Dummett, M., "The philosophical basis of intuitionistic logic", pp. 5--40 in Logic Colloquium '73 (Bristol, 1973), edited by H. E. Rose and J. C. Shepherdson, vol. 80 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1975. Reprinted in Truth and Other Enigmas, Duckworth, London, 1978, pp. 215--47.
  • [5] Edgington, D., "The paradox of knowability", Mind, vol. 94 (1985), pp. 557--68.
  • [6] Feferman, S., "Reflecting on incompleteness", The Journal of Symbolic Logic, vol. 56 (1991), pp. 1--49.
  • [7] Fitch, F. B., "A logical analysis of some value concepts", The Journal of Symbolic Logic, vol. 28 (1963), pp. 135--42.
  • [8] Friedman, H., and M. Sheard, "An axiomatic approach to self-referential truth", Annals of Pure and Applied Logic, vol. 33 (1987), pp. 1--21.
  • [9] Grim, P., "Operators in the paradox of the knower", Synthese, vol. 94 (1993), pp. 409--28.
  • [10] Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, New York, 1962.
  • [11] Kripke, S., "Outline of a theory of truth", Journal of Philosophy, vol. 72 (1975), pp. 690--716.
  • [12] Kvanvig, J., The Knowability Paradox, Oxford University Press, London, 2006.
  • [13] Montague, R., "Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability", Acta Philosophica Fennica, vol. 16 (1963), pp. 153--67. Reprinted in H. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague (1974), Yale University Press, New Haven, pp. 286--302.
  • [14] Putnam, H., Reason, Truth and History, Cambridge University Press, London, 1981.
  • [15] Quine, W., "The ways of paradox", Scientific American, vol. 26 (1962). First published as ``Paradox''; reprinted in his The Ways of Paradox and Other Essays (2d ed., 1976), Harvard University Press, Cambridge, pp. 1--18.
  • [16] Riviéres, J. des, and H. Levesque, "The consistency of syntactical treatments of knowledge", pp. 115--30 in Theoretical Aspects of Reasoning about Knowledge, edited by J. Halpern, Morgan Kaufman, San Francisco, 1986.
  • [17] Rückert, H., "A solution to Fitch's paradox of knowability", pp. 351--80 in Logic, Epistemology and the Unity of Science, edited by S. Rahman and J. Symons, Springer Verlag, Dordrecht, 2004.
  • [18] Tarski, A., "Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica, vol. 1 (1935), pp. 261--405. Translated by J. H. Woodger as ``The Concept of Truth in Formalized Languages'' and reprinted in J. H. Woodger, editor, Logic, Semantics, Metamathematics, The Clarendon Press, 1956, pp. 152--278.
  • [19] Tennant, N., The Taming of the True, The Clarendon Press, New York, 1997.
  • [20] Williamson, T., Knowledge and Its Limits, Oxford University Press, London, 2000.
  • [21] Williamson, T., "Tennant on knowable truth", Ratio, vol. 13 (2000), pp. 99--114.
  • [22] Williamson, T., "Knowability and constructivism", The Philosophical Quarterly, vol. 38 (1988), pp. 422--32.