Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

191462

Formal representation of the notion of information

pp. 125-163

Abstract

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 2class="EmphasisTypeItalic ">.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.

Publication details

Published in:

Primiero Giuseppe (2008) Information and knowledge: a constructive type-theoretical approach. Dordrecht, Springer.

Pages: 125-163

DOI: 10.1007/978-1-4020-6170-7_3

Full citation:

(2008) Formal representation of the notion of information, In: Information and knowledge, Dordrecht, Springer, 125–163.