The aim of this chapter is to introduce a formal description for a knowledge system, by which to represent and connect the different epistemic states suggested by the previous theoretical analysis. The core of this description is the basic distinction between the epistemic notions of information and knowledge and the formalization of related states. The focal point is obviously the formal introduction of the notion of information, according to the basic principles described in Section 2.6. On the basis of this description, a system of formal operations performed on different epistemic states is provided; they represent the actions of an agent on the informational contents towards the acquisition of new knowledge. The formal structure is that of Constructive Type Theory (CTT), introduced in Chapter 1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media B.V
About this chapter
Cite this chapter
(2008). Formal Representation of the Notion of Information. In: Information and Knowledge. Logic, Epistemology, and the Unity of Science, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6170-7_3
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6170-7_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6169-1
Online ISBN: 978-1-4020-6170-7
eBook Packages: Humanities, Social Sciences and LawSocial Sciences (R0)