Abstract
A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the paradox.
Similar content being viewed by others
References
Carlson T. J. (2000) Knowledge, machines, and the consistency of Reinhardt’s strong mechanistic thesis. Annals of Pure and Applied Logic 105: 51–82
Chow T. Y. (1998) The surprise examination or unexpected hanging paradox. The American Mathematical Monthly 105: 41–51
Duc, H. N. (2001). Resource-bounded reasoning about knowledge. Ph.D. thesis, University of Leipzig.
Fitch F. (1963) A logical analysis of some value concepts. The Journal of Symbolic Logic 28: 135–142
Halpern J., Moses Y. (1986) Taken by surprise: The paradox of the surprise test revisited. Journal of Philosophical Logic 15: 281–304
Kritchman S., Raz R. (2010) The Surprise Examination Paradox and the Second Incompleteness Theorem. Notices of the American Mathematical Society 57: 1454–1458
Salerno J. (2010) Introduction to Knowability and Beyond. Synthese 173: 1–8
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Alexander, S. An axiomatic version of Fitch’s paradox. Synthese 190, 2015–2020 (2013). https://doi.org/10.1007/s11229-011-9954-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-9954-0