Abstract
Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know (Rosenkranz Mind, 127(506), 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence is not provable in minimal arithmetic or that the negation of that sentence is not provable in minimal arithmetic. This serves as the formal background for an example that calls into question the correctness of Rosenkranz’s logic of justification.
Similar content being viewed by others
References
Artemov, S. (2008). The logic of justification. Review of Symbolic Logic, 1(4), 477–513.
Boolos, G., Burgess, J.P.R., & Jeffrey, C. (2007). Computability and logic. Cambridge University Press.
Cohen, S. (1999). Contextualism, skepticism, and the structure of reasons. Philosophical Perspectives, 13, 57–89.
Fagin, R., Halpern, J.Y., & Moses, Y.Y.V.M. (1995). Reasoning about knowledge. MIT press.
Hendricks, V.F. (2003). Active agents. Journal of Logic, Language and Information, 12(4), 469–495.
Hendricks, V.F. (2005). Mainstream and formal epistemology. New York: Cambridge University.
Heylen, J. (2016). Being in a position to know and closure. Thought: A Journal of Philosophy, 5(1), 63–67.
Hintikka, J. (1962). Knowledge and belief. Ithaca: Cornell University Press.
Meyer, J.C., & van der Hoek, W. (1995). Epistemic logic for AI and computer science. New York: Cambridge University Press.
Rosenkranz, S. (2007). Agnosticism as a third stance. Mind, 116(461), 55–104.
Rosenkranz, S. (2016). Being in a position to know and closure: reply to Heylen. Thought: A Journal of Philosophy, 5(1), 68–72.
Rosenkranz, S. (2018). The structure of justification. Mind, 127(506), 309–338.
Smith, M. (2018). The logic of epistemic justification. Synthese, 195(9), 3857–3875.
von Wright, G.H. (1951). An essay in modal logic. Amsterdam: North-Holland Pub. Co.
Williamson, T. (2000). Knowledge and its limits. Oxford University Press.
Acknowledgements
Earlier versions of this paper have been presented at the Third Leuven-Bristol Workshop (Leuven, 15 September 2017) and the First Flemish Epistemology Workshop (Leuven, 18–19 May 2018). I would like to thank the audiences at those events for their comments and questions. I would like to thank Sven Rosenkranz, who was present at the First Flemish Epistemology Workshop, in particular. In addition, I would also like to thank Felipe Morales Carbonell, Harmen Ghijsen and Lars Arthur Tump for their feedback. Last but not least, I would like to thank the editor and two anonymous reviewers.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Heylen, J. Rosenkranz’s Logic of Justification and Unprovability. J Philos Logic 49, 1243–1256 (2020). https://doi.org/10.1007/s10992-020-09556-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-020-09556-7