category: reference This entry is about a section of the text * [[Giuseppe Primiero]], [[information and knowledge - a constructive type-theoretical approach]], Springer, 2008{#Primiero} # Contents * Automatic table of contents {: toc} ## 2.1 At the origin of the problem ## 2.2 Analysis and synthesis ## 2.3 Informativeness of derivations ## 2.4 Different notions of information ### 2.4.1 Conceptual vs. contentual information ### 2.4.2 Surface information: probability and possible worlds ### 2.4.3 Increasing logical information: depth information ## 2.5 Basic elements of a knowledge system