Abstract
According to an attempted definition of knowledge, knowledge is justified true belief. But a belief is ultimately justified only by its being true. Hence instead of belief we should speak information. Now, for an item of information p to be known to be true, it does not suffice for the knower to be aware that there exists a conclusive method of verification. One has to know some particular method that conclusively verifies p. Since Skolem functions can be thought of as strategies of verification, this is a distinction in the order of the knowledge operators and existence operators over such functions, between knowing that there is some conclusive method of verification and there being a known conclusive method of verification, only the second of which qualifies as knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hintikka, J. (2014). Knowledge Is Justifiable True Information. In: Lihoreau, F., Rebuschi, M. (eds) Epistemology, Context, and Formalism. Synthese Library, vol 369. Springer, Cham. https://doi.org/10.1007/978-3-319-02943-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-02943-6_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02942-9
Online ISBN: 978-3-319-02943-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)